universal-physics-tensor 0.20.0 → 0.22.0

package/dist/canonical/entries/relativity.js

@@ -0,0 +1,114 @@
+import { metric } from '../../dimensional/metric.js';
+import { tsym } from '../../dimensional/tensor.js';
+import { sym } from '../../bridges/equations/_be-helpers.js';
+import { LENGTH, DIMENSIONLESS } from '../../dimensional/types.js';
+import { dim, op, l1 } from './_l1-build.js';
+// ── EFE node builders (the canonical G_μν + Λg_μν = (8πG/c⁴)T_μν structure) ──
+const L_INV2 = dim(-2); // [L⁻²] — per-component dim of every EFE term
+const ENERGY_DENSITY = dim(-1, 1, -2); // T_μν componentDim [M L⁻¹ T⁻²]
+function buildRiemann(mu = 'mu', nu = 'nu') {
+    const gLower = metric('g', [
+        { label: 'a', variance: 'lower' },
+        { label: 'b', variance: 'lower' },
+    ], DIMENSIONLESS, '+,-,-,-');
+    const gInverse = metric('g_inv', [
+        { label: 'a', variance: 'upper' },
+        { label: 'b', variance: 'upper' },
+    ], DIMENSIONLESS, '+,-,-,-');
+    const xCoord = tsym('x', [{ label: 'c', variance: 'upper' }], LENGTH, 'coordinate');
+    return {
+        kind: 'riemann-tensor',
+        upperIndex: { label: 'rho', variance: 'upper' },
+        lowerIndices: [
+            { label: mu, variance: 'lower' },
+            { label: 'lambda', variance: 'lower' },
+            { label: nu, variance: 'lower' },
+        ],
+        gLower,
+        gInverse,
+        xCoord,
+    };
+}
+function buildEinstein(mu = 'mu', nu = 'nu') {
+    const riemann = buildRiemann(mu, nu);
+    return {
+        kind: 'einstein-tensor',
+        riemann,
+        gLower: riemann.gLower,
+        gInverse: riemann.gInverse,
+    };
+}
+const buildT = (mu = 'mu', nu = 'nu') => ({
+    kind: 'stress-energy',
+    symbol: 'T',
+    indices: [
+        { label: mu, variance: 'lower' },
+        { label: nu, variance: 'lower' },
+    ],
+    symmetry: 'symmetric',
+    componentDim: ENERGY_DENSITY,
+});
+const buildLambda = () => ({
+    kind: 'cosmological-constant',
+    symbol: 'Λ',
+    dim: L_INV2,
+});
+const buildMetric = () => metric('g_metric', [
+    { label: 'mu', variance: 'lower' },
+    { label: 'nu', variance: 'lower' },
+], DIMENSIONLESS, '+,-,-,-');
+/** The canonical Einstein field equation node, G_μν + Λg_μν = (8πG/c⁴)T_μν. */
+export const EFE_NODE = {
+    kind: 'einstein-equation',
+    lhs: buildEinstein('mu', 'nu'),
+    cosmological: buildLambda(),
+    metric: buildMetric(),
+    rhs: buildT('mu', 'nu'),
+    coupling: 'einstein',
+};
+// ── dimensional layer for the EFE (per-component [L⁻²] from 8πG·T/c⁴) ────────
+const GRAV = dim(3, -1, -2);
+const EFE_TARGET = { name: 'efe-curvature', dim: L_INV2 };
+const EFE_GOV = [
+    { name: 'G', dim: GRAV },
+    { name: 'c', dim: dim(1, 0, -1) },
+    { name: 'stress-energy-density', dim: ENERGY_DENSITY },
+];
+// ── Friedmann (flat, matter-dominated): H² = 8πG ρ / 3 ───────────────────────
+const HSQUARED = dim(0, 0, -2); // [T⁻²]
+const DENSITY = dim(-3, 1); // [M L⁻³]
+const FRIEDMANN_TARGET = { name: 'hubble-rate-squared', dim: HSQUARED };
+const FRIEDMANN_GOV = [
+    { name: 'G', dim: GRAV },
+    { name: 'rho', dim: DENSITY },
+];
+export const RELATIVITY = [
+    l1(EFE_TARGET, EFE_GOV, {
+        id: 'CE-einstein-field-eq',
+        name: 'Einstein field equation',
+        domain: 'general-relativity',
+        formula_latex: 'G_{\\mu\\nu} + \\Lambda g_{\\mu\\nu} = (8\\pi G/c^4) T_{\\mu\\nu}',
+        epistemicStatus: 'fully-quantitative',
+        fieldEquation: EFE_NODE,
+        regime: { force: 'gravitational', symmetry: 'poincare' },
+        assumptions: ['classical GR', 'pseudo-Riemannian spacetime'],
+        references: ['Einstein 1915'],
+        partnerBridges: ['13'], // 13 = Information-Geometry (Jacobson thermodynamic EFE)
+    }),
+    l1(FRIEDMANN_TARGET, FRIEDMANN_GOV, {
+        id: 'CE-friedmann',
+        name: 'Friedmann equation (flat, matter-dominated)',
+        domain: 'cosmology',
+        formula_latex: 'H^2 = 8\\pi G \\rho/3',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [
+            op('*', [sym('8pi', DIMENSIONLESS), sym('G', GRAV), sym('rho', DENSITY)]),
+            sym('3', DIMENSIONLESS),
+        ]),
+        regime: { scale: 'cosmological', force: 'gravitational' },
+        assumptions: ['flat (k=0)', 'matter-dominated', 'Λ=0', 'FLRW'],
+        references: ['Friedmann 1922'],
+        partnerBridges: [],
+    }),
+];
+//# sourceMappingURL=relativity.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"relativity.js","sourceRoot":"","sources":["../../../src/canonical/entries/relativity.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AACnD,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAE7C,gFAAgF;AAChF,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,8CAA8C;AACtE,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,gCAAgC;AAEvE,SAAS,YAAY,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,IAAI;IACxC,MAAM,MAAM,GAAG,MAAM,CACnB,GAAG,EACH;QACE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;QACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;KAClC,EACD,aAAa,EACb,SAAS,CACV,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CACrB,OAAO,EACP;QACE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;QACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;KAClC,EACD,aAAa,EACb,SAAS,CACV,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,CACjB,GAAG,EACH,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EACnC,MAAM,EACN,YAAY,CACb,CAAC;IACF,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,UAAU,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE;QAC/C,YAAY,EAAE;YACZ,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;YAChC,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE;YACtC,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;SACjC;QACD,MAAM;QACN,QAAQ;QACR,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,IAAI;IACzC,MAAM,OAAO,GAAG,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACrC,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,OAAO;QACP,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC3B,CAAC;AACJ,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,IAAI,EAA0B,EAAE,CAAC,CAAC;IAChE,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,GAAG;IACX,OAAO,EAAE;QACP,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;QAChC,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;KACjC;IACD,QAAQ,EAAE,WAAW;IACrB,YAAY,EAAE,cAAc;CAC7B,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,GAA6B,EAAE,CAAC,CAAC;IACnD,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,MAAM;CACZ,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,GAAqB,EAAE,CACzC,MAAM,CACJ,UAAU,EACV;IACE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;IAClC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;CACnC,EACD,aAAa,EACb,SAAS,CACV,CAAC;AAEJ,+EAA+E;AAC/E,MAAM,CAAC,MAAM,QAAQ,GAA8B;IACjD,IAAI,EAAE,mBAAmB;IACzB,GAAG,EAAE,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC;IAC9B,YAAY,EAAE,WAAW,EAAE;IAC3B,MAAM,EAAE,WAAW,EAAE;IACrB,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC;IACvB,QAAQ,EAAE,UAAU;CACrB,CAAC;AAEF,gFAAgF;AAChF,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC5B,MAAM,UAAU,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AAC1D,MAAM,OAAO,GAAG;IACd,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;IACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;IACjC,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,cAAc,EAAE;CACvD,CAAC;AAEF,gFAAgF;AAChF,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;AACxC,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU;AACtC,MAAM,gBAAgB,GAAG,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AACxE,MAAM,aAAa,GAAG;IACpB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;IACxB,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;CAC9B,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAiC;IACtD,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE;QACtB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,mEAAmE;QAClF,eAAe,EAAE,oBAAoB;QACrC,aAAa,EAAE,QAAQ;QACvB,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,QAAQ,EAAE,UAAU,EAAE;QACxD,WAAW,EAAE,CAAC,cAAc,EAAE,6BAA6B,CAAC;QAC5D,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE,yDAAyD;KAClF,CAAC;IACF,EAAE,CAAC,gBAAgB,EAAE,aAAa,EAAE;QAClC,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,6CAA6C;QACnD,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,uBAAuB;QACtC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;YACzE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;SACxB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;QACzD,WAAW,EAAE,CAAC,YAAY,EAAE,kBAAkB,EAAE,KAAK,EAAE,MAAM,CAAC;QAC9D,UAAU,EAAE,CAAC,gBAAgB,CAAC;QAC9B,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}

