universal-physics-tensor 0.21.0 → 0.23.0

package/dist/canonical/entries/l1-gravity-thermo.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"l1-gravity-thermo.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/l1-gravity-thermo.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAyElE,eAAO,MAAM,iBAAiB,EAAE,SAAS,iBAAiB,EA8GzD,CAAC"}

package/dist/canonical/entries/l1-gravity-thermo.js

@@ -0,0 +1,165 @@
+import { sym } from '../../bridges/equations/_be-helpers.js';
+import { LENGTH, MASS, AREA, VELOCITY, ACTION, ENERGY, ENTROPY, TEMPERATURE, FORCE, DIMENSIONLESS, } from '../../dimensional/types.js';
+import { dim, op, pow, l1 } from './_l1-build.js';
+const GRAV = dim(3, -1, -2); // Newton's constant [L³ M⁻¹ T⁻²]
+const VOLUME = dim(3); // [L³]
+const PRESSURE = dim(-1, 1, -2); // [M L⁻¹ T⁻²]
+const SB_FLUX = dim(0, 1, -3); // radiative flux W/m² = [M T⁻³]
+const SIGMA_SB = dim(0, 1, -3, 0, -4); // Stefan–Boltzmann σ [M T⁻³ Θ⁻⁴] (Θ is 5th arg)
+// ── Bekenstein–Hawking entropy  S = k_B c³ A / (4 G ℏ)  (AREA form) ─────────
+const BH_TARGET = { name: 'bh-entropy', dim: ENTROPY };
+const BH_GOV = [
+    { name: 'k_B', dim: ENTROPY },
+    { name: 'c', dim: VELOCITY },
+    { name: 'A', dim: AREA },
+    { name: 'G', dim: GRAV },
+    { name: 'hbar', dim: ACTION },
+];
+// ── Landauer minimum erasure energy  E = k_B T ln2  (natural log) ───────────
+const LANDAUER_TARGET = { name: 'erasure-energy', dim: ENERGY };
+const LANDAUER_GOV = [
+    { name: 'k_B', dim: ENTROPY },
+    { name: 'T', dim: TEMPERATURE },
+];
+// ── Jarzynski equality  ΔF = −k_B T ln⟨exp(−W/k_B T)⟩  (the dimensionless ──
+// log of the work-ensemble average is the leading factor; dimensionally
+// ΔF = k_B·T, the same monomial as Landauer). The canonical L-layer partner
+// for BE-29 — see docs/research/BE-29-Landauer-Recovery.md.
+const JARZYNSKI_TARGET = { name: 'free-energy-difference', dim: ENERGY };
+const JARZYNSKI_GOV = [
+    { name: 'k_B', dim: ENTROPY },
+    { name: 'T', dim: TEMPERATURE },
+];
+// ── Newton's law of gravitation  F = G m₁ m₂ / r²  (free mass-ratio group) ──
+const NEWTON_TARGET = { name: 'gravitational-force', dim: FORCE };
+const NEWTON_GOV = [
+    { name: 'G', dim: GRAV },
+    { name: 'm_1', dim: MASS },
+    { name: 'm_2', dim: MASS },
+    { name: 'r', dim: LENGTH },
+];
+// ── Stefan–Boltzmann law  j = σ T⁴  (radiative FLUX) ────────────────────────
+const SB_TARGET = { name: 'radiative-flux', dim: SB_FLUX };
+const SB_GOV = [
+    { name: 'sigma_sb', dim: SIGMA_SB },
+    { name: 'T', dim: TEMPERATURE },
+];
+// ── Ideal gas law  P = N k_B T / V  (N is a dimensionless count) ────────────
+const GAS_TARGET = { name: 'pressure', dim: PRESSURE };
+const GAS_GOV = [
+    { name: 'k_B', dim: ENTROPY },
+    { name: 'T', dim: TEMPERATURE },
+    { name: 'V', dim: VOLUME },
+];
+export const L1_GRAVITY_THERMO = [
+    l1(BH_TARGET, BH_GOV, {
+        id: 'CE-bekenstein-hawking',
+        name: 'Bekenstein–Hawking entropy',
+        domain: 'general-relativity',
+        formula_latex: 'S = k_B c^3 A/(4 G \\hbar)',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [
+            op('*', [sym('k_B', ENTROPY), pow(sym('c', VELOCITY), '3'), sym('A', AREA)]),
+            op('*', [sym('4', DIMENSIONLESS), sym('G', GRAV), sym('hbar', ACTION)]),
+        ]),
+        forms: { areaOrRadius: 'area' },
+        regime: { force: 'gravitational', information: 'vonNeumann' },
+        assumptions: ['stationary horizon', 'semiclassical'],
+        references: ['Bekenstein 1973; Hawking 1975'],
+        // 42 = Hawking temperature (same black-hole-thermodynamics family). No
+        // bridge literally encodes S=A/4, so no restatesBridge.
+        partnerBridges: ['42'],
+    }),
+    l1(LANDAUER_TARGET, LANDAUER_GOV, {
+        id: 'CE-landauer',
+        name: 'Landauer erasure bound',
+        domain: 'information',
+        formula_latex: 'E = k_B T \\ln 2',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('*', [
+            sym('k_B', ENTROPY),
+            sym('T', TEMPERATURE),
+            sym('ln2', DIMENSIONLESS),
+        ]),
+        forms: { logBase: 'e' },
+        regime: { scale: 'mesoscopic', information: 'shannon' },
+        assumptions: ['isothermal', 'quasi-static erasure'],
+        references: ['Landauer 1961'],
+        // 16 = "Information-Thermodynamics Bridge (Landauer's principle)" — a
+        // genuine restatement (the canonical Landauer bound IS bridge 16).
+        partnerBridges: ['16'],
+        restatesBridge: '16',
+    }),
+    l1(JARZYNSKI_TARGET, JARZYNSKI_GOV, {
+        id: 'CE-jarzynski',
+        name: 'Jarzynski free-energy equality',
+        domain: 'statistical',
+        formula_latex: '\\Delta F = -k_B T \\ln \\langle \\exp(-W/(k_B T)) \\rangle',
+        // The leading dimensionless factor is the ensemble functional
+        // ln⟨exp(−βW)⟩, not a universal constant, so the strongest honest claim
+        // is the algebraic form up to that factor.
+        epistemicStatus: 'scalar-up-to-constant',
+        // Mirrors BE29_JARZYNSKI_RHS: −1 · k_B · T · ln⟨exp(−βW)⟩, the log encoded
+        // as a dimensionless stub (the AST has no ln primitive). Structurally this
+        // is the k_B·T·(dimensionless) thermodynamic form — the same one Landauer
+        // shares, which is exactly why BE-29 "recovers" CE-landauer.
+        scalarAst: op('*', [
+            sym('-1', DIMENSIONLESS),
+            sym('k_B', ENTROPY),
+            sym('T', TEMPERATURE),
+            sym('ln_avg_exp_minus_betaW', DIMENSIONLESS),
+        ]),
+        regime: { scale: 'mesoscopic' },
+        assumptions: ['isothermal', 'arbitrary work protocol between two equilibria'],
+        references: ['Jarzynski 1997 PRL 78:2690'],
+        // 29 = BE-29 (Jarzynski equality) — this canonical entry IS that bridge's
+        // own relation, so it is a declared restatement (NOT a discovery). Its
+        // structural match to CE-landauer stays a `recovers` form-coincidence.
+        partnerBridges: ['29'],
+        restatesBridge: '29',
+    }),
+    l1(NEWTON_TARGET, NEWTON_GOV, {
+        id: 'CE-newton-gravitation',
+        name: "Newton's law of gravitation",
+        domain: 'gravitation',
+        formula_latex: 'F = G m_1 m_2/r^2',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [
+            op('*', [sym('G', GRAV), sym('m_1', MASS), sym('m_2', MASS)]),
+            pow(sym('r', LENGTH), '2'),
+        ]),
+        regime: { scale: 'classical', force: 'gravitational' },
+        assumptions: ['point masses', 'non-relativistic'],
+        references: ['Newton 1687'],
+        partnerBridges: [],
+    }),
+    l1(SB_TARGET, SB_GOV, {
+        id: 'CE-stefan-boltzmann',
+        name: 'Stefan–Boltzmann law',
+        domain: 'thermodynamics',
+        formula_latex: 'j = \\sigma T^4',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('*', [sym('sigma_sb', SIGMA_SB), pow(sym('T', TEMPERATURE), '4')]),
+        forms: { quantityKind: 'flux' },
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['blackbody', 'thermal equilibrium'],
+        references: ['Stefan 1879; Boltzmann 1884'],
+        partnerBridges: [],
+    }),
+    l1(GAS_TARGET, GAS_GOV, {
+        id: 'CE-ideal-gas',
+        name: 'Ideal gas law',
+        domain: 'thermodynamics',
+        formula_latex: 'P = N k_B T/V',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [
+            op('*', [sym('N', DIMENSIONLESS), sym('k_B', ENTROPY), sym('T', TEMPERATURE)]),
+            sym('V', VOLUME),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['ideal gas', 'thermal equilibrium'],
+        references: ['Clapeyron 1834'],
+        partnerBridges: [],
+    }),
+];
+//# sourceMappingURL=l1-gravity-thermo.js.map

