universal-physics-tensor 0.25.0 → 0.29.0

package/dist/bridges/be52-mercury-confrontation.d.ts

@@ -0,0 +1,72 @@
+/**
+ * BE-52 × Mercury — confront the GR perihelion-precession bridge with the
+ * classic measured anomalous advance of Mercury's perihelion.
+ *
+ * This is the catalog's second committed real-data confrontation, and the first
+ * for an *established* bridge: BE-52 encodes Einstein's 1915 result
+ * `Δφ = 6πGM/(a(1−e²)c²)`, whose Mercury value (~43″/century) was the original
+ * empirical triumph of general relativity. We recompute the bridge's prediction
+ * from Mercury's orbital elements and confront it with the *observed* anomalous
+ * precession — the residual left after subtracting the Newtonian planetary
+ * perturbations (Le Verrier / Newcomb / Clemence).
+ *
+ *   observed anomalous advance: 43.11 ± 0.45 ″/century (Clemence 1947); the
+ *   modern GR value is 42.98 ″/century, comfortably inside this band.
+ *
+ * @module bridges/be52-mercury-confrontation
+ */
+/**
+ * A perihelion-precession observation record for a planet.
+ *
+ * @public
+ */
+export interface PerihelionObservation {
+    /** Central mass (kg) — the Sun for Mercury. */
+    readonly central_mass_kg: number;
+    /** Orbital semi-major axis (m). */
+    readonly semi_major_axis_m: number;
+    /** Orbital eccentricity (0 ≤ e < 1). */
+    readonly eccentricity: number;
+    /** Orbital period (Julian years). */
+    readonly period_yr: number;
+    /** Measured ANOMALOUS perihelion advance (″/Julian century) — the GR residual. */
+    readonly observed_precession_arcsec_per_century: number;
+    /** 1σ uncertainty on the observed anomalous advance (″/century). */
+    readonly observed_sigma_arcsec_per_century: number;
+    readonly citation: string;
+}
+/**
+ * Mercury's orbital elements + the classic measured anomalous perihelion
+ * advance. Orbital elements: NASA planetary fact sheet (J2000). Observed
+ * anomalous advance: Clemence's determination.
+ *
+ * @public
+ */
+export declare const MERCURY: PerihelionObservation;
+/**
+ * Result of confronting BE-52 with a measured perihelion advance.
+ *
+ * @public
+ */
+export interface BE52ConfrontationResult {
+    /** BE-52's GR prediction for this orbit (″/Julian century). */
+    readonly predicted_arcsec_per_century: number;
+    /** The measured anomalous advance (″/century). */
+    readonly observed_arcsec_per_century: number;
+    /** predicted − observed (″/century). */
+    readonly residual_arcsec_per_century: number;
+    /** |residual| in units of the observed 1σ. */
+    readonly residual_in_sigma: number;
+    /** Whether the prediction lies within 1σ of the observation. */
+    readonly withinObserved: boolean;
+    readonly observation: PerihelionObservation;
+}
+/**
+ * Recompute BE-52's GR perihelion advance for an orbit and confront it with the
+ * measured anomalous precession (G-3: confrontation with real data, not
+ * reproduction of a closed form — here for an established bridge).
+ *
+ * @public
+ */
+export declare function confrontBE52(obs?: PerihelionObservation): BE52ConfrontationResult;
+//# sourceMappingURL=be52-mercury-confrontation.d.ts.map

package/dist/bridges/be52-mercury-confrontation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be52-mercury-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be52-mercury-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAIH;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,+CAA+C;IAC/C,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,mCAAmC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,wCAAwC;IACxC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,qCAAqC;IACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,kFAAkF;IAClF,QAAQ,CAAC,sCAAsC,EAAE,MAAM,CAAC;IACxD,oEAAoE;IACpE,QAAQ,CAAC,iCAAiC,EAAE,MAAM,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,EAAE,qBAUrB,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,+DAA+D;IAC/D,QAAQ,CAAC,4BAA4B,EAAE,MAAM,CAAC;IAC9C,kDAAkD;IAClD,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAC;IAC7C,wCAAwC;IACxC,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAC;IAC7C,8CAA8C;IAC9C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,gEAAgE;IAChE,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,qBAAqB,CAAC;CAC7C;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,GAAG,GAAE,qBAA+B,GACnC,uBAAuB,CAwBzB"}

package/dist/bridges/be52-mercury-confrontation.js