package/dist/canonical/linkage.d.ts

@@ -0,0 +1,27 @@
+/** Best-effort numerical-recovery outcome. */
+export interface RecoveryOutcome {
+    /** Both ASTs evaluated at every sample (no unresolved leaf). */
+    readonly tested: boolean;
+    /** Spread of the canonical/bridge value ratio across samples (0 ⇒ they agree
+     *  up to a single constant factor). `NaN` when not tested. */
+    readonly maxRelErr: number;
+}
+/** One bridge↔canonical comparison. */
+export interface LinkageResult {
+    readonly canonicalId: string;
+    readonly bridgeId: number;
+    /** Inferred dimensions agree. */
+    readonly dimMatch: boolean;
+    /** Same relation up to dimensionless factors (`normalForm`). */
+    readonly structuralMatch: boolean;
+    readonly recovery: RecoveryOutcome | null;
+    readonly classification: 'restates-canonical' | 'recovers' | 'dimensional-only' | 'unrelated';
+}
+/** Compare one canonical entry against one bridge. */
+export declare function classifyLinkage(canonicalId: string, bridgeId: number): LinkageResult;
+/**
+ * Scan every canonical entry (with a scalar-AST) against every bridge RHS, and
+ * return the non-`unrelated` results — the physicist's linkage worklist.
+ */
+export declare function scanLinkages(): LinkageResult[];
+//# sourceMappingURL=linkage.d.ts.map