package/dist/canonical/entries/l1-gravity-thermo.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"l1-gravity-thermo.js","sourceRoot":"","sources":["../../../src/canonical/entries/l1-gravity-thermo.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EACL,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,OAAO,EACP,WAAW,EACX,KAAK,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,iCAAiC;AAC9D,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO;AAC9B,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc;AAC/C,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,gCAAgC;AAC/D,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,gDAAgD;AAEvF,+EAA+E;AAC/E,MAAM,SAAS,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;AACvD,MAAM,MAAM,GAAG;IACb,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;IAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;IAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;IACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;IACxB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;CAC9B,CAAC;AAEF,+EAA+E;AAC/E,MAAM,eAAe,GAAG,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AAChE,MAAM,YAAY,GAAG;IACnB,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;IAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;CAChC,CAAC;AAEF,8EAA8E;AAC9E,wEAAwE;AACxE,4EAA4E;AAC5E,4DAA4D;AAC5D,MAAM,gBAAgB,GAAG,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AACzE,MAAM,aAAa,GAAG;IACpB,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;IAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;CAChC,CAAC;AAEF,+EAA+E;AAC/E,MAAM,aAAa,GAAG,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;AAClE,MAAM,UAAU,GAAG;IACjB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;IACxB,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;IAC1B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;IAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;CAC3B,CAAC;AAEF,+EAA+E;AAC/E,MAAM,SAAS,GAAG,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;AAC3D,MAAM,MAAM,GAAG;IACb,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;IACnC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;CAChC,CAAC;AAEF,+EAA+E;AAC/E,MAAM,UAAU,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AACvD,MAAM,OAAO,GAAG;IACd,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;IAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;IAC/B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;CAC3B,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAiC;IAC7D,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE;QACpB,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,4BAA4B;QAClC,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,4BAA4B;QAC3C,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;YAC5E,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;SACxE,CAAC;QACF,KAAK,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE;QAC/B,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,YAAY,EAAE;QAC7D,WAAW,EAAE,CAAC,oBAAoB,EAAE,eAAe,CAAC;QACpD,UAAU,EAAE,CAAC,+BAA+B,CAAC;QAC7C,uEAAuE;QACvE,wDAAwD;QACxD,cAAc,EAAE,CAAC,IAAI,CAAC;KACvB,CAAC;IACF,EAAE,CAAC,eAAe,EAAE,YAAY,EAAE;QAChC,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,kBAAkB;QACjC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC;YACnB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;YACrB,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;SAC1B,CAAC;QACF,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE;QACvB,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE;QACvD,WAAW,EAAE,CAAC,YAAY,EAAE,sBAAsB,CAAC;QACnD,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,sEAAsE;QACtE,mEAAmE;QACnE,cAAc,EAAE,CAAC,IAAI,CAAC;QACtB,cAAc,EAAE,IAAI;KACrB,CAAC;IACF,EAAE,CAAC,gBAAgB,EAAE,aAAa,EAAE;QAClC,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,6DAA6D;QAC5E,8DAA8D;QAC9D,wEAAwE;QACxE,2CAA2C;QAC3C,eAAe,EAAE,uBAAuB;QACxC,2EAA2E;QAC3E,2EAA2E;QAC3E,0EAA0E;QAC1E,6DAA6D;QAC7D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;YACxB,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC;YACnB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;YACrB,GAAG,CAAC,wBAAwB,EAAE,aAAa,CAAC;SAC7C,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,YAAY,EAAE,gDAAgD,CAAC;QAC7E,UAAU,EAAE,CAAC,4BAA4B,CAAC;QAC1C,0EAA0E;QAC1E,uEAAuE;QACvE,uEAAuE;QACvE,cAAc,EAAE,CAAC,IAAI,CAAC;QACtB,cAAc,EAAE,IAAI;KACrB,CAAC;IACF,EAAE,CAAC,aAAa,EAAE,UAAU,EAAE;QAC5B,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,mBAAmB;QAClC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;YAC7D,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;SAC3B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;QACtD,WAAW,EAAE,CAAC,cAAc,EAAE,kBAAkB,CAAC;QACjD,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE;QACpB,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAChF,KAAK,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE;QAC/B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,WAAW,EAAE,qBAAqB,CAAC;QACjD,UAAU,EAAE,CAAC,6BAA6B,CAAC;QAC3C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE;QACtB,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC;YAC9E,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;SACjB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,WAAW,EAAE,qBAAqB,CAAC;QACjD,UAAU,EAAE,CAAC,gBAAgB,CAAC;QAC9B,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}

package/dist/canonical/entries/l1-quantum-em.d.ts

@@ -0,0 +1,10 @@
+/**
+ * L1 (scalar-AST) canonical entries — quantum + electromagnetism. Coulomb's
+ * law, Planck–Einstein, de Broglie, Bohr radius, Wien's displacement, and the
+ * Lorentz-force magnitude. L0 fields derived from the engine (see `_l1-build`).
+ *
+ * @module canonical/entries/l1-quantum-em
+ */
+import type { CanonicalEquation } from '../canonical-equation.js';
+export declare const L1_QUANTUM_EM: readonly CanonicalEquation[];
+//# sourceMappingURL=l1-quantum-em.d.ts.map

package/dist/canonical/entries/l1-quantum-em.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"l1-quantum-em.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/l1-quantum-em.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAmElE,eAAO,MAAM,aAAa,EAAE,SAAS,iBAAiB,EA2FrD,CAAC"}