@@ -0,0 +1,67 @@
+/**
+ * BE-52 × Mercury — confront the GR perihelion-precession bridge with the
+ * classic measured anomalous advance of Mercury's perihelion.
+ *
+ * This is the catalog's second committed real-data confrontation, and the first
+ * for an *established* bridge: BE-52 encodes Einstein's 1915 result
+ * `Δφ = 6πGM/(a(1−e²)c²)`, whose Mercury value (~43″/century) was the original
+ * empirical triumph of general relativity. We recompute the bridge's prediction
+ * from Mercury's orbital elements and confront it with the *observed* anomalous
+ * precession — the residual left after subtracting the Newtonian planetary
+ * perturbations (Le Verrier / Newcomb / Clemence).
+ *
+ *   observed anomalous advance: 43.11 ± 0.45 ″/century (Clemence 1947); the
+ *   modern GR value is 42.98 ″/century, comfortably inside this band.
+ *
+ * @module bridges/be52-mercury-confrontation
+ */
+import { evaluatePerihelionPrecession } from './perihelion-precession.js';
+/**
+ * Mercury's orbital elements + the classic measured anomalous perihelion
+ * advance. Orbital elements: NASA planetary fact sheet (J2000). Observed
+ * anomalous advance: Clemence's determination.
+ *
+ * @public
+ */
+export const MERCURY = {
+    central_mass_kg: 1.98892e30,
+    semi_major_axis_m: 5.79091e10,
+    eccentricity: 0.205630,
+    period_yr: 0.2408467, // 87.969 d / 365.25
+    observed_precession_arcsec_per_century: 43.11,
+    observed_sigma_arcsec_per_century: 0.45,
+    citation: 'Clemence 1947, Rev. Mod. Phys. 19:361 (anomalous advance 43.11±0.45 ″/cy); ' +
+        'orbital elements NASA Mercury fact sheet (J2000); Einstein 1915 SPAW 831.',
+};
+/**
+ * Recompute BE-52's GR perihelion advance for an orbit and confront it with the
+ * measured anomalous precession (G-3: confrontation with real data, not
+ * reproduction of a closed form — here for an established bridge).
+ *
+ * @public
+ */
+export function confrontBE52(obs = MERCURY) {
+    if (!(Number.isFinite(obs.observed_sigma_arcsec_per_century) && obs.observed_sigma_arcsec_per_century > 0)) {
+        throw new RangeError('confrontBE52: observed_sigma must be finite and > 0');
+    }
+    // evaluatePerihelionPrecession validates mass/axis/eccentricity/period.
+    const pred = evaluatePerihelionPrecession({
+        M_kg: obs.central_mass_kg,
+        a_m: obs.semi_major_axis_m,
+        e: obs.eccentricity,
+        T_yr: obs.period_yr,
+    });
+    const predicted = pred.dphi_arcsec_per_century;
+    const observed = obs.observed_precession_arcsec_per_century;
+    const residual = predicted - observed;
+    const residual_in_sigma = Math.abs(residual) / obs.observed_sigma_arcsec_per_century;
+    return {
+        predicted_arcsec_per_century: predicted,
+        observed_arcsec_per_century: observed,
+        residual_arcsec_per_century: residual,
+        residual_in_sigma,
+        withinObserved: residual_in_sigma <= 1,
+        observation: obs,
+    };
+}
+//# sourceMappingURL=be52-mercury-confrontation.js.map

package/dist/bridges/be52-mercury-confrontation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be52-mercury-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be52-mercury-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAuB1E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,OAAO,GAA0B;IAC5C,eAAe,EAAE,UAAU;IAC3B,iBAAiB,EAAE,UAAU;IAC7B,YAAY,EAAE,QAAQ;IACtB,SAAS,EAAE,SAAS,EAAE,oBAAoB;IAC1C,sCAAsC,EAAE,KAAK;IAC7C,iCAAiC,EAAE,IAAI;IACvC,QAAQ,EACN,6EAA6E;QAC7E,2EAA2E;CAC9E,CAAC;AAqBF;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,MAA6B,OAAO;IAEpC,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,iCAAiC,CAAC,IAAI,GAAG,CAAC,iCAAiC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC3G,MAAM,IAAI,UAAU,CAAC,qDAAqD,CAAC,CAAC;IAC9E,CAAC;IACD,wEAAwE;IACxE,MAAM,IAAI,GAAG,4BAA4B,CAAC;QACxC,IAAI,EAAE,GAAG,CAAC,eAAe;QACzB,GAAG,EAAE,GAAG,CAAC,iBAAiB;QAC1B,CAAC,EAAE,GAAG,CAAC,YAAY;QACnB,IAAI,EAAE,GAAG,CAAC,SAAS;KACpB,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,IAAI,CAAC,uBAAuB,CAAC;IAC/C,MAAM,QAAQ,GAAG,GAAG,CAAC,sCAAsC,CAAC;IAC5D,MAAM,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAC;IACtC,MAAM,iBAAiB,GACrB,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,iCAAiC,CAAC;IAC7D,OAAO;QACL,4BAA4B,EAAE,SAAS;QACvC,2BAA2B,EAAE,QAAQ;QACrC,2BAA2B,EAAE,QAAQ;QACrC,iBAAiB;QACjB,cAAc,EAAE,iBAAiB,IAAI,CAAC;QACtC,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC"}