package/dist/canonical/linkage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"linkage.d.ts","sourceRoot":"","sources":["../../src/canonical/linkage.ts"],"names":[],"mappings":"AAwBA,8CAA8C;AAC9C,MAAM,WAAW,eAAe;IAC9B,gEAAgE;IAChE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB;kEAC8D;IAC9D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,uCAAuC;AACvC,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,iCAAiC;IACjC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,gEAAgE;IAChE,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,eAAe,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,cAAc,EACnB,oBAAoB,GACpB,UAAU,GACV,kBAAkB,GAClB,WAAW,CAAC;CACjB;AAwFD,sDAAsD;AACtD,wBAAgB,eAAe,CAC7B,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,GACf,aAAa,CAsCf;AAED;;;GAGG;AACH,wBAAgB,YAAY,IAAI,aAAa,EAAE,CAU9C"}

package/dist/canonical/linkage.js

@@ -0,0 +1,139 @@
+import { validate } from '../dimensional/validator.js';
+import { evalExpr } from '../composition/expr-eval.js';
+import { CONSTANTS } from '../composition/symbolic-constants.js';
+import { BRIDGE_RHS_BY_ID } from '../bridges/rhs-registry.js';
+import { CANONICAL_EQUATIONS, canonicalById } from './registry.js';
+import { structurallyEqual } from './normal-form.js';
+const dimEqual = (a, b) => a.L === b.L &&
+    a.M === b.M &&
+    a.T === b.T &&
+    a.I === b.I &&
+    a.Theta === b.Theta &&
+    a.N === b.N &&
+    a.J === b.J;
+const isDimensionless = (d) => d.L === 0 &&
+    d.M === 0 &&
+    d.T === 0 &&
+    d.I === 0 &&
+    d.Theta === 0 &&
+    d.N === 0 &&
+    d.J === 0;
+/**
+ * Collect leaves `evalExpr` can't resolve (not a registered constant, not a
+ * numeric literal), split into physical `vars` (non-dimensionless — varied
+ * across samples) and `dimless` (dimensionless — held fixed: they ARE the
+ * constant factor "up to" which recovery is measured).
+ */
+function collectLeaves(node, vars, dimless) {
+    switch (node.kind) {
+        case 'symbol':
+            if (!(node.name in CONSTANTS) && Number.isNaN(Number(node.name))) {
+                (isDimensionless(node.dim) ? dimless : vars).add(node.name);
+            }
+            return;
+        case 'op':
+            for (const a of node.args)
+                collectLeaves(a, vars, dimless);
+            return;
+        case 'transcendental':
+            collectLeaves(node.arg, vars, dimless);
+            return;
+        case 'abs':
+            collectLeaves(node.arg, vars, dimless);
+            return;
+        default:
+            return;
+    }
+}
+const SAMPLE_FACTORS = [1, 2, 3];
+/** Best-effort check that two ASTs agree up to a constant ratio. */
+function numericalRecovery(canon, bridge) {
+    const vars = new Set();
+    const dimless = new Set();
+    collectLeaves(canon, vars, dimless);
+    collectLeaves(bridge, vars, dimless);
+    const names = [...vars].sort();
+    const ratios = [];
+    for (const s of SAMPLE_FACTORS) {
+        const values = {};
+        names.forEach((n, i) => {
+            values[n] = (1.3 + 0.7 * i) * s; // distinct positive samples
+        });
+        // Hold unresolved dimensionless leaves fixed — recovery is "up to" them.
+        for (const n of dimless)
+            values[n] = 1;
+        let cv;
+        let bv;
+        try {
+            cv = evalExpr(canon, values);
+            bv = evalExpr(bridge, values);
+        }
+        catch {
+            return { tested: false, maxRelErr: NaN };
+        }
+        // Guard cv===0 too: with cv===0 the ratio is 0 at every sample, so the
+        // relative-spread denominator r0===0 ⇒ NaN — a false "tested" result.
+        if (!Number.isFinite(cv) || !Number.isFinite(bv) || bv === 0 || cv === 0) {
+            return { tested: false, maxRelErr: NaN };
+        }
+        ratios.push(cv / bv);
+    }
+    const r0 = ratios[0];
+    const maxRelErr = Math.max(...ratios.map((r) => Math.abs((r - r0) / r0)));
+    return { tested: true, maxRelErr };
+}
+/** Compare one canonical entry against one bridge. */
+export function classifyLinkage(canonicalId, bridgeId) {
+    const canon = canonicalById(canonicalId);
+    const bridgeRhs = BRIDGE_RHS_BY_ID.get(bridgeId);
+    const base = { canonicalId, bridgeId };
+    if (!canon || !bridgeRhs || !canon.scalarAst) {
+        return {
+            ...base,
+            dimMatch: false,
+            structuralMatch: false,
+            recovery: null,
+            classification: 'unrelated',
+        };
+    }
+    const bridgeDim = validate(bridgeRhs);
+    const dimMatch = bridgeDim.ok &&
+        bridgeDim.inferredDimension != null &&
+        dimEqual(bridgeDim.inferredDimension, canon.dimensional.target.dim);
+    const structuralMatch = structurallyEqual(canon.scalarAst, bridgeRhs);
+    const recovery = structuralMatch
+        ? numericalRecovery(canon.scalarAst, bridgeRhs)
+        : null;
+    let classification;
+    if (structuralMatch) {
+        classification =
+            canon.restatesBridge === String(bridgeId)
+                ? 'restates-canonical'
+                : 'recovers';
+    }
+    else if (dimMatch) {
+        classification = 'dimensional-only';
+    }
+    else {
+        classification = 'unrelated';
+    }
+    return { ...base, dimMatch, structuralMatch, recovery, classification };
+}
+/**
+ * Scan every canonical entry (with a scalar-AST) against every bridge RHS, and
+ * return the non-`unrelated` results — the physicist's linkage worklist.
+ */
+export function scanLinkages() {
+    const results = [];
+    for (const ce of CANONICAL_EQUATIONS) {
+        if (!ce.scalarAst)
+            continue;
+        for (const bridgeId of BRIDGE_RHS_BY_ID.keys()) {
+            const r = classifyLinkage(ce.id, bridgeId);
+            if (r.classification !== 'unrelated')
+                results.push(r);
+        }
+    }
+    return results;
+}
+//# sourceMappingURL=linkage.js.map

