universal-physics-tensor 7.0.0 → 9.0.0

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)',
-    paramNames: ['M_kg', 'a_m', 'e'],
-    defaults: { T_yr: 1 },
-    evaluate: (input) => evaluatePerihelionPrecession(input).dphi_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', 'eccentricity'],
+    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;AA0BD,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,cAAc,CAAC;IAC3C,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;AAGH,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,30 @@
 /**
- * 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 { checkedDataFile } from '../core/data-file.js';
+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() {
+    // The same checked read as `bridges/catalog-load.ts`; this layer cannot import that module.
+    const parsed = checkedDataFile('bridge-catalog.json');
+    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);

package/dist/dimensional/bridge-check.js.map

@@ -1 +1 @@
-{"version":3,"file":"bridge-check.js","sourceRoot":"","sources":["../../src/dimensional/bridge-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAEL,aAAa,EACb,MAAM,EACN,OAAO,EACP,SAAS,EACT,IAAI,EACJ,IAAI,EACJ,KAAK,EACL,MAAM,EACN,IAAI,EACJ,KAAK,EACL,WAAW,EACX,QAAQ,EACR,YAAY,GACb,MAAM,YAAY,CAAC;AACpB,OAAO,EAAY,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAEvD,uEAAuE;AACvE,MAAM,MAAM,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAE5E,8EAA8E;AAC9E,MAAM,mBAAmB,GAAc,QAAQ,CAC7C,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EACjB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAClD,CAAC;AAEF,mFAAmF;AACnF,MAAM,WAAW,GAAc;IAC7B,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF,gGAAgG;AAChG,MAAM,QAAQ,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAE7C,6FAA6F;AAC7F,MAAM,YAAY,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD,oFAAoF;AACpF,MAAM,sBAAsB,GAAc;IACxC,CAAC,EAAE,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;CAC7C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,oBAAoB,GAAc;IACtC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,oBAAoB,GAAc;IACtC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,4EAA4E;AAC5E,MAAM,gBAAgB,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,iBAAiB;AACzG,MAAM,QAAQ,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,eAAe;AAC/F,MAAM,iBAAiB,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,cAAc;AACvG,MAAM,aAAa,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,uBAAuB;AAC7G,MAAM,CAAC,MAAM,4BAA4B,GAAmC,IAAI,GAAG,CAAoB;IACrG,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,oFAAoF;IAClG,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,4EAA4E;IAChG,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,uEAAuE;IACrF,CAAC,EAAE,EAAE,OAAO,CAAC;IACb,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,gPAAgP;IAC5P,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,wSAAwS;IACtT,CAAC,EAAE,EAAE,oBAAoB,CAAC,EAAE,+GAA+G;IAC3I,CAAC,EAAE,EAAE,MAAM,CAAC;IACZ,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,yFAAyF;IAC7G,CAAC,EAAE,EAAE,sBAAsB,CAAC,EAAE,6EAA6E;IAC3G,CAAC,EAAE,EAAE,aAAa,CAAC;IACnB,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,gGAAgG;IACnH,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,0EAA0E;IAC/F,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,oXAAoX;IACzY,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,oGAAoG;IACvH,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,iUAAiU;IAC3X,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,qFAAqF;IACnG,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,0DAA0D;IAC/E,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,yHAAyH;IAC7I,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,+FAA+F;IACpH,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,sEAAsE;IACpF,CAAC,EAAE,EAAE,aAAa,CAAC;IACnB,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,wGAAwG;IAC7H,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,8EAA8E;IACnG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,gSAAgS;IAC5S,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,yDAAyD;IACtE,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,+FAA+F;IACpH,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,wFAAwF;IACxG,CAAC,EAAE,EAAE,IAAI,CAAC;IACV,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,wEAAwE;IAC3F,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,oEAAoE;IACnF,CAAC,EAAE,EAAE,oBAAoB,CAAC,EAAE,0NAA0N;IACtP,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,uFAAuF;IAC5G,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,wFAAwF;IAC7G,CAAC,EAAE,EAAE,mBAAmB,CAAC;IACzB,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,yFAAyF;IAC1G,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,4EAA4E;IACjG,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,uGAAuG;IAC5H,gFAAgF;IAChF,qEAAqE;IACrE,uEAAuE;IACvE,yDAAyD;IACzD,sEAAsE;IACtE,wDAAwD;IACxD,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,wHAAwH;IAC7I,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,6HAA6H;IAC3I,CAAC,EAAE,EAAE,gBAAgB,CAAC,EAAE,iFAAiF;IACzG,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,2EAA2E;IAC3F,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,sEAAsE;IACzF,CAAC,EAAE,EAAE,iBAAiB,CAAC,EAAE,8EAA8E;IACvG,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,sEAAsE;IACvF,CAAC,EAAE,EAAE,gBAAgB,CAAC,EAAE,2EAA2E;IACnG,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,mFAAmF;IACxG,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,4EAA4E;IAC1F,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,8EAA8E;IAC1F,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,sFAAsF;IACnG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,0DAA0D;IACtE,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,mDAAmD;IACnE,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,wCAAwC;IACxD,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,+CAA+C;IAClE,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,mEAAmE;IACnF,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,8CAA8C;IACvG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,0CAA0C;IACrG,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,wDAAwD;IAC7E,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,qCAAqC;IAC/F,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,2CAA2C;IAC3D,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,uDAAuD;IACrE,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,uCAAuC;IAC5D,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,+BAA+B;IACxF,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,2BAA2B;IACxC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,yBAAyB;IACnF,CAAC,EAAE,EAAE,EAAE,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,EAAE,CAAC,EAAE,qCAAqC;IAC9F,CAAC,EAAE,EAAE,EAAE,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,EAAE,CAAC,EAAE,wCAAwC;IACjG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,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,EAAE,CAAC,EAAE,0BAA0B;IAClF,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,6BAA6B;IACxF,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,0BAA0B;IACpF,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,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,EAAE,CAAC,EAAE,8BAA8B;IACtF,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,oCAAoC;IACzD,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,wBAAwB;IAClF,CAAC,EAAE,EAAE,EAAE,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,EAAE,CAAC,EAAE,0BAA0B;IACnF,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,sBAAsB;IACvC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,6BAA6B;IACvF,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,gCAAgC;IAC1F,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,6CAA6C;IACxG,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,oCAAoC;IACzD,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,8BAA8B;IACnD,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,8BAA8B;IACnD,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,8BAA8B;IACxF,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,qCAAqC;IAC/F,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,uBAAuB;IAC5C,CAAC,EAAE,EAAE,EAAE,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,EAAE,CAAC,EAAE,2BAA2B;IACpF,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,qCAAqC;IAC3D,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,0BAA0B;IAC9C,CAAC,GAAG,EAAE,gBAAgB,CAAC,EAAE,+BAA+B;IACxD,oEAAoE;IACpE,CAAC,GAAG,EAAE,QAAQ,CAAC;IACf,CAAC,GAAG,EAAE,SAAS,CAAC;IAChB,CAAC,GAAG,EAAE,SAAS,CAAC;IAChB,CAAC,GAAG,EAAE,SAAS,CAAC;IAChB,CAAC,GAAG,EAAE,SAAS,CAAC;IAChB,CAAC,GAAG,EAAE,QAAQ,CAAC;IACf,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,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,EAAE,CAAC,EAAE,4CAA4C;IACrG,CAAC,GAAG,EAAE,aAAa,CAAC;IACpB,CAAC,GAAG,EAAE,QAAQ,CAAC;IACf,CAAC,GAAG,EAAE,QAAQ,CAAC;IACf,CAAC,GAAG,EAAE,SAAS,CAAC;IAChB,CAAC,GAAG,EAAE,aAAa,CAAC;IACpB,CAAC,GAAG,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,WAAW,CAAC;IAClB,CAAC,GAAG,EAAE,IAAI,CAAC;IACX,CAAC,GAAG,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,aAAa,CAAC;IACpB,CAAC,GAAG,EAAE,aAAa,CAAC;IACpB,CAAC,GAAG,EAAE,EAAE,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,EAAE,CAAC,EAAE,qBAAqB;IAC/E,CAAC,GAAG,EAAE,aAAa,CAAC;IACpB,CAAC,GAAG,EAAE,aAAa,CAAC;IACpB,CAAC,GAAG,EAAE,aAAa,CAAC;IACpB,CAAC,GAAG,EAAE,aAAa,CAAC;IACpB,CAAC,GAAG,EAAE,KAAK,CAAC;IACZ,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,+CAA+C;IAC1G,CAAC,GAAG,EAAE,aAAa,CAAC;IACpB,CAAC,GAAG,EAAE,aAAa,CAAC;IACpB,CAAC,GAAG,EAAE,aAAa,CAAC;IACpB,CAAC,GAAG,EAAE,QAAQ,CAAC;IACf,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,iCAAiC;IAC5F,CAAC,GAAG,EAAE,aAAa,CAAC;IACpB,CAAC,GAAG,EAAE,EAAE,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,EAAE,CAAC,EAAE,sCAAsC;IAChG,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,uCAAuC;IAClG,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,qCAAqC;IAChG,CAAC,GAAG,EAAE,EAAE,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,EAAE,CAAC,EAAE,0BAA0B;IACpF,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,2BAA2B;IACtF,CAAC,GAAG,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,2BAA2B;IACtF,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,+BAA+B;IAC1F,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,+BAA+B;IAC1F,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,0BAA0B;IACrF,CAAC,GAAG,EAAE,IAAI,CAAC;IACX,CAAC,GAAG,EAAE,aAAa,CAAC;IACpB,CAAC,GAAG,EAAE,aAAa,CAAC;CACrB,CAAC,CAAC;AAEH;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,uBAAuB,CACrC,QAAgB,EAChB,IAAc;IAEd,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,iBAAiB,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,QAAQ,GAAG,4BAA4B,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,EAAE,QAAQ,CAAC,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CAAC,CAAC,iBAAiB,CAAC;AAC7B,CAAC"}
+{"version":3,"file":"bridge-check.js","sourceRoot":"","sources":["../../src/dimensional/bridge-check.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAM1C,SAAS,YAAY;IACnB,4FAA4F;IAC5F,MAAM,MAAM,GAAG,eAAe,CAAC,qBAAqB,CAAyB,CAAC;IAC9E,MAAM,GAAG,GAAG,IAAI,GAAG,EAAqB,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;YAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,mDAAmD;AACnD,MAAM,CAAC,MAAM,4BAA4B,GAAmC,YAAY,EAAE,CAAC;AAE3F;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CACrC,QAAgB,EAChB,IAAc;IAEd,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,iBAAiB,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,QAAQ,GAAG,4BAA4B,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,EAAE,QAAQ,CAAC,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CAAC,CAAC,iBAAiB,CAAC;AAC7B,CAAC"}

package/dist/dimensional/constant-rows.d.ts

@@ -0,0 +1,54 @@
+/**
+ * The constant registry's rows as written: name, spellings, SI value, SI unit
+ * text, meaning, source and flags, one row per physical constant a formula or
+ * the unit table may name.
+ *
+ * `symbolic-constants.ts` derives each row's dimension from its unit with
+ * `parseUnit` and owns every projection. The rows live here, apart from that
+ * derivation, because the unit table reads constants too: `data/units.json`
+ * names `c`, `e`, `m_u`, `M_sun`, `Msun_iau` and `ln2` by these spellings, and
+ * the unit parser cannot import a module that imports the unit parser. This
+ * module imports only `core/constants.ts`, the owner of every value, so the
+ * unit loader and the registry read one set of spellings with no cycle.
+ *
+ * INTERNAL — not on the public surface.
+ *
+ * @module dimensional/constant-rows
+ */
+/** One registered constant as written: everything but the dimension, which `symbolic-constants.ts` derives from `unit`. @internal */
+export interface ConstantRow {
+    /** The formula name; the first spelling, and the key of every projection. */
+    readonly name: string;
+    /** Other exact-case spellings a caller may type. */
+    readonly spellings: readonly string[];
+    readonly value: number;
+    /** The SI unit, in the syntax `parseUnit` reads. The dimension is derived from it. */
+    readonly unit: string;
+    readonly meaning: string;
+    readonly source: string;
+    /** A universal constant a canonical `governing` list may bake. */
+    readonly canonical: boolean;
+    /** A caveat printed wherever the constant is used (`upt eval`, a relation that names it). */
+    readonly note?: string;
+    /** The `@danielsimonjr/mathts-functions` export that states the same constant (CODATA 2022 there), when one exists. The second method. */
+    readonly mathts?: string;
+    /** The two libraries agree to the last bit: exact in the 2019 SI, or a product of exact constants. */
+    readonly exact?: true;
+    /**
+     * The `data/quantities.json` id this constant is also a quantity of. The
+     * quantity registry takes the constant's spellings as that row's aliases;
+     * the file does not repeat them, so a spelling has one owner.
+     */
+    readonly quantity?: string;
+    /**
+     * A mathematical constant no rational states (ln 2, 2π, 4π, 8π). An exact
+     * reader (`data/units.json`'s scale expressions) carries `value` as the
+     * irrational factor instead of reading its decimal as a rational.
+     */
+    readonly irrational?: true;
+}
+/** Every registered constant as written. Order is the order the tables print. @internal */
+export declare const CONSTANT_ROWS: readonly ConstantRow[];
+/** The registered constant row `spelling` names, or undefined. @internal */
+export declare function constantRow(spelling: string): ConstantRow | undefined;
+//# sourceMappingURL=constant-rows.d.ts.map

package/dist/dimensional/constant-rows.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constant-rows.d.ts","sourceRoot":"","sources":["../../src/dimensional/constant-rows.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AA0BH,qIAAqI;AACrI,MAAM,WAAW,WAAW;IAC1B,6EAA6E;IAC7E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,oDAAoD;IACpD,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,sFAAsF;IACtF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kEAAkE;IAClE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,6FAA6F;IAC7F,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,0IAA0I;IAC1I,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,sGAAsG;IACtG,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC;CAC5B;AAoBD,2FAA2F;AAC3F,eAAO,MAAM,aAAa,EAAE,SAAS,WAAW,EAyE/C,CAAC;AAUF,4EAA4E;AAC5E,wBAAgB,WAAW,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAErE"}