package/dist/bridges/confrontation-coverage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"confrontation-coverage.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAaH;;;;;;;GAOG;AACH,MAAM,MAAM,aAAa,GACrB,iBAAiB,GACjB,kBAAkB,GAClB,cAAc,GACd,MAAM,CAAC;AAEX,gDAAgD;AAChD,UAAU,cAAc;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,kDAAkD;IAClD,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,yDAAyD;IACzD,QAAQ,CAAC,2BAA2B,EAAE,OAAO,CAAC;IAC9C,4DAA4D;IAC5D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,uCAAuC;IACvC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED,wCAAwC;AACxC,UAAU,cAAc;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+BAA+B;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,mEAAmE;IACnE,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,mDAAmD;IACnD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,sEAAsE;IACtE,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,IAAI,cAAc,CA6C9C"}
+{"version":3,"file":"confrontation-coverage.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAgBH;;;;;;;GAOG;AACH,MAAM,MAAM,aAAa,GACrB,iBAAiB,GACjB,kBAAkB,GAClB,cAAc,GACd,MAAM,CAAC;AAEX,gDAAgD;AAChD,UAAU,cAAc;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,kDAAkD;IAClD,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,yDAAyD;IACzD,QAAQ,CAAC,2BAA2B,EAAE,OAAO,CAAC;IAC9C,4DAA4D;IAC5D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,uCAAuC;IACvC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED,wCAAwC;AACxC,UAAU,cAAc;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+BAA+B;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,mEAAmE;IACnE,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,mDAAmD;IACnD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,sEAAsE;IACtE,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,IAAI,cAAc,CA6C9C"}

package/dist/bridges/confrontation-coverage.js

@@ -24,8 +24,11 @@ import { CATALOG_GRAPH } from '../composition/catalog-graph.js';
  *   - BE-36 — GW170817 vs the GW-speed bound (be36-gw170817-confrontation.ts)
  *   - BE-23 — SYK Planckian dissipation vs cuprate data
  *             (be23-planckian-confrontation.ts)
+ *   - BE-52 — Mercury anomalous perihelion advance vs Einstein 1915
+ *             (be52-mercury-confrontation.ts) — the first established-bridge
+ *             confrontation, GR's original empirical triumph
  */