package/dist/canonical/linkage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"linkage.js","sourceRoot":"","sources":["../../src/canonical/linkage.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AA2BrD,MAAM,QAAQ,GAAG,CAAC,CAAY,EAAE,CAAY,EAAW,EAAE,CACvD,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACX,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACX,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACX,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACX,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;IACnB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACX,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAEd,MAAM,eAAe,GAAG,CAAC,CAAY,EAAW,EAAE,CAChD,CAAC,CAAC,CAAC,KAAK,CAAC;IACT,CAAC,CAAC,CAAC,KAAK,CAAC;IACT,CAAC,CAAC,CAAC,KAAK,CAAC;IACT,CAAC,CAAC,CAAC,KAAK,CAAC;IACT,CAAC,CAAC,KAAK,KAAK,CAAC;IACb,CAAC,CAAC,CAAC,KAAK,CAAC;IACT,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAEZ;;;;;GAKG;AACH,SAAS,aAAa,CACpB,IAAc,EACd,IAAiB,EACjB,OAAoB;IAEpB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBACjE,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9D,CAAC;YACD,OAAO;QACT,KAAK,IAAI;YACP,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;gBAAE,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAC3D,OAAO;QACT,KAAK,gBAAgB;YACnB,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACvC,OAAO;QACT,KAAK,KAAK;YACR,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACvC,OAAO;QACT;YACE,OAAO;IACX,CAAC;AACH,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAEjC,oEAAoE;AACpE,SAAS,iBAAiB,CAAC,KAAe,EAAE,MAAgB;IAC1D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACpC,aAAa,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,MAAM,MAAM,GAA2B,EAAE,CAAC;QAC1C,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,4BAA4B;QAC/D,CAAC,CAAC,CAAC;QACH,yEAAyE;QACzE,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,EAAU,CAAC;QACf,IAAI,EAAU,CAAC;QACf,IAAI,CAAC;YACH,EAAE,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAC7B,EAAE,GAAG,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAChC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;QAC3C,CAAC;QACD,uEAAuE;QACvE,sEAAsE;QACtE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACzE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;QAC3C,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACrB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1E,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AACrC,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,eAAe,CAC7B,WAAmB,EACnB,QAAgB;IAEhB,MAAM,KAAK,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;IAEvC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QAC7C,OAAO;YACL,GAAG,IAAI;YACP,QAAQ,EAAE,KAAK;YACf,eAAe,EAAE,KAAK;YACtB,QAAQ,EAAE,IAAI;YACd,cAAc,EAAE,WAAW;SAC5B,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;IACtC,MAAM,QAAQ,GACZ,SAAS,CAAC,EAAE;QACZ,SAAS,CAAC,iBAAiB,IAAI,IAAI;QACnC,QAAQ,CAAC,SAAS,CAAC,iBAAiB,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACtE,MAAM,eAAe,GAAG,iBAAiB,CAAC,KAAK,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,eAAe;QAC9B,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,SAAS,EAAE,SAAS,CAAC;QAC/C,CAAC,CAAC,IAAI,CAAC;IAET,IAAI,cAA+C,CAAC;IACpD,IAAI,eAAe,EAAE,CAAC;QACpB,cAAc;YACZ,KAAK,CAAC,cAAc,KAAK,MAAM,CAAC,QAAQ,CAAC;gBACvC,CAAC,CAAC,oBAAoB;gBACtB,CAAC,CAAC,UAAU,CAAC;IACnB,CAAC;SAAM,IAAI,QAAQ,EAAE,CAAC;QACpB,cAAc,GAAG,kBAAkB,CAAC;IACtC,CAAC;SAAM,CAAC;QACN,cAAc,GAAG,WAAW,CAAC;IAC/B,CAAC;IAED,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC;AAC1E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY;IAC1B,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,KAAK,MAAM,EAAE,IAAI,mBAAmB,EAAE,CAAC;QACrC,IAAI,CAAC,EAAE,CAAC,SAAS;YAAE,SAAS;QAC5B,KAAK,MAAM,QAAQ,IAAI,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC;YAC/C,MAAM,CAAC,GAAG,eAAe,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;YAC3C,IAAI,CAAC,CAAC,cAAc,KAAK,WAAW;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/canonical/normal-form.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Normalized structural form of a scalar `ExprNode`, **up to dimensionless
+ * multiplicative factors** — the hash the F4 circularity guard uses to decide
+ * whether a bridge's RHS and a canonical equation encode the same relation.
+ *
+ * Two expressions hash equal when they differ only by:
+ *   - dimensionless multiplicative constants (numeric literals, ln2, 4π, …),
+ *   - product nesting (`(a·b)·c` vs `a·b·c`),
+ *   - commutative reordering of `*` / `+` operands.
+ *
+ * They hash DIFFERENT when an exponent differs (T⁴ ≠ T) or the non-dimensionless
+ * factor set differs. Sums keep every term; `^` keeps its exponent; `/` keeps the
+ * numerator/denominator split.
+ *
+ * @module canonical/normal-form
+ */
+import type { ExprNode } from '../dimensional/validator.js';
+/**
+ * The normalized structural form of `node`. Equal strings ⇒ same relation up to
+ * dimensionless multiplicative factors.
+ */
+export declare function normalForm(node: ExprNode): string;
+/** Whether two scalar ASTs are the same relation up to dimensionless factors. */
+export declare function structurallyEqual(a: ExprNode, b: ExprNode): boolean;
+//# sourceMappingURL=normal-form.d.ts.map

package/dist/canonical/normal-form.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"normal-form.d.ts","sourceRoot":"","sources":["../../src/canonical/normal-form.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAgD5D;;;GAGG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAsDjD;AAED,iFAAiF;AACjF,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,OAAO,CAEnE"}

package/dist/canonical/normal-form.js

@@ -0,0 +1,107 @@
+const isDimensionless = (d) => d.L === 0 &&
+    d.M === 0 &&
+    d.T === 0 &&
+    d.I === 0 &&
+    d.Theta === 0 &&
+    d.N === 0 &&
+    d.J === 0;
+/** Token for a node that carries no structural content (a dimensionless factor). */
+const UNIT = '1';
+/**
+ * Full structural serialization that NEVER drops dimensionless factors — used
+ * for `^` exponents, which are structural (T⁴ ≠ T) and must not be treated
+ * "up to dimensionless factors". Commutative operands are still sorted so the
+ * exponent comparison is robust to reordering.
+ */
+function rawForm(node) {
+    switch (node.kind) {
+        case 'symbol':
+            return `s:${node.name}`;
+        case 'op': {
+            const parts = node.args.map(rawForm);
+            if (node.op === '*' || node.op === '+')
+                parts.sort();
+            return `${node.op}(${parts.join(',')})`;
+        }
+        case 'transcendental':
+            return `${node.fn}[${rawForm(node.arg)}]`;
+        case 'abs':
+            return `abs[${rawForm(node.arg)}]`;
+        default:
+            return `${node.kind}:${JSON.stringify(node)}`;
+    }
+}
+/** Collect the factors of a (possibly nested) `*` product. */
+function flattenProduct(node, out) {
+    if (node.kind === 'op' && node.op === '*') {
+        for (const a of node.args)
+            flattenProduct(a, out);
+    }
+    else {
+        out.push(node);
+    }
+}
+/**
+ * The normalized structural form of `node`. Equal strings ⇒ same relation up to
+ * dimensionless multiplicative factors.
+ */
+export function normalForm(node) {
+    switch (node.kind) {
+        case 'symbol':
+            // A dimensionless symbol is a factor with no structural content.
+            return isDimensionless(node.dim) ? UNIT : `sym:${node.name}`;
+        case 'op': {
+            switch (node.op) {
+                case '*': {
+                    const factors = [];
+                    flattenProduct(node, factors);
+                    const kept = factors
+                        .map(normalForm)
+                        .filter((f) => f !== UNIT) // drop dimensionless factors
+                        .sort();
+                    if (kept.length === 0)
+                        return UNIT;
+                    if (kept.length === 1)
+                        return kept[0];
+                    return `*(${kept.join(',')})`;
+                }
+                case '/': {
+                    const num = normalForm(node.args[0]);
+                    const den = normalForm(node.args[1]);
+                    if (den === UNIT)
+                        return num; // ÷ dimensionless ⇒ the numerator
+                    return `/(${num},${den})`;
+                }
+                case '^': {
+                    // The exponent is structural (T⁴ ≠ T) and must NOT be reduced
+                    // "up to dimensionless factors" — serialize it with rawForm so a
+                    // dimensionless exponent is never dropped (symmetric for direct
+                    // symbols and op sub-expressions alike).
+                    const base = normalForm(node.args[0]);
+                    return `^(${base},${rawForm(node.args[1])})`;
+                }
+                case '+':
+                case '-': {
+                    const parts = node.args.map(normalForm);
+                    if (node.op === '+')
+                        parts.sort();
+                    return `${node.op}(${parts.join(',')})`;
+                }
+                default:
+                    return `op:${JSON.stringify(node)}`;
+            }
+        }
+        case 'transcendental':
+            return `${node.fn}(${normalForm(node.arg)})`;
+        case 'abs':
+            return `abs(${normalForm(node.arg)})`;
+        default:
+            // integral / derivative / tensor arms: compare structurally by kind+shape.
+            return `${node.kind}:${JSON.stringify(node)}`;
+    }
+}
+/** Whether two scalar ASTs are the same relation up to dimensionless factors. */
+export function structurallyEqual(a, b) {
+    return normalForm(a) === normalForm(b);
+}
+//# sourceMappingURL=normal-form.js.map

package/dist/canonical/normal-form.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"normal-form.js","sourceRoot":"","sources":["../../src/canonical/normal-form.ts"],"names":[],"mappings":"AAmBA,MAAM,eAAe,GAAG,CAAC,CAAY,EAAW,EAAE,CAChD,CAAC,CAAC,CAAC,KAAK,CAAC;IACT,CAAC,CAAC,CAAC,KAAK,CAAC;IACT,CAAC,CAAC,CAAC,KAAK,CAAC;IACT,CAAC,CAAC,CAAC,KAAK,CAAC;IACT,CAAC,CAAC,KAAK,KAAK,CAAC;IACb,CAAC,CAAC,CAAC,KAAK,CAAC;IACT,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAEZ,oFAAoF;AACpF,MAAM,IAAI,GAAG,GAAG,CAAC;AAEjB;;;;;GAKG;AACH,SAAS,OAAO,CAAC,IAAc;IAC7B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACrC,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;gBAAE,KAAK,CAAC,IAAI,EAAE,CAAC;YACrD,OAAO,GAAG,IAAI,CAAC,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAC1C,CAAC;QACD,KAAK,gBAAgB;YACnB,OAAO,GAAG,IAAI,CAAC,EAAE,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAC5C,KAAK,KAAK;YACR,OAAO,OAAO,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACrC;YACE,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;IAClD,CAAC;AACH,CAAC;AAED,8DAA8D;AAC9D,SAAS,cAAc,CAAC,IAAc,EAAE,GAAe;IACrD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QAC1C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;YAAE,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACpD,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,IAAc;IACvC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,iEAAiE;YACjE,OAAO,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;QAE/D,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;gBAChB,KAAK,GAAG,CAAC,CAAC,CAAC;oBACT,MAAM,OAAO,GAAe,EAAE,CAAC;oBAC/B,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC9B,MAAM,IAAI,GAAG,OAAO;yBACjB,GAAG,CAAC,UAAU,CAAC;yBACf,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,6BAA6B;yBACvD,IAAI,EAAE,CAAC;oBACV,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;wBAAE,OAAO,IAAI,CAAC;oBACnC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;wBAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;oBACtC,OAAO,KAAK,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAChC,CAAC;gBACD,KAAK,GAAG,CAAC,CAAC,CAAC;oBACT,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBACrC,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBACrC,IAAI,GAAG,KAAK,IAAI;wBAAE,OAAO,GAAG,CAAC,CAAC,kCAAkC;oBAChE,OAAO,KAAK,GAAG,IAAI,GAAG,GAAG,CAAC;gBAC5B,CAAC;gBACD,KAAK,GAAG,CAAC,CAAC,CAAC;oBACT,8DAA8D;oBAC9D,iEAAiE;oBACjE,gEAAgE;oBAChE,yCAAyC;oBACzC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBACtC,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC/C,CAAC;gBACD,KAAK,GAAG,CAAC;gBACT,KAAK,GAAG,CAAC,CAAC,CAAC;oBACT,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;oBACxC,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;wBAAE,KAAK,CAAC,IAAI,EAAE,CAAC;oBAClC,OAAO,GAAG,IAAI,CAAC,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAC1C,CAAC;gBACD;oBACE,OAAO,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,CAAC;QACH,CAAC;QAED,KAAK,gBAAgB;YACnB,OAAO,GAAG,IAAI,CAAC,EAAE,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAE/C,KAAK,KAAK;YACR,OAAO,OAAO,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAExC;YACE,2EAA2E;YAC3E,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;IAClD,CAAC;AACH,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,iBAAiB,CAAC,CAAW,EAAE,CAAW;IACxD,OAAO,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC;AACzC,CAAC"}

