universal-physics-tensor 8.0.0 → 10.0.0

package/dist/canonical/entries/statistical-mechanics.js

@@ -10,16 +10,22 @@ const KINETIC_PRESSURE = dim(-1, 1, -2, 0, 0); // Pa [L⁻¹ M T⁻²]
 const MEAN_SQUARE_SPEED = dim(2, 0, -2, 0, 0); // m²/s² [L² T⁻²]
 export const STATISTICAL_MECHANICS = [
     l1({ name: 'thermal-energy', dim: ENERGY }, [
-        { name: 'boltzmann-constant', dim: BOLTZMANN_CONSTANT },
+        { name: 'k_B', dim: BOLTZMANN_CONSTANT },
         { name: 'temperature', dim: TEMPERATURE },
     ], {
         id: 'CE-equipartition',
+        prefactor: {
+            value: 1.5,
+            quote: String.raw `\langle H_{\mathrm{kin}} \rangle = \left\langle \frac{p^2}{2m} \right\rangle = \langle \tfrac{1}{2} m v^{2} \rangle = \tfrac{3}{2} k_\text{B} T.`,
+            locator: "Wikipedia, 'Equipartition theorem', revision 1373697867, wikitext line 304",
+        },
+        holds: 'temperature >= 0',
         name: 'Equipartition (mean kinetic energy)',
         domain: 'statistical',
         formula_latex: '\\langle E \\rangle = \\tfrac{3}{2} k_B T',
         epistemicStatus: 'scalar-up-to-constant',
         scalarAst: op('*', [
-            sym('boltzmann-constant', BOLTZMANN_CONSTANT),
+            sym('k_B', BOLTZMANN_CONSTANT),
             sym('temperature', TEMPERATURE),
         ]),
         regime: { scale: 'classical' },
@@ -28,19 +34,25 @@ export const STATISTICAL_MECHANICS = [
         partnerBridges: [],
     }),
     l1({ name: 'diffusion-coefficient', dim: DIFFUSION_COEFFICIENT }, [
-        { name: 'boltzmann-constant', dim: BOLTZMANN_CONSTANT },
+        { name: 'k_B', dim: BOLTZMANN_CONSTANT },
         { name: 'temperature', dim: TEMPERATURE },
         { name: 'dynamic-viscosity', dim: DYNAMIC_VISCOSITY },
         { name: 'particle-radius', dim: PARTICLE_RADIUS },
     ], {
         id: 'CE-stokes-einstein',
+        prefactor: {
+            value: 1 / (6 * Math.PI),
+            quote: String.raw `D = \frac{k_\text{B} T}{6\pi\,\eta\,r}.`,
+            locator: "Wikipedia, 'Einstein relation (kinetic theory)', revision 1353047788, wikitext line 79",
+        },
+        holds: 'temperature > 0 and dynamic-viscosity > 0 and particle-radius > 0',
         name: 'Stokes-Einstein diffusion',
         domain: 'statistical',
         formula_latex: 'D = k_B T/(6\\pi\\mu r)',
         epistemicStatus: 'scalar-up-to-constant',
         scalarAst: op('/', [
             op('*', [
-                sym('boltzmann-constant', BOLTZMANN_CONSTANT),
+                sym('k_B', BOLTZMANN_CONSTANT),
                 sym('temperature', TEMPERATURE),
             ]),
             op('*', [
@@ -59,6 +71,12 @@ export const STATISTICAL_MECHANICS = [
         { name: 'mean-square-speed', dim: MEAN_SQUARE_SPEED },
     ], {
         id: 'CE-kinetic-pressure',
+        prefactor: {
+            value: 1 / 3,
+            quote: String.raw `= \frac{1}{3} n mv_\text{rms}^2`,
+            locator: "Wikipedia, 'Kinetic theory of gases', revision 1371478093, wikitext line 173",
+        },
+        holds: 'number-density >= 0 and molecular-mass > 0 and mean-square-speed >= 0',
         name: 'Kinetic pressure of an ideal gas',
         domain: 'statistical',
         formula_latex: 'P = \\tfrac{1}{3} n m \\langle v^2 \\rangle',
@@ -76,11 +94,12 @@ export const STATISTICAL_MECHANICS = [
         partnerBridges: [],
     }),
     l1({ name: 'most-probable-speed', dim: VELOCITY }, [
-        { name: 'boltzmann-constant', dim: BOLTZMANN_CONSTANT },
+        { name: 'k_B', dim: BOLTZMANN_CONSTANT },
         { name: 'temperature', dim: TEMPERATURE },
         { name: 'molecular-mass', dim: MASS },
     ], {
         id: 'CE-mb-most-probable-speed',
+        holds: 'temperature >= 0 and molecular-mass > 0',
         name: 'Maxwell-Boltzmann most-probable speed',
         domain: 'statistical',
         formula_latex: 'v_p = \\sqrt{2 k_B T/m}',

package/dist/canonical/entries/statistical-mechanics.js.map

@@ -1 +1 @@
-{"version":3,"file":"statistical-mechanics.js","sourceRoot":"","sources":["../../../src/canonical/entries/statistical-mechanics.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACjF,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAE7C,MAAM,kBAAkB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB;AACtE,MAAM,qBAAqB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB;AACnE,MAAM,iBAAiB,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB;AACnE,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM;AAClD,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ;AACpD,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,iBAAiB;AAChE,MAAM,iBAAiB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,iBAAiB;AAEhE,MAAM,CAAC,MAAM,qBAAqB,GAAiC;IACjE,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,kBAAkB,EAAE;QACvD,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,qCAAqC;QAC3C,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,2CAA2C;QAC1D,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,oBAAoB,EAAE,kBAAkB,CAAC;YAC7C,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC;SAChC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,WAAW,EAAE,qBAAqB,EAAE,qBAAqB,CAAC;QACxE,UAAU,EAAE,CAAC,uDAAuD,CAAC;QACrE,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,qBAAqB,EAAE,EAAE;QAChE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,kBAAkB,EAAE;QACvD,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE;QACrD,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;KAClD,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,oBAAoB,EAAE,kBAAkB,CAAC;gBAC7C,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC;aAChC,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;gBAC3C,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;aACxC,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;QAC1D,UAAU,EAAE,CAAC,eAAe,EAAE,iBAAiB,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE;QACtD,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;QAC/C,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE;QACrC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE;KACtD,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kCAAkC;QACxC,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,6CAA6C;QAC5D,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC;gBACrC,GAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC;aAC5B,CAAC;YACF,GAAG,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;SAC5C,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,WAAW,EAAE,iCAAiC,CAAC;QAC7D,UAAU,EAAE,CAAC,cAAc,EAAE,uDAAuD,CAAC;QACrF,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACjD,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,kBAAkB,EAAE;QACvD,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE;KACtC,EAAE;QACD,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,uCAAuC;QAC7C,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,cAAc,EAAE,uDAAuD,CAAC;QACrF,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}
+{"version":3,"file":"statistical-mechanics.js","sourceRoot":"","sources":["../../../src/canonical/entries/statistical-mechanics.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACjF,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAE7C,MAAM,kBAAkB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB;AACtE,MAAM,qBAAqB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB;AACnE,MAAM,iBAAiB,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB;AACnE,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM;AAClD,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ;AACpD,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,iBAAiB;AAChE,MAAM,iBAAiB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,iBAAiB;AAEhE,MAAM,CAAC,MAAM,qBAAqB,GAAiC;IACjE,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,kBAAkB,EAAE;QACxC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,SAAS,EAAE;YACT,KAAK,EAAE,GAAG;YACV,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,kJAAkJ;YACnK,OAAO,EAAE,4EAA4E;SACtF;QACD,KAAK,EAAE,kBAAkB;QACzB,IAAI,EAAE,qCAAqC;QAC3C,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,2CAA2C;QAC1D,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,KAAK,EAAE,kBAAkB,CAAC;YAC9B,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC;SAChC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,WAAW,EAAE,qBAAqB,EAAE,qBAAqB,CAAC;QACxE,UAAU,EAAE,CAAC,uDAAuD,CAAC;QACrE,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,qBAAqB,EAAE,EAAE;QAChE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,kBAAkB,EAAE;QACxC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE;QACrD,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;KAClD,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,SAAS,EAAE;YACT,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;YACxB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,yCAAyC;YAC1D,OAAO,EAAE,wFAAwF;SAClG;QACD,KAAK,EAAE,mEAAmE;QAC1E,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,kBAAkB,CAAC;gBAC9B,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC;aAChC,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;gBAC3C,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;aACxC,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;QAC1D,UAAU,EAAE,CAAC,eAAe,EAAE,iBAAiB,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE;QACtD,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;QAC/C,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE;QACrC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE;KACtD,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,SAAS,EAAE;YACT,KAAK,EAAE,CAAC,GAAG,CAAC;YACZ,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,iCAAiC;YAClD,OAAO,EAAE,8EAA8E;SACxF;QACD,KAAK,EAAE,uEAAuE;QAC9E,IAAI,EAAE,kCAAkC;QACxC,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,6CAA6C;QAC5D,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC;gBACrC,GAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC;aAC5B,CAAC;YACF,GAAG,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;SAC5C,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,WAAW,EAAE,iCAAiC,CAAC;QAC7D,UAAU,EAAE,CAAC,cAAc,EAAE,uDAAuD,CAAC;QACrF,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACjD,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,kBAAkB,EAAE;QACxC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE;KACtC,EAAE;QACD,EAAE,EAAE,2BAA2B;QAC/B,KAAK,EAAE,yCAAyC;QAChD,IAAI,EAAE,uCAAuC;QAC7C,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,cAAc,EAAE,uDAAuD,CAAC;QACrF,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC","sourcesContent":["/**\n * L1 (scalar-AST) canonical entries — statistical mechanics. 4 standard\n * kinetic-theory / equilibrium-statistics monomial laws (equipartition,\n * Stokes-Einstein diffusion, kinetic pressure, Maxwell-Boltzmann speed).\n * Each is a unique dimensional monomial (0 free groups); L0 fields are\n * engine-derived (see `_l1-build`).\n *\n * Mean free path (`λ = 1/(nσ)`) was deliberately EXCLUDED from this batch:\n * number density and cross-section are both pure-length dimension, so the\n * combination is dimensionally underdetermined (`nσ^1.5` is dimensionless) —\n * forcing it would violate the 0-free-groups invariant this file otherwise\n * holds to.\n *\n * 3 of the 4 laws are clean monomials with an exact prefactor left aside\n * (`scalarAst` included, `scalar-up-to-constant`); the Maxwell-Boltzmann\n * most-probable speed is a fractional-power monomial (a square root) —\n * `scalarAst` is OMITTED and `epistemicStatus` is `dimensional`, exactly like\n * the Fermi-gas √-laws in `condensed-matter.ts`.\n *\n * @module canonical/entries/statistical-mechanics\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport { MASS, VELOCITY, ENERGY, TEMPERATURE } from '../../dimensional/types.js';\nimport { dim, op, l1 } from './_l1-build.js';\n\nconst BOLTZMANN_CONSTANT = dim(2, 1, -2, 0, -1); // J/K [L² M T⁻² Θ⁻¹]\nconst DIFFUSION_COEFFICIENT = dim(2, 0, -1, 0, 0); // m²/s [L² T⁻¹]\nconst DYNAMIC_VISCOSITY = dim(-1, 1, -1, 0, 0); // Pa·s [L⁻¹ M T⁻¹]\nconst PARTICLE_RADIUS = dim(1, 0, 0, 0, 0); // [L]\nconst NUMBER_DENSITY = dim(-3, 0, 0, 0, 0); // [L⁻³]\nconst KINETIC_PRESSURE = dim(-1, 1, -2, 0, 0); // Pa [L⁻¹ M T⁻²]\nconst MEAN_SQUARE_SPEED = dim(2, 0, -2, 0, 0); // m²/s² [L² T⁻²]\n\nexport const STATISTICAL_MECHANICS: readonly CanonicalEquation[] = [\n  l1({ name: 'thermal-energy', dim: ENERGY }, [\n    { name: 'k_B', dim: BOLTZMANN_CONSTANT },\n    { name: 'temperature', dim: TEMPERATURE },\n  ], {\n    id: 'CE-equipartition',\n    prefactor: {\n      value: 1.5,\n      quote: String.raw`\\langle H_{\\mathrm{kin}} \\rangle = \\left\\langle \\frac{p^2}{2m} \\right\\rangle = \\langle \\tfrac{1}{2} m v^{2} \\rangle = \\tfrac{3}{2} k_\\text{B} T.`,\n      locator: \"Wikipedia, 'Equipartition theorem', revision 1373697867, wikitext line 304\",\n    },\n    holds: 'temperature >= 0',\n    name: 'Equipartition (mean kinetic energy)',\n    domain: 'statistical',\n    formula_latex: '\\\\langle E \\\\rangle = \\\\tfrac{3}{2} k_B T',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('*', [\n      sym('k_B', BOLTZMANN_CONSTANT),\n      sym('temperature', TEMPERATURE),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['ideal gas', 'thermal equilibrium', '3 translational DOF'],\n    references: ['Reif, Fundamentals of Statistical and Thermal Physics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'diffusion-coefficient', dim: DIFFUSION_COEFFICIENT }, [\n    { name: 'k_B', dim: BOLTZMANN_CONSTANT },\n    { name: 'temperature', dim: TEMPERATURE },\n    { name: 'dynamic-viscosity', dim: DYNAMIC_VISCOSITY },\n    { name: 'particle-radius', dim: PARTICLE_RADIUS },\n  ], {\n    id: 'CE-stokes-einstein',\n    prefactor: {\n      value: 1 / (6 * Math.PI),\n      quote: String.raw`D = \\frac{k_\\text{B} T}{6\\pi\\,\\eta\\,r}.`,\n      locator: \"Wikipedia, 'Einstein relation (kinetic theory)', revision 1353047788, wikitext line 79\",\n    },\n    holds: 'temperature > 0 and dynamic-viscosity > 0 and particle-radius > 0',\n    name: 'Stokes-Einstein diffusion',\n    domain: 'statistical',\n    formula_latex: 'D = k_B T/(6\\\\pi\\\\mu r)',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('/', [\n      op('*', [\n        sym('k_B', BOLTZMANN_CONSTANT),\n        sym('temperature', TEMPERATURE),\n      ]),\n      op('*', [\n        sym('dynamic-viscosity', DYNAMIC_VISCOSITY),\n        sym('particle-radius', PARTICLE_RADIUS),\n      ]),\n    ]),\n    regime: { scale: 'mesoscopic' },\n    assumptions: ['spherical particle', 'low Reynolds number'],\n    references: ['Einstein 1905', 'Sutherland 1905'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'kinetic-pressure', dim: KINETIC_PRESSURE }, [\n    { name: 'number-density', dim: NUMBER_DENSITY },\n    { name: 'molecular-mass', dim: MASS },\n    { name: 'mean-square-speed', dim: MEAN_SQUARE_SPEED },\n  ], {\n    id: 'CE-kinetic-pressure',\n    prefactor: {\n      value: 1 / 3,\n      quote: String.raw`= \\frac{1}{3} n mv_\\text{rms}^2`,\n      locator: \"Wikipedia, 'Kinetic theory of gases', revision 1371478093, wikitext line 173\",\n    },\n    holds: 'number-density >= 0 and molecular-mass > 0 and mean-square-speed >= 0',\n    name: 'Kinetic pressure of an ideal gas',\n    domain: 'statistical',\n    formula_latex: 'P = \\\\tfrac{1}{3} n m \\\\langle v^2 \\\\rangle',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('*', [\n      op('*', [\n        sym('number-density', NUMBER_DENSITY),\n        sym('molecular-mass', MASS),\n      ]),\n      sym('mean-square-speed', MEAN_SQUARE_SPEED),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['ideal gas', 'isotropic velocity distribution'],\n    references: ['Maxwell 1860', 'Reif, Fundamentals of Statistical and Thermal Physics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'most-probable-speed', dim: VELOCITY }, [\n    { name: 'k_B', dim: BOLTZMANN_CONSTANT },\n    { name: 'temperature', dim: TEMPERATURE },\n    { name: 'molecular-mass', dim: MASS },\n  ], {\n    id: 'CE-mb-most-probable-speed',\n    holds: 'temperature >= 0 and molecular-mass > 0',\n    name: 'Maxwell-Boltzmann most-probable speed',\n    domain: 'statistical',\n    formula_latex: 'v_p = \\\\sqrt{2 k_B T/m}',\n    epistemicStatus: 'dimensional',\n    regime: { scale: 'classical' },\n    assumptions: ['Maxwell-Boltzmann distribution'],\n    references: ['Maxwell 1860', 'Reif, Fundamentals of Statistical and Thermal Physics'],\n    partnerBridges: [],\n  }),\n];\n"]}

package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"thermo-nuclear-cosmo.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/thermo-nuclear-cosmo.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AA0BlE,eAAO,MAAM,oBAAoB,EAAE,SAAS,iBAAiB,EAyN5D,CAAC"}
+{"version":3,"file":"thermo-nuclear-cosmo.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/thermo-nuclear-cosmo.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AA0BlE,eAAO,MAAM,oBAAoB,EAAE,SAAS,iBAAiB,EAwO5D,CAAC"}

package/dist/canonical/entries/thermo-nuclear-cosmo.js

@@ -18,6 +18,7 @@ export const THERMO_NUCLEAR_COSMO = [
         { name: 'temperature-change', dim: TEMPERATURE },
     ], {
         id: 'CE-heat-capacity',
+        holds: 'mass > 0',
         name: 'Sensible heat (heat capacity)',
         domain: 'thermodynamics',
         formula_latex: 'Q = m c \\Delta T',
@@ -36,6 +37,11 @@ export const THERMO_NUCLEAR_COSMO = [
         { name: 'decay-constant', dim: FREQUENCY },
     ], {
         id: 'CE-half-life',
+        prefactor: {
+            value: Math.log(2),
+            quote: String.raw `t_{1/2} = \frac{\ln (2)}{\lambda} = \tau \ln(2)`,
+            locator: "Wikipedia, 'Half-life', revision 1373221894, wikitext line 64",
+        },
         name: 'Radioactive half-life',
         domain: 'quantum',
         formula_latex: 't_{1/2} = \\ln 2 / \\lambda',
@@ -51,6 +57,7 @@ export const THERMO_NUCLEAR_COSMO = [
         { name: 'hubble-rate', dim: FREQUENCY },
     ], {
         id: 'CE-hubble-distance',
+        holds: 'hubble-rate > 0',
         name: 'Hubble distance',
         domain: 'cosmology',
         formula_latex: 'D_H = c / H_0',
@@ -69,6 +76,7 @@ export const THERMO_NUCLEAR_COSMO = [
         { name: 'temperature', dim: TEMPERATURE },
     ], {
         id: 'CE-landauer',
+        holds: 'temperature >= 0',
         name: 'Landauer erasure bound',
         domain: 'information',
         formula_latex: 'E = k_B T \\ln 2',
@@ -93,6 +101,7 @@ export const THERMO_NUCLEAR_COSMO = [
         { name: 'temperature', dim: TEMPERATURE },
     ], {
         id: 'CE-jarzynski',
+        holds: 'temperature > 0',
         name: 'Jarzynski free-energy equality',
         domain: 'statistical',
         formula_latex: '\\Delta F = -k_B T \\ln \\langle \\exp(-W/(k_B T)) \\rangle',
@@ -125,6 +134,7 @@ export const THERMO_NUCLEAR_COSMO = [
         { name: 'temperature', dim: TEMPERATURE },
     ], {
         id: 'CE-stefan-boltzmann',
+        holds: 'temperature >= 0',
         name: 'Stefan–Boltzmann law',
         domain: 'thermodynamics',
         formula_latex: 'j = \\sigma T^4',
@@ -143,6 +153,7 @@ export const THERMO_NUCLEAR_COSMO = [
         { name: 'V', dim: VOLUME },
     ], {
         id: 'CE-ideal-gas',
+        holds: 'temperature > 0 and V > 0 and N >= 0',
         name: 'Ideal gas law',
         domain: 'thermodynamics',
         formula_latex: 'P = N k_B T/V',
@@ -162,6 +173,7 @@ export const THERMO_NUCLEAR_COSMO = [
         { name: 'temperature', dim: dim(0, 0, 0, 0, 1) },
     ], {
         id: 'CE-wien',
+        holds: 'temperature > 0',
         name: "Wien's displacement law",
         domain: 'thermodynamics',
         formula_latex: '\\lambda_{max} = b/T',
@@ -179,6 +191,7 @@ export const THERMO_NUCLEAR_COSMO = [
         { name: 'specific-latent-heat', dim: SPECIFIC_LATENT_HEAT },
     ], {
         id: 'CE-latent-heat',
+        holds: 'mass > 0',
         name: 'Latent heat of phase transition',
         domain: 'thermodynamics',
         formula_latex: 'Q = m L',
@@ -198,6 +211,7 @@ export const THERMO_NUCLEAR_COSMO = [
         { name: 'temperature', dim: TEMPERATURE },
     ], {
         id: 'CE-clausius-entropy',
+        holds: 'temperature > 0',
         name: 'Clausius entropy change',
         domain: 'thermodynamics',
         formula_latex: '\\Delta S = Q/T',
@@ -215,6 +229,7 @@ export const THERMO_NUCLEAR_COSMO = [
         { name: 'specific-heat-capacity', dim: SPECIFIC_HEAT },
     ], {
         id: 'CE-thermal-diffusivity',
+        holds: 'thermal-conductivity > 0 and density > 0 and specific-heat-capacity > 0',
         name: 'Thermal diffusivity',
         domain: 'thermodynamics',
         formula_latex: '\\alpha = k/(\\rho c_p)',

package/dist/canonical/entries/thermo-nuclear-cosmo.js.map

@@ -1 +1 @@
-{"version":3,"file":"thermo-nuclear-cosmo.js","sourceRoot":"","sources":["../../../src/canonical/entries/thermo-nuclear-cosmo.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,IAAI,EACJ,SAAS,EACT,WAAW,EACX,OAAO,EACP,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,aAAa,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,4BAA4B;AACxE,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;AACvF,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc;AAC/C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO;AAC9B,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB;AACzD,MAAM,oBAAoB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qCAAqC;AACvF,MAAM,oBAAoB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,4BAA4B;AAC/E,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,kBAAkB;AACvD,MAAM,mBAAmB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,kBAAkB;AAEnE,MAAM,CAAC,MAAM,oBAAoB,GAAiC;IAChE,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;QAC7C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,WAAW,EAAE;KACjD,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,mBAAmB;QAClC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;YACjB,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC;YACnC,GAAG,CAAC,oBAAoB,EAAE,WAAW,CAAC;SACvC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;QAC1D,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE;QACnC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,SAAS,EAAE;KAC3C,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE,SAAS,CAAC,EAAE,IAAI,CAAC;QACtD,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,iCAAiC,CAAC;QAChD,UAAU,EAAE,CAAC,uBAAuB,CAAC;QACrC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,SAAS,EAAE;KACxC,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;QACvE,MAAM,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;QACjC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,6EAA6E;IAC7E,gEAAgE;IAChE,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,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,aAAa,EAAE,WAAW,CAAC;YAC/B,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,gFAAgF;IAChF,EAAE,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,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,sFAAsF;QACtF,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,aAAa,EAAE,WAAW,CAAC;YAC/B,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,mDAAmD;IACnD,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;QACnC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,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,aAAa,EAAE,WAAW,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1F,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,+DAA+D;IAC/D,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACtC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,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,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;YACxF,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;IACF,kEAAkE;IAClE,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;KACjD,EAAE;QACD,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,aAAa,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,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,8EAA8E;IAC9E,qEAAqE;IACrE,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,oBAAoB,EAAE;KAC5D,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,iCAAiC;QACvC,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;YACjB,GAAG,CAAC,sBAAsB,EAAE,oBAAoB,CAAC;SAClD,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,6BAA6B,CAAC;QAC5C,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,wEAAwE;IACxE,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;QAC1E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,sBAAsB,CAAC;QAC3D,UAAU,EAAE,CAAC,eAAe,EAAE,wBAAwB,CAAC;QACvD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,qCAAqC;IACrC,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,mBAAmB,EAAE,EAAE;QAC5D,EAAE,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,oBAAoB,EAAE;QAC3D,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,aAAa,EAAE;KACvD,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,sBAAsB,EAAE,oBAAoB,CAAC;YACjD,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,wBAAwB,EAAE,aAAa,CAAC,CAAC,CAAC;SACjF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,8BAA8B,CAAC;QAC7C,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}
+{"version":3,"file":"thermo-nuclear-cosmo.js","sourceRoot":"","sources":["../../../src/canonical/entries/thermo-nuclear-cosmo.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,IAAI,EACJ,SAAS,EACT,WAAW,EACX,OAAO,EACP,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,aAAa,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,4BAA4B;AACxE,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;AACvF,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc;AAC/C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO;AAC9B,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB;AACzD,MAAM,oBAAoB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qCAAqC;AACvF,MAAM,oBAAoB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,4BAA4B;AAC/E,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,kBAAkB;AACvD,MAAM,mBAAmB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,kBAAkB;AAEnE,MAAM,CAAC,MAAM,oBAAoB,GAAiC;IAChE,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;QAC7C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,WAAW,EAAE;KACjD,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,UAAU;QACjB,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,mBAAmB;QAClC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;YACjB,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC;YACnC,GAAG,CAAC,oBAAoB,EAAE,WAAW,CAAC;SACvC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;QAC1D,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE;QACnC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,SAAS,EAAE;KAC3C,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE;YACT,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAClB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,iDAAiD;YAClE,OAAO,EAAE,+DAA+D;SACzE;QACD,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE,SAAS,CAAC,EAAE,IAAI,CAAC;QACtD,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,iCAAiC,CAAC;QAChD,UAAU,EAAE,CAAC,uBAAuB,CAAC;QACrC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,SAAS,EAAE;KACxC,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,KAAK,EAAE,iBAAiB;QACxB,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;QACvE,MAAM,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;QACjC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,6EAA6E;IAC7E,gEAAgE;IAChE,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,aAAa;QACjB,KAAK,EAAE,kBAAkB;QACzB,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,aAAa,EAAE,WAAW,CAAC;YAC/B,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,gFAAgF;IAChF,EAAE,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,iBAAiB;QACxB,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,6DAA6D;QAC5E,8DAA8D;QAC9D,wEAAwE;QACxE,2CAA2C;QAC3C,eAAe,EAAE,uBAAuB;QACxC,sFAAsF;QACtF,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,aAAa,EAAE,WAAW,CAAC;YAC/B,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,mDAAmD;IACnD,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;QACnC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,KAAK,EAAE,kBAAkB;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,aAAa,EAAE,WAAW,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1F,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,+DAA+D;IAC/D,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACtC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,sCAAsC;QAC7C,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,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;YACxF,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;IACF,kEAAkE;IAClE,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;KACjD,EAAE;QACD,EAAE,EAAE,SAAS;QACb,KAAK,EAAE,iBAAiB;QACxB,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,aAAa,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,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,8EAA8E;IAC9E,qEAAqE;IACrE,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,oBAAoB,EAAE;KAC5D,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,KAAK,EAAE,UAAU;QACjB,IAAI,EAAE,iCAAiC;QACvC,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;YACjB,GAAG,CAAC,sBAAsB,EAAE,oBAAoB,CAAC;SAClD,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,6BAA6B,CAAC;QAC5C,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,wEAAwE;IACxE,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,KAAK,EAAE,iBAAiB;QACxB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;QAC1E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,sBAAsB,CAAC;QAC3D,UAAU,EAAE,CAAC,eAAe,EAAE,wBAAwB,CAAC;QACvD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,qCAAqC;IACrC,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,mBAAmB,EAAE,EAAE;QAC5D,EAAE,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,oBAAoB,EAAE;QAC3D,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,aAAa,EAAE;KACvD,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,KAAK,EAAE,yEAAyE;QAChF,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,sBAAsB,EAAE,oBAAoB,CAAC;YACjD,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,wBAAwB,EAAE,aAAa,CAAC,CAAC,CAAC;SACjF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,8BAA8B,CAAC;QAC7C,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC","sourcesContent":["/**\n * L1 (scalar-AST) canonical entries — thermodynamic, statistical, nuclear, and\n * cosmological monomial laws: sensible heat capacity, radioactive half-life,\n * the Hubble distance, plus the Landauer bound, the Jarzynski equality, the\n * Stefan–Boltzmann law, the ideal-gas law, and Wien's displacement (the\n * latter five folded in from the former l1-gravity-thermo / l1-quantum-em\n * batch files in the 2026-06-22 god-file split), plus a batch-4 (2026-07-03)\n * trio of thermodynamics monomials: latent heat, the Clausius entropy change,\n * and thermal diffusivity. L0 fields are engine-derived (see `_l1-build`).\n *\n * Scope: generic dimensional MONOMIAL laws (Adam+Eve adversarial audit,\n * 2026-06-20). `domain` is the nearest `CanonicalDomain` arm (the enum has no\n * `nuclear`; radioactive decay → `quantum`). Skipped as degenerate:\n * radioactive-activity `A=λN` (N dimensionless ⇒ activity ≡ decay-constant) and\n * the Chandrasekhar mass (the (ℏc/G)/m_p² group is dimensionless ⇒\n * underdetermined). See docs/research/bridges-vs-canonical-map.md.\n *\n * @module canonical/entries/thermo-nuclear-cosmo\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport {\n  MASS,\n  VELOCITY,\n  ENERGY,\n  LENGTH,\n  TIME,\n  FREQUENCY,\n  TEMPERATURE,\n  ENTROPY,\n  DIMENSIONLESS,\n} from '../../dimensional/types.js';\nimport { dim, op, pow, l1 } from './_l1-build.js';\n\nconst SPECIFIC_HEAT = dim(2, 0, -2, 0, -1); // [L² T⁻² Θ⁻¹] (J·kg⁻¹·K⁻¹)\nconst SB_FLUX = dim(0, 1, -3); // radiative flux W/m² = [M T⁻³]\nconst SIGMA_SB = dim(0, 1, -3, 0, -4); // Stefan–Boltzmann σ [M T⁻³ Θ⁻⁴] (Θ is 5th arg)\nconst PRESSURE = dim(-1, 1, -2); // [M L⁻¹ T⁻²]\nconst VOLUME = dim(3); // [L³]\nconst WIEN_B = dim(1, 0, 0, 0, 1); // Wien constant [L Θ]\nconst SPECIFIC_LATENT_HEAT = dim(2, 0, -2, 0, 0); // [L² T⁻²] (J·kg⁻¹, no Θ dependence)\nconst THERMAL_CONDUCTIVITY = dim(1, 1, -3, 0, -1); // [L M T⁻³ Θ⁻¹] (W·m⁻¹·K⁻¹)\nconst DENSITY = dim(-3, 1, 0, 0, 0); // [M L⁻³] (kg/m³)\nconst THERMAL_DIFFUSIVITY = dim(2, 0, -1, 0, 0); // [L² T⁻¹] (m²/s)\n\nexport const THERMO_NUCLEAR_COSMO: readonly CanonicalEquation[] = [\n  l1({ name: 'heat-energy', dim: ENERGY }, [\n    { name: 'mass', dim: MASS },\n    { name: 'specific-heat', dim: SPECIFIC_HEAT },\n    { name: 'temperature-change', dim: TEMPERATURE },\n  ], {\n    id: 'CE-heat-capacity',\n    holds: 'mass > 0',\n    name: 'Sensible heat (heat capacity)',\n    domain: 'thermodynamics',\n    formula_latex: 'Q = m c \\\\Delta T',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('mass', MASS),\n      sym('specific-heat', SPECIFIC_HEAT),\n      sym('temperature-change', TEMPERATURE),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['no phase change', 'constant specific heat'],\n    references: ['Standard thermodynamics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'half-life', dim: TIME }, [\n    { name: 'decay-constant', dim: FREQUENCY },\n  ], {\n    id: 'CE-half-life',\n    prefactor: {\n      value: Math.log(2),\n      quote: String.raw`t_{1/2} = \\frac{\\ln (2)}{\\lambda} = \\tau \\ln(2)`,\n      locator: \"Wikipedia, 'Half-life', revision 1373221894, wikitext line 64\",\n    },\n    name: 'Radioactive half-life',\n    domain: 'quantum',\n    formula_latex: 't_{1/2} = \\\\ln 2 / \\\\lambda',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: pow(sym('decay-constant', FREQUENCY), '-1'),\n    regime: { scale: 'quantum' },\n    assumptions: ['first-order (exponential) decay'],\n    references: ['Rutherford–Soddy 1902'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'hubble-distance', dim: LENGTH }, [\n    { name: 'c', dim: VELOCITY },\n    { name: 'hubble-rate', dim: FREQUENCY },\n  ], {\n    id: 'CE-hubble-distance',\n    holds: 'hubble-rate > 0',\n    name: 'Hubble distance',\n    domain: 'cosmology',\n    formula_latex: 'D_H = c / H_0',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [sym('c', VELOCITY), sym('hubble-rate', FREQUENCY)]),\n    regime: { scale: 'cosmological' },\n    assumptions: ['present-epoch Hubble parameter'],\n    references: ['Hubble 1929'],\n    partnerBridges: [],\n  }),\n  // ── Folded in from the former l1-gravity-thermo / l1-quantum-em batch files\n  // (2026-06-22 god-file split): the thermodynamic / statistical monomials. ──\n  // Landauer minimum erasure energy  E = k_B T ln2  (natural log)\n  l1({ name: 'erasure-energy', dim: ENERGY }, [\n    { name: 'k_B', dim: ENTROPY },\n    { name: 'temperature', dim: TEMPERATURE },\n  ], {\n    id: 'CE-landauer',\n    holds: 'temperature >= 0',\n    name: 'Landauer erasure bound',\n    domain: 'information',\n    formula_latex: 'E = k_B T \\\\ln 2',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('k_B', ENTROPY),\n      sym('temperature', TEMPERATURE),\n      sym('ln2', DIMENSIONLESS),\n    ]),\n    forms: { logBase: 'e' },\n    regime: { scale: 'mesoscopic', information: 'shannon' },\n    assumptions: ['isothermal', 'quasi-static erasure'],\n    references: ['Landauer 1961'],\n    // 16 = \"Information-Thermodynamics Bridge (Landauer's principle)\" — a\n    // genuine restatement (the canonical Landauer bound IS bridge 16).\n    partnerBridges: ['16'],\n    restatesBridge: '16',\n  }),\n  // Jarzynski equality  ΔF = −k_B T ln⟨exp(−W/k_B T)⟩  (dimensionless log factor)\n  l1({ name: 'free-energy-difference', dim: ENERGY }, [\n    { name: 'k_B', dim: ENTROPY },\n    { name: 'temperature', dim: TEMPERATURE },\n  ], {\n    id: 'CE-jarzynski',\n    holds: 'temperature > 0',\n    name: 'Jarzynski free-energy equality',\n    domain: 'statistical',\n    formula_latex: '\\\\Delta F = -k_B T \\\\ln \\\\langle \\\\exp(-W/(k_B T)) \\\\rangle',\n    // The leading dimensionless factor is the ensemble functional\n    // ln⟨exp(−βW)⟩, not a universal constant, so the strongest honest claim\n    // is the algebraic form up to that factor.\n    epistemicStatus: 'scalar-up-to-constant',\n    // Mirrors the Jarzynski right-hand side: −1 · k_B · T · ln⟨exp(−βW)⟩, the log encoded\n    // as a dimensionless stub (the AST has no ln primitive). Structurally this\n    // is the k_B·T·(dimensionless) thermodynamic form — the same one Landauer\n    // shares, which is exactly why BE-29 \"recovers\" CE-landauer.\n    scalarAst: op('*', [\n      sym('-1', DIMENSIONLESS),\n      sym('k_B', ENTROPY),\n      sym('temperature', TEMPERATURE),\n      sym('ln_avg_exp_minus_betaW', DIMENSIONLESS),\n    ]),\n    regime: { scale: 'mesoscopic' },\n    assumptions: ['isothermal', 'arbitrary work protocol between two equilibria'],\n    references: ['Jarzynski 1997 PRL 78:2690'],\n    // 29 = BE-29 (Jarzynski equality) — this canonical entry IS that bridge's\n    // own relation, so it is a declared restatement (NOT a discovery). Its\n    // structural match to CE-landauer stays a `recovers` form-coincidence.\n    partnerBridges: ['29'],\n    restatesBridge: '29',\n  }),\n  // Stefan–Boltzmann law  j = σ T⁴  (radiative FLUX)\n  l1({ name: 'radiative-flux', dim: SB_FLUX }, [\n    { name: 'sigma_sb', dim: SIGMA_SB },\n    { name: 'temperature', dim: TEMPERATURE },\n  ], {\n    id: 'CE-stefan-boltzmann',\n    holds: 'temperature >= 0',\n    name: 'Stefan–Boltzmann law',\n    domain: 'thermodynamics',\n    formula_latex: 'j = \\\\sigma T^4',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('sigma_sb', SIGMA_SB), pow(sym('temperature', TEMPERATURE), '4')]),\n    forms: { quantityKind: 'flux' },\n    regime: { scale: 'classical', force: 'electromagnetic' },\n    assumptions: ['blackbody', 'thermal equilibrium'],\n    references: ['Stefan 1879; Boltzmann 1884'],\n    partnerBridges: [],\n  }),\n  // Ideal gas law  P = N k_B T / V  (N is a dimensionless count)\n  l1({ name: 'pressure', dim: PRESSURE }, [\n    { name: 'k_B', dim: ENTROPY },\n    { name: 'temperature', dim: TEMPERATURE },\n    { name: 'V', dim: VOLUME },\n  ], {\n    id: 'CE-ideal-gas',\n    holds: 'temperature > 0 and V > 0 and N >= 0',\n    name: 'Ideal gas law',\n    domain: 'thermodynamics',\n    formula_latex: 'P = N k_B T/V',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      op('*', [sym('N', DIMENSIONLESS), sym('k_B', ENTROPY), sym('temperature', TEMPERATURE)]),\n      sym('V', VOLUME),\n    ]),\n    regime: { scale: 'classical', force: 'electromagnetic' },\n    assumptions: ['ideal gas', 'thermal equilibrium'],\n    references: ['Clapeyron 1834'],\n    partnerBridges: [],\n  }),\n  // Wien's displacement  λ_max = b / T  (blackbody peak wavelength)\n  l1({ name: 'peak-wavelength', dim: LENGTH }, [\n    { name: 'b', dim: WIEN_B },\n    { name: 'temperature', dim: dim(0, 0, 0, 0, 1) },\n  ], {\n    id: 'CE-wien',\n    holds: 'temperature > 0',\n    name: \"Wien's displacement law\",\n    domain: 'thermodynamics',\n    formula_latex: '\\\\lambda_{max} = b/T',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [sym('b', WIEN_B), sym('temperature', dim(0, 0, 0, 0, 1))]),\n    regime: { scale: 'classical', force: 'electromagnetic' },\n    assumptions: ['blackbody', 'thermal equilibrium'],\n    references: ['Wien 1893'],\n    partnerBridges: [],\n  }),\n  // ── Batch 4 (2026-07-03): 3 more thermodynamics monomials. ─────────────────\n  // Latent heat of phase transition  Q = m L  (specific latent heat L)\n  l1({ name: 'latent-heat', dim: ENERGY }, [\n    { name: 'mass', dim: MASS },\n    { name: 'specific-latent-heat', dim: SPECIFIC_LATENT_HEAT },\n  ], {\n    id: 'CE-latent-heat',\n    holds: 'mass > 0',\n    name: 'Latent heat of phase transition',\n    domain: 'thermodynamics',\n    formula_latex: 'Q = m L',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('mass', MASS),\n      sym('specific-latent-heat', SPECIFIC_LATENT_HEAT),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['isothermal phase transition'],\n    references: ['Callen, Thermodynamics'],\n    partnerBridges: [],\n  }),\n  // Clausius entropy change  ΔS = Q/T  (reversible, constant-temperature)\n  l1({ name: 'entropy-change', dim: ENTROPY }, [\n    { name: 'heat', dim: ENERGY },\n    { name: 'temperature', dim: TEMPERATURE },\n  ], {\n    id: 'CE-clausius-entropy',\n    holds: 'temperature > 0',\n    name: 'Clausius entropy change',\n    domain: 'thermodynamics',\n    formula_latex: '\\\\Delta S = Q/T',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [sym('heat', ENERGY), sym('temperature', TEMPERATURE)]),\n    regime: { scale: 'classical' },\n    assumptions: ['reversible process', 'constant temperature'],\n    references: ['Clausius 1865', 'Callen, Thermodynamics'],\n    partnerBridges: [],\n  }),\n  // Thermal diffusivity  α = k/(ρ c_p)\n  l1({ name: 'thermal-diffusivity', dim: THERMAL_DIFFUSIVITY }, [\n    { name: 'thermal-conductivity', dim: THERMAL_CONDUCTIVITY },\n    { name: 'density', dim: DENSITY },\n    { name: 'specific-heat-capacity', dim: SPECIFIC_HEAT },\n  ], {\n    id: 'CE-thermal-diffusivity',\n    holds: 'thermal-conductivity > 0 and density > 0 and specific-heat-capacity > 0',\n    name: 'Thermal diffusivity',\n    domain: 'thermodynamics',\n    formula_latex: '\\\\alpha = k/(\\\\rho c_p)',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      sym('thermal-conductivity', THERMAL_CONDUCTIVITY),\n      op('*', [sym('density', DENSITY), sym('specific-heat-capacity', SPECIFIC_HEAT)]),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['homogeneous isotropic medium'],\n    references: ['Carslaw & Jaeger, Conduction of Heat in Solids'],\n    partnerBridges: [],\n  }),\n];\n"]}

package/dist/canonical/linkage.d.ts

@@ -1,3 +1,22 @@
+/**
+ * Bridge↔canonical linkage (Sub-project B) — the "validate against standard
+ * physics" engine. For a canonical equation with a scalar-AST and a bridge with
+ * an RHS AST, it asks:
+ *   1. do they share the same dimension? (necessary)
+ *   2. are they the same relation up to dimensionless factors? (`normalForm`)
+ *   3. (best-effort) do they agree numerically up to a constant ratio?
+ *
+ * The structural half — same dimension, `normalForm`, and the F4
+ * `restatesBridge` guard — is `classifyStructure` in `structural.ts`. This
+ * module calls that function and then runs numerical recovery. A structural
+ * match is `restates-canonical` (a trivial X≡X, NOT a discovery) only when
+ * the canonical entry's `restatesBridge` actually names that bridge. A
+ * structural match the registry did NOT pre-declare is a genuine `recovers`
+ * correspondence. Numerical agreement is not a confirmation.
+ *
+ * @module canonical/linkage
+ */
+import type { ExprNode } from '../dimensional/validator.js';
 /** Best-effort numerical-recovery outcome. */
 export interface RecoveryOutcome {
     /** Both ASTs evaluated at every sample (no unresolved leaf). */
@@ -17,16 +36,22 @@ export interface LinkageResult {
     readonly recovery: RecoveryOutcome | null;
     readonly classification: 'restates-canonical' | 'recovers' | 'dimensional-only' | 'unrelated';
 }
+/**
+ * Best-effort check that two ASTs agree up to a constant ratio.
+ *
+ * @internal
+ */
+export declare function numericalRecovery(canon: ExprNode, bridge: ExprNode): RecoveryOutcome;
 /** 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.
  *
- * Each bridge is validated and normal-formed ONCE (canonical-invariant), and
- * each canonical's normal-form is computed once per outer iteration
- * (bridge-invariant); the inner loop then only compares pre-computed strings
- * and dimensions. Reduces the per-pair AST walks (~3·C·B) to ~2·B + C.
+ * Each bridge's shape comes from the process-wide `bridgeShapes` table
+ * (validated and normal-formed once), and each canonical's normal-form is
+ * computed once per outer iteration (bridge-invariant); the inner loop then
+ * only compares pre-computed strings and dimensions.
  */
 export declare function scanLinkages(): LinkageResult[];
 //# sourceMappingURL=linkage.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"linkage.d.ts","sourceRoot":"","sources":["../../src/canonical/linkage.ts"],"names":[],"mappings":"AA6BA,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;AAsJD,sDAAsD;AACtD,wBAAgB,eAAe,CAC7B,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,GACf,aAAa,CAsBf;AAED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,IAAI,aAAa,EAAE,CAqB9C"}
+{"version":3,"file":"linkage.d.ts","sourceRoot":"","sources":["../../src/canonical/linkage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAU5D,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;AAsDD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAG,eAAe,CAmCpF;AA+CD,sDAAsD;AACtD,wBAAgB,eAAe,CAC7B,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,GACf,aAAa,CAsBf;AAED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,IAAI,aAAa,EAAE,CAmB9C"}

package/dist/canonical/linkage.js

@@ -1,10 +1,8 @@
-import { validate } from '../dimensional/validator.js';
 import { evalExpr } from '../composition/expr-eval.js';
 import { CONSTANTS } from '../dimensional/symbolic-constants.js';
-import { BRIDGE_RHS_BY_ID } from '../bridges/rhs-registry.js';
 import { CANONICAL_EQUATIONS, canonicalById } from './registry.js';
 import { canonicalQuantityName, normalForm } from './normal-form.js';
-import { classifyStructure } from './structural.js';
+import { bridgeShapes, classifyStructure } from './structural.js';
 const isDimensionless = (d) => d.L === 0 &&
     d.M === 0 &&
     d.T === 0 &&
@@ -42,9 +40,22 @@ function collectLeaves(node, vars, dimless) {
             return;
     }
 }
-const SAMPLE_FACTORS = [1, 2, 3];
-/** Best-effort check that two ASTs agree up to a constant ratio. */
-function numericalRecovery(canon, bridge) {
+/**
+ * The sample points: variable `i` (in sorted canonical-name order) takes the
+ * value `(1.3 + 0.7·i)^p` at exponent `p`. Each variable has its own base, so
+ * the RATIOS between variables change from point to point too. One common
+ * scale factor would leave every ratio such as y/x fixed, and two homogeneous
+ * expressions of the same degree (`x + 2y` and `x + y`) would then pass as a
+ * constant ratio at every point: a recovery that could not fail (9.0.0 audit
+ * §4 C3). `canonical-compare.ts` uses the same scheme.
+ */
+const SAMPLE_EXPONENTS = [1, 1.3, 1.6];
+/**
+ * Best-effort check that two ASTs agree up to a constant ratio.
+ *
+ * @internal
+ */
+export function numericalRecovery(canon, bridge) {
     const vars = new Map();
     const dimless = new Set();
     collectLeaves(canon, vars, dimless);
@@ -54,10 +65,10 @@ function numericalRecovery(canon, bridge) {
     const canonicals = [...new Set(vars.values())].sort();
     const index = new Map(canonicals.map((n, i) => [n, i]));
     const ratios = [];
-    for (const s of SAMPLE_FACTORS) {
+    for (const p of SAMPLE_EXPONENTS) {
         const values = {};
         for (const [raw, canonName] of vars) {
-            values[raw] = (1.3 + 0.7 * index.get(canonName)) * s;
+            values[raw] = Math.pow(1.3 + 0.7 * index.get(canonName), p);
         }
         // Hold unresolved dimensionless leaves fixed — recovery is "up to" them.
         for (const n of dimless)
@@ -82,19 +93,12 @@ function numericalRecovery(canon, bridge) {
     const maxRelErr = Math.max(...ratios.map((r) => Math.abs((r - r0) / r0)));
     return { tested: true, maxRelErr };
 }
-/** Validate + normal-form a bridge RHS once. */
-function precomputeBridge(rhs) {
-    const v = validate(rhs);
-    return {
-        rhs,
-        dim: v.ok ? v.inferredDimension : null,
-        normal: normalForm(rhs),
-    };
-}
 /**
  * The comparison core, given a canonical entry (with its pre-computed
- * normal-form) and a pre-computed bridge. Pure: no AST re-walks except the
- * rare `numericalRecovery` that only fires on a structural match.
+ * normal-form) and a bridge's shape from the process-wide `bridgeShapes`
+ * table (validated dimension and normal-form hash, computed once). Pure: no
+ * AST re-walks except the rare `numericalRecovery` that only fires on a
+ * structural match.
  */
 function classifyAgainst(canon, canonAst, canonNormal, bridgeId, bridge) {
     const relation = classifyStructure({
@@ -130,8 +134,8 @@ function classifyAgainst(canon, canonAst, canonNormal, bridgeId, bridge) {
 /** Compare one canonical entry against one bridge. */
 export function classifyLinkage(canonicalId, bridgeId) {
     const canon = canonicalById(canonicalId);
-    const bridgeRhs = BRIDGE_RHS_BY_ID.get(bridgeId);
-    if (!canon || !bridgeRhs || !canon.scalarAst) {
+    const bridge = bridgeShapes().get(bridgeId);
+    if (!canon || !bridge || !canon.scalarAst) {
         return {
             canonicalId,
             bridgeId,
@@ -141,22 +145,20 @@ export function classifyLinkage(canonicalId, bridgeId) {
             classification: 'unrelated',
         };
     }
-    return classifyAgainst(canon, canon.scalarAst, normalForm(canon.scalarAst), bridgeId, precomputeBridge(bridgeRhs));
+    return classifyAgainst(canon, canon.scalarAst, normalForm(canon.scalarAst), bridgeId, bridge);
 }
 /**
  * Scan every canonical entry (with a scalar-AST) against every bridge RHS, and
  * return the non-`unrelated` results — the physicist's linkage worklist.
  *
- * Each bridge is validated and normal-formed ONCE (canonical-invariant), and
- * each canonical's normal-form is computed once per outer iteration
- * (bridge-invariant); the inner loop then only compares pre-computed strings
- * and dimensions. Reduces the per-pair AST walks (~3·C·B) to ~2·B + C.
+ * Each bridge's shape comes from the process-wide `bridgeShapes` table
+ * (validated and normal-formed once), and each canonical's normal-form is
+ * computed once per outer iteration (bridge-invariant); the inner loop then
+ * only compares pre-computed strings and dimensions.
  */
 export function scanLinkages() {
     const results = [];
-    const bridges = [
-        ...BRIDGE_RHS_BY_ID,
-    ].map(([id, rhs]) => [id, precomputeBridge(rhs)]);
+    const bridges = bridgeShapes();
     for (const ce of CANONICAL_EQUATIONS) {
         if (!ce.scalarAst)
             continue;

package/dist/canonical/linkage.js.map

@@ -1 +1 @@
-{"version":3,"file":"linkage.js","sourceRoot":"","sources":["../../src/canonical/linkage.ts"],"names":[],"mappings":"AAoBA,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;AAE9D,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AA2BpD,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,IAAyB,EACzB,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,IAAI,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;oBACjD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACvE,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,EAAkB,CAAC;IACvC,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,0EAA0E;IAC1E,4DAA4D;IAC5D,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACtD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,MAAM,MAAM,GAA2B,EAAE,CAAC;QAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,IAAI,EAAE,CAAC;YACpC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAE,CAAC,GAAG,CAAC,CAAC;QACxD,CAAC;QACD,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;AAgBD,gDAAgD;AAChD,SAAS,gBAAgB,CAAC,GAAa;IACrC,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IACxB,OAAO;QACL,GAAG;QACH,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI;QACtC,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC;KACxB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CACtB,KAAwB,EACxB,QAAkB,EAClB,WAAmB,EACnB,QAAgB,EAChB,MAAqB;IAErB,MAAM,QAAQ,GAAG,iBAAiB,CAAC;QACjC,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG;QACrC,UAAU,EAAE,WAAW;QACvB,KAAK,EAAE,MAAM,CAAC,GAAG;QACjB,QAAQ,EAAE,MAAM,CAAC,GAAG;QACpB,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC;KAC3B,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAE3F,IAAI,cAA+C,CAAC;IACpD,IAAI,QAAQ,CAAC,eAAe,EAAE,CAAC;QAC7B,cAAc,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC;IACzE,CAAC;SAAM,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC7B,cAAc,GAAG,kBAAkB,CAAC;IACtC,CAAC;SAAM,CAAC;QACN,cAAc,GAAG,WAAW,CAAC;IAC/B,CAAC;IAED,OAAO;QACL,WAAW,EAAE,KAAK,CAAC,EAAE;QACrB,QAAQ;QACR,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,eAAe,EAAE,QAAQ,CAAC,eAAe;QACzC,QAAQ;QACR,cAAc;KACf,CAAC;AACJ,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;IAEjD,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QAC7C,OAAO;YACL,WAAW;YACX,QAAQ;YACR,QAAQ,EAAE,KAAK;YACf,eAAe,EAAE,KAAK;YACtB,QAAQ,EAAE,IAAI;YACd,cAAc,EAAE,WAAW;SAC5B,CAAC;IACJ,CAAC;IAED,OAAO,eAAe,CACpB,KAAK,EACL,KAAK,CAAC,SAAS,EACf,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,EAC3B,QAAQ,EACR,gBAAgB,CAAC,SAAS,CAAC,CAC5B,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY;IAC1B,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,MAAM,OAAO,GAAoD;QAC/D,GAAG,gBAAgB;KACpB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAU,CAAC,CAAC;IAE3D,KAAK,MAAM,EAAE,IAAI,mBAAmB,EAAE,CAAC;QACrC,IAAI,CAAC,EAAE,CAAC,SAAS;YAAE,SAAS;QAC5B,MAAM,WAAW,GAAG,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAC7C,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACzC,MAAM,CAAC,GAAG,eAAe,CACvB,EAAE,EACF,EAAE,CAAC,SAAS,EACZ,WAAW,EACX,QAAQ,EACR,MAAM,CACP,CAAC;YACF,IAAI,CAAC,CAAC,cAAc,KAAK,WAAW;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}
+{"version":3,"file":"linkage.js","sourceRoot":"","sources":["../../src/canonical/linkage.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AAEjE,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AA4BlE,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,IAAyB,EACzB,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,IAAI,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;oBACjD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACvE,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;;;;;;;;GAQG;AACH,MAAM,gBAAgB,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAEvC;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAe,EAAE,MAAgB;IACjE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,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,0EAA0E;IAC1E,4DAA4D;IAC5D,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACtD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;QACjC,MAAM,MAAM,GAA2B,EAAE,CAAC;QAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,IAAI,EAAE,CAAC;YACpC,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAE,EAAE,CAAC,CAAC,CAAC;QAC/D,CAAC;QACD,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;;;;;;GAMG;AACH,SAAS,eAAe,CACtB,KAAwB,EACxB,QAAkB,EAClB,WAAmB,EACnB,QAAgB,EAChB,MAAmB;IAEnB,MAAM,QAAQ,GAAG,iBAAiB,CAAC;QACjC,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG;QACrC,UAAU,EAAE,WAAW;QACvB,KAAK,EAAE,MAAM,CAAC,GAAG;QACjB,QAAQ,EAAE,MAAM,CAAC,GAAG;QACpB,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC;KAC3B,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAE3F,IAAI,cAA+C,CAAC;IACpD,IAAI,QAAQ,CAAC,eAAe,EAAE,CAAC;QAC7B,cAAc,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC;IACzE,CAAC;SAAM,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC7B,cAAc,GAAG,kBAAkB,CAAC;IACtC,CAAC;SAAM,CAAC;QACN,cAAc,GAAG,WAAW,CAAC;IAC/B,CAAC;IAED,OAAO;QACL,WAAW,EAAE,KAAK,CAAC,EAAE;QACrB,QAAQ;QACR,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,eAAe,EAAE,QAAQ,CAAC,eAAe;QACzC,QAAQ;QACR,cAAc;KACf,CAAC;AACJ,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,eAAe,CAC7B,WAAmB,EACnB,QAAgB;IAEhB,MAAM,KAAK,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAE5C,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QAC1C,OAAO;YACL,WAAW;YACX,QAAQ;YACR,QAAQ,EAAE,KAAK;YACf,eAAe,EAAE,KAAK;YACtB,QAAQ,EAAE,IAAI;YACd,cAAc,EAAE,WAAW;SAC5B,CAAC;IACJ,CAAC;IAED,OAAO,eAAe,CACpB,KAAK,EACL,KAAK,CAAC,SAAS,EACf,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,EAC3B,QAAQ,EACR,MAAM,CACP,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY;IAC1B,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;IAE/B,KAAK,MAAM,EAAE,IAAI,mBAAmB,EAAE,CAAC;QACrC,IAAI,CAAC,EAAE,CAAC,SAAS;YAAE,SAAS;QAC5B,MAAM,WAAW,GAAG,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAC7C,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACzC,MAAM,CAAC,GAAG,eAAe,CACvB,EAAE,EACF,EAAE,CAAC,SAAS,EACZ,WAAW,EACX,QAAQ,EACR,MAAM,CACP,CAAC;YACF,IAAI,CAAC,CAAC,cAAc,KAAK,WAAW;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC","sourcesContent":["/**\n * Bridge↔canonical linkage (Sub-project B) — the \"validate against standard\n * physics\" engine. For a canonical equation with a scalar-AST and a bridge with\n * an RHS AST, it asks:\n *   1. do they share the same dimension? (necessary)\n *   2. are they the same relation up to dimensionless factors? (`normalForm`)\n *   3. (best-effort) do they agree numerically up to a constant ratio?\n *\n * The structural half — same dimension, `normalForm`, and the F4\n * `restatesBridge` guard — is `classifyStructure` in `structural.ts`. This\n * module calls that function and then runs numerical recovery. A structural\n * match is `restates-canonical` (a trivial X≡X, NOT a discovery) only when\n * the canonical entry's `restatesBridge` actually names that bridge. A\n * structural match the registry did NOT pre-declare is a genuine `recovers`\n * correspondence. Numerical agreement is not a confirmation.\n *\n * @module canonical/linkage\n */\nimport type { ExprNode } from '../dimensional/validator.js';\nimport type { Dimension } from '../dimensional/types.js';\nimport { evalExpr } from '../composition/expr-eval.js';\nimport { CONSTANTS } from '../dimensional/symbolic-constants.js';\nimport type { CanonicalEquation } from './canonical-equation.js';\nimport { CANONICAL_EQUATIONS, canonicalById } from './registry.js';\nimport { canonicalQuantityName, normalForm } from './normal-form.js';\nimport { bridgeShapes, classifyStructure } from './structural.js';\nimport type { BridgeShape } from './structural.js';\n\n/** Best-effort numerical-recovery outcome. */\nexport interface RecoveryOutcome {\n  /** Both ASTs evaluated at every sample (no unresolved leaf). */\n  readonly tested: boolean;\n  /** Spread of the canonical/bridge value ratio across samples (0 ⇒ they agree\n   *  up to a single constant factor). `NaN` when not tested. */\n  readonly maxRelErr: number;\n}\n\n/** One bridge↔canonical comparison. */\nexport interface LinkageResult {\n  readonly canonicalId: string;\n  readonly bridgeId: number;\n  /** Inferred dimensions agree. */\n  readonly dimMatch: boolean;\n  /** Same relation up to dimensionless factors (`normalForm`). */\n  readonly structuralMatch: boolean;\n  readonly recovery: RecoveryOutcome | null;\n  readonly classification:\n    | 'restates-canonical'\n    | 'recovers'\n    | 'dimensional-only'\n    | 'unrelated';\n}\n\nconst isDimensionless = (d: Dimension): boolean =>\n  d.L === 0 &&\n  d.M === 0 &&\n  d.T === 0 &&\n  d.I === 0 &&\n  d.Theta === 0 &&\n  d.N === 0 &&\n  d.J === 0;\n\n/**\n * Collect leaves `evalExpr` can't resolve (not a registered constant, not a\n * numeric literal), split into physical `vars` (non-dimensionless — varied\n * across samples) and `dimless` (dimensionless — held fixed: they ARE the\n * constant factor \"up to\" which recovery is measured).\n */\nfunction collectLeaves(\n  node: ExprNode,\n  vars: Map<string, string>,\n  dimless: Set<string>,\n): void {\n  switch (node.kind) {\n    case 'symbol':\n      if (!(node.name in CONSTANTS) && Number.isNaN(Number(node.name))) {\n        if (isDimensionless(node.dim)) dimless.add(node.name);\n        else vars.set(node.name, canonicalQuantityName(node.name, node.dim));\n      }\n      return;\n    case 'op':\n      for (const a of node.args) collectLeaves(a, vars, dimless);\n      return;\n    case 'transcendental':\n      collectLeaves(node.arg, vars, dimless);\n      return;\n    case 'abs':\n      collectLeaves(node.arg, vars, dimless);\n      return;\n    default:\n      return;\n  }\n}\n\n/**\n * The sample points: variable `i` (in sorted canonical-name order) takes the\n * value `(1.3 + 0.7·i)^p` at exponent `p`. Each variable has its own base, so\n * the RATIOS between variables change from point to point too. One common\n * scale factor would leave every ratio such as y/x fixed, and two homogeneous\n * expressions of the same degree (`x + 2y` and `x + y`) would then pass as a\n * constant ratio at every point: a recovery that could not fail (9.0.0 audit\n * §4 C3). `canonical-compare.ts` uses the same scheme.\n */\nconst SAMPLE_EXPONENTS = [1, 1.3, 1.6];\n\n/**\n * Best-effort check that two ASTs agree up to a constant ratio.\n *\n * @internal\n */\nexport function numericalRecovery(canon: ExprNode, bridge: ExprNode): RecoveryOutcome {\n  const vars = new Map<string, string>();\n  const dimless = new Set<string>();\n  collectLeaves(canon, vars, dimless);\n  collectLeaves(bridge, vars, dimless);\n  // `M` and `mass` are one quantity. They share a sample, or the ratio is a\n  // float artifact of two independent draws of the same mass.\n  const canonicals = [...new Set(vars.values())].sort();\n  const index = new Map(canonicals.map((n, i) => [n, i]));\n  const ratios: number[] = [];\n  for (const p of SAMPLE_EXPONENTS) {\n    const values: Record<string, number> = {};\n    for (const [raw, canonName] of vars) {\n      values[raw] = Math.pow(1.3 + 0.7 * index.get(canonName)!, p);\n    }\n    // Hold unresolved dimensionless leaves fixed — recovery is \"up to\" them.\n    for (const n of dimless) values[n] = 1;\n    let cv: number;\n    let bv: number;\n    try {\n      cv = evalExpr(canon, values);\n      bv = evalExpr(bridge, values);\n    } catch {\n      return { tested: false, maxRelErr: NaN };\n    }\n    // Guard cv===0 too: with cv===0 the ratio is 0 at every sample, so the\n    // relative-spread denominator r0===0 ⇒ NaN — a false \"tested\" result.\n    if (!Number.isFinite(cv) || !Number.isFinite(bv) || bv === 0 || cv === 0) {\n      return { tested: false, maxRelErr: NaN };\n    }\n    ratios.push(cv / bv);\n  }\n  const r0 = ratios[0];\n  const maxRelErr = Math.max(...ratios.map((r) => Math.abs((r - r0) / r0)));\n  return { tested: true, maxRelErr };\n}\n\n/**\n * The comparison core, given a canonical entry (with its pre-computed\n * normal-form) and a bridge's shape from the process-wide `bridgeShapes`\n * table (validated dimension and normal-form hash, computed once). Pure: no\n * AST re-walks except the rare `numericalRecovery` that only fires on a\n * structural match.\n */\nfunction classifyAgainst(\n  canon: CanonicalEquation,\n  canonAst: ExprNode,\n  canonNormal: string,\n  bridgeId: number,\n  bridge: BridgeShape,\n): LinkageResult {\n  const relation = classifyStructure({\n    left: canonAst,\n    leftDim: canon.dimensional.target.dim,\n    leftNormal: canonNormal,\n    right: bridge.rhs,\n    rightDim: bridge.dim,\n    rightNormal: bridge.normal,\n    restatesBridge: canon.restatesBridge,\n    bridgeId: String(bridgeId),\n  });\n  const recovery = relation.structuralMatch ? numericalRecovery(canonAst, bridge.rhs) : null;\n\n  let classification: LinkageResult['classification'];\n  if (relation.structuralMatch) {\n    classification = relation.restates ? 'restates-canonical' : 'recovers';\n  } else if (relation.dimMatch) {\n    classification = 'dimensional-only';\n  } else {\n    classification = 'unrelated';\n  }\n\n  return {\n    canonicalId: canon.id,\n    bridgeId,\n    dimMatch: relation.dimMatch,\n    structuralMatch: relation.structuralMatch,\n    recovery,\n    classification,\n  };\n}\n\n/** Compare one canonical entry against one bridge. */\nexport function classifyLinkage(\n  canonicalId: string,\n  bridgeId: number,\n): LinkageResult {\n  const canon = canonicalById(canonicalId);\n  const bridge = bridgeShapes().get(bridgeId);\n\n  if (!canon || !bridge || !canon.scalarAst) {\n    return {\n      canonicalId,\n      bridgeId,\n      dimMatch: false,\n      structuralMatch: false,\n      recovery: null,\n      classification: 'unrelated',\n    };\n  }\n\n  return classifyAgainst(\n    canon,\n    canon.scalarAst,\n    normalForm(canon.scalarAst),\n    bridgeId,\n    bridge,\n  );\n}\n\n/**\n * Scan every canonical entry (with a scalar-AST) against every bridge RHS, and\n * return the non-`unrelated` results — the physicist's linkage worklist.\n *\n * Each bridge's shape comes from the process-wide `bridgeShapes` table\n * (validated and normal-formed once), and each canonical's normal-form is\n * computed once per outer iteration (bridge-invariant); the inner loop then\n * only compares pre-computed strings and dimensions.\n */\nexport function scanLinkages(): LinkageResult[] {\n  const results: LinkageResult[] = [];\n  const bridges = bridgeShapes();\n\n  for (const ce of CANONICAL_EQUATIONS) {\n    if (!ce.scalarAst) continue;\n    const canonNormal = normalForm(ce.scalarAst);\n    for (const [bridgeId, bridge] of bridges) {\n      const r = classifyAgainst(\n        ce,\n        ce.scalarAst,\n        canonNormal,\n        bridgeId,\n        bridge,\n      );\n      if (r.classification !== 'unrelated') results.push(r);\n    }\n  }\n  return results;\n}\n"]}

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

@@ -22,14 +22,6 @@
  */
 import type { ExprNode } from '../dimensional/validator.js';
 import type { Dimension } from '../dimensional/types.js';
-/**
- * A dimensionless symbol is a droppable "up to a constant" factor only when it
- * is a numeric literal (`2`, `-1`, `0.5`), a registered named constant
- * (`ln2`, `4pi`, …), or a spelled-out numeric constant (`6pi`, `ln_2_constant`).
- * Any OTHER dimensionless symbol is a stub for an unknown dimensionless quantity
- * (a parameter or a functional like `ln⟨exp(−βW)⟩`) and is structural —
- * dropping it would conflate distinct interiors.
- */
 /**
  * Bridge ASTs still spell a governing quantity with the short symbol (`T`, `M`,
  * `m_1`, `m_2`). The registry uses one name. The structural hash treats the

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

@@ -1 +1 @@
-{"version":3,"file":"normal-form.d.ts","sourceRoot":"","sources":["../../src/canonical/normal-form.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AA2BzD;;;;;;;GAOG;AACH;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,MAAM,CAK1E;AA4CD;;;GAGG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CA8DjD;AAED,iFAAiF;AACjF,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,OAAO,CAEnE"}
+{"version":3,"file":"normal-form.d.ts","sourceRoot":"","sources":["../../src/canonical/normal-form.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AA4BzD;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,MAAM,CAK1E;AAoDD;;;GAGG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAiEjD;AAED,iFAAiF;AACjF,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,OAAO,CAEnE"}

package/dist/canonical/normal-form.js

@@ -13,20 +13,13 @@ const UNIT = '1';
 /**
  * Spelled-out dimensionless numeric constants some encoders write as a named
  * symbol rather than a literal — genuine constants the eval `CONSTANTS`
- * registry happens not to list (it carries only `ln2`/`4pi`/`8pi`). The
- * `\d*pi` pattern covers `pi`/`2pi`/`6pi`/…; `ln_2_constant` is BE-16's spelling
- * of `ln 2`. These stay droppable; everything else dimensionless-and-named is a
- * PARAMETER stub (`alpha`, `lambda`, `g_dark`, `ln⟨e^−βW⟩`, …) and is kept.
+ * registry does not list under that spelling (its own keys are the canonical
+ * rows of the constant registry; `piMultipleValue` reads `pi`/`2pi`/`6pi`/…).
+ * `ln_2_constant` is BE-16's spelling of `ln 2`. These stay droppable;
+ * everything else dimensionless-and-named is a PARAMETER stub (`alpha`,
+ * `lambda`, `g_dark`, `ln⟨e^−βW⟩`, …) and is kept.
  */
 const NAMED_DIMENSIONLESS_CONSTANTS = new Set(['ln_2_constant']);
-/**
- * A dimensionless symbol is a droppable "up to a constant" factor only when it
- * is a numeric literal (`2`, `-1`, `0.5`), a registered named constant
- * (`ln2`, `4pi`, …), or a spelled-out numeric constant (`6pi`, `ln_2_constant`).
- * Any OTHER dimensionless symbol is a stub for an unknown dimensionless quantity
- * (a parameter or a functional like `ln⟨exp(−βW)⟩`) and is structural —
- * dropping it would conflate distinct interiors.
- */
 /**
  * Bridge ASTs still spell a governing quantity with the short symbol (`T`, `M`,
  * `m_1`, `m_2`). The registry uses one name. The structural hash treats the
@@ -42,6 +35,14 @@ export function canonicalQuantityName(name, dim) {
     }
     return quantityIdForSpelling(name) ?? name;
 }
+/**
+ * A dimensionless symbol is a droppable "up to a constant" factor only when it
+ * is a numeric literal (`2`, `-1`, `0.5`), a registered named constant
+ * (`ln2`, `4pi`, …), or a spelled-out numeric constant (`6pi`, `ln_2_constant`).
+ * Any OTHER dimensionless symbol is a stub for an unknown dimensionless quantity
+ * (a parameter or a functional like `ln⟨exp(−βW)⟩`) and is structural —
+ * dropping it would conflate distinct interiors.
+ */
 function isDroppableConstant(name) {
     return (name in CONSTANTS ||
         Number.isFinite(Number(name)) ||
@@ -124,6 +125,10 @@ export function normalForm(node) {
                     // dimensionless exponent is never dropped (symmetric for direct
                     // symbols and op sub-expressions alike).
                     const base = normalForm(node.args[0]);
+                    // A dimensionless constant to any power is still a dimensionless constant (π², √(2π)),
+                    // dropped as the constant is; the exponent is structural only on a dimensionful base.
+                    if (base === UNIT)
+                        return UNIT;
                     return `^(${base},${rawForm(node.args[1])})`;
                 }
                 case '+':