-const DATA_CONFRONTED_IDS = new Set([23, 36]);
+const DATA_CONFRONTED_IDS = new Set([23, 36, 52]);
 /**
  * Audit the catalog's empirical grounding. Reads `BRIDGE_EQUATIONS`, the
  * composition graph, and the data-confrontation registry; fabricates

package/dist/bridges/confrontation-coverage.js.map

@@ -1 +1 @@
-{"version":3,"file":"confrontation-coverage.js","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAEhE;;;;;GAKG;AACH,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;AA+CnE;;;;;;GAMG;AACH,MAAM,UAAU,aAAa;IAC3B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,OAAO,GAAqB,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC/D,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,2BAA2B,GAAG,KAAK,CAAC,qBAAqB,KAAK,IAAI,CAAC;QAEzE,IAAI,IAAmB,CAAC;QACxB,IAAI,oBAAoB;YAAE,IAAI,GAAG,iBAAiB,CAAC;aAC9C,IAAI,YAAY,IAAI,2BAA2B;YAAE,IAAI,GAAG,kBAAkB,CAAC;aAC3E,IAAI,2BAA2B;YAAE,IAAI,GAAG,cAAc,CAAC;;YACvD,IAAI,GAAG,MAAM,CAAC;QAEnB,OAAO;YACL,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,IAAI;YACJ,oBAAoB;YACpB,YAAY;YACZ,2BAA2B;YAC3B,aAAa,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;YACtC,eAAe,EAAE,KAAK,CAAC,YAAY,CAAC,MAAM;SAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAkC;QAC5C,iBAAiB,EAAE,CAAC;QACpB,kBAAkB,EAAE,CAAC;QACrB,cAAc,EAAE,CAAC;QACjB,IAAI,EAAE,CAAC;KACR,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IAE1C,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QAC5C,KAAK,EAAE,OAAO,CAAC,MAAM;QACrB,MAAM;QACN,wBAAwB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,MAAM;QAC/E,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,CAAC,MAAM;QACpE,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;KAC7F,CAAC;AACJ,CAAC"}
+{"version":3,"file":"confrontation-coverage.js","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAEhE;;;;;;;;GAQG;AACH,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;AA+CvE;;;;;;GAMG;AACH,MAAM,UAAU,aAAa;IAC3B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,OAAO,GAAqB,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC/D,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,2BAA2B,GAAG,KAAK,CAAC,qBAAqB,KAAK,IAAI,CAAC;QAEzE,IAAI,IAAmB,CAAC;QACxB,IAAI,oBAAoB;YAAE,IAAI,GAAG,iBAAiB,CAAC;aAC9C,IAAI,YAAY,IAAI,2BAA2B;YAAE,IAAI,GAAG,kBAAkB,CAAC;aAC3E,IAAI,2BAA2B;YAAE,IAAI,GAAG,cAAc,CAAC;;YACvD,IAAI,GAAG,MAAM,CAAC;QAEnB,OAAO;YACL,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,IAAI;YACJ,oBAAoB;YACpB,YAAY;YACZ,2BAA2B;YAC3B,aAAa,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;YACtC,eAAe,EAAE,KAAK,CAAC,YAAY,CAAC,MAAM;SAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAkC;QAC5C,iBAAiB,EAAE,CAAC;QACpB,kBAAkB,EAAE,CAAC;QACrB,cAAc,EAAE,CAAC;QACjB,IAAI,EAAE,CAAC;KACR,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IAE1C,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QAC5C,KAAK,EAAE,OAAO,CAAC,MAAM;QACrB,MAAM;QACN,wBAAwB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,MAAM;QAC/E,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,CAAC,MAAM;QACpE,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;KAC7F,CAAC;AACJ,CAAC"}

package/dist/canonical/entries/atomic.d.ts

@@ -0,0 +1,17 @@
+/**
+ * L1 (scalar-AST) canonical entries — atomic-scale derived constants. The
+ * Rydberg energy, the classical electron radius, and the Bohr magneton: monomial
+ * combinations of fundamental constants (e, ℏ, ε₀, m_e, c), the same character
+ * as the existing Bohr radius and Planck units. L0 fields are engine-derived
+ * (see `_l1-build`).
+ *
+ * Scope: generic dimensional MONOMIAL laws (Adam+Eve adversarial audit,
+ * 2026-06-20). Leading numeric/geometric prefactors (½, 4π, 8) are recorded via
+ * `scalar-up-to-constant`. The fine-structure constant α (dimensionless-only) is
+ * out of scope. See docs/research/bridges-vs-canonical-map.md.
+ *
+ * @module canonical/entries/atomic
+ */
+import type { CanonicalEquation } from '../canonical-equation.js';
+export declare const ATOMIC: readonly CanonicalEquation[];
+//# sourceMappingURL=atomic.d.ts.map

package/dist/canonical/entries/atomic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"atomic.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/atomic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAQlE,eAAO,MAAM,MAAM,EAAE,SAAS,iBAAiB,EAgE9C,CAAC"}

package/dist/canonical/entries/atomic.js