package/dist/canonical/registry.d.ts

@@ -0,0 +1,26 @@
+/**
+ * The canonical-equation registry — the queryable index of the L-layer.
+ * Seeded incrementally by `entries/*` modules (Tasks 2,4,5,9); this file owns
+ * the assembled array, the id map, and the accessors.
+ *
+ * @module canonical/registry
+ */
+import type { CanonicalEquation, CanonicalDomain } from './canonical-equation.js';
+/** Every canonical equation in the registry. */
+export declare const CANONICAL_EQUATIONS: readonly CanonicalEquation[];
+/** Id → entry. */
+export declare const CANONICAL_BY_ID: Readonly<Record<string, CanonicalEquation>>;
+/** The entry with id `id`, or `undefined`. */
+export declare function canonicalById(id: string): CanonicalEquation | undefined;
+/** Every entry in `domain`. */
+export declare function canonicalByDomain(domain: CanonicalDomain): readonly CanonicalEquation[];
+/** Catalog bridge ids (string form) that at least one canonical entry names as
+ *  a `partnerBridges` / `restatesBridge` correspondence. */
+export declare function partneredBridgeIds(): Set<string>;
+/**
+ * Catalog bridges with NO canonical correspondence partner yet — the explicit,
+ * logged coverage gap (review finding F2). Sorted by numeric id. The count is
+ * pinned by a test so shrinking it (adding a partner) is a deliberate act.
+ */
+export declare function bridgesWithoutCanonicalPartner(): string[];
+//# sourceMappingURL=registry.d.ts.map

