universal-physics-tensor 7.0.0 → 8.0.0

package/dist/diff/bridge-specs.d.ts

@@ -1,68 +1,38 @@
 /**
- * Differentiable-bridge specs — v0.9 Proposal 8 Phase 2.
- *
- * Four representative `BridgeDiffSpec` registrations covering the
- * easy-AD subset of the 42-bridge catalog:
- *   - BE-37 Shapiro time delay
- *   - BE-52 Mercury perihelion precession
- *   - BE-42 Hawking temperature
- *   - BE-11 Decoherence rate
- *
- * Per P8 Eve M1-M3 reconciliation, every evaluator is called with
- * its actual struct-arg shape (NOT positional args). The exact
- * signatures were verified at HEAD:
- *   evaluateShapiroDelay(input: ShapiroInputs): number
- *   evaluatePerihelionPrecession(input: PerihelionPrecessionInputs):
- *     PerihelionPrecessionResult
- *   evaluateHawkingTemperature(input: HawkingTemperatureInputs): number
- *   evaluateDecoherenceRate(input: DecoherenceRateInputs): number
- *
- * Perihelion returns a struct; we wrap with a selector to extract
- * `dphi_rad_per_orbit` as the scalar output.
+ * Differentiable relations projected from the catalog. The scalar is the
+ * catalog expression. Parameter names are the relation's aliases.
  *
  * @module diff/bridge-specs
  */
 import type { BridgeDiffSpec } from './bridge-gradient.js';
-import { type ShapiroInputs } from '../bridges/equations/be-37-shapiro-delay.js';
-import { type PerihelionPrecessionInputs } from '../bridges/perihelion-precession.js';
-import { type HawkingTemperatureInputs } from '../bridges/equations/be-42-hawking-temperature.js';
-import { type DecoherenceRateInputs } from '../bridges/equations/be-11-decoherence-master.js';
-/**
- * BE-37 — Shapiro time delay. Differentiable in: `M_kg` (lensing
- * mass), `R_far_m` (outer radial distance), `R_near_m` (inner
- * radial distance).
- *
- * @public
- */
-export declare const BE37_SHAPIRO_DIFF: BridgeDiffSpec<ShapiroInputs>;
-/**
- * BE-52 — Mercury perihelion precession. Differentiable in:
- * `M_kg` (central mass), `a_m` (semi-major axis), `e`
- * (eccentricity). Scalar output: `dphi_rad_per_orbit`.
- *
- * @public
- */
-export declare const BE52_PERIHELION_DIFF: BridgeDiffSpec<PerihelionPrecessionInputs>;
-/**
- * BE-42 — Hawking temperature. Differentiable in: `M_kg` (black-
- * hole mass).
- *
- * @public
- */
-export declare const BE42_HAWKING_DIFF: BridgeDiffSpec<HawkingTemperatureInputs>;
-/**
- * BE-11 — Decoherence rate (Caldeira-Leggett weak-coupling form).
- * Differentiable in: `gamma0_per_s` (reference rate), `lambda`
- * (system-environment coupling), `lambda0` (reference coupling).
- *
- * @public
- */
-export declare const BE11_DECOHERENCE_DIFF: BridgeDiffSpec<DecoherenceRateInputs>;
-/**
- * All differentiable bridge specs shipped in v0.9. Consumers can
- * iterate this to enumerate the AD-capable subset of the catalog.
- *
- * @public
- */
-export declare const DIFFERENTIABLE_BRIDGE_SPECS: readonly [BridgeDiffSpec<ShapiroInputs>, BridgeDiffSpec<PerihelionPrecessionInputs>, BridgeDiffSpec<HawkingTemperatureInputs>, BridgeDiffSpec<DecoherenceRateInputs>];
+interface ShapiroInput {
+    readonly M_kg: number;
+    readonly R_far_m: number;
+    readonly R_near_m: number;
+}
+interface PerihelionInput {
+    readonly M_kg: number;
+    readonly a_m: number;
+    readonly e: number;
+    readonly T_yr?: number;
+}
+interface HawkingInput {
+    readonly M_kg: number;
+}
+interface DecoherenceInput {
+    readonly gamma0_per_s: number;
+    readonly lambda: number;
+    readonly lambda0: number;
+}
+/** Shapiro delay. Differentiable in mass and the two radii. @public */
+export declare const SHAPIRO_DELAY_DIFF: BridgeDiffSpec<ShapiroInput>;
+/** Perihelion advance in radians per orbit. @public */
+export declare const PERIHELION_ADVANCE_DIFF: BridgeDiffSpec<PerihelionInput>;
+/** Hawking temperature. Differentiable in mass. @public */
+export declare const HAWKING_TEMPERATURE_DIFF: BridgeDiffSpec<HawkingInput>;
+/** Decoherence rate. Differentiable in the rate and the two couplings. @public */
+export declare const DECOHERENCE_RATE_DIFF: BridgeDiffSpec<DecoherenceInput>;
+/** Catalog relations this module differentiates. @public */
+export declare const DIFFERENTIABLE_RELATIONS: readonly [BridgeDiffSpec<ShapiroInput>, BridgeDiffSpec<PerihelionInput>, BridgeDiffSpec<HawkingInput>, BridgeDiffSpec<DecoherenceInput>];
+export {};
 //# sourceMappingURL=bridge-specs.d.ts.map