package/dist/canonical/entries/l1-quantum-em.js

@@ -0,0 +1,141 @@
+import { sym } from '../../bridges/equations/_be-helpers.js';
+import { LENGTH, MASS, VELOCITY, ACTION, ENERGY, FREQUENCY, FORCE, CHARGE, DIMENSIONLESS, } from '../../dimensional/types.js';
+import { dim, op, pow, l1 } from './_l1-build.js';
+const PERMITTIVITY = dim(-3, -1, 4, 2); // ε₀ [I² T⁴ M⁻¹ L⁻³]
+const MOMENTUM = dim(1, 1, -1); // [L M T⁻¹]
+const MAGFIELD = dim(0, 1, -2, -1); // magnetic flux density (tesla) [M T⁻² I⁻¹]
+const WIEN_B = dim(1, 0, 0, 0, 1); // Wien constant [L Θ]
+// ── Coulomb's law  F = q₁ q₂ / (4π ε₀ r²)  (free charge-ratio group) ────────
+const COULOMB_TARGET = { name: 'coulomb-force', dim: FORCE };
+const COULOMB_GOV = [
+    { name: 'q_1', dim: CHARGE },
+    { name: 'q_2', dim: CHARGE },
+    { name: 'epsilon_0', dim: PERMITTIVITY },
+    { name: 'r', dim: LENGTH },
+];
+// ── Planck–Einstein  E = h ν ────────────────────────────────────────────────
+const PE_TARGET = { name: 'photon-energy', dim: ENERGY };
+const PE_GOV = [
+    { name: 'h', dim: ACTION },
+    { name: 'nu', dim: FREQUENCY },
+];
+// ── de Broglie  λ = h / p ───────────────────────────────────────────────────
+const DB_TARGET = { name: 'de-broglie-wavelength', dim: LENGTH };
+const DB_GOV = [
+    { name: 'h', dim: ACTION },
+    { name: 'p', dim: MOMENTUM },
+];
+// ── Bohr radius  a₀ = 4π ε₀ ℏ² / (m_e e²) ───────────────────────────────────
+const BOHR_TARGET = { name: 'bohr-radius', dim: LENGTH };
+const BOHR_GOV = [
+    { name: 'epsilon_0', dim: PERMITTIVITY },
+    { name: 'hbar', dim: ACTION },
+    { name: 'm_e', dim: MASS },
+    { name: 'e', dim: CHARGE },
+];
+// ── Wien's displacement  λ_max = b / T ──────────────────────────────────────
+const WIEN_TARGET = { name: 'peak-wavelength', dim: LENGTH };
+const WIEN_GOV = [
+    { name: 'b', dim: WIEN_B },
+    { name: 'T', dim: dim(0, 0, 0, 0, 1) },
+];
+// ── Lorentz force magnitude  F = q v B ──────────────────────────────────────
+const LORENTZ_TARGET = { name: 'lorentz-force', dim: FORCE };
+const LORENTZ_GOV = [
+    { name: 'q', dim: CHARGE },
+    { name: 'v', dim: VELOCITY },
+    { name: 'B', dim: MAGFIELD },
+];
+export const L1_QUANTUM_EM = [
+    l1(COULOMB_TARGET, COULOMB_GOV, {
+        id: 'CE-coulomb',
+        name: "Coulomb's law",
+        domain: 'electromagnetism',
+        formula_latex: 'F = q_1 q_2/(4\\pi\\varepsilon_0 r^2)',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [
+            op('*', [sym('q_1', CHARGE), sym('q_2', CHARGE)]),
+            op('*', [
+                sym('4pi', DIMENSIONLESS),
+                sym('epsilon_0', PERMITTIVITY),
+                pow(sym('r', LENGTH), '2'),
+            ]),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['point charges', 'vacuum', 'electrostatic'],
+        references: ['Coulomb 1785'],
+        partnerBridges: [],
+    }),
+    l1(PE_TARGET, PE_GOV, {
+        id: 'CE-planck-einstein',
+        name: 'Planck–Einstein relation',
+        domain: 'quantum',
+        formula_latex: 'E = h\\nu',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('*', [sym('h', ACTION), sym('nu', FREQUENCY)]),
+        regime: { scale: 'quantum', force: 'electromagnetic' },
+        assumptions: [],
+        references: ['Planck 1900; Einstein 1905'],
+        partnerBridges: [],
+    }),
+    l1(DB_TARGET, DB_GOV, {
+        id: 'CE-de-broglie',
+        name: 'de Broglie wavelength',
+        domain: 'quantum',
+        formula_latex: '\\lambda = h/p',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [sym('h', ACTION), sym('p', MOMENTUM)]),
+        regime: { scale: 'quantum' },
+        assumptions: [],
+        references: ['de Broglie 1924'],
+        partnerBridges: [],
+    }),
+    l1(BOHR_TARGET, BOHR_GOV, {
+        id: 'CE-bohr-radius',
+        name: 'Bohr radius',
+        domain: 'quantum',
+        formula_latex: 'a_0 = 4\\pi\\varepsilon_0\\hbar^2/(m_e e^2)',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [
+            op('*', [
+                sym('4pi', DIMENSIONLESS),
+                sym('epsilon_0', PERMITTIVITY),
+                pow(sym('hbar', ACTION), '2'),
+            ]),
+            op('*', [sym('m_e', MASS), pow(sym('e', CHARGE), '2')]),
+        ]),
+        regime: { scale: 'quantum', force: 'electromagnetic' },
+        assumptions: ['hydrogen-like', 'non-relativistic'],
+        references: ['Bohr 1913'],
+        partnerBridges: [],
+    }),
+    l1(WIEN_TARGET, WIEN_GOV, {
+        id: 'CE-wien',
+        name: "Wien's displacement law",
+        domain: 'thermodynamics',
+        formula_latex: '\\lambda_{max} = b/T',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [sym('b', WIEN_B), sym('T', dim(0, 0, 0, 0, 1))]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['blackbody', 'thermal equilibrium'],
+        references: ['Wien 1893'],
+        partnerBridges: [],
+    }),
+    l1(LORENTZ_TARGET, LORENTZ_GOV, {
+        id: 'CE-lorentz-force',
+        name: 'Lorentz force (magnitude)',
+        domain: 'electromagnetism',
+        formula_latex: 'F = q v B',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('*', [
+            sym('q', CHARGE),
+            sym('v', VELOCITY),
+            sym('B', MAGFIELD),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['v ⟂ B (magnitude only)'],
+        references: ['Lorentz 1895'],
+        partnerBridges: [],
+    }),
+];
+//# sourceMappingURL=l1-quantum-em.js.map

package/dist/canonical/entries/l1-quantum-em.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"l1-quantum-em.js","sourceRoot":"","sources":["../../../src/canonical/entries/l1-quantum-em.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EACL,MAAM,EACN,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,SAAS,EACT,KAAK,EACL,MAAM,EACN,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qBAAqB;AAC7D,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY;AAC5C,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,4CAA4C;AAChF,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB;AAEzD,+EAA+E;AAC/E,MAAM,cAAc,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;AAC7D,MAAM,WAAW,GAAG;IAClB,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE;IAC5B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE;IAC5B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;IACxC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;CAC3B,CAAC;AAEF,+EAA+E;AAC/E,MAAM,SAAS,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AACzD,MAAM,MAAM,GAAG;IACb,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;IAC1B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE;CAC/B,CAAC;AAEF,+EAA+E;AAC/E,MAAM,SAAS,GAAG,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AACjE,MAAM,MAAM,GAAG;IACb,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;IAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;CAC7B,CAAC;AAEF,+EAA+E;AAC/E,MAAM,WAAW,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AACzD,MAAM,QAAQ,GAAG;IACf,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;IACxC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;IAC7B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;IAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;CAC3B,CAAC;AAEF,+EAA+E;AAC/E,MAAM,WAAW,GAAG,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AAC7D,MAAM,QAAQ,GAAG;IACf,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;IAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;CACvC,CAAC;AAEF,+EAA+E;AAC/E,MAAM,cAAc,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;AAC7D,MAAM,WAAW,GAAG;IAClB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;IAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;IAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;CAC7B,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAiC;IACzD,EAAE,CAAC,cAAc,EAAE,WAAW,EAAE;QAC9B,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,uCAAuC;QACtD,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;YACjD,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC;gBAC9B,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;aAC3B,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,eAAe,EAAE,QAAQ,EAAE,eAAe,CAAC;QACzD,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE;QACpB,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;QAC5D,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,4BAA4B,CAAC;QAC1C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE;QACpB,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,gBAAgB;QAC/B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1D,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,iBAAiB,CAAC;QAC/B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,WAAW,EAAE,QAAQ,EAAE;QACxB,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6CAA6C;QAC5D,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC;gBAC9B,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;aAC9B,CAAC;YACF,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;SACxD,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC;QAClD,UAAU,EAAE,CAAC,WAAW,CAAC;QACzB,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,WAAW,EAAE,QAAQ,EAAE;QACxB,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,sBAAsB;QACrC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,WAAW,EAAE,qBAAqB,CAAC;QACjD,UAAU,EAAE,CAAC,WAAW,CAAC;QACzB,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,cAAc,EAAE,WAAW,EAAE;QAC9B,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;YAChB,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;YAClB,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;SACnB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,wBAAwB,CAAC;QACvC,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}

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

@@ -0,0 +1,14 @@
+/**
+ * Relativity canonical entries: the Einstein field equation (L2 — a structural
+ * `EinsteinFieldEquationNode` validated by the existing field-equation
+ * predicate) and the Friedmann equation (L1 — the flat, matter-dominated scalar
+ * form H² = 8πG ρ / 3).
+ *
+ * @module canonical/entries/relativity
+ */
+import type { CanonicalEquation } from '../canonical-equation.js';
+import type { EinsteinFieldEquationNode } from '../../dimensional/einstein-equation.js';
+/** The canonical Einstein field equation node, G_μν + Λg_μν = (8πG/c⁴)T_μν. */
+export declare const EFE_NODE: EinsteinFieldEquationNode;
+export declare const RELATIVITY: readonly CanonicalEquation[];
+//# sourceMappingURL=relativity.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"relativity.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/relativity.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,wCAAwC,CAAC;AAuGxF,+EAA+E;AAC/E,eAAO,MAAM,QAAQ,EAAE,yBAOtB,CAAC;AAoBF,eAAO,MAAM,UAAU,EAAE,SAAS,iBAAiB,EAkHlD,CAAC"}

package/dist/canonical/entries/relativity.js

@@ -0,0 +1,188 @@
+import { metric } from '../../dimensional/metric.js';
+import { tsym } from '../../dimensional/tensor.js';
+import { sym } from '../../bridges/equations/_be-helpers.js';
+import { LENGTH, DIMENSIONLESS, MASS, VELOCITY, ACTION, ENTROPY, TEMPERATURE, } from '../../dimensional/types.js';
+import { dim, op, pow, 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: [],
+    }),
+    l1({ name: 'hawking-temperature', dim: TEMPERATURE }, [
+        { name: 'hbar', dim: ACTION },
+        { name: 'c', dim: VELOCITY },
+        { name: 'G', dim: GRAV },
+        { name: 'M', dim: MASS },
+        { name: 'k_B', dim: ENTROPY },
+    ], {
+        id: 'CE-hawking-temperature',
+        name: 'Hawking temperature',
+        domain: 'general-relativity',
+        formula_latex: 'T_H = \\hbar c^3/(8\\pi G M k_B)',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [
+            op('*', [sym('hbar', ACTION), pow(sym('c', VELOCITY), '3')]),
+            op('*', [
+                sym('8pi', DIMENSIONLESS),
+                sym('G', GRAV),
+                sym('M', MASS),
+                sym('k_B', ENTROPY),
+            ]),
+        ]),
+        regime: { force: 'gravitational' },
+        assumptions: ['Schwarzschild', 'semiclassical'],
+        references: ['Hawking 1975'],
+        // 42 = "Hawking temperature (canonical 1975)" — a genuine restatement.
+        partnerBridges: ['42'],
+        restatesBridge: '42',
+    }),
+    l1({ name: 'light-deflection', dim: DIMENSIONLESS }, [
+        { name: 'G', dim: GRAV },
+        { name: 'M', dim: MASS },
+        { name: 'c', dim: VELOCITY },
+        { name: 'impact_parameter', dim: LENGTH },
+    ], {
+        id: 'CE-light-deflection',
+        name: 'Light deflection (Eddington weak-field)',
+        domain: 'general-relativity',
+        formula_latex: '\\alpha = 4 G M/(c^2 b)',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [
+            op('*', [sym('4', DIMENSIONLESS), sym('G', GRAV), sym('M', MASS)]),
+            op('*', [pow(sym('c', VELOCITY), '2'), sym('impact_parameter', LENGTH)]),
+        ]),
+        regime: { force: 'gravitational' },
+        assumptions: ['weak field', 'grazing ray'],
+        references: ['Einstein 1915; Eddington 1919'],
+        partnerBridges: ['51'],
+        restatesBridge: '51',
+    }),
+    l1({ name: 'perihelion-precession', dim: DIMENSIONLESS }, [
+        { name: 'G', dim: GRAV },
+        { name: 'M', dim: MASS },
+        { name: 'c', dim: VELOCITY },
+        { name: 'a', dim: LENGTH },
+    ], {
+        id: 'CE-perihelion-precession',
+        name: 'Perihelion precession (Einstein)',
+        domain: 'general-relativity',
+        formula_latex: '\\Delta\\phi = 6\\pi G M/(c^2 a (1-e^2))',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [
+            op('*', [sym('6pi', DIMENSIONLESS), sym('G', GRAV), sym('M', MASS)]),
+            op('*', [
+                pow(sym('c', VELOCITY), '2'),
+                sym('a', LENGTH),
+                sym('one_minus_e_sq', DIMENSIONLESS),
+            ]),
+        ]),
+        regime: { force: 'gravitational' },
+        assumptions: ['weak field', 'nearly-circular orbit'],
+        references: ['Einstein 1915'],
+        partnerBridges: ['52'],
+        restatesBridge: '52',
+    }),
+];
+//# 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,EACL,MAAM,EACN,aAAa,EACb,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,OAAO,EACP,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,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;IACF,EAAE,CACA,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,WAAW,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;KAC9B,EACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,kCAAkC;QACjD,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC5D,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC;aACpB,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;QAClC,WAAW,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;QAC/C,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,uEAAuE;QACvE,cAAc,EAAE,CAAC,IAAI,CAAC;QACtB,cAAc,EAAE,IAAI;KACrB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,MAAM,EAAE;KAC1C,EACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,yCAAyC;QAC/C,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;YAClE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC,CAAC;SACzE,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;QAClC,WAAW,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC;QAC1C,UAAU,EAAE,CAAC,+BAA+B,CAAC;QAC7C,cAAc,EAAE,CAAC,IAAI,CAAC;QACtB,cAAc,EAAE,IAAI;KACrB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,aAAa,EAAE,EACrD;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,kCAAkC;QACxC,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,0CAA0C;QACzD,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,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;YACpE,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;gBAC5B,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;gBAChB,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;aACrC,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;QAClC,WAAW,EAAE,CAAC,YAAY,EAAE,uBAAuB,CAAC;QACpD,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,cAAc,EAAE,CAAC,IAAI,CAAC;QACtB,cAAc,EAAE,IAAI;KACrB,CACF;CACF,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"}