package/dist/canonical/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/canonical/registry.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAOlF,gDAAgD;AAChD,eAAO,MAAM,mBAAmB,EAAE,SAAS,iBAAiB,EAK3D,CAAC;AAEF,kBAAkB;AAClB,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CACT,CAAC;AAEhE,8CAA8C;AAC9C,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAEvE;AAED,+BAA+B;AAC/B,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,eAAe,GACtB,SAAS,iBAAiB,EAAE,CAE9B;AAED;4DAC4D;AAC5D,wBAAgB,kBAAkB,IAAI,GAAG,CAAC,MAAM,CAAC,CAOhD;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,IAAI,MAAM,EAAE,CAKzD"}

package/dist/canonical/registry.js

@@ -0,0 +1,46 @@
+import { BRIDGE_EQUATIONS } from '../bridges/index.js';
+import { DIMENSIONAL_CLASSICS } from './entries/dimensional-classics.js';
+import { L1_GRAVITY_THERMO } from './entries/l1-gravity-thermo.js';
+import { L1_QUANTUM_EM } from './entries/l1-quantum-em.js';
+import { RELATIVITY } from './entries/relativity.js';
+/** Every canonical equation in the registry. */
+export const CANONICAL_EQUATIONS = [
+    ...DIMENSIONAL_CLASSICS,
+    ...L1_GRAVITY_THERMO,
+    ...L1_QUANTUM_EM,
+    ...RELATIVITY,
+];
+/** Id → entry. */
+export const CANONICAL_BY_ID = Object.fromEntries(CANONICAL_EQUATIONS.map((e) => [e.id, e]));
+/** The entry with id `id`, or `undefined`. */
+export function canonicalById(id) {
+    return CANONICAL_BY_ID[id];
+}
+/** Every entry in `domain`. */
+export function canonicalByDomain(domain) {
+    return CANONICAL_EQUATIONS.filter((e) => e.domain === domain);
+}
+/** Catalog bridge ids (string form) that at least one canonical entry names as
+ *  a `partnerBridges` / `restatesBridge` correspondence. */
+export function partneredBridgeIds() {
+    const ids = new Set();
+    for (const e of CANONICAL_EQUATIONS) {
+        for (const b of e.partnerBridges)
+            ids.add(b);
+        if (e.restatesBridge)
+            ids.add(e.restatesBridge);
+    }
+    return ids;
+}
+/**
+ * Catalog bridges with NO canonical correspondence partner yet — the explicit,
+ * logged coverage gap (review finding F2). Sorted by numeric id. The count is
+ * pinned by a test so shrinking it (adding a partner) is a deliberate act.
+ */
+export function bridgesWithoutCanonicalPartner() {
+    const partnered = partneredBridgeIds();
+    return BRIDGE_EQUATIONS.map((b) => String(b.id))
+        .filter((id) => !partnered.has(id))
+        .sort((a, b) => Number(a) - Number(b));
+}
+//# sourceMappingURL=registry.js.map

