universal-physics-tensor 0.28.0 → 0.30.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

@@ -17,6 +17,21 @@
  *
  * @module bridges/confrontation-coverage
  */
+/**
+ * Catalog ids with a committed real-data confrontation:
+ *   - 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
+ *
+ * Single source of truth — also consumed by `composition/bridge-analysis.ts`
+ * (the priority scorecard's data-confrontation flag).
+ *
+ * @internal
+ */
+export declare const DATA_CONFRONTED_IDS: ReadonlySet<number>;
 /**
  * The grounding tier of one bridge, strongest first:
  *   - `data-confronted` — has a committed real-data confrontation.

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;AAKH;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAyB,CAAC;AAE9E;;;;;;;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,16 @@ 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
+ *
+ * Single source of truth — also consumed by `composition/bridge-analysis.ts`
+ * (the priority scorecard's data-confrontation flag).
+ *
+ * @internal
  */
-const DATA_CONFRONTED_IDS = new Set([23, 36]);
+export 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;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;AA+C9E;;;;;;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/bridges/descriptor.d.ts

@@ -0,0 +1,54 @@
+/**
+ * Unified per-bridge descriptor — one lookup that JOINS the catalog's three
+ * id-keyed registries so a consumer reads a single object instead of
+ * cross-referencing three hand-maintained sources:
+ *
+ *   1. `BRIDGE_EQUATIONS`   — catalog metadata (status, refs, signature, …)
+ *   2. `BRIDGE_RHS_BY_ID`   — faithful right-hand-side AST (where encoded)
+ *   3. `CATALOG_GRAPH`      — composition-graph edge(s) keyed by `beId`
+ *
+ * This is a DERIVED facade, not a fourth source of truth: every field still
+ * lives in its home registry. The point is anti-drift — the failure mode behind
+ * the stale `DATA_CONFRONTED = {23,36}` set and the `6.075e-12` value was the
+ * registries silently disagreeing. They are now (a) reachable through one
+ * accessor and (b) cross-checked by one guard
+ * (`tests/bridges/descriptor-consistency.test.ts`), so a future id that exists
+ * in one registry but not another fails loudly instead of drifting.
+ *
+ * @module bridges/descriptor
+ */
+import { type BridgeEquationEntry } from './index.js';
+import type { BridgeEdge } from '../composition/edge.js';
+import type { ExprNode } from '../dimensional/validator.js';
+/** One bridge, joined across the catalog's three id-keyed registries. */
+interface BridgeDescriptor {
+    /** Catalog id (11–54). */
+    readonly id: number;
+    /** Catalog metadata (from `BRIDGE_EQUATIONS`). */
+    readonly entry: BridgeEquationEntry;
+    /** Faithful RHS AST (from `BRIDGE_RHS_BY_ID`), or `undefined` if not encoded. */
+    readonly rhs: ExprNode | undefined;
+    /**
+     * Composition-graph edges carrying this `beId` (from `CATALOG_GRAPH`).
+     * Usually one; a few bridges have several (e.g. BE-42 + BE-42-via-rs).
+     * Empty when the bridge has no graph edge.
+     */
+    readonly edges: readonly BridgeEdge[];
+}
+/**
+ * Every bridge descriptor, keyed by catalog id. The single joined view of the
+ * three registries.
+ *
+ * @internal
+ */
+export declare const BRIDGE_DESCRIPTORS: ReadonlyMap<number, BridgeDescriptor>;
+/**
+ * Look up one bridge by id (a number, `'42'`, or `'BE-42'` — case-insensitive).
+ * Returns the joined descriptor (metadata + RHS + edges). Throws if the id is
+ * unparseable or not catalogued.
+ *
+ * @internal
+ */
+export declare function getBridge(bridgeId: number | string): BridgeDescriptor;
+export {};
+//# sourceMappingURL=descriptor.d.ts.map