@@ -0,0 +1,71 @@
+import { sym } from '../../bridges/equations/_be-helpers.js';
+import { MASS, VELOCITY, ENERGY, LENGTH, ACTION, CHARGE } from '../../dimensional/types.js';
+import { dim, op, pow, l1 } from './_l1-build.js';
+const PERMITTIVITY = dim(-3, -1, 4, 2); // ε₀ [L⁻³ M⁻¹ T⁴ I²]
+const MAGNETIC_MOMENT = dim(2, 0, 0, 1); // [L² I] (A·m²)
+export const ATOMIC = [
+    l1({ name: 'rydberg-energy', dim: ENERGY }, [
+        { name: 'm_e', dim: MASS },
+        { name: 'e', dim: CHARGE },
+        { name: 'epsilon_0', dim: PERMITTIVITY },
+        { name: 'hbar', dim: ACTION },
+    ], {
+        id: 'CE-rydberg-energy',
+        name: 'Rydberg energy',
+        domain: 'quantum',
+        formula_latex: 'E_R = m_e e^4 / (8 \\varepsilon_0^2 \\hbar^2)',
+        epistemicStatus: 'scalar-up-to-constant',
+        scalarAst: op('/', [
+            op('*', [sym('m_e', MASS), pow(sym('e', CHARGE), '4')]),
+            op('*', [pow(sym('epsilon_0', PERMITTIVITY), '2'), pow(sym('hbar', ACTION), '2')]),
+        ]),
+        regime: { scale: 'quantum', force: 'electromagnetic' },
+        assumptions: ['hydrogen-like', 'non-relativistic'],
+        references: ['Rydberg 1888; Bohr 1913'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'classical-electron-radius', dim: LENGTH }, [
+        { name: 'e', dim: CHARGE },
+        { name: 'epsilon_0', dim: PERMITTIVITY },
+        { name: 'm_e', dim: MASS },
+        { name: 'c', dim: VELOCITY },
+    ], {
+        id: 'CE-classical-electron-radius',
+        name: 'Classical electron radius',
+        domain: 'quantum',
+        formula_latex: 'r_e = e^2 / (4\\pi \\varepsilon_0 m_e c^2)',
+        epistemicStatus: 'scalar-up-to-constant',
+        scalarAst: op('/', [
+            pow(sym('e', CHARGE), '2'),
+            op('*', [
+                sym('epsilon_0', PERMITTIVITY),
+                sym('m_e', MASS),
+                pow(sym('c', VELOCITY), '2'),
+            ]),
+        ]),
+        regime: { scale: 'quantum', force: 'electromagnetic' },
+        assumptions: ['classical point-charge self-energy scale'],
+        references: ['Lorentz; Thomson scattering'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'bohr-magneton', dim: MAGNETIC_MOMENT }, [
+        { name: 'e', dim: CHARGE },
+        { name: 'hbar', dim: ACTION },
+        { name: 'm_e', dim: MASS },
+    ], {
+        id: 'CE-bohr-magneton',
+        name: 'Bohr magneton',
+        domain: 'quantum',
+        formula_latex: '\\mu_B = e \\hbar / (2 m_e)',
+        epistemicStatus: 'scalar-up-to-constant',
+        scalarAst: op('/', [
+            op('*', [sym('e', CHARGE), sym('hbar', ACTION)]),
+            sym('m_e', MASS),
+        ]),
+        regime: { scale: 'quantum', force: 'electromagnetic' },
+        assumptions: ['electron magnetic-moment scale'],
+        references: ['Bohr 1913; Pauli 1920'],
+        partnerBridges: [],
+    }),
+];
+//# sourceMappingURL=atomic.js.map

package/dist/canonical/entries/atomic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"atomic.js","sourceRoot":"","sources":["../../../src/canonical/entries/atomic.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAC5F,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qBAAqB;AAC7D,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB;AAEzD,MAAM,CAAC,MAAM,MAAM,GAAiC;IAClD,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;KAC9B,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,+CAA+C;QAC9D,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YACvD,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;SACnF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC;QAClD,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACrD,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,4CAA4C;QAC3D,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;YAC1B,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC;gBAC9B,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;gBAChB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;aAC7B,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,0CAA0C,CAAC;QACzD,UAAU,EAAE,CAAC,6BAA6B,CAAC;QAC3C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,eAAe,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YAChD,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;SACjB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,uBAAuB,CAAC;QACrC,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}

package/dist/canonical/entries/electromagnetism.d.ts

@@ -0,0 +1,18 @@
+/**
+ * L1 (scalar-AST) canonical entries — electromagnetism & circuits. The standard
+ * textbook monomial EM laws: Ohm's law, electrical power, material resistance,
+ * parallel-plate capacitance, capacitor/inductor energy, the field of a long
+ * wire, cyclotron frequency, Larmor radius, the point-charge field, and LC
+ * resonance. L0 fields are engine-derived (see `_l1-build`).
+ *
+ * Scope: generic dimensional MONOMIAL laws (Adam+Eve adversarial audit,
+ * 2026-06-20). Numeric/geometric prefactors (½, 2π, 4π) are recorded via
+ * `scalar-up-to-constant`; the LC √-law is `dimensional`. Maxwell's equations
+ * (vector PDEs) are deliberately out of scope. See
+ * docs/research/bridges-vs-canonical-map.md.
+ *
+ * @module canonical/entries/electromagnetism
+ */
+import type { CanonicalEquation } from '../canonical-equation.js';
+export declare const ELECTROMAGNETISM: readonly CanonicalEquation[];
+//# sourceMappingURL=electromagnetism.d.ts.map

package/dist/canonical/entries/electromagnetism.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"electromagnetism.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/electromagnetism.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAyBlE,eAAO,MAAM,gBAAgB,EAAE,SAAS,iBAAiB,EAqMxD,CAAC"}

package/dist/canonical/entries/electromagnetism.js

@@ -0,0 +1,212 @@
+import { sym } from '../../bridges/equations/_be-helpers.js';
+import { MASS, VELOCITY, ENERGY, POWER, LENGTH, AREA, FREQUENCY, CHARGE, } from '../../dimensional/types.js';
+import { dim, op, pow, l1 } from './_l1-build.js';
+const CURRENT = dim(0, 0, 0, 1); // ampere [I]
+const VOLTAGE = dim(2, 1, -3, -1); // volt [L² M T⁻³ I⁻¹]
+const RESISTANCE = dim(2, 1, -3, -2); // ohm [L² M T⁻³ I⁻²]
+const RESISTIVITY = dim(3, 1, -3, -2); // ohm·m [L³ M T⁻³ I⁻²]
+const CAPACITANCE = dim(-2, -1, 4, 2); // farad [L⁻² M⁻¹ T⁴ I²]
+const INDUCTANCE = dim(2, 1, -2, -2); // henry [L² M T⁻² I⁻²]
+const MAGNETIC_FIELD = dim(0, 1, -2, -1); // tesla [M T⁻² I⁻¹]
+const ELECTRIC_FIELD = dim(1, 1, -3, -1); // V/m [L M T⁻³ I⁻¹]
+const PERMITTIVITY = dim(-3, -1, 4, 2); // ε₀ [L⁻³ M⁻¹ T⁴ I²]
+const PERMEABILITY = dim(1, 1, -2, -2); // μ₀ [L M T⁻² I⁻²]
+export const ELECTROMAGNETISM = [
+    l1({ name: 'voltage', dim: VOLTAGE }, [
+        { name: 'current', dim: CURRENT },
+        { name: 'resistance', dim: RESISTANCE },
+    ], {
+        id: 'CE-ohm-law',
+        name: "Ohm's law",
+        domain: 'electromagnetism',
+        formula_latex: 'V = I R',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('*', [sym('current', CURRENT), sym('resistance', RESISTANCE)]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['ohmic conductor'],
+        references: ['Ohm 1827'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'power', dim: POWER }, [
+        { name: 'current', dim: CURRENT },
+        { name: 'voltage', dim: VOLTAGE },
+    ], {
+        id: 'CE-electrical-power',
+        name: 'Electrical power',
+        domain: 'electromagnetism',
+        formula_latex: 'P = I V',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('*', [sym('current', CURRENT), sym('voltage', VOLTAGE)]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: [],
+        references: ['Joule 1841'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'resistance', dim: RESISTANCE }, [
+        { name: 'resistivity', dim: RESISTIVITY },
+        { name: 'length', dim: LENGTH },
+        { name: 'area', dim: AREA },
+    ], {
+        id: 'CE-resistance-material',
+        name: 'Resistance of a uniform conductor',
+        domain: 'electromagnetism',
+        formula_latex: 'R = \\rho L / A',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [
+            op('*', [sym('resistivity', RESISTIVITY), sym('length', LENGTH)]),
+            sym('area', AREA),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['uniform cross-section', 'homogeneous material'],
+        references: ['Pouillet 1837'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'capacitance', dim: CAPACITANCE }, [
+        { name: 'epsilon_0', dim: PERMITTIVITY },
+        { name: 'area', dim: AREA },
+        { name: 'distance', dim: LENGTH },
+    ], {
+        id: 'CE-capacitance-parallel-plate',
+        name: 'Parallel-plate capacitance',
+        domain: 'electromagnetism',
+        formula_latex: 'C = \\varepsilon_0 A / d',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [
+            op('*', [sym('epsilon_0', PERMITTIVITY), sym('area', AREA)]),
+            sym('distance', LENGTH),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['vacuum gap', 'ideal plates (no fringing)'],
+        references: ['Faraday 1837'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'energy', dim: ENERGY }, [
+        { name: 'capacitance', dim: CAPACITANCE },
+        { name: 'voltage', dim: VOLTAGE },
+    ], {
+        id: 'CE-capacitor-energy',
+        name: 'Capacitor stored energy',
+        domain: 'electromagnetism',
+        formula_latex: 'U = \\tfrac{1}{2} C V^2',
+        epistemicStatus: 'scalar-up-to-constant',
+        scalarAst: op('*', [
+            sym('capacitance', CAPACITANCE),
+            pow(sym('voltage', VOLTAGE), '2'),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: [],
+        references: ['Standard electromagnetism (Griffiths §2.4)'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'energy', dim: ENERGY }, [
+        { name: 'inductance', dim: INDUCTANCE },
+        { name: 'current', dim: CURRENT },
+    ], {
+        id: 'CE-inductor-energy',
+        name: 'Inductor stored energy',
+        domain: 'electromagnetism',
+        formula_latex: 'U = \\tfrac{1}{2} L I^2',
+        epistemicStatus: 'scalar-up-to-constant',
+        scalarAst: op('*', [
+            sym('inductance', INDUCTANCE),
+            pow(sym('current', CURRENT), '2'),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: [],
+        references: ['Standard electromagnetism (Griffiths §7.2)'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'magnetic-field', dim: MAGNETIC_FIELD }, [
+        { name: 'mu_0', dim: PERMEABILITY },
+        { name: 'current', dim: CURRENT },
+        { name: 'distance', dim: LENGTH },
+    ], {
+        id: 'CE-magnetic-field-wire',
+        name: 'Magnetic field of a long straight wire',
+        domain: 'electromagnetism',
+        formula_latex: 'B = \\mu_0 I / (2\\pi r)',
+        epistemicStatus: 'scalar-up-to-constant',
+        scalarAst: op('/', [
+            op('*', [sym('mu_0', PERMEABILITY), sym('current', CURRENT)]),
+            sym('distance', LENGTH),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['infinite straight wire', 'magnetostatic'],
+        references: ['Ampère 1826'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'cyclotron-frequency', dim: FREQUENCY }, [
+        { name: 'charge', dim: CHARGE },
+        { name: 'magnetic-field', dim: MAGNETIC_FIELD },
+        { name: 'mass', dim: MASS },
+    ], {
+        id: 'CE-cyclotron-frequency',
+        name: 'Cyclotron frequency',
+        domain: 'electromagnetism',
+        formula_latex: '\\omega_c = q B / m',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [
+            op('*', [sym('charge', CHARGE), sym('magnetic-field', MAGNETIC_FIELD)]),
+            sym('mass', MASS),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['non-relativistic charged particle'],
+        references: ['Standard plasma physics'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'larmor-radius', dim: LENGTH }, [
+        { name: 'mass', dim: MASS },
+        { name: 'speed', dim: VELOCITY },
+        { name: 'charge', dim: CHARGE },
+        { name: 'magnetic-field', dim: MAGNETIC_FIELD },
+    ], {
+        id: 'CE-larmor-radius',
+        name: 'Larmor (gyro) radius',
+        domain: 'electromagnetism',
+        formula_latex: 'r_L = m v_\\perp / (q B)',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [
+            op('*', [sym('mass', MASS), sym('speed', VELOCITY)]),
+            op('*', [sym('charge', CHARGE), sym('magnetic-field', MAGNETIC_FIELD)]),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['velocity perpendicular to B', 'non-relativistic'],
+        references: ['Standard plasma physics'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'electric-field', dim: ELECTRIC_FIELD }, [
+        { name: 'charge', dim: CHARGE },
+        { name: 'epsilon_0', dim: PERMITTIVITY },
+        { name: 'r', dim: LENGTH },
+    ], {
+        id: 'CE-point-charge-field',
+        name: 'Point-charge electric field (Coulomb field)',
+        domain: 'electromagnetism',
+        formula_latex: 'E = q / (4\\pi \\varepsilon_0 r^2)',
+        epistemicStatus: 'scalar-up-to-constant',
+        scalarAst: op('/', [
+            sym('charge', CHARGE),
+            op('*', [sym('epsilon_0', PERMITTIVITY), pow(sym('r', LENGTH), '2')]),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['point charge', 'vacuum', 'electrostatic'],
+        references: ['Coulomb 1785'],
+        partnerBridges: [],
+    }),
+    // ── LC resonance (√-law: dimensional-only, engine-derived fractional monomial)
+    l1({ name: 'angular-frequency', dim: FREQUENCY }, [
+        { name: 'inductance', dim: INDUCTANCE },
+        { name: 'capacitance', dim: CAPACITANCE },
+    ], {
+        id: 'CE-lc-resonance',
+        name: 'LC resonant angular frequency',
+        domain: 'electromagnetism',
+        formula_latex: '\\omega_0 = 1/\\sqrt{L C}',
+        epistemicStatus: 'dimensional',
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['ideal lossless LC circuit'],
+        references: ['Standard circuit theory'],
+        partnerBridges: [],
+    }),
+];
+//# sourceMappingURL=electromagnetism.js.map

package/dist/canonical/entries/electromagnetism.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"electromagnetism.js","sourceRoot":"","sources":["../../../src/canonical/entries/electromagnetism.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,KAAK,EACL,MAAM,EACN,IAAI,EACJ,SAAS,EACT,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa;AAC9C,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB;AACzD,MAAM,UAAU,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB;AAC3D,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,uBAAuB;AAC9D,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,wBAAwB;AAC/D,MAAM,UAAU,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,uBAAuB;AAC7D,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;AAC9D,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;AAC9D,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qBAAqB;AAC7D,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB;AAE3D,MAAM,CAAC,MAAM,gBAAgB,GAAiC;IAC5D,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;QACpC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE;KACxC,EAAE;QACD,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;QAC5E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,iBAAiB,CAAC;QAChC,UAAU,EAAE,CAAC,UAAU,CAAC;QACxB,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;QACtE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;YACjE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;SAClB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,uBAAuB,EAAE,sBAAsB,CAAC;QAC9D,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE,EAAE;QAC5C,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,+BAA+B;QACnC,IAAI,EAAE,4BAA4B;QAClC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,0BAA0B;QACzC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YAC5D,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC;SACxB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,YAAY,EAAE,4BAA4B,CAAC;QACzD,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC;YAC/B,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC;SAClC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,4CAA4C,CAAC;QAC1D,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE;QACvC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC;YAC7B,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC;SAClC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,4CAA4C,CAAC;QAC1D,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,YAAY,EAAE;QACnC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,wCAAwC;QAC9C,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,0BAA0B;QACzC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;YAC7D,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC;SACxB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,wBAAwB,EAAE,eAAe,CAAC;QACxD,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;QAC/C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,qBAAqB;QACpC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC,CAAC;YACvE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;SAClB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,mCAAmC,CAAC;QAClD,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACzC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE;QAChC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;KAChD,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,0BAA0B;QACzC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;YACpD,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC,CAAC;SACxE,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,6BAA6B,EAAE,kBAAkB,CAAC;QAChE,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,6CAA6C;QACnD,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,oCAAoC;QACnD,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;YACrB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;SACtE,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,eAAe,CAAC;QACxD,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,gFAAgF;IAChF,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAChD,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE;QACvC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,2BAA2B;QAC1C,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}

package/dist/canonical/entries/fluids-waves.d.ts

@@ -0,0 +1,18 @@
+/**
+ * L1 (scalar-AST) canonical entries — fluids & waves (classical mechanics).
+ * Hydrostatic pressure, the pressure and density definitions, buoyancy, Stokes
+ * drag, the wave relation v = fλ, and the fluid sound speed. L0 fields are
+ * engine-derived (see `_l1-build`).
+ *
+ * Scope: generic dimensional MONOMIAL laws (Adam+Eve adversarial audit,
+ * 2026-06-20). `domain: 'mechanics'` — the `CanonicalDomain` enum has no
+ * `fluids`/`waves` arm, and these are classical-mechanics laws. The sound-speed
+ * √-law is `dimensional` (the dimensionless adiabatic index γ is a leading
+ * constant, not a governing quantity). Navier–Stokes (a PDE) is out of scope.
+ * See docs/research/bridges-vs-canonical-map.md.
+ *
+ * @module canonical/entries/fluids-waves
+ */
+import type { CanonicalEquation } from '../canonical-equation.js';
+export declare const FLUIDS_WAVES: readonly CanonicalEquation[];
+//# sourceMappingURL=fluids-waves.d.ts.map

package/dist/canonical/entries/fluids-waves.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fluids-waves.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/fluids-waves.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAkBlE,eAAO,MAAM,YAAY,EAAE,SAAS,iBAAiB,EAyHpD,CAAC"}