package/dist/diff/bridge-specs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bridge-specs.d.ts","sourceRoot":"","sources":["../../src/diff/bridge-specs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAwB,KAAK,aAAa,EAAE,MAAM,6CAA6C,CAAC;AACvG,OAAO,EAEL,KAAK,0BAA0B,EAChC,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAA8B,KAAK,wBAAwB,EAAE,MAAM,mDAAmD,CAAC;AAC9H,OAAO,EAA2B,KAAK,qBAAqB,EAAE,MAAM,kDAAkD,CAAC;AAEvH;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,EAAE,cAAc,CAAC,aAAa,CAM3D,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,EAAE,cAAc,CAAC,0BAA0B,CAO3E,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,EAAE,cAAc,CAAC,wBAAwB,CAMtE,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,EAAE,cAAc,CAAC,qBAAqB,CAMvE,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,2BAA2B,uKAK9B,CAAC"}
+{"version":3,"file":"bridge-specs.d.ts","sourceRoot":"","sources":["../../src/diff/bridge-specs.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAyB3D,UAAU,YAAY;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,UAAU,eAAe;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,UAAU,gBAAgB;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAUD,uEAAuE;AACvE,eAAO,MAAM,kBAAkB,EAAE,cAAc,CAAC,YAAY,CAM3D,CAAC;AAEF,uDAAuD;AACvD,eAAO,MAAM,uBAAuB,EAAE,cAAc,CAAC,eAAe,CAMnE,CAAC;AAEF,2DAA2D;AAC3D,eAAO,MAAM,wBAAwB,EAAE,cAAc,CAAC,YAAY,CAMjE,CAAC;AAEF,kFAAkF;AAClF,eAAO,MAAM,qBAAqB,EAAE,cAAc,CAAC,gBAAgB,CAMlE,CAAC;AAEF,4DAA4D;AAC5D,eAAO,MAAM,wBAAwB,0IAK3B,CAAC"}

package/dist/diff/bridge-specs.js

@@ -1,96 +1,75 @@
 /**
- * Differentiable-bridge specs — v0.9 Proposal 8 Phase 2.
- *
- * Four representative `BridgeDiffSpec` registrations covering the
- * easy-AD subset of the 42-bridge catalog:
- *   - BE-37 Shapiro time delay
- *   - BE-52 Mercury perihelion precession
- *   - BE-42 Hawking temperature
- *   - BE-11 Decoherence rate
- *
- * Per P8 Eve M1-M3 reconciliation, every evaluator is called with
- * its actual struct-arg shape (NOT positional args). The exact
- * signatures were verified at HEAD:
- *   evaluateShapiroDelay(input: ShapiroInputs): number
- *   evaluatePerihelionPrecession(input: PerihelionPrecessionInputs):
- *     PerihelionPrecessionResult
- *   evaluateHawkingTemperature(input: HawkingTemperatureInputs): number
- *   evaluateDecoherenceRate(input: DecoherenceRateInputs): number
- *
- * Perihelion returns a struct; we wrap with a selector to extract
- * `dphi_rad_per_orbit` as the scalar output.
+ * Differentiable relations projected from the catalog. The scalar is the
+ * catalog expression. Parameter names are the relation's aliases.
  *
  * @module diff/bridge-specs
  */
-import { evaluateShapiroDelay } from '../bridges/equations/be-37-shapiro-delay.js';
-import { evaluatePerihelionPrecession, } from '../bridges/perihelion-precession.js';
-import { evaluateHawkingTemperature } from '../bridges/equations/be-42-hawking-temperature.js';
-import { evaluateDecoherenceRate } from '../bridges/equations/be-11-decoherence-master.js';
-/**
- * BE-37 — Shapiro time delay. Differentiable in: `M_kg` (lensing
- * mass), `R_far_m` (outer radial distance), `R_near_m` (inner
- * radial distance).
- *
- * @public
- */
-export const BE37_SHAPIRO_DIFF = {
-    bridgeId: 'BE-37',
+import { catalogEdgeKey, catalogRelations } from '../bridges/catalog-load.js';
+import { evaluateCatalogRelation } from '../bridges/relation-eval.js';
+function relationWithSource(source) {
+    const found = catalogRelations().find((row) => row.sources.includes(source));
+    if (found === undefined)
+        throw new Error(`bridge-specs: no relation has source '${source}'`);
+    return found;
+}
+function evaluateAliased(relation, input) {
+    const record = input;
+    const bound = {};
+    for (const source of relation.sources) {
+        const alias = (relation.aliases[source] ?? []).find((key) => record[key] !== undefined);
+        const key = alias ?? (record[source] !== undefined ? source : undefined);
+        if (key === undefined)
+            throw new Error(`${relation.id}: missing ${source}`);
+        const value = record[key];
+        if (value === undefined)
+            throw new Error(`${relation.id}: missing ${source}`);
+        bound[source] = value;
+    }
+    return evaluateCatalogRelation(relation, bound);
+}
+const shapiro = relationWithSource('far-radius');
+const perihelion = relationWithSource('semi-major-axis');
+const hawking = catalogRelations().find((row) => row.target === 'hawking-temperature' && row.sources.length === 1 && row.sources[0] === 'mass');
+if (hawking === undefined)
+    throw new Error('bridge-specs: no Hawking temperature relation');
+const decoherence = relationWithSource('system-environment-coupling');
+/** Shapiro delay. Differentiable in mass and the two radii. @public */
+export const SHAPIRO_DELAY_DIFF = {
+    bridgeId: catalogEdgeKey(shapiro.catalogId ?? 0),
     name: 'Shapiro time delay',
     paramNames: ['M_kg', 'R_far_m', 'R_near_m'],
     defaults: {},
-    evaluate: evaluateShapiroDelay,
+    evaluate: (input) => evaluateAliased(shapiro, input),
 };
-/**
- * BE-52 — Mercury perihelion precession. Differentiable in:
- * `M_kg` (central mass), `a_m` (semi-major axis), `e`
- * (eccentricity). Scalar output: `dphi_rad_per_orbit`.
- *
- * @public
- */
-export const BE52_PERIHELION_DIFF = {
-    bridgeId: 'BE-52',
-    name: 'Perihelion precession (Δφ_rad_per_orbit)',
+/** Perihelion advance in radians per orbit. @public */
+export const PERIHELION_ADVANCE_DIFF = {
+    bridgeId: catalogEdgeKey(perihelion.catalogId ?? 0),
+    name: 'Perihelion advance (radian per orbit)',
     paramNames: ['M_kg', 'a_m', 'e'],
-    defaults: { T_yr: 1 },
-    evaluate: (input) => evaluatePerihelionPrecession(input).dphi_rad_per_orbit,
+    defaults: {},
+    evaluate: (input) => evaluateAliased(perihelion, input),
 };
-/**
- * BE-42 — Hawking temperature. Differentiable in: `M_kg` (black-
- * hole mass).
- *
- * @public
- */
-export const BE42_HAWKING_DIFF = {
-    bridgeId: 'BE-42',
+/** Hawking temperature. Differentiable in mass. @public */
+export const HAWKING_TEMPERATURE_DIFF = {
+    bridgeId: catalogEdgeKey(hawking.catalogId ?? 0),
     name: 'Hawking temperature',
     paramNames: ['M_kg'],
     defaults: {},
-    evaluate: evaluateHawkingTemperature,
+    evaluate: (input) => evaluateAliased(hawking, input),
 };
-/**
- * BE-11 — Decoherence rate (Caldeira-Leggett weak-coupling form).
- * Differentiable in: `gamma0_per_s` (reference rate), `lambda`
- * (system-environment coupling), `lambda0` (reference coupling).
- *
- * @public
- */
-export const BE11_DECOHERENCE_DIFF = {
-    bridgeId: 'BE-11',
+/** Decoherence rate. Differentiable in the rate and the two couplings. @public */
+export const DECOHERENCE_RATE_DIFF = {
+    bridgeId: catalogEdgeKey(decoherence.catalogId ?? 0),
     name: 'Decoherence rate',
     paramNames: ['gamma0_per_s', 'lambda', 'lambda0'],
     defaults: {},
-    evaluate: evaluateDecoherenceRate,
+    evaluate: (input) => evaluateAliased(decoherence, input),
 };
-/**
- * All differentiable bridge specs shipped in v0.9. Consumers can
- * iterate this to enumerate the AD-capable subset of the catalog.
- *
- * @public
- */
-export const DIFFERENTIABLE_BRIDGE_SPECS = [
-    BE37_SHAPIRO_DIFF,
-    BE52_PERIHELION_DIFF,
-    BE42_HAWKING_DIFF,
-    BE11_DECOHERENCE_DIFF,
+/** Catalog relations this module differentiates. @public */
+export const DIFFERENTIABLE_RELATIONS = [
+    SHAPIRO_DELAY_DIFF,
+    PERIHELION_ADVANCE_DIFF,
+    HAWKING_TEMPERATURE_DIFF,
+    DECOHERENCE_RATE_DIFF,
 ];
 //# sourceMappingURL=bridge-specs.js.map

package/dist/diff/bridge-specs.js.map

@@ -1 +1 @@
-{"version":3,"file":"bridge-specs.js","sourceRoot":"","sources":["../../src/diff/bridge-specs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,EAAE,oBAAoB,EAAsB,MAAM,6CAA6C,CAAC;AACvG,OAAO,EACL,4BAA4B,GAE7B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,0BAA0B,EAAiC,MAAM,mDAAmD,CAAC;AAC9H,OAAO,EAAE,uBAAuB,EAA8B,MAAM,kDAAkD,CAAC;AAEvH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAkC;IAC9D,QAAQ,EAAE,OAAO;IACjB,IAAI,EAAE,oBAAoB;IAC1B,UAAU,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,UAAU,CAAU;IACpD,QAAQ,EAAE,EAAE;IACZ,QAAQ,EAAE,oBAAoB;CAC/B,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAA+C;IAC9E,QAAQ,EAAE,OAAO;IACjB,IAAI,EAAE,0CAA0C;IAChD,UAAU,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAU;IACzC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE;IACrB,QAAQ,EAAE,CAAC,KAAiC,EAAE,EAAE,CAC9C,4BAA4B,CAAC,KAAK,CAAC,CAAC,kBAAkB;CACzD,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA6C;IACzE,QAAQ,EAAE,OAAO;IACjB,IAAI,EAAE,qBAAqB;IAC3B,UAAU,EAAE,CAAC,MAAM,CAAU;IAC7B,QAAQ,EAAE,EAAE;IACZ,QAAQ,EAAE,0BAA0B;CACrC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAA0C;IAC1E,QAAQ,EAAE,OAAO;IACjB,IAAI,EAAE,kBAAkB;IACxB,UAAU,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,SAAS,CAAU;IAC1D,QAAQ,EAAE,EAAE;IACZ,QAAQ,EAAE,uBAAuB;CAClC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG;IACzC,iBAAiB;IACjB,oBAAoB;IACpB,iBAAiB;IACjB,qBAAqB;CACb,CAAC"}
+{"version":3,"file":"bridge-specs.js","sourceRoot":"","sources":["../../src/diff/bridge-specs.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAE9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,SAAS,kBAAkB,CAAC,MAAc;IACxC,MAAM,KAAK,GAAG,gBAAgB,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7E,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,MAAM,GAAG,CAAC,CAAC;IAC7F,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,QAAyB,EAAE,KAAa;IAC/D,MAAM,MAAM,GAAG,KAA2C,CAAC;IAC3D,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC;QACxF,MAAM,GAAG,GAAG,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACzE,IAAI,GAAG,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,CAAC,EAAE,aAAa,MAAM,EAAE,CAAC,CAAC;QAC5E,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,CAAC,EAAE,aAAa,MAAM,EAAE,CAAC,CAAC;QAC9E,KAAK,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;IACxB,CAAC;IACD,OAAO,uBAAuB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AAClD,CAAC;AAyBD,MAAM,OAAO,GAAG,kBAAkB,CAAC,YAAY,CAAC,CAAC;AACjD,MAAM,UAAU,GAAG,kBAAkB,CAAC,iBAAiB,CAAC,CAAC;AACzD,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC,IAAI,CACrC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,qBAAqB,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CACvG,CAAC;AACF,IAAI,OAAO,KAAK,SAAS;IAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;AAC5F,MAAM,WAAW,GAAG,kBAAkB,CAAC,6BAA6B,CAAC,CAAC;AAEtE,uEAAuE;AACvE,MAAM,CAAC,MAAM,kBAAkB,GAAiC;IAC9D,QAAQ,EAAE,cAAc,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC;IAChD,IAAI,EAAE,oBAAoB;IAC1B,UAAU,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,UAAU,CAAC;IAC3C,QAAQ,EAAE,EAAE;IACZ,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC;CACrD,CAAC;AAEF,uDAAuD;AACvD,MAAM,CAAC,MAAM,uBAAuB,GAAoC;IACtE,QAAQ,EAAE,cAAc,CAAC,UAAU,CAAC,SAAS,IAAI,CAAC,CAAC;IACnD,IAAI,EAAE,uCAAuC;IAC7C,UAAU,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC;IAChC,QAAQ,EAAE,EAAE;IACZ,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,UAAU,EAAE,KAAK,CAAC;CACxD,CAAC;AAEF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,wBAAwB,GAAiC;IACpE,QAAQ,EAAE,cAAc,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC;IAChD,IAAI,EAAE,qBAAqB;IAC3B,UAAU,EAAE,CAAC,MAAM,CAAC;IACpB,QAAQ,EAAE,EAAE;IACZ,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC;CACrD,CAAC;AAEF,kFAAkF;AAClF,MAAM,CAAC,MAAM,qBAAqB,GAAqC;IACrE,QAAQ,EAAE,cAAc,CAAC,WAAW,CAAC,SAAS,IAAI,CAAC,CAAC;IACpD,IAAI,EAAE,kBAAkB;IACxB,UAAU,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,SAAS,CAAC;IACjD,QAAQ,EAAE,EAAE;IACZ,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,WAAW,EAAE,KAAK,CAAC;CACzD,CAAC;AAEF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACtC,kBAAkB;IAClB,uBAAuB;IACvB,wBAAwB;IACxB,qBAAqB;CACb,CAAC"}

package/dist/dimensional/bridge-check.d.ts

@@ -1,36 +1,19 @@
 /**
- * Bridge-index integration scaffold.
- *
- * The 40 bridges in `src/bridges/index.ts` carry `formula_latex` strings
- * but only a handful (BE-11, BE-14 today) have a machine-evaluable AST.
- * The encoding is Tier 5 work, one bridge at a time.
- *
- * `inferDimensionForBridge(id, expr)` runs `validate()` on the AST. If
- * the supplied `id` is registered in `EXPECTED_DIMENSION_BY_BRIDGE`, the
- * inferred dim is also cross-checked against the expected one — a
- * mismatch returns `null` (a real "bridge expected ENTROPY but got
- * AREA" error). If the id is not registered, the inferred dim is
- * returned unchanged (current MVP behaviour for entries with no
- * dimensional_signature yet).
+ * Expected catalog dimensions, projected from the catalog record.
+ * A mismatch between a parsed expression and that record returns null.
  *
  * @module dimensional/bridge-check
  */
-import { Dimension } from './types.js';
-import { ExprNode } from './validator.js';
+import type { Dimension } from './types.js';
+import type { ExprNode } from './validator.js';
+/** Catalog id → dimension recorded on that row. */
 export declare const EXPECTED_DIMENSION_BY_BRIDGE: ReadonlyMap<number, Dimension>;
 /**
- * Infer the SI dimensional signature of a bridge equation expression.
+ * Infer the SI dimension of a bridge expression and cross-check it against
+ * the catalog record when that record declares one.
  *
- * @param bridgeId  The id from `BRIDGE_EQUATIONS`. The sentence that the
- *                  range is 11..102 is the record from before BE-103–125. If present
- *                  in `EXPECTED_DIMENSION_BY_BRIDGE` the inferred dim
- *                  is cross-checked against the expected; mismatch =>
- *                  null. If absent, the inferred dim is returned as-is.
- * @param expr      Hand-encoded ExprNode AST for the equation's RHS
- *                  (or LHS).
- * @returns The inferred SI dimension, or `null` if the expression is
- *          dimensionally inconsistent or fails the per-bridge expected
- *          dimension check.
+ * @returns The inferred dimension, or `null` when the expression is
+ *          dimensionally inconsistent or disagrees with the catalog record.
  */
 export declare function inferDimensionForBridge(bridgeId: number, expr: ExprNode): Dimension | null;
 //# sourceMappingURL=bridge-check.d.ts.map

package/dist/dimensional/bridge-check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bridge-check.d.ts","sourceRoot":"","sources":["../../src/dimensional/bridge-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EACL,SAAS,EAcV,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,QAAQ,EAAY,MAAM,gBAAgB,CAAC;AAwEpD,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CA8ItE,CAAC;AAEH;;;;;;;;;;;;;GAaG;AACH,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,QAAQ,GACb,SAAS,GAAG,IAAI,CAQlB"}
+{"version":3,"file":"bridge-check.d.ts","sourceRoot":"","sources":["../../src/dimensional/bridge-check.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAKH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAiB/C,mDAAmD;AACnD,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAkB,CAAC;AAE3F;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,QAAQ,GACb,SAAS,GAAG,IAAI,CAQlB"}

package/dist/dimensional/bridge-check.js

@@ -1,237 +1,32 @@
 /**
- * Bridge-index integration scaffold.
- *
- * The 40 bridges in `src/bridges/index.ts` carry `formula_latex` strings
- * but only a handful (BE-11, BE-14 today) have a machine-evaluable AST.
- * The encoding is Tier 5 work, one bridge at a time.
- *
- * `inferDimensionForBridge(id, expr)` runs `validate()` on the AST. If
- * the supplied `id` is registered in `EXPECTED_DIMENSION_BY_BRIDGE`, the
- * inferred dim is also cross-checked against the expected one — a
- * mismatch returns `null` (a real "bridge expected ENTROPY but got
- * AREA" error). If the id is not registered, the inferred dim is
- * returned unchanged (current MVP behaviour for entries with no
- * dimensional_signature yet).
+ * Expected catalog dimensions, projected from the catalog record.
+ * A mismatch between a parsed expression and that record returns null.
  *
  * @module dimensional/bridge-check
  */
-import { DIMENSIONLESS, ENERGY, ENTROPY, FREQUENCY, TIME, MASS, POWER, LENGTH, AREA, FORCE, TEMPERATURE, VELOCITY, MASS_DENSITY, } from './types.js';
+import { readFileSync } from 'node:fs';
+import { dirname, join } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { equals } from './algebra.js';
 import { validate } from './validator.js';
-import { equals, multiply, power } from './algebra.js';
-/** [T^-2] — bracketed-product literal for BE-19's H² Friedmann RHS. */
-const T_INV2 = { L: 0, M: 0, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
-/** [L^-3 T^-1] — bracketed-product literal for BE-47's BBN-dark dY/dt RHS. */
-const INV_VOLUME_PER_TIME = multiply(power(LENGTH, -3), { L: 0, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 });
-/** [L^3 M T^-3 I^-2] — bracketed-product literal for BE-23's resistivity (Ω·m). */
-const RESISTIVITY = {
-    L: 3, M: 1, T: -3, I: -2, Theta: 0, N: 0, J: 0,
-};
-/** [energy^4] = [L^8 M^4 T^-8] — bracketed-product literal for BE-40's composite Higgs V(h). */
-const ENERGY_4 = power(ENERGY, 4);
-/** [L^-2] — bracketed-product literal for BE-31's Benincasa-Dowker discrete Ricci scalar. */
-const INV_LENGTH_2 = power(LENGTH, -2);
-/** [T Θ] — bracketed-product literal for BE-21's KSS viscosity-to-entropy ratio. */
-const TIME_TIMES_TEMPERATURE = {
-    L: 0, M: 0, T: 1, I: 0, Theta: 1, N: 0, J: 0,
-};
-/**
- * [L^-2 M^2 T^-2] — bracketed-product literal for BE-17's squared-
- * invariant scalar reduction S²_spin = (c⁴/(8πG))² · T_λμν T^λμν
- * (Wave Z-C 2026-05-07). Spin-density-squared = (angular-momentum-
- * density)² is a custom dim not in NAMED_DIMENSIONS.
- */
-const SPIN_DENSITY_SQUARED = {
-    L: -2, M: 2, T: -2, I: 0, Theta: 0, N: 0, J: 0,
-};
-/**
- * [L^2 T^-1] — bracketed-product literal for BE-44's soft-hair squared-
- * norm Q_soft² = ∫(∂_u C)² du. News [velocity] = [L T^-1], squared
- * [L^2 T^-2], integral times measure [T] gives [L^2 T^-1]. Wave Z-C
- * 2026-05-07.
- */
-const SOFT_HAIR_L2_SQUARED = {
-    L: 2, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0,
-};
-/**
- * Per-bridge expected SI dimension lookup. Seeded with every entry that
- * has an AST encoding registered in `src/bridges/equations/`. Add a new
- * row whenever a new Tier-5 AST encoding lands; the
- * `dimensional-signature-catalog` round-trip test plus the
- * `Wave-G expected-dimension entries` size guard in
- * `tests/dimensional/bridge-check.test.ts` enforce that this map stays
- * in sync with the encoded modules.
- *
- * Entries with bracketed-product signatures (e.g. BE-19 `[T^-2]`,
- * BE-47 `[L^-3 T^-1]`) require a constructed `Dimension` literal — see
- * `T_INV2` and `INV_VOLUME_PER_TIME` above for the pattern.
- *
- * Not imported by any internal UPT module; exposed for downstream
- * consumers who want to enumerate bridge dimensional expectations.
- *
- * @internal — may change without a semver bump as more bridges gain
- * machine-evaluable ASTs.
- */
-// PI-instrument bridge expansion (2026-07-05) — dimensions for BE-55/56/58.
-const HALL_CONDUCTANCE = { L: -2, M: -1, T: 3, I: 2, Theta: 0, N: 0, J: 0 }; // σ_xy (siemens)
-const PRESSURE = { L: -1, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 }; // F/A (pascal)
-const VOLTAGE_NOISE_PSD = { L: 4, M: 2, T: -5, I: -2, Theta: 0, N: 0, J: 0 }; // S_V (V²/Hz)
-const LORENZ_NUMBER = { L: 4, M: 2, T: -6, I: -2, Theta: -2, N: 0, J: 0 }; // L₀ (W·Ω·K⁻²) — BE-61
-export const EXPECTED_DIMENSION_BY_BRIDGE = new Map([
-    [11, FREQUENCY],
-    [12, LENGTH], // BE-12 thermal de Broglie wavelength λ_T = √(2π ℏ²/(m k_B T)) — Wave T 2026-05-06.
-    [13, INV_LENGTH_2], // BE-13 trace of Einstein equations R = 4Λ - (8πG/c⁴)T — Wave Y 2026-05-07.
-    [18, ENERGY], // BE-18 Higgs-like dark-fermion mass m_dark = g·v — Wave Y 2026-05-07.
-    [14, ENTROPY],
-    [15, AREA], // BE-15 Model A Kawasaki-Gunton coarsening L(t)² = Γ·t — Wave Z-D 2026-05-11. Late-stage coarsening length-scale; full Langevin equation requires δ-correlator + functional-derivative + functional-integral grammar extensions (out of scope).
-    [16, ENERGY], // BE-16 Landauer's principle E_min = k_B · T · ln(2) — Wave Z-E 2026-05-11. Reformulated from 'invalid' (broken C(ρ) ansatz, Wave P-D-style replacement per OpenAI o3 consultation). Canonical information-↔-thermodynamics bridge per Landauer 1961, experimentally tested by Bérut 2012 and Jun 2014.
-    [17, SPIN_DENSITY_SQUARED], // BE-17 Einstein-Cartan squared-invariant reduction S²_spin = (c⁴/(8πG))² · T_λμν T^λμν — Wave Z-C 2026-05-07.
-    [19, T_INV2],
-    [20, MASS_DENSITY], // BE-20 observed cosmological-constant mass density ρ_Λ = c²Λ/(8πG) — Wave Y 2026-05-07.
-    [21, TIME_TIMES_TEMPERATURE], // BE-21 KSS viscosity-to-entropy bound η/s = ℏ/(4π k_B) — Wave Y 2026-05-07.
-    [22, DIMENSIONLESS],
-    [23, RESISTIVITY], // BE-23 SYK Planckian resistivity ρ(T) = ρ_0 + (m* k_B T)/(n_e e² ℏ)·α_SYK — Wave V 2026-05-07.
-    [24, DIMENSIONLESS], // BE-24 Förster FRET efficiency η = R_0⁶/(R_0⁶ + R⁶) — Wave V 2026-05-07.
-    [25, DIMENSIONLESS], // BE-25 IIT inner intrinsic information ii(s,s̃) = p(s̃|s)·log₂[p(s̃|s)/p(s̃)] — Wave Z-B 2026-05-07. Re-added under the IIT reformulation (Wave P-D R-D2); legacy Penrose-Hameroff `be-25-orch-or.ts` AST remains archived (Wave Q B2). ii has units of bits (pseudo-unit; not in SI 7-base) and types DIMENSIONLESS. Outer MIP min over partitions is deferred grammar-extension.
-    [26, FREQUENCY],
-    [27, TEMPERATURE], // BE-27 Cugliandolo-Kurchan effective temperature T_eff = T(1+Σ_active/(k_BT)) — Wave Y 2026-05-07.
-    [28, { L: 2, M: 1, T: -3, I: 0, Theta: -1, N: 0, J: 0 }], // BE-28 Onsager linear-response entropy production σ = Σ J·X — Wave Z-G 2026-05-11. **User-confirmed relabeling** from MEPP variational principle (which would require variational-δ + Lagrange + discrete-sum grammar extensions). Honest-claude: does NOT capture MEPP's variational maximization claim; see module docstring.
-    [29, ENERGY], // BE-29 Jarzynski free-energy equality ΔF = -k_B T ln⟨exp(-βW)⟩ — Wave Y 2026-05-07.
-    [30, DIMENSIONLESS], // BE-30 FLM first law δS_EE = δ⟨H_R⟩ — Wave Y 2026-05-07.
-    [31, INV_LENGTH_2], // BE-31 Benincasa-Dowker discrete Ricci scalar R(p) = (4/√6) ℓ_P^-2 [1 + N_0 - 9N_1 + 16N_2 - 8N_3] — Wave W 2026-05-07.
-    [32, DIMENSIONLESS], // BE-32 QRF Born-rule overlap probability P = |⟨ψ_A|U(g)|ψ_B⟩|² = c² + s² — Wave Z 2026-05-07.
-    [33, LENGTH], // BE-33 Hertz-Millis ξ(T) = ξ_0 · (T/T_0)^(-ν/z) — Wave V 2026-05-07.
-    [34, DIMENSIONLESS],
-    [35, DIMENSIONLESS], // BE-35 CFT bootstrap crossing residual R_cross = C²·[g_block(u,v) - g_block(v,u)] — Wave Z 2026-05-07.
-    [36, DIMENSIONLESS], // BE-36 GW170817 graviton-speed bound |c_GW-c|/c ≤ 10⁻¹⁵ — Wave Y 2026-05-07.
-    [37, TIME], // BE-37 Shapiro gravitational time-delay Δt = (2GM/c³)·ln(R_far/R_near) — Wave Z-F 2026-05-11. Reformulated from 'invalid' (operationally-meaningless vacuum c(t,x)≠const per Ellis-Uzan 2005) to the canonical operationally-meaningful gravitational time-delay (Shapiro 1964, Cassini 2003).
-    [38, FORCE], // BE-38 Milgrom MOND F = F_N · ν(z) — Wave U 2026-05-06.
-    [39, DIMENSIONLESS], // BE-39 asymptotic-safety β_g (canonical EH-truncation; β_λ has same dim) — Wave X 2026-05-07.
-    [40, ENERGY_4], // BE-40 Composite Higgs V(h) = -α f⁴ sin² + β f⁴ [sin⁴ - sin²cos²] — Wave V 2026-05-07.
-    [41, MASS],
-    [42, TEMPERATURE], // BE-42 Hawking temperature T_H = ℏc³/(8π G M k_B) — Wave Y 2026-05-07.
-    [43, ENTROPY], // BE-43 ER=EPR S = k_B · A_wormhole / (4 ℓ_P²) — Wave V 2026-05-07.
-    [44, SOFT_HAIR_L2_SQUARED], // BE-44 Soft-hair L²-norm Q_soft² = ∫(∂_u C)² du — Wave Z-C 2026-05-07. Squared-norm scalar reduction of BMS supertranslation charge; integral primitive over u-direction at null infinity (celestial 2-sphere absorbed).
-    [45, DIMENSIONLESS], // BE-45 TCC e-fold bound N_e_max = log(M_P/H_inf) - γ log(r/0.01) — Wave W 2026-05-07.
-    [46, DIMENSIONLESS], // BE-46 Weinberg-Vilenkin anthropic probability P(Λ) = A·exp(-α/Λ) — Wave Z 2026-05-07.
-    [47, INV_VOLUME_PER_TIME],
-    [48, FREQUENCY], // BE-48 GRW mass-amplified localization rate λ_GRW(m) = λ_0 (m/m_0) — Wave Y 2026-05-07.
-    [49, DIMENSIONLESS], // BE-49 Quantum Darwinism I(S:F_k) = I(S:E) - α k^(-β) — Wave W 2026-05-07.
-    [50, DIMENSIONLESS], // BE-50 Wheeler-Feynman time-symmetry residual r_TS = (A_ret-A_adv)/(A_ret+A_adv) — Wave Z 2026-05-07.
-    // v0.7 BE-X re-encoding sprint additions (parallel-agent dispatch, 2026-05-24).
-    // E1 of BRIDGE-PHYSICS-AUDIT-v2.md (Eve red-team): these two entries
-    // were silently absent from EXPECTED_DIMENSION_BY_BRIDGE when BE-53/54
-    // shipped; the v0.7 catalog-extension protocol step from
-    // orphan-dimensional-signature.test.ts:37-43 was skipped during ship.
-    // Registering here closes the silent test-coverage gap.
-    [53, DIMENSIONLESS], // BE-53 Yang-Mills one-loop β(g) = -b₀g³/(16π²); β of a dimensionless coupling is itself dimensionless — same as BE-39.
-    [54, T_INV2], // BE-54 Randall-Sundrum brane Friedmann H² = (8πG/3)ρ(1+ρ/(2σ)) + Λ/3; H² has dim [T^-2] — same as BE-19 modified Friedmann.
-    [55, HALL_CONDUCTANCE], // BE-55 integer quantum Hall σ_xy = C·e²/h — PI-instrument expansion 2026-07-05.
-    [56, PRESSURE], // BE-56 Casimir F/A = −π²ℏc/(240 d⁴) — PI-instrument expansion 2026-07-05.
-    [57, TEMPERATURE], // BE-57 Unruh T = ℏa/(2π c k_B) — PI-instrument expansion 2026-07-05.
-    [58, VOLTAGE_NOISE_PSD], // BE-58 Johnson-Nyquist S_V = 4 k_B T R — PI-instrument expansion 2026-07-05.
-    [59, FREQUENCY], // BE-59 AC Josephson f = 2eV/h — condensed-matter cluster 2026-07-05.
-    [60, HALL_CONDUCTANCE], // BE-60 fractional QH σ_xy = ν·e²/h — condensed-matter cluster 2026-07-05.
-    [61, LORENZ_NUMBER], // BE-61 Wiedemann-Franz L₀ = (π²/3)(k_B/e)² — condensed-matter cluster 2026-07-05.
-    [62, ENERGY], // BE-62 BCS gap Δ(0) = 1.764 k_B T_c — condensed-matter cluster 2026-07-05.
-    [63, MASS], // BE-63 Chandrasekhar mass M_Ch ≈ 1.44 M_⊙ — astrophysics cluster 2026-07-05.
-    [64, POWER], // BE-64 Eddington luminosity L_Edd = 4πGMm_p c/σ_T — astrophysics cluster 2026-07-05.
-    [65, MASS], // BE-65 Jeans mass M_J — astrophysics cluster 2026-07-05.
-    [66, PRESSURE], // BE-66 radiation pressure P_n = (I/c)(1+R) cos²θ.
-    [67, VELOCITY], // BE-67 Alfvén speed v_A = B / √(μ0 ρ).
-    [68, TEMPERATURE], // BE-68 Tolman–Ehrenfest invariant T √(−g_00).
-    [69, VELOCITY], // BE-69 perpendicular fast magnetosonic speed √(c_s² + B²/(μ0 ρ)).
-    [70, { L: 2, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 }], // BE-70 Einstein diffusivity D = μ k_B T / q.
-    [71, { L: -1, M: 1, T: -2, I: 0, Theta: -1, N: 0, J: 0 }], // BE-71 Clapeyron slope dP/dT = L/(T Δv).
-    [72, DIMENSIONLESS], // BE-72 gravitational frequency ratio ν1/ν2 = √(g2/g1).
-    [73, { L: 2, M: 1, T: -3, I: -1, Theta: 0, N: 0, J: 0 }], // BE-73 Peltier coefficient Π = S T.
-    [74, PRESSURE], // BE-74 magnetic pressure p_B = B²/(2 μ0).
-    [75, LENGTH], // BE-75 London penetration depth λ_L = √(m/(μ0 n e²)).
-    [76, DIMENSIONLESS], // BE-76 plasma beta β = n k_B T / p_B.
-    [77, { L: 3, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 }], // BE-77 Hagen–Poiseuille flux.
-    [78, FORCE], // BE-78 pinned Euler load.
-    [79, { L: 2, M: 1, T: -3, I: -1, Theta: 0, N: 0, J: 0 }], // BE-79 pull-in voltage.
-    [80, { L: -2, M: 0, T: 0, I: 1, Theta: 0, N: 0, J: 0 }], // BE-80 Mott–Gurney current density.
-    [81, { L: -2, M: 0, T: 0, I: 1, Theta: 0, N: 0, J: 0 }], // BE-81 Child–Langmuir current density.
-    [82, { L: 0, M: 0, T: 0, I: 1, Theta: 0, N: 0, J: 0 }], // BE-82 Shockley current.
-    [83, { L: 2, M: 1, T: -3, I: -1, Theta: -1, N: 0, J: 0 }], // BE-83 Thomson coefficient.
-    [84, { L: 2, M: 1, T: -3, I: -2, Theta: 0, N: 0, J: 0 }], // BE-84 sheet resistance.
-    [85, { L: 0, M: 0, T: 1, I: 2, Theta: 0, N: 0, J: 0 }], // BE-85 one-sided shot noise.
-    [86, DIMENSIONLESS], // BE-86 Reynolds analogy at Pr = 1.
-    [87, { L: 4, M: 2, T: -6, I: -2, Theta: 0, N: 0, J: 0 }], // BE-87 capacitor ⟨v²⟩.
-    [88, { L: -1, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 }], // BE-88 Fermi wavevector.
-    [89, FREQUENCY], // BE-89 Debye cutoff.
-    [90, { L: 2, M: 1, T: -2, I: 0, Theta: -1, N: 0, J: 0 }], // BE-90 Debye heat capacity.
-    [91, { L: 2, M: 1, T: -2, I: 0, Theta: -1, N: 0, J: 0 }], // BE-91 Einstein heat capacity.
-    [92, { L: -1, M: 1, T: -2, I: 0, Theta: -1, N: 0, J: 0 }], // BE-92 Sommerfeld heat capacity per volume.
-    [93, DIMENSIONLESS], // BE-93 Curie–Weiss susceptibility.
-    [94, DIMENSIONLESS], // BE-94 Pauli susceptibility.
-    [95, DIMENSIONLESS], // BE-95 GL trial-wall factor.
-    [96, { L: 0, M: 1, T: -2, I: -1, Theta: 0, N: 0, J: 0 }], // BE-96 upper critical field.
-    [97, { L: 2, M: 1, T: -3, I: -1, Theta: 0, N: 0, J: 0 }], // BE-97 Ambegaokar–Baratoff product.
-    [98, DIMENSIONLESS], // BE-98 BCS heat jump.
-    [99, { L: -3, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 }], // BE-99 intrinsic density.
-    [100, DIMENSIONLESS], // BE-100 Lyddane–Sachs–Teller ratio.
-    [101, TEMPERATURE], // BE-101 BKT temperature.
-    [102, HALL_CONDUCTANCE], // BE-102 Landauer conductance.
-    // 90 is the record from before be-103..125. Those rows have no AST.
-    [103, VELOCITY],
-    [104, FREQUENCY],
-    [105, FREQUENCY],
-    [106, FREQUENCY],
-    [107, FREQUENCY],
-    [108, VELOCITY],
-    [109, { L: 0, M: 0, T: 0, I: 1, Theta: 0, N: 0, J: 0 }], // BE-109 equal-temperature Bennett current.
-    [110, DIMENSIONLESS],
-    [111, VELOCITY],
-    [112, VELOCITY],
-    [113, FREQUENCY],
-    [114, DIMENSIONLESS],
-    [115, LENGTH],
-    [116, RESISTIVITY],
-    [117, TIME],
-    [118, LENGTH],
-    [119, DIMENSIONLESS],
-    [120, DIMENSIONLESS],
-    [121, { L: -3, M: 0, T: 1, I: 0, Theta: 0, N: 0, J: 0 }], // BE-121 Lawson n τ.
-    [122, DIMENSIONLESS],
-    [123, DIMENSIONLESS],
-    [124, DIMENSIONLESS],
-    [125, DIMENSIONLESS],
-    [126, FORCE],
-    [127, { L: 2, M: 1, T: -3, I: -1, Theta: 0, N: 0, J: 0 }], // BE-127 subthreshold swing, volts per decade.
-    [128, DIMENSIONLESS],
-    [129, DIMENSIONLESS],
-    [130, DIMENSIONLESS],
-    [131, PRESSURE],
-    [132, { L: -3, M: -1, T: 4, I: 2, Theta: 0, N: 0, J: 0 }], // BE-132 capacitance per length.
-    [133, DIMENSIONLESS],
-    [134, { L: -1, M: 0, T: 0, I: 1, Theta: 0, N: 0, J: 0 }], // BE-134 Bloch magnetization deficit.
-    [135, { L: -5, M: -1, T: 2, I: 0, Theta: 0, N: 0, J: 0 }], // BE-135 states per volume per energy.
-    [136, { L: -4, M: -1, T: 2, I: 0, Theta: 0, N: 0, J: 0 }], // BE-136 states per area per energy.
-    [137, { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 }], // BE-137 Thomas–Fermi k².
-    [138, { L: 2, M: 1, T: -3, I: -1, Theta: 0, N: 0, J: 0 }], // BE-138 built-in voltage.
-    [139, ENERGY],
-    [140, { L: 0, M: 1, T: -2, I: -1, Theta: 0, N: 0, J: 0 }], // BE-140 Onsager F, tesla.
-    [141, { L: 2, M: 1, T: -2, I: -2, Theta: 0, N: 0, J: 0 }], // BE-141 Josephson inductance.
-    [142, { L: 0, M: 1, T: -2, I: -1, Theta: 0, N: 0, J: 0 }], // BE-142 lower critical field.
-    [143, { L: -3, M: -1, T: 3, I: 2, Theta: 0, N: 0, J: 0 }], // BE-143 AC conductivity.
-    [144, TIME],
-    [145, DIMENSIONLESS],
-    [146, DIMENSIONLESS],
-]);
+function loadExpected() {
+    const path = join(dirname(fileURLToPath(import.meta.url)), '../../data/bridge-catalog.json');
+    const parsed = JSON.parse(readFileSync(path, 'utf8'));
+    const map = new Map();
+    for (const entry of parsed.entries) {
+        if (entry.dimension !== undefined)
+            map.set(entry.id, entry.dimension);
+    }
+    return map;
+}
+/** Catalog id → dimension recorded on that row. */
+export const EXPECTED_DIMENSION_BY_BRIDGE = loadExpected();
 /**
- * Infer the SI dimensional signature of a bridge equation expression.
+ * Infer the SI dimension of a bridge expression and cross-check it against
+ * the catalog record when that record declares one.
  *
- * @param bridgeId  The id from `BRIDGE_EQUATIONS`. The sentence that the
- *                  range is 11..102 is the record from before BE-103–125. If present
- *                  in `EXPECTED_DIMENSION_BY_BRIDGE` the inferred dim
- *                  is cross-checked against the expected; mismatch =>
- *                  null. If absent, the inferred dim is returned as-is.
- * @param expr      Hand-encoded ExprNode AST for the equation's RHS
- *                  (or LHS).
- * @returns The inferred SI dimension, or `null` if the expression is
- *          dimensionally inconsistent or fails the per-bridge expected
- *          dimension check.
+ * @returns The inferred dimension, or `null` when the expression is
+ *          dimensionally inconsistent or disagrees with the catalog record.
  */
 export function inferDimensionForBridge(bridgeId, expr) {
     const r = validate(expr);