package/dist/bridges/descriptor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"descriptor.d.ts","sourceRoot":"","sources":["../../src/bridges/descriptor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EAAoB,KAAK,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAGxE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAE5D,yEAAyE;AACzE,UAAU,gBAAgB;IACxB,0BAA0B;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;IACpC,iFAAiF;IACjF,QAAQ,CAAC,GAAG,EAAE,QAAQ,GAAG,SAAS,CAAC;IACnC;;;;OAIG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;CACvC;AAsBD;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAe,CAAC;AAErF;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,gBAAgB,CASrE"}

package/dist/bridges/descriptor.js

@@ -0,0 +1,67 @@
+/**
+ * Unified per-bridge descriptor — one lookup that JOINS the catalog's three
+ * id-keyed registries so a consumer reads a single object instead of
+ * cross-referencing three hand-maintained sources:
+ *
+ *   1. `BRIDGE_EQUATIONS`   — catalog metadata (status, refs, signature, …)
+ *   2. `BRIDGE_RHS_BY_ID`   — faithful right-hand-side AST (where encoded)
+ *   3. `CATALOG_GRAPH`      — composition-graph edge(s) keyed by `beId`
+ *
+ * This is a DERIVED facade, not a fourth source of truth: every field still
+ * lives in its home registry. The point is anti-drift — the failure mode behind
+ * the stale `DATA_CONFRONTED = {23,36}` set and the `6.075e-12` value was the
+ * registries silently disagreeing. They are now (a) reachable through one
+ * accessor and (b) cross-checked by one guard
+ * (`tests/bridges/descriptor-consistency.test.ts`), so a future id that exists
+ * in one registry but not another fails loudly instead of drifting.
+ *
+ * @module bridges/descriptor
+ */
+import { BRIDGE_EQUATIONS } from './index.js';
+import { BRIDGE_RHS_BY_ID, parseBridgeId } from './rhs-registry.js';
+import { CATALOG_GRAPH } from '../composition/catalog-graph.js';
+const DESCRIPTORS = (() => {
+    const edgesById = new Map();
+    for (const e of CATALOG_GRAPH) {
+        if (e.beId === null)
+            continue;
+        const list = edgesById.get(e.beId);
+        if (list)
+            list.push(e);
+        else
+            edgesById.set(e.beId, [e]);
+    }
+    const m = new Map();
+    for (const entry of BRIDGE_EQUATIONS) {
+        m.set(entry.id, {
+            id: entry.id,
+            entry,
+            rhs: BRIDGE_RHS_BY_ID.get(entry.id),
+            edges: edgesById.get(entry.id) ?? [],
+        });
+    }
+    return m;
+})();
+/**
+ * Every bridge descriptor, keyed by catalog id. The single joined view of the
+ * three registries.
+ *
+ * @internal
+ */
+export const BRIDGE_DESCRIPTORS = DESCRIPTORS;
+/**
+ * Look up one bridge by id (a number, `'42'`, or `'BE-42'` — case-insensitive).
+ * Returns the joined descriptor (metadata + RHS + edges). Throws if the id is
+ * unparseable or not catalogued.
+ *
+ * @internal
+ */
+export function getBridge(bridgeId) {
+    const id = parseBridgeId(bridgeId);
+    const d = DESCRIPTORS.get(id);
+    if (d === undefined) {
+        throw new RangeError(`getBridge: no catalogued bridge with id ${id} (BE-${id}).`);
+    }
+    return d;
+}
+//# sourceMappingURL=descriptor.js.map

package/dist/bridges/descriptor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"descriptor.js","sourceRoot":"","sources":["../../src/bridges/descriptor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EAAE,gBAAgB,EAA4B,MAAM,YAAY,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAoBhE,MAAM,WAAW,GAA0C,CAAC,GAAG,EAAE;IAC/D,MAAM,SAAS,GAAG,IAAI,GAAG,EAAwB,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,SAAS;QAC9B,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;;YAClB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,GAAG,EAA4B,CAAC;IAC9C,KAAK,MAAM,KAAK,IAAI,gBAAgB,EAAE,CAAC;QACrC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE;YACd,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,KAAK;YACL,GAAG,EAAE,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACnC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE;SACrC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC,EAAE,CAAC;AAEL;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAA0C,WAAW,CAAC;AAErF;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAC,QAAyB;IACjD,MAAM,EAAE,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9B,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,MAAM,IAAI,UAAU,CAClB,2CAA2C,EAAE,QAAQ,EAAE,IAAI,CAC5D,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/bridges/equations/_be-helpers.d.ts

@@ -25,7 +25,6 @@
  * @module bridges/equations/_be-helpers
  */
 import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-import type { Dimension } from '../../dimensional/types.js';
 export { validateFiniteInputs, type FieldSpec } from '../../numerical/input-validation.js';
 /**
  * Run `validateEquation(lhs, rhs)` + `validate(lhs)` + `validate(rhs)`
@@ -77,5 +76,5 @@ export declare function validateBEDimensions(lhs: ExprNode, rhs: ExprNode, _equa
  *
  * @internal
  */
-export declare function sym(name: string, dim: Dimension): ExprNode;
+export { sym } from '../../dimensional/ast-builders.js';
 //# sourceMappingURL=_be-helpers.d.ts.map

package/dist/bridges/equations/_be-helpers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"_be-helpers.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/_be-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAQ5D,OAAO,EAAE,oBAAoB,EAAE,KAAK,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAM3F;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,QAAQ,EACb,GAAG,EAAE,QAAQ,EACb,cAAc,EAAE,MAAM,GACrB,yBAAyB,CAS3B;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,QAAQ,CAE1D"}
+{"version":3,"file":"_be-helpers.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/_be-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAS1F,OAAO,EAAE,oBAAoB,EAAE,KAAK,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAM3F;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,QAAQ,EACb,GAAG,EAAE,QAAQ,EACb,cAAc,EAAE,MAAM,GACrB,yBAAyB,CAS3B;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAGH,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC"}

package/dist/bridges/equations/_be-helpers.js

@@ -97,7 +97,7 @@ export function validateBEDimensions(lhs, rhs, _equationLabel) {
  *
  * @internal
  */
-export function sym(name, dim) {
-    return { kind: 'symbol', name, dim };
-}
+// Single source of truth in `dimensional/ast-builders`; re-exported here so the
+// ~55 BE/canonical modules that import `sym` from `_be-helpers` are unchanged.
+export { sym } from '../../dimensional/ast-builders.js';
 //# sourceMappingURL=_be-helpers.js.map

package/dist/bridges/equations/_be-helpers.js.map

@@ -1 +1 @@
-{"version":3,"file":"_be-helpers.js","sourceRoot":"","sources":["../../../src/bridges/equations/_be-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAG5E,8EAA8E;AAC9E,4CAA4C;AAC5C,8EAA8E;AAC9E,2EAA2E;AAC3E,2EAA2E;AAC3E,iFAAiF;AACjF,OAAO,EAAE,oBAAoB,EAAkB,MAAM,qCAAqC,CAAC;AAE3F,8EAA8E;AAC9E,qDAAqD;AACrD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,oBAAoB,CAClC,GAAa,EACb,GAAa,EACb,cAAsB;IAEtB,MAAM,EAAE,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3B,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,IAAI,CAAC,iBAAiB;QAC9B,MAAM,EAAE,IAAI,CAAC,iBAAiB;KAC/B,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,uDAAuD;AACvD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,GAAc;IAC9C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACvC,CAAC"}
+{"version":3,"file":"_be-helpers.js","sourceRoot":"","sources":["../../../src/bridges/equations/_be-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAE5E,8EAA8E;AAC9E,4CAA4C;AAC5C,8EAA8E;AAC9E,2EAA2E;AAC3E,2EAA2E;AAC3E,iFAAiF;AACjF,OAAO,EAAE,oBAAoB,EAAkB,MAAM,qCAAqC,CAAC;AAE3F,8EAA8E;AAC9E,qDAAqD;AACrD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,oBAAoB,CAClC,GAAa,EACb,GAAa,EACb,cAAsB;IAEtB,MAAM,EAAE,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3B,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,IAAI,CAAC,iBAAiB;QAC9B,MAAM,EAAE,IAAI,CAAC,iBAAiB;KAC/B,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,uDAAuD;AACvD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,gFAAgF;AAChF,+EAA+E;AAC/E,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC"}

package/dist/bridges/equations/be-20-vacuum-energy.d.ts

@@ -31,7 +31,7 @@
  *     as the AST-encodable bridge content.
  *   - Dim: [c² Λ] = L² T⁻² · L⁻² = T⁻²; [1/G] = M T² L⁻³;
  *     [c² Λ / G] = M T² L⁻³ · T⁻² = M L⁻³ ✓ (mass density).
- *   - The energy-density form ρ_Λ c² = c⁴ Λ / (8π G) ≈ 7×10⁻¹⁰ J/m³
+ *   - The energy-density form ρ_Λ c² = c⁴ Λ / (8π G) ≈ 5.30×10⁻¹⁰ J/m³
  *     is the alternate convention; both forms are physically
  *     equivalent. We encode the mass-density form here.
  *   - v0.6.0 re-encoding: the plain `sym('Lambda', [L⁻²])` stub is

package/dist/bridges/equations/be-20-vacuum-energy.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-20-vacuum-energy.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,EACL,SAAS,EAEV,MAAM,4BAA4B,CAAC;AAUpC,sCAAsC;AACtC,eAAO,MAAM,YAAY,EAAE,SAE1B,CAAC;AAqBF;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAuBpC,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,eAAO,MAAM,sBAAsB,EAAE,QAA0C,CAAC;AAIhF;;GAEG;AACH,UAAU,0BAA0B;IAClC;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAID;;;;;;;GAOG;AACH,wBAAgB,mCAAmC,CACjD,KAAK,GAAE,0BAA+B,GACrC,MAAM,CASR;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}
+{"version":3,"file":"be-20-vacuum-energy.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,EACL,SAAS,EAEV,MAAM,4BAA4B,CAAC;AAUpC,sCAAsC;AACtC,eAAO,MAAM,YAAY,EAAE,SAE1B,CAAC;AAwBF;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAuBpC,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,eAAO,MAAM,sBAAsB,EAAE,QAA0C,CAAC;AAIhF;;GAEG;AACH,UAAU,0BAA0B;IAClC;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAID;;;;;;;GAOG;AACH,wBAAgB,mCAAmC,CACjD,KAAK,GAAE,0BAA+B,GACrC,MAAM,CASR;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-20-vacuum-energy.js

@@ -31,7 +31,7 @@
  *     as the AST-encodable bridge content.
  *   - Dim: [c² Λ] = L² T⁻² · L⁻² = T⁻²; [1/G] = M T² L⁻³;
  *     [c² Λ / G] = M T² L⁻³ · T⁻² = M L⁻³ ✓ (mass density).
- *   - The energy-density form ρ_Λ c² = c⁴ Λ / (8π G) ≈ 7×10⁻¹⁰ J/m³
+ *   - The energy-density form ρ_Λ c² = c⁴ Λ / (8π G) ≈ 5.30×10⁻¹⁰ J/m³
  *     is the alternate convention; both forms are physically
  *     equivalent. We encode the mass-density form here.
  *   - v0.6.0 re-encoding: the plain `sym('Lambda', [L⁻²])` stub is
@@ -70,11 +70,13 @@ export const MASS_DENSITY = {
  * Decision #9 (v0.6.0-Design.md): status pin unchanged — structural
  * AST promotion does NOT constitute physics validation.
  */
+/** Planck 2018 cosmological constant Λ ≈ 1.1×10⁻⁵² m⁻² — single source of truth. */
+const PLANCK_2018_LAMBDA = 1.1e-52;
 const BE20_COSMOLOGICAL_CONSTANT = {
     kind: 'cosmological-constant',
     symbol: 'Λ',
     dim: INV_LENGTH_2,
-    value: 1.1e-52, // Planck 2018 canonical value (m⁻²)
+    value: PLANCK_2018_LAMBDA,
 };
 /**
  * RHS of the cosmological-constant mass density:
@@ -111,7 +113,7 @@ export const BE20_VACUUM_ENERGY_RHS = {
 /** LHS: ρ_Λ has dimension [M L⁻³] (mass density, kg/m³). */
 /** @internal */
 export const BE20_VACUUM_ENERGY_LHS = sym('rho_Lambda', MASS_DENSITY);
-const DEFAULT_LAMBDA = 1.1e-52; // Planck 2018 canonical value (m^-2)
+const DEFAULT_LAMBDA = PLANCK_2018_LAMBDA;
 /**
  * Evaluate the mass density associated with the observed cosmological
  * constant

package/dist/bridges/equations/be-20-vacuum-energy.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-20-vacuum-energy.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAIH,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,qEAAqE;AACrE,MAAM,YAAY,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD,sCAAsC;AACtC,MAAM,CAAC,MAAM,YAAY,GAAc;IACrC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,0BAA0B,GAA6B;IAC3D,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,YAAY;IACjB,KAAK,EAAE,OAAO,EAAE,oCAAoC;CACrD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,oBAAoB;YACpB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACjD;gBACD,0BAA0B;aAC3B;SACF;QACD;YACE,sBAAsB;YACtB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;aAChB;SACF;KACF;CACF,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;AAehF,MAAM,cAAc,GAAG,OAAO,CAAC,CAAC,qCAAqC;AAErE;;;;;;;GAOG;AACH,MAAM,UAAU,mCAAmC,CACjD,QAAoC,EAAE;IAEtC,MAAM,EAAE,aAAa,GAAG,cAAc,EAAE,GAAG,KAAK,CAAC;IACjD,oBAAoB,CAClB,EAAE,aAAa,EAAE,EACjB,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EACnC,qCAAqC,CACtC,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACnC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;AACtF,CAAC"}
+{"version":3,"file":"be-20-vacuum-energy.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAIH,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,qEAAqE;AACrE,MAAM,YAAY,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD,sCAAsC;AACtC,MAAM,CAAC,MAAM,YAAY,GAAc;IACrC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,oFAAoF;AACpF,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAEnC,MAAM,0BAA0B,GAA6B;IAC3D,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,YAAY;IACjB,KAAK,EAAE,kBAAkB;CAC1B,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,oBAAoB;YACpB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACjD;gBACD,0BAA0B;aAC3B;SACF;QACD;YACE,sBAAsB;YACtB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;aAChB;SACF;KACF;CACF,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;AAehF,MAAM,cAAc,GAAG,kBAAkB,CAAC;AAE1C;;;;;;;GAOG;AACH,MAAM,UAAU,mCAAmC,CACjD,QAAoC,EAAE;IAEtC,MAAM,EAAE,aAAa,GAAG,cAAc,EAAE,GAAG,KAAK,CAAC;IACjD,oBAAoB,CAClB,EAAE,aAAa,EAAE,EACjB,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EACnC,qCAAqC,CACtC,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACnC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;AACtF,CAAC"}

package/dist/bridges/equations/be-21-kss-bound.d.ts

@@ -62,7 +62,7 @@ export declare const BE21_KSS_LHS: ExprNode;
  *
  *   η/s = ℏ / (4π k_B)
  *
- * @returns η/s in K·s (SI). Approximately 6.075e-12 K·s.
+ * @returns η/s in K·s (SI). Approximately 6.078e-13 K·s.
  */
 export declare function evaluateKSSBound(): number;
 /**

package/dist/bridges/equations/be-21-kss-bound.js

@@ -79,7 +79,7 @@ export const BE21_KSS_LHS = sym('eta_over_s', VISCOSITY_OVER_ENTROPY_DENSITY);
  *
  *   η/s = ℏ / (4π k_B)
  *
- * @returns η/s in K·s (SI). Approximately 6.075e-12 K·s.
+ * @returns η/s in K·s (SI). Approximately 6.078e-13 K·s.
  */
 export function evaluateKSSBound() {
     const { hbar, kB } = PhysicalConstants;

package/dist/bridges/equations/be-25-iit-phi.d.ts

@@ -34,13 +34,11 @@
  * convention; the validator only enforces that all components are
  * dimensionally consistent.
  *
- * **Dimensionless-stub pattern for log₂.** The AST has no `log`
- * primitive. Following the same idiom as BE-26 (exp(-WKB)), BE-41
- * (exp(...)), BE-45 (log()), BE-46 (exp()), and BE-50 (no log/exp;
- * algebraic), we encode `log₂[p(s̃|s)/p(s̃)]` as a fresh DIMENSIONLESS
- * symbol stub `log2_ratio_ii` and expose the inner ratio
- * `p(s̃|s)/p(s̃)` separately as `BE25_LOG_RATIO_ARG` so a lemma test
- * can verify the argument is dimensionless directly.
+ * **Faithful `transcendental` log₂ (v0.19).** `log₂[p(s̃|s)/p(s̃)]` is encoded
+ * as a `transcendental` `log2` node over the inner ratio, which is exposed
+ * separately as `BE25_LOG_RATIO_ARG` so a lemma test can verify the argument is
+ * dimensionless directly. (dimensionless → dimensionless, so the round-trip
+ * dimensional_signature is unchanged.)
  *
  * **AST structure (multiplicative, not additive — note the difference
  * from BE-45).** BE-45's RHS `log(M_P/H_inf) − γ·log(r/0.01)` is a
@@ -158,12 +156,10 @@ export declare const BE25_P_MARGINAL: ExprNode;
  */
 export declare const BE25_LOG_RATIO_ARG: ExprNode;
 /**
- * Lemma AST: the `log₂[p(s̃|s) / p(s̃)]` factor, encoded as a fresh
- * DIMENSIONLESS symbol stub `log2_ratio_ii` (the AST has no `log`
- * primitive; following the BE-26 / BE-41 / BE-45 / BE-46 dimensionless-
- * stub idiom). The actual log argument is exposed separately via
- * `BE25_LOG_RATIO_ARG` so the lemma test can verify it is
- * dimensionless.
+ * Lemma AST: the `log₂[p(s̃|s) / p(s̃)]` factor, encoded as a faithful
+ * `transcendental` `log2` node (v0.19) over the inner ratio. The log argument
+ * is exposed separately via `BE25_LOG_RATIO_ARG` so the lemma test can verify
+ * it is dimensionless.
  */
 export declare const BE25_LOG2_FACTOR: ExprNode;
 /**
@@ -172,10 +168,10 @@ export declare const BE25_LOG2_FACTOR: ExprNode;
  *
  *   p_cond · log2_ratio_ii
  *
- * `log2_ratio_ii` is a DIMENSIONLESS symbol stub for `log₂(...)`; the
+ * `BE25_LOG2_FACTOR` is a faithful `transcendental` `log2` node; its
  * argument `p_cond / p_marg` is exposed via `BE25_LOG_RATIO_ARG` and
- * verified dimensionless directly. The product of two dimensionless
- * symbols is DIMENSIONLESS — same shape as BE-46's `A · exp_factor`.
+ * verified dimensionless directly. The product of a dimensionless probability
+ * and a dimensionless log is DIMENSIONLESS — same shape as BE-46's `A · exp_factor`.
  */
 export declare const BE25_INTRINSIC_INFORMATION_RHS: ExprNode;
 /**

package/dist/bridges/equations/be-25-iit-phi.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-25-iit-phi.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-iit-phi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAQ1F;;;;;;;;;GASG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAAuC,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,QAAuC,CAAC;AAEtE;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAMhC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAI9B,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,8BAA8B,EAAE,QAM5C,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,eAAO,MAAM,8BAA8B,EAAE,QAAmC,CAAC;AAIjF;;GAEG;AACH,UAAU,0BAA0B;IAClC,gEAAgE;IAChE,MAAM,EAAE,MAAM,CAAC;IACf,gIAAgI;IAChI,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,0BAA0B,GAAG,MAAM,CA2BtF;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}
+{"version":3,"file":"be-25-iit-phi.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-iit-phi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAQ1F;;;;;;;;;GASG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAAuC,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,QAAuC,CAAC;AAEtE;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAMhC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAI9B,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,8BAA8B,EAAE,QAM5C,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,eAAO,MAAM,8BAA8B,EAAE,QAAmC,CAAC;AAIjF;;GAEG;AACH,UAAU,0BAA0B;IAClC,gEAAgE;IAChE,MAAM,EAAE,MAAM,CAAC;IACf,gIAAgI;IAChI,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,0BAA0B,GAAG,MAAM,CA2BtF;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

package/dist/bridges/equations/be-25-iit-phi.js

@@ -34,13 +34,11 @@
  * convention; the validator only enforces that all components are
  * dimensionally consistent.
  *
- * **Dimensionless-stub pattern for log₂.** The AST has no `log`
- * primitive. Following the same idiom as BE-26 (exp(-WKB)), BE-41
- * (exp(...)), BE-45 (log()), BE-46 (exp()), and BE-50 (no log/exp;
- * algebraic), we encode `log₂[p(s̃|s)/p(s̃)]` as a fresh DIMENSIONLESS
- * symbol stub `log2_ratio_ii` and expose the inner ratio
- * `p(s̃|s)/p(s̃)` separately as `BE25_LOG_RATIO_ARG` so a lemma test
- * can verify the argument is dimensionless directly.
+ * **Faithful `transcendental` log₂ (v0.19).** `log₂[p(s̃|s)/p(s̃)]` is encoded
+ * as a `transcendental` `log2` node over the inner ratio, which is exposed
+ * separately as `BE25_LOG_RATIO_ARG` so a lemma test can verify the argument is
+ * dimensionless directly. (dimensionless → dimensionless, so the round-trip
+ * dimensional_signature is unchanged.)
  *
  * **AST structure (multiplicative, not additive — note the difference
  * from BE-45).** BE-45's RHS `log(M_P/H_inf) − γ·log(r/0.01)` is a
@@ -166,12 +164,10 @@ export const BE25_LOG_RATIO_ARG = {
     ],
 };
 /**
- * Lemma AST: the `log₂[p(s̃|s) / p(s̃)]` factor, encoded as a fresh
- * DIMENSIONLESS symbol stub `log2_ratio_ii` (the AST has no `log`
- * primitive; following the BE-26 / BE-41 / BE-45 / BE-46 dimensionless-
- * stub idiom). The actual log argument is exposed separately via
- * `BE25_LOG_RATIO_ARG` so the lemma test can verify it is
- * dimensionless.
+ * Lemma AST: the `log₂[p(s̃|s) / p(s̃)]` factor, encoded as a faithful
+ * `transcendental` `log2` node (v0.19) over the inner ratio. The log argument
+ * is exposed separately via `BE25_LOG_RATIO_ARG` so the lemma test can verify
+ * it is dimensionless.
  */
 export const BE25_LOG2_FACTOR = {
     kind: 'transcendental',
@@ -184,10 +180,10 @@ export const BE25_LOG2_FACTOR = {
  *
  *   p_cond · log2_ratio_ii
  *
- * `log2_ratio_ii` is a DIMENSIONLESS symbol stub for `log₂(...)`; the
+ * `BE25_LOG2_FACTOR` is a faithful `transcendental` `log2` node; its
  * argument `p_cond / p_marg` is exposed via `BE25_LOG_RATIO_ARG` and
- * verified dimensionless directly. The product of two dimensionless
- * symbols is DIMENSIONLESS — same shape as BE-46's `A · exp_factor`.
+ * verified dimensionless directly. The product of a dimensionless probability
+ * and a dimensionless log is DIMENSIONLESS — same shape as BE-46's `A · exp_factor`.
  */
 export const BE25_INTRINSIC_INFORMATION_RHS = {
     kind: 'op', op: '*',

package/dist/bridges/equations/be-25-iit-phi.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-25-iit-phi.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-iit-phi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkIG;AAGH,OAAO,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAEzE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAEtE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,eAAe;KAChB;CACF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,gBAAgB;IACtB,EAAE,EAAE,MAAM;IACV,GAAG,EAAE,kBAAkB;CACxB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAa;IACtD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,gBAAgB;KACjB;CACF,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,MAAM,CAAC,MAAM,8BAA8B,GAAa,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;AAcjF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,4BAA4B,CAAC,KAAiC;IAC5E,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,yBAAyB;IACzB,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE;QAC/E,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE;KAChF,EACD,8BAA8B,CAC/B,CAAC;IACF,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACjC,qEAAqE;IACrE,mEAAmE;IACnE,6BAA6B;IAC7B,IAAI,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3B,gEAAgE;IAChE,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;QACjB,MAAM,IAAI,UAAU,CAClB,0DAA0D,MAAM,OAAO;YACrE,6DAA6D;YAC7D,8EAA8E,CACjF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;AAC7C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,8BAA8B,EAC9B,8BAA8B,EAC9B,MAAM,CACP,CAAC;AACJ,CAAC"}
+{"version":3,"file":"be-25-iit-phi.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-iit-phi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgIG;AAGH,OAAO,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAEzE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAEtE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,eAAe;KAChB;CACF,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,gBAAgB;IACtB,EAAE,EAAE,MAAM;IACV,GAAG,EAAE,kBAAkB;CACxB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAa;IACtD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,gBAAgB;KACjB;CACF,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,MAAM,CAAC,MAAM,8BAA8B,GAAa,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;AAcjF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,4BAA4B,CAAC,KAAiC;IAC5E,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,yBAAyB;IACzB,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE;QAC/E,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE;KAChF,EACD,8BAA8B,CAC/B,CAAC;IACF,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACjC,qEAAqE;IACrE,mEAAmE;IACnE,6BAA6B;IAC7B,IAAI,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3B,gEAAgE;IAChE,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;QACjB,MAAM,IAAI,UAAU,CAClB,0DAA0D,MAAM,OAAO;YACrE,6DAA6D;YAC7D,8EAA8E,CACjF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;AAC7C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,8BAA8B,EAC9B,8BAA8B,EAC9B,MAAM,CACP,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-26-dna-tunneling.d.ts

@@ -10,12 +10,12 @@
  * Status: speculative (downgraded from 'established' Wave S — this line previously drifted from the registry; src/bridges/index.ts is authoritative).
  *
  * Honest-claude scope notes:
- *   - The AST has no `exp` primitive; we encode the relation as
- *     `ν₀ · ε · f` where ε is a dimensionless symbol stub for
- *     `exp(-WKB_arg)`, and we expose the WKB argument
- *     `(2/ℏ)∫√(2m(V−E))dx` as a separate ExprNode `DNA_TUNNELING_WKB_ARG`
- *     so the dimensionless-ness of the exp argument can be verified
- *     directly. (Same pattern as BE-41 / BE-34.)
+ *   - The Gamow exponential is encoded faithfully (v0.21) as
+ *     `transcendental(exp, −WKB_arg)`, with the WKB argument
+ *     `(2/ℏ)∫√(2m(V−E))dx` exposed as a separate ExprNode
+ *     `DNA_TUNNELING_WKB_ARG`, so the barrier parameters (m, V−E, x₁, x₂) are
+ *     visible to differentiation and the dimensionless-ness of the exp
+ *     argument can be verified directly. (Same pattern as BE-41 / BE-34.)
  *   - The integrand √(2m(V−E)) is encoded with `^` of 0.5 (the
  *     validator accepts non-integer numeric exponents). Result is
  *     [M^{1/2}(M L² T^-2)^{1/2}] = [M L T^-1] (momentum), as expected.