package/dist/canonical/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/canonical/registry.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAErD,gDAAgD;AAChD,MAAM,CAAC,MAAM,mBAAmB,GAAiC;IAC/D,GAAG,oBAAoB;IACvB,GAAG,iBAAiB;IACpB,GAAG,aAAa;IAChB,GAAG,UAAU;CACd,CAAC;AAEF,kBAAkB;AAClB,MAAM,CAAC,MAAM,eAAe,GAC1B,MAAM,CAAC,WAAW,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAEhE,8CAA8C;AAC9C,MAAM,UAAU,aAAa,CAAC,EAAU;IACtC,OAAO,eAAe,CAAC,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,+BAA+B;AAC/B,MAAM,UAAU,iBAAiB,CAC/B,MAAuB;IAEvB,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;AAChE,CAAC;AAED;4DAC4D;AAC5D,MAAM,UAAU,kBAAkB;IAChC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,mBAAmB,EAAE,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,cAAc;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,CAAC,CAAC,cAAc;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B;IAC5C,MAAM,SAAS,GAAG,kBAAkB,EAAE,CAAC;IACvC,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SAC7C,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;SAClC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC"}

package/dist/canonical/seed-l-layer.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Seed the canonical-equation registry into the tensor's L-layer (Π = L + B + E)
+ * via the existing `addLaw` path. `canonicalToLaw` maps a registry entry onto the
+ * `PhysicalLaw` shape; `seedCanonicalLaws` adds them all and returns the count.
+ *
+ * @module canonical/seed-l-layer
+ */
+import type { CanonicalEquation } from './canonical-equation.js';
+import type { PhysicalLaw, TensorConfig } from '../core/types.js';
+import { UniversalTensor } from '../core/tensor.js';
+/** A `TensorConfig` whose axes cover every regime the canonical registry uses,
+ *  so `seedCanonicalLaws` never trips axis-membership validation. */
+export declare const CANONICAL_TENSOR_CONFIG: TensorConfig;
+/** Map a canonical entry onto the `PhysicalLaw` shape the L-layer consumes.
+ *  Canonical laws are ground truth → `confidence: 1`. Regime axes map to the
+ *  law's single-valued axis arrays (empty when the regime leaves an axis open). */
+export declare function canonicalToLaw(ce: CanonicalEquation): PhysicalLaw;
+/** Seed every canonical equation into `t`'s L-layer. Returns the count added. */
+export declare function seedCanonicalLaws(t: UniversalTensor): number;
+//# sourceMappingURL=seed-l-layer.d.ts.map

package/dist/canonical/seed-l-layer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"seed-l-layer.d.ts","sourceRoot":"","sources":["../../src/canonical/seed-l-layer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAGpD;qEACqE;AACrE,eAAO,MAAM,uBAAuB,EAAE,YAMrC,CAAC;AAEF;;mFAEmF;AACnF,wBAAgB,cAAc,CAAC,EAAE,EAAE,iBAAiB,GAAG,WAAW,CAejE;AAED,iFAAiF;AACjF,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,eAAe,GAAG,MAAM,CAM5D"}

package/dist/canonical/seed-l-layer.js

@@ -0,0 +1,39 @@
+import { CANONICAL_EQUATIONS } from './registry.js';
+/** A `TensorConfig` whose axes cover every regime the canonical registry uses,
+ *  so `seedCanonicalLaws` never trips axis-membership validation. */
+export const CANONICAL_TENSOR_CONFIG = {
+    rank: 6,
+    scales: ['quantum', 'mesoscopic', 'classical', 'cosmological'],
+    forces: ['gravitational', 'electromagnetic', 'weak', 'strong', 'emergent'],
+    symmetries: ['poincare', 'gauge', 'conformal', 'susy', 'emergent'],
+    informationMeasures: ['vonNeumann', 'shannon', 'kolmogorov', 'quantumDiscord'],
+};
+/** Map a canonical entry onto the `PhysicalLaw` shape the L-layer consumes.
+ *  Canonical laws are ground truth → `confidence: 1`. Regime axes map to the
+ *  law's single-valued axis arrays (empty when the regime leaves an axis open). */
+export function canonicalToLaw(ce) {
+    const r = ce.regime;
+    return {
+        id: ce.id,
+        name: ce.name,
+        equation: ce.formula_latex,
+        scales: r.scale ? [r.scale] : [],
+        forces: r.force ? [r.force] : [],
+        symmetries: r.symmetry ? [r.symmetry] : [],
+        confidence: 1,
+        informationMeasures: r.information ? [r.information] : undefined,
+        dimensions: r.dimension !== undefined ? [r.dimension] : undefined,
+        topologies: r.topology !== undefined ? [r.topology] : undefined,
+        references: [...ce.references],
+    };
+}
+/** Seed every canonical equation into `t`'s L-layer. Returns the count added. */
+export function seedCanonicalLaws(t) {
+    let added = 0;
+    for (const ce of CANONICAL_EQUATIONS) {
+        if (t.addLaw(canonicalToLaw(ce)))
+            added++;
+    }
+    return added;
+}
+//# sourceMappingURL=seed-l-layer.js.map

package/dist/canonical/seed-l-layer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"seed-l-layer.js","sourceRoot":"","sources":["../../src/canonical/seed-l-layer.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEpD;qEACqE;AACrE,MAAM,CAAC,MAAM,uBAAuB,GAAiB;IACnD,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,CAAC,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,cAAc,CAAC;IAC9D,MAAM,EAAE,CAAC,eAAe,EAAE,iBAAiB,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC;IAC1E,UAAU,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,CAAC;IAClE,mBAAmB,EAAE,CAAC,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,gBAAgB,CAAC;CAC/E,CAAC;AAEF;;mFAEmF;AACnF,MAAM,UAAU,cAAc,CAAC,EAAqB;IAClD,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC;IACpB,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,IAAI,EAAE,EAAE,CAAC,IAAI;QACb,QAAQ,EAAE,EAAE,CAAC,aAAa;QAC1B,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;QAChC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;QAChC,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;QAC1C,UAAU,EAAE,CAAC;QACb,mBAAmB,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS;QAChE,UAAU,EAAE,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;QACjE,UAAU,EAAE,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;QAC/D,UAAU,EAAE,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC;KAC/B,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,iBAAiB,CAAC,CAAkB;IAClD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,EAAE,IAAI,mBAAmB,EAAE,CAAC;QACrC,IAAI,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;YAAE,KAAK,EAAE,CAAC;IAC5C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}