universal-physics-tensor 9.0.0 → 10.0.0

package/dist/canonical/entries/nonmonomial.js

@@ -77,18 +77,18 @@ export const NONMONOMIAL = [
         partnerBridges: [],
     }),
     l1({ name: 'photoelectron-max-energy', dim: ENERGY }, [
-        { name: 'planck-constant', dim: PLANCK },
+        { name: 'h', dim: PLANCK },
         { name: 'photon-frequency', dim: FREQUENCY },
         { name: 'work-function', dim: ENERGY },
     ], {
         id: 'CE-photoelectric',
-        holds: 'planck-constant * photon-frequency >= work-function and work-function >= 0',
+        holds: 'h * photon-frequency >= work-function and work-function >= 0',
         name: 'Photoelectric equation',
         domain: 'quantum',
         formula_latex: 'K_{\\max} = h f - W',
         epistemicStatus: 'fully-quantitative', // exact: hf − W (both energy)
         scalarAst: op('-', [
-            op('*', [sym('planck-constant', PLANCK), sym('photon-frequency', FREQUENCY)]),
+            op('*', [sym('h', PLANCK), sym('photon-frequency', FREQUENCY)]),
             sym('work-function', ENERGY),
         ]),
         regime: { scale: 'quantum' },
@@ -121,7 +121,7 @@ export const NONMONOMIAL = [
     }),
     l1({ name: 'boltzmann-factor', dim: DIMENSIONLESS }, [
         { name: 'state-energy', dim: ENERGY },
-        { name: 'boltzmann-constant', dim: BOLTZMANN },
+        { name: 'k_B', dim: BOLTZMANN },
         { name: 'temperature', dim: TEMPERATURE },
     ], {
         id: 'CE-boltzmann-factor',
@@ -137,7 +137,7 @@ export const NONMONOMIAL = [
                 sym('-1', DIMENSIONLESS),
                 op('/', [
                     sym('state-energy', ENERGY),
-                    op('*', [sym('boltzmann-constant', BOLTZMANN), sym('temperature', TEMPERATURE)]),
+                    op('*', [sym('k_B', BOLTZMANN), sym('temperature', TEMPERATURE)]),
                 ]),
             ]),
         },
@@ -148,10 +148,10 @@ export const NONMONOMIAL = [
     }),
     l1({ name: 'lorentz-factor', dim: DIMENSIONLESS }, [
         { name: 'velocity', dim: VELOCITY },
-        { name: 'speed-of-light', dim: VELOCITY },
+        { name: 'c', dim: VELOCITY },
     ], {
         id: 'CE-lorentz-factor',
-        holds: 'abs(velocity) < speed-of-light',
+        holds: 'abs(velocity) < c',
         name: 'Lorentz factor',
         domain: 'mechanics', // SR precedent — matches CE-mass-energy's domain
         formula_latex: '\\gamma = \\left(1 - \\tfrac{v^2}{c^2}\\right)^{-1/2}',
@@ -162,7 +162,7 @@ export const NONMONOMIAL = [
             sym('1', DIMENSIONLESS),
             op('/', [
                 pow(sym('velocity', VELOCITY), '2'),
-                pow(sym('speed-of-light', VELOCITY), '2'),
+                pow(sym('c', VELOCITY), '2'),
             ]),
         ]), '-0.5'),
         regime: { scale: 'classical' },
@@ -171,9 +171,9 @@ export const NONMONOMIAL = [
         partnerBridges: [],
     }),
     l1({ name: 'compton-wavelength-shift', dim: LENGTH }, [
-        { name: 'planck-constant', dim: PLANCK },
-        { name: 'electron-mass', dim: MASS },
-        { name: 'speed-of-light', dim: VELOCITY },
+        { name: 'h', dim: PLANCK },
+        { name: 'm_e', dim: MASS },
+        { name: 'c', dim: VELOCITY },
         { name: 'scattering-angle', dim: DIMENSIONLESS },
     ], {
         id: 'CE-compton-shift',
@@ -185,8 +185,8 @@ export const NONMONOMIAL = [
         // (h/(m·c))·(1 − cos θ); the cos arg (scattering angle) is dimensionless.
         scalarAst: op('*', [
             op('/', [
-                sym('planck-constant', PLANCK),
-                op('*', [sym('electron-mass', MASS), sym('speed-of-light', VELOCITY)]),
+                sym('h', PLANCK),
+                op('*', [sym('m_e', MASS), sym('c', VELOCITY)]),
             ]),
             op('-', [
                 sym('1', DIMENSIONLESS),
@@ -199,7 +199,6 @@ export const NONMONOMIAL = [
         partnerBridges: [],
     }),
     l1({ name: 'inverse-transition-wavelength', dim: INVERSE_LENGTH }, [
-        { name: 'rydberg-constant', dim: INVERSE_LENGTH },
         { name: 'lower-level-n', dim: DIMENSIONLESS },
         { name: 'upper-level-n', dim: DIMENSIONLESS },
     ], {
@@ -209,16 +208,18 @@ export const NONMONOMIAL = [
         domain: 'quantum',
         formula_latex: '\\tfrac{1}{\\lambda} = R\\left(\\tfrac{1}{n_1^2} - \\tfrac{1}{n_2^2}\\right)',
         epistemicStatus: 'fully-quantitative', // exact closed form
-        // R·(1/n1² − 1/n2²); both level numbers are dimensionless integer counts.
+        // R∞·(1/n1² − 1/n2²); both level numbers are dimensionless integer counts. R∞ is the
+        // registered constant (infinite nuclear mass); the reduced-mass R_M is not applied
+        // (the owner's decision of 2026-10-09: a constant is never an input).
         scalarAst: op('*', [
-            sym('rydberg-constant', INVERSE_LENGTH),
+            sym('R_inf', INVERSE_LENGTH),
             op('-', [
                 pow(sym('lower-level-n', DIMENSIONLESS), '-2'),
                 pow(sym('upper-level-n', DIMENSIONLESS), '-2'),
             ]),
         ]),
         regime: { scale: 'quantum' },
-        assumptions: ['hydrogen-like atom', 'bound-state transition'],
+        assumptions: ['hydrogen-like atom', 'bound-state transition', 'infinite nuclear mass (R∞; no reduced-mass correction)'],
         references: ['Rydberg 1890 / Balmer 1885'],
         partnerBridges: [],
     }),
@@ -297,7 +298,7 @@ export const NONMONOMIAL = [
         partnerBridges: [],
     }),
     l1({ name: 'boltzmann-entropy', dim: BOLTZMANN }, [
-        { name: 'boltzmann-constant', dim: BOLTZMANN },
+        { name: 'k_B', dim: BOLTZMANN },
         { name: 'microstate-count', dim: DIMENSIONLESS },
     ], {
         id: 'CE-boltzmann-entropy',
@@ -307,7 +308,7 @@ export const NONMONOMIAL = [
         formula_latex: 'S = k_B \ln W',
         epistemicStatus: 'fully-quantitative', // exact closed form
         scalarAst: op('*', [
-            sym('boltzmann-constant', BOLTZMANN),
+            sym('k_B', BOLTZMANN),
             {
                 kind: 'transcendental',
                 fn: 'ln',
@@ -325,11 +326,17 @@ export const NONMONOMIAL = [
         { name: 'deviation-from-mean', dim: LENGTH },
     ], {
         id: 'CE-normal-distribution',
+        prefactor: {
+            value: 1 / Math.sqrt(2 * Math.PI),
+            quote: String.raw `\frac{1}{\sqrt{2\pi\sigma^2}} e^{-\frac{(x - \mu)^2}{2\sigma^2}}`,
+            locator: "Wikipedia, 'Normal distribution', revision 1376230387, wikitext line 14",
+        },
         name: 'Normal (Gaussian) distribution',
         domain: 'statistical',
         formula_latex: 'p(x) = \\frac{1}{\\sigma\\sqrt{2\\pi}} e^{-(x-\\mu)^2 / 2\\sigma^2}',
-        // The 1/√(2π) normalisation is a pure numeric prefactor, recorded the way
-        // the other prefactors in this registry are.
+        // The 1/√(2π) normalisation is the sourced prefactor above. The ½ in the
+        // exponent is NOT a prefactor: e^{-u²/(2σ²)} and e^{-u²/σ²} are different
+        // functions, so the 2 stays inside the AST.
         epistemicStatus: 'scalar-up-to-constant',
         scalarAst: op('/', [
             {
@@ -339,7 +346,7 @@ export const NONMONOMIAL = [
                     sym('-1', DIMENSIONLESS),
                     op('/', [
                         pow(sym('deviation-from-mean', LENGTH), '2'),
-                        pow(sym('standard-deviation', LENGTH), '2'),
+                        op('*', [sym('2', DIMENSIONLESS), pow(sym('standard-deviation', LENGTH), '2')]),
                     ]),
                 ]),
             },

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

@@ -1 +1 @@
-{"version":3,"file":"nonmonomial.js","sourceRoot":"","sources":["../../../src/canonical/entries/nonmonomial.ts"],"names":[],"mappings":"AAwBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACtC,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACpC,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACrC,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACzC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAClC,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACtC,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACvC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACvC,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAChC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAClC,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAEtC,MAAM,CAAC,MAAM,WAAW,GAAiC;IACvD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,QAAQ,EAAE,EACnD;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE;QACxC,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,YAAY,EAAE;QACzD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC3C,EACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,qDAAqD;QACpE,eAAe,EAAE,oBAAoB,EAAE,2CAA2C;QAClF,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;aAC7E,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;gBACvB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,4BAA4B,EAAE,YAAY,CAAC;oBAC/C,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;iBACtB,CAAC;aACH,CAAC;YACF,GAAG,CAAC,iBAAiB,EAAE,QAAQ,CAAC;SACjC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gBAAgB,EAAE,UAAU,EAAE,gCAAgC,CAAC;QAC7E,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE;QAC9C,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;QAC/C,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,IAAI,EAAE;KACpC,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS,EAAE,gCAAgC;QACnD,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB,EAAE,2CAA2C;QAClF,2EAA2E;QAC3E,2EAA2E;QAC3E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;YACpC;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,KAAK;gBACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;oBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;oBACxB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,EAAE,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC;iBAC5E,CAAC;aACH;SACF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,mBAAmB,EAAE,2BAA2B,CAAC;QAC/D,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,MAAM,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE;QACxC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC5C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE;KACvC,EACD;QACE,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,4EAA4E;QACnF,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,qBAAqB;QACpC,eAAe,EAAE,oBAAoB,EAAE,8BAA8B;QACrE,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC,CAAC;YAC7E,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC;SAC7B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,0BAA0B,EAAE,0BAA0B,CAAC;QACrE,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,aAAa,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,WAAW,EAAE;QACxD,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,WAAW,EAAE;KACxD,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,KAAK,EAAE,+HAA+H;QACtI,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,oBAAoB,EAAE,mBAAmB;QAC1D,4DAA4D;QAC5D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;YACvB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,4BAA4B,EAAE,WAAW,CAAC;gBAC9C,GAAG,CAAC,2BAA2B,EAAE,WAAW,CAAC;aAC9C,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,EAAE,qBAAqB,CAAC;QACxD,UAAU,EAAE,CAAC,wDAAwD,CAAC;QACtE,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;QACrC,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC9C,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,cAAc;QAC7B,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,sEAAsE;QACtE,SAAS,EAAE;YACT,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,KAAK;YACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;gBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;oBAC3B,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,oBAAoB,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;iBACjF,CAAC;aACH,CAAC;SACH;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;QAC1D,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE,EAC9C;QACE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;QACnC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC1C,EACD;QACE,EAAE,EAAE,mBAAmB;QACvB,KAAK,EAAE,gCAAgC;QACvC,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,WAAW,EAAE,iDAAiD;QACtE,aAAa,EAAE,uDAAuD;QACtE,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,0EAA0E;QAC1E,mEAAmE;QACnE,SAAS,EAAE,GAAG,CACZ,EAAE,CAAC,GAAG,EAAE;YACN,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;YACvB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;gBACnC,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;aAC1C,CAAC;SACH,CAAC,EACF,MAAM,CACP;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,iBAAiB,CAAC;QACtD,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,MAAM,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE;QACxC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,IAAI,EAAE;QACpC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,QAAQ,EAAE;QACzC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE;KACjD,EACD;QACE,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,kDAAkD;QACzD,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,uDAAuD;QACtE,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,0EAA0E;QAC1E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC;gBAC9B,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,eAAe,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC,CAAC;aACvE,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,kBAAkB,EAAE,aAAa,CAAC,EAAE;aACnF,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,oCAAoC,EAAE,uBAAuB,CAAC;QAC5E,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,+BAA+B,EAAE,GAAG,EAAE,cAAc,EAAE,EAC9D;QACE,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,cAAc,EAAE;QACjD,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;QAC7C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;KAC9C,EACD;QACE,EAAE,EAAE,oBAAoB;QACxB,KAAK,EAAE,gHAAgH;QACvH,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,8EAA8E;QAC7F,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,0EAA0E;QAC1E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,kBAAkB,EAAE,cAAc,CAAC;YACvC,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC;gBAC9C,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC;aAC/C,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,oBAAoB,EAAE,wBAAwB,CAAC;QAC7D,UAAU,EAAE,CAAC,4BAA4B,CAAC;QAC1C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,aAAa,EAAE,EAC/C;QACE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE;QAC9C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,aAAa,EAAE;QAClD,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,aAAa,EAAE;KACpD,EACD;QACE,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,+IAA+I;QACtJ,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,kBAAkB,EAAE,SAAS;QACrC,aAAa,EAAE,2CAA2C,EAAE,gBAAgB;QAC5E,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qDAAqD;QACrD,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;gBACpC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC,EAAE;aACrF,CAAC;YACF,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,qBAAqB,EAAE,aAAa,CAAC,EAAE;SACtF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,EAAE,0CAA0C,CAAC;QAC7E,UAAU,EAAE,CAAC,6BAA6B,CAAC;QAC3C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,SAAS,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC9C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,aAAa,EAAE;KACnD,EACD;QACE,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,yBAAyB;QAChC,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,wBAAwB;QACvC,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qDAAqD;QACrD,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,oBAAoB,EAAE,SAAS,CAAC;YACpC,GAAG,CACD,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC,EAAE,EACpF,GAAG,CACJ;SACF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,wBAAwB,EAAE,4CAA4C,CAAC;QACrF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,cAAc,EAAE,EAAE;KACnB,CACF;IACD,6EAA6E;IAC7E,6EAA6E;IAC7E,2EAA2E;IAC3E,qEAAqE;IACrE,6EAA6E;IAC7E,iBAAiB;IACjB,EAAE,CACA,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,MAAM,EAAE,EAC/C;QACE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE;QACnC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,MAAM,EAAE;KAC7C,EACD;QACE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,mBAAmB;QAClC,eAAe,EAAE,oBAAoB;QACrC,kEAAkE;QAClE,uEAAuE;QACvE,6DAA6D;QAC7D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC;YACzB,GAAG,CAAC,qBAAqB,EAAE,MAAM,CAAC;SACnC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE;YACX,eAAe;YACf,0DAA0D;SAC3D;QACD,UAAU,EAAE,CAAC,eAAe,EAAE,wBAAwB,CAAC;QACvD,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE,EAC7C;QACE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC9C,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE;KACjD,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,KAAK,EAAE,uBAAuB;QAC9B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,oBAAoB,EAAE,SAAS,CAAC;YACpC;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,IAAI;gBACR,GAAG,EAAE,GAAG,CAAC,kBAAkB,EAAE,aAAa,CAAC;aAC5C;SACF,CAAC;QACF,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE;QACvB,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,yBAAyB,EAAE,0BAA0B,CAAC;QACpE,UAAU,EAAE,CAAC,kCAAkC,EAAE,aAAa,CAAC;QAC/D,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,cAAc,EAAE,EAC3D;QACE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,MAAM,EAAE;QAC3C,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,MAAM,EAAE;KAC7C,EACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,aAAa;QACrB,aAAa,EACX,qEAAqE;QACvE,0EAA0E;QAC1E,6CAA6C;QAC7C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,KAAK;gBACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;oBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;oBACxB,EAAE,CAAC,GAAG,EAAE;wBACN,GAAG,CAAC,GAAG,CAAC,qBAAqB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;wBAC5C,GAAG,CAAC,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;qBAC5C,CAAC;iBACH,CAAC;aACH;YACD,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC;SAClC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE;YACX,WAAW;YACX,uEAAuE;YACvE,uEAAuE;YACvE,oEAAoE;YACpE,wEAAwE;YACxE,6DAA6D;SAC9D;QACD,UAAU,EAAE;YACV,0BAA0B;YAC1B,kDAAkD;SACnD;QACD,cAAc,EAAE,EAAE;KACnB,CACF;CACF,CAAC"}
+{"version":3,"file":"nonmonomial.js","sourceRoot":"","sources":["../../../src/canonical/entries/nonmonomial.ts"],"names":[],"mappings":"AAwBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACtC,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACpC,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACrC,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACzC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAClC,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACtC,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACvC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACvC,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAChC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAClC,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAEtC,MAAM,CAAC,MAAM,WAAW,GAAiC;IACvD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,QAAQ,EAAE,EACnD;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE;QACxC,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,YAAY,EAAE;QACzD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC3C,EACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,qDAAqD;QACpE,eAAe,EAAE,oBAAoB,EAAE,2CAA2C;QAClF,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;aAC7E,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;gBACvB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,4BAA4B,EAAE,YAAY,CAAC;oBAC/C,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;iBACtB,CAAC;aACH,CAAC;YACF,GAAG,CAAC,iBAAiB,EAAE,QAAQ,CAAC;SACjC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gBAAgB,EAAE,UAAU,EAAE,gCAAgC,CAAC;QAC7E,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE;QAC9C,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;QAC/C,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,IAAI,EAAE;KACpC,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS,EAAE,gCAAgC;QACnD,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB,EAAE,2CAA2C;QAClF,2EAA2E;QAC3E,2EAA2E;QAC3E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;YACpC;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,KAAK;gBACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;oBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;oBACxB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,EAAE,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC;iBAC5E,CAAC;aACH;SACF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,mBAAmB,EAAE,2BAA2B,CAAC;QAC/D,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,MAAM,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC5C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE;KACvC,EACD;QACE,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,8DAA8D;QACrE,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,qBAAqB;QACpC,eAAe,EAAE,oBAAoB,EAAE,8BAA8B;QACrE,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC,CAAC;YAC/D,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC;SAC7B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,0BAA0B,EAAE,0BAA0B,CAAC;QACrE,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,aAAa,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,WAAW,EAAE;QACxD,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,WAAW,EAAE;KACxD,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,KAAK,EAAE,+HAA+H;QACtI,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,oBAAoB,EAAE,mBAAmB;QAC1D,4DAA4D;QAC5D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;YACvB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,4BAA4B,EAAE,WAAW,CAAC;gBAC9C,GAAG,CAAC,2BAA2B,EAAE,WAAW,CAAC;aAC9C,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,EAAE,qBAAqB,CAAC;QACxD,UAAU,EAAE,CAAC,wDAAwD,CAAC;QACtE,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;QACrC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE;QAC/B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,cAAc;QAC7B,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,sEAAsE;QACtE,SAAS,EAAE;YACT,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,KAAK;YACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;gBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;oBAC3B,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;iBAClE,CAAC;aACH,CAAC;SACH;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;QAC1D,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE,EAC9C;QACE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;QACnC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EACD;QACE,EAAE,EAAE,mBAAmB;QACvB,KAAK,EAAE,mBAAmB;QAC1B,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,WAAW,EAAE,iDAAiD;QACtE,aAAa,EAAE,uDAAuD;QACtE,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,0EAA0E;QAC1E,mEAAmE;QACnE,SAAS,EAAE,GAAG,CACZ,EAAE,CAAC,GAAG,EAAE;YACN,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;YACvB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;gBACnC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;aAC7B,CAAC;SACH,CAAC,EACF,MAAM,CACP;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,iBAAiB,CAAC;QACtD,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,MAAM,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE;KACjD,EACD;QACE,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,kDAAkD;QACzD,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,uDAAuD;QACtE,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,0EAA0E;QAC1E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;gBAChB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;aAChD,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,kBAAkB,EAAE,aAAa,CAAC,EAAE;aACnF,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,oCAAoC,EAAE,uBAAuB,CAAC;QAC5E,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,+BAA+B,EAAE,GAAG,EAAE,cAAc,EAAE,EAC9D;QACE,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;QAC7C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;KAC9C,EACD;QACE,EAAE,EAAE,oBAAoB;QACxB,KAAK,EAAE,gHAAgH;QACvH,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,8EAA8E;QAC7F,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qFAAqF;QACrF,mFAAmF;QACnF,sEAAsE;QACtE,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,OAAO,EAAE,cAAc,CAAC;YAC5B,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC;gBAC9C,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC;aAC/C,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,oBAAoB,EAAE,wBAAwB,EAAE,wDAAwD,CAAC;QACvH,UAAU,EAAE,CAAC,4BAA4B,CAAC;QAC1C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,aAAa,EAAE,EAC/C;QACE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE;QAC9C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,aAAa,EAAE;QAClD,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,aAAa,EAAE;KACpD,EACD;QACE,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,+IAA+I;QACtJ,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,kBAAkB,EAAE,SAAS;QACrC,aAAa,EAAE,2CAA2C,EAAE,gBAAgB;QAC5E,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qDAAqD;QACrD,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;gBACpC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC,EAAE;aACrF,CAAC;YACF,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,qBAAqB,EAAE,aAAa,CAAC,EAAE;SACtF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,EAAE,0CAA0C,CAAC;QAC7E,UAAU,EAAE,CAAC,6BAA6B,CAAC;QAC3C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,SAAS,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC9C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,aAAa,EAAE;KACnD,EACD;QACE,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,yBAAyB;QAChC,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,wBAAwB;QACvC,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qDAAqD;QACrD,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,oBAAoB,EAAE,SAAS,CAAC;YACpC,GAAG,CACD,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC,EAAE,EACpF,GAAG,CACJ;SACF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,wBAAwB,EAAE,4CAA4C,CAAC;QACrF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,cAAc,EAAE,EAAE;KACnB,CACF;IACD,6EAA6E;IAC7E,6EAA6E;IAC7E,2EAA2E;IAC3E,qEAAqE;IACrE,6EAA6E;IAC7E,iBAAiB;IACjB,EAAE,CACA,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,MAAM,EAAE,EAC/C;QACE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE;QACnC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,MAAM,EAAE;KAC7C,EACD;QACE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,mBAAmB;QAClC,eAAe,EAAE,oBAAoB;QACrC,kEAAkE;QAClE,uEAAuE;QACvE,6DAA6D;QAC7D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC;YACzB,GAAG,CAAC,qBAAqB,EAAE,MAAM,CAAC;SACnC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE;YACX,eAAe;YACf,0DAA0D;SAC3D;QACD,UAAU,EAAE,CAAC,eAAe,EAAE,wBAAwB,CAAC;QACvD,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE,EAC7C;QACE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE;QAC/B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE;KACjD,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,KAAK,EAAE,uBAAuB;QAC9B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC;YACrB;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,IAAI;gBACR,GAAG,EAAE,GAAG,CAAC,kBAAkB,EAAE,aAAa,CAAC;aAC5C;SACF,CAAC;QACF,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE;QACvB,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,yBAAyB,EAAE,0BAA0B,CAAC;QACpE,UAAU,EAAE,CAAC,kCAAkC,EAAE,aAAa,CAAC;QAC/D,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,cAAc,EAAE,EAC3D;QACE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,MAAM,EAAE;QAC3C,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,MAAM,EAAE;KAC7C,EACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,SAAS,EAAE;YACT,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;YACjC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,kEAAkE;YACnF,OAAO,EAAE,yEAAyE;SACnF;QACD,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,aAAa;QACrB,aAAa,EACX,qEAAqE;QACvE,yEAAyE;QACzE,0EAA0E;QAC1E,4CAA4C;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,KAAK;gBACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;oBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;oBACxB,EAAE,CAAC,GAAG,EAAE;wBACN,GAAG,CAAC,GAAG,CAAC,qBAAqB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;wBAC5C,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;qBAChF,CAAC;iBACH,CAAC;aACH;YACD,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC;SAClC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE;YACX,WAAW;YACX,uEAAuE;YACvE,uEAAuE;YACvE,oEAAoE;YACpE,wEAAwE;YACxE,6DAA6D;SAC9D;QACD,UAAU,EAAE;YACV,0BAA0B;YAC1B,kDAAkD;SACnD;QACD,cAAc,EAAE,EAAE;KACnB,CACF;CACF,CAAC","sourcesContent":["/**\n * L1-sum tier — the FIRST canonical entries whose RHS is a genuine\n * NON-monomial: a sum (Bernoulli) and a transcendental (radioactive decay).\n * Dimensional analysis alone cannot pin either as a power-monomial (there are\n * several pressure-dimensioned terms in Bernoulli; a dimensionless factor in\n * decay), so the engine reports `monomial: null` with `freeDimensionlessGroups\n * >= 1` — the CLASSIC \"dimensionally underdetermined\" state that carries no\n * monomial. What makes these entries new is that the exact form IS known and is\n * carried in the `scalarAst` (so `epistemicStatus` reflects the known closed\n * form, not the dimensional under-determination). Built via `l1()` so the L0\n * fields are engine-derived and self-consistent (F1: monomial:null ⟺ freeGroups\n * >= 1) exactly like the existing underdetermined monomials (Newton F,\n * Bekenstein-Hawking).\n *\n * Value: these enrich the canonical *reference* with famous non-monomial laws\n * and are structurally scanned by `scanLinkages` / `upt recover` (normalForm is\n * sum- and transcendental-aware). A 2026-07-04 measurement found they produce\n * ZERO structural bridge matches today — the value is reference-completeness,\n * not bridge-validation (design + measurement:\n * docs/superpowers/specs/2026-07-04-l1-sum-tier-design.md).\n *\n * @module canonical/entries/nonmonomial\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport { DIMENSIONLESS, TIME } from '../../dimensional/types.js';\nimport { dim, op, pow, l1 } from './_l1-build.js';\n\nconst PRESSURE = dim(-1, 1, -2, 0, 0);\nconst DENSITY = dim(-3, 1, 0, 0, 0);\nconst VELOCITY = dim(1, 0, -1, 0, 0);\nconst ACCELERATION = dim(1, 0, -2, 0, 0);\nconst HEIGHT = dim(1, 0, 0, 0, 0);\nconst DECAY_CONSTANT = dim(0, 0, -1, 0, 0);\nconst ENERGY = dim(2, 1, -2, 0, 0);\nconst PLANCK = dim(2, 1, -1, 0, 0);\nconst FREQUENCY = dim(0, 0, -1, 0, 0);\nconst TEMPERATURE = dim(0, 0, 0, 0, 1);\nconst BOLTZMANN = dim(2, 1, -2, 0, -1);\nconst MASS = dim(0, 1, 0, 0, 0);\nconst LENGTH = dim(1, 0, 0, 0, 0);\nconst INVERSE_LENGTH = dim(-1, 0, 0, 0, 0);\nconst INTENSITY = dim(0, 1, -3, 0, 0);\n\nexport const NONMONOMIAL: readonly CanonicalEquation[] = [\n  l1(\n    { name: 'bernoulli-total-pressure', dim: PRESSURE },\n    [\n      { name: 'density', dim: DENSITY },\n      { name: 'flow-velocity', dim: VELOCITY },\n      { name: 'gravitational-acceleration', dim: ACCELERATION },\n      { name: 'height', dim: HEIGHT },\n      { name: 'static-pressure', dim: PRESSURE },\n    ],\n    {\n      id: 'CE-bernoulli',\n      name: 'Bernoulli equation',\n      domain: 'mechanics',\n      formula_latex: '\\\\tfrac12 \\\\rho v^2 + \\\\rho g h + P = \\\\text{const}',\n      epistemicStatus: 'fully-quantitative', // P + ½ρv² + ρgh, the exact total pressure\n      scalarAst: op('+', [\n        op('*', [\n          sym('0.5', DIMENSIONLESS),\n          op('*', [sym('density', DENSITY), pow(sym('flow-velocity', VELOCITY), '2')]),\n        ]),\n        op('*', [\n          sym('density', DENSITY),\n          op('*', [\n            sym('gravitational-acceleration', ACCELERATION),\n            sym('height', HEIGHT),\n          ]),\n        ]),\n        sym('static-pressure', PRESSURE),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: ['incompressible', 'inviscid', 'steady flow along a streamline'],\n      references: ['Bernoulli 1738 Hydrodynamica'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'remaining-nuclei', dim: DIMENSIONLESS },\n    [\n      { name: 'initial-nuclei', dim: DIMENSIONLESS },\n      { name: 'decay-constant', dim: DECAY_CONSTANT },\n      { name: 'elapsed-time', dim: TIME },\n    ],\n    {\n      id: 'CE-radioactive-decay',\n      name: 'Radioactive decay law',\n      domain: 'quantum', // matches CE-half-life's domain\n      formula_latex: 'N = N_0 e^{-\\\\lambda t}',\n      epistemicStatus: 'fully-quantitative', // exact closed form (carried in scalarAst)\n      // N0 · exp(−(λ·t)); the exp arg λt is dimensionless ([T⁻¹]·[T]); the unary\n      // minus is the sym('-1', DIMENSIONLESS) multiplicative stub (be-34 idiom).\n      scalarAst: op('*', [\n        sym('initial-nuclei', DIMENSIONLESS),\n        {\n          kind: 'transcendental',\n          fn: 'exp',\n          arg: op('*', [\n            sym('-1', DIMENSIONLESS),\n            op('*', [sym('decay-constant', DECAY_CONSTANT), sym('elapsed-time', TIME)]),\n          ]),\n        },\n      ]),\n      regime: { scale: 'quantum' },\n      assumptions: ['first-order decay', 'large-N statistical limit'],\n      references: ['Rutherford & Soddy 1902'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'photoelectron-max-energy', dim: ENERGY },\n    [\n      { name: 'h', dim: PLANCK },\n      { name: 'photon-frequency', dim: FREQUENCY },\n      { name: 'work-function', dim: ENERGY },\n    ],\n    {\n      id: 'CE-photoelectric',\n      holds: 'h * photon-frequency >= work-function and work-function >= 0',\n      name: 'Photoelectric equation',\n      domain: 'quantum',\n      formula_latex: 'K_{\\\\max} = h f - W',\n      epistemicStatus: 'fully-quantitative', // exact: hf − W (both energy)\n      scalarAst: op('-', [\n        op('*', [sym('h', PLANCK), sym('photon-frequency', FREQUENCY)]),\n        sym('work-function', ENERGY),\n      ]),\n      regime: { scale: 'quantum' },\n      assumptions: ['single-photon absorption', 'above threshold (hf > W)'],\n      references: ['Einstein 1905 Ann. Phys. 17:132'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'carnot-efficiency', dim: DIMENSIONLESS },\n    [\n      { name: 'cold-reservoir-temperature', dim: TEMPERATURE },\n      { name: 'hot-reservoir-temperature', dim: TEMPERATURE },\n    ],\n    {\n      id: 'CE-carnot-efficiency',\n      holds: 'cold-reservoir-temperature >= 0 and hot-reservoir-temperature > 0 and cold-reservoir-temperature <= hot-reservoir-temperature',\n      name: 'Carnot efficiency',\n      domain: 'thermodynamics',\n      formula_latex: '\\\\eta = 1 - \\\\tfrac{T_c}{T_h}',\n      epistemicStatus: 'fully-quantitative', // exact: 1 − Tc/Th\n      // 1 − Tc/Th; the leading 1 is a dimensionless literal stub.\n      scalarAst: op('-', [\n        sym('1', DIMENSIONLESS),\n        op('/', [\n          sym('cold-reservoir-temperature', TEMPERATURE),\n          sym('hot-reservoir-temperature', TEMPERATURE),\n        ]),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: ['reversible cycle', 'two heat reservoirs'],\n      references: ['Carnot 1824 Réflexions sur la puissance motrice du feu'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'boltzmann-factor', dim: DIMENSIONLESS },\n    [\n      { name: 'state-energy', dim: ENERGY },\n      { name: 'k_B', dim: BOLTZMANN },\n      { name: 'temperature', dim: TEMPERATURE },\n    ],\n    {\n      id: 'CE-boltzmann-factor',\n      name: 'Boltzmann factor',\n      domain: 'statistical',\n      formula_latex: 'e^{-E/k_B T}',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // exp(−E/(kB·T)); the arg −E/(kB T) is dimensionless (energy/energy).\n      scalarAst: {\n        kind: 'transcendental',\n        fn: 'exp',\n        arg: op('*', [\n          sym('-1', DIMENSIONLESS),\n          op('/', [\n            sym('state-energy', ENERGY),\n            op('*', [sym('k_B', BOLTZMANN), sym('temperature', TEMPERATURE)]),\n          ]),\n        ]),\n      },\n      regime: { scale: 'classical' },\n      assumptions: ['canonical ensemble', 'thermal equilibrium'],\n      references: ['Boltzmann 1868 Wien. Ber. 58:517'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'lorentz-factor', dim: DIMENSIONLESS },\n    [\n      { name: 'velocity', dim: VELOCITY },\n      { name: 'c', dim: VELOCITY },\n    ],\n    {\n      id: 'CE-lorentz-factor',\n      holds: 'abs(velocity) < c',\n      name: 'Lorentz factor',\n      domain: 'mechanics', // SR precedent — matches CE-mass-energy's domain\n      formula_latex: '\\\\gamma = \\\\left(1 - \\\\tfrac{v^2}{c^2}\\\\right)^{-1/2}',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // (1 − v²/c²)^(−1/2); the base is dimensionless (velocity²/velocity²), so\n      // the fractional literal exponent '-0.5' validates on it directly.\n      scalarAst: pow(\n        op('-', [\n          sym('1', DIMENSIONLESS),\n          op('/', [\n            pow(sym('velocity', VELOCITY), '2'),\n            pow(sym('c', VELOCITY), '2'),\n          ]),\n        ]),\n        '-0.5',\n      ),\n      regime: { scale: 'classical' },\n      assumptions: ['special relativity', 'inertial frames'],\n      references: ['Einstein 1905 Ann. Phys. 17:891'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'compton-wavelength-shift', dim: LENGTH },\n    [\n      { name: 'h', dim: PLANCK },\n      { name: 'm_e', dim: MASS },\n      { name: 'c', dim: VELOCITY },\n      { name: 'scattering-angle', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-compton-shift',\n      holds: 'scattering-angle >= 0 and scattering-angle <= pi',\n      name: 'Compton shift',\n      domain: 'quantum',\n      formula_latex: '\\\\Delta\\\\lambda = \\\\tfrac{h}{m_e c}(1 - \\\\cos\\\\theta)',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // (h/(m·c))·(1 − cos θ); the cos arg (scattering angle) is dimensionless.\n      scalarAst: op('*', [\n        op('/', [\n          sym('h', PLANCK),\n          op('*', [sym('m_e', MASS), sym('c', VELOCITY)]),\n        ]),\n        op('-', [\n          sym('1', DIMENSIONLESS),\n          { kind: 'transcendental', fn: 'cos', arg: sym('scattering-angle', DIMENSIONLESS) },\n        ]),\n      ]),\n      regime: { scale: 'quantum' },\n      assumptions: ['elastic photon-electron scattering', 'free electron at rest'],\n      references: ['Compton 1923 Phys. Rev. 21:483'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'inverse-transition-wavelength', dim: INVERSE_LENGTH },\n    [\n      { name: 'lower-level-n', dim: DIMENSIONLESS },\n      { name: 'upper-level-n', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-rydberg-formula',\n      holds: 'isInteger(lower-level-n) and isInteger(upper-level-n) and lower-level-n >= 1 and upper-level-n > lower-level-n',\n      name: 'Rydberg formula',\n      domain: 'quantum',\n      formula_latex: '\\\\tfrac{1}{\\\\lambda} = R\\\\left(\\\\tfrac{1}{n_1^2} - \\\\tfrac{1}{n_2^2}\\\\right)',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // R∞·(1/n1² − 1/n2²); both level numbers are dimensionless integer counts. R∞ is the\n      // registered constant (infinite nuclear mass); the reduced-mass R_M is not applied\n      // (the owner's decision of 2026-10-09: a constant is never an input).\n      scalarAst: op('*', [\n        sym('R_inf', INVERSE_LENGTH),\n        op('-', [\n          pow(sym('lower-level-n', DIMENSIONLESS), '-2'),\n          pow(sym('upper-level-n', DIMENSIONLESS), '-2'),\n        ]),\n      ]),\n      regime: { scale: 'quantum' },\n      assumptions: ['hydrogen-like atom', 'bound-state transition', 'infinite nuclear mass (R∞; no reduced-mass correction)'],\n      references: ['Rydberg 1890 / Balmer 1885'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'refracted-index', dim: DIMENSIONLESS },\n    [\n      { name: 'incident-index', dim: DIMENSIONLESS },\n      { name: 'angle-of-incidence', dim: DIMENSIONLESS },\n      { name: 'angle-of-refraction', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-snell-law',\n      holds: 'incident-index > 0 and angle-of-incidence >= 0 and angle-of-incidence <= pi / 2 and angle-of-refraction > 0 and angle-of-refraction <= pi / 2',\n      name: \"Snell's law\",\n      domain: 'electromagnetism', // optics\n      formula_latex: 'n_2 = n_1 \\\\sin\\\\theta_1 / \\\\sin\\\\theta_2', // solved for n2\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // n1·sin θ1 / sin θ2; both angles are dimensionless.\n      scalarAst: op('/', [\n        op('*', [\n          sym('incident-index', DIMENSIONLESS),\n          { kind: 'transcendental', fn: 'sin', arg: sym('angle-of-incidence', DIMENSIONLESS) },\n        ]),\n        { kind: 'transcendental', fn: 'sin', arg: sym('angle-of-refraction', DIMENSIONLESS) },\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: ['geometric optics', 'planar interface between isotropic media'],\n      references: ['Snell 1621 / Descartes 1637'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'transmitted-intensity', dim: INTENSITY },\n    [\n      { name: 'incident-intensity', dim: INTENSITY },\n      { name: 'polarization-angle', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-malus-law',\n      holds: 'incident-intensity >= 0',\n      name: \"Malus's law\",\n      domain: 'electromagnetism',\n      formula_latex: 'I = I_0 \\\\cos^2\\\\theta',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // I0·cos²θ; the polarization angle is dimensionless.\n      scalarAst: op('*', [\n        sym('incident-intensity', INTENSITY),\n        pow(\n          { kind: 'transcendental', fn: 'cos', arg: sym('polarization-angle', DIMENSIONLESS) },\n          '2',\n        ),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: ['ideal linear polarizer', 'coherent linearly-polarized incident light'],\n      references: ['Malus 1809'],\n      partnerBridges: [],\n    },\n  ),\n  // ── poster entries 1, 2, 13 (Sprint 3 / ROADMAP Phase 3) ──────────────────\n  // Three of the sixteen poster equations that the registry did not yet carry.\n  // Entry numbers are the ROADMAP Phase 3 bridge-line numbering; the entries\n  // themselves are DERIVED from the identifying context of those lines\n  // (`2 → 13`, `2 → 1`, `13 ↔ 4`, `6 ↔ 13`), not from Appendix A, which is not\n  // vendored here.\n  l1(\n    { name: 'internal-energy-change', dim: ENERGY },\n    [\n      { name: 'heat-added', dim: ENERGY },\n      { name: 'work-done-by-system', dim: ENERGY },\n    ],\n    {\n      id: 'CE-first-law-thermodynamics',\n      name: 'First law of thermodynamics',\n      domain: 'thermodynamics',\n      formula_latex: '\\\\Delta U = Q - W',\n      epistemicStatus: 'fully-quantitative',\n      // A genuine DIFFERENCE of two same-dimensioned terms: dimensional\n      // analysis alone cannot pin it (three energies), so the engine reports\n      // monomial: null with freeGroups >= 1, like Bernoulli above.\n      scalarAst: op('-', [\n        sym('heat-added', ENERGY),\n        sym('work-done-by-system', ENERGY),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: [\n        'closed system',\n        'sign convention: Q into the system, W done by the system',\n      ],\n      references: ['Clausius 1850', 'Callen, Thermodynamics'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'boltzmann-entropy', dim: BOLTZMANN },\n    [\n      { name: 'k_B', dim: BOLTZMANN },\n      { name: 'microstate-count', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-boltzmann-entropy',\n      holds: 'microstate-count >= 1',\n      name: 'Boltzmann entropy',\n      domain: 'statistical',\n      formula_latex: 'S = k_B \\ln W',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      scalarAst: op('*', [\n        sym('k_B', BOLTZMANN),\n        {\n          kind: 'transcendental',\n          fn: 'ln',\n          arg: sym('microstate-count', DIMENSIONLESS),\n        },\n      ]),\n      forms: { logBase: 'e' },\n      regime: { scale: 'mesoscopic' },\n      assumptions: ['microcanonical ensemble', 'equiprobable microstates'],\n      references: ['Boltzmann 1877 Wien. Ber. 76:373', 'Planck 1901'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'normal-probability-density', dim: INVERSE_LENGTH },\n    [\n      { name: 'standard-deviation', dim: LENGTH },\n      { name: 'deviation-from-mean', dim: LENGTH },\n    ],\n    {\n      id: 'CE-normal-distribution',\n      prefactor: {\n        value: 1 / Math.sqrt(2 * Math.PI),\n        quote: String.raw`\\frac{1}{\\sqrt{2\\pi\\sigma^2}} e^{-\\frac{(x - \\mu)^2}{2\\sigma^2}}`,\n        locator: \"Wikipedia, 'Normal distribution', revision 1376230387, wikitext line 14\",\n      },\n      name: 'Normal (Gaussian) distribution',\n      domain: 'statistical',\n      formula_latex:\n        'p(x) = \\\\frac{1}{\\\\sigma\\\\sqrt{2\\\\pi}} e^{-(x-\\\\mu)^2 / 2\\\\sigma^2}',\n      // The 1/√(2π) normalisation is the sourced prefactor above. The ½ in the\n      // exponent is NOT a prefactor: e^{-u²/(2σ²)} and e^{-u²/σ²} are different\n      // functions, so the 2 stays inside the AST.\n      epistemicStatus: 'scalar-up-to-constant',\n      scalarAst: op('/', [\n        {\n          kind: 'transcendental',\n          fn: 'exp',\n          arg: op('*', [\n            sym('-1', DIMENSIONLESS),\n            op('/', [\n              pow(sym('deviation-from-mean', LENGTH), '2'),\n              op('*', [sym('2', DIMENSIONLESS), pow(sym('standard-deviation', LENGTH), '2')]),\n            ]),\n          ]),\n        },\n        sym('standard-deviation', LENGTH),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: [\n        'sigma > 0',\n        // The variate carries whatever dimension the modelled quantity has; it\n        // is taken length-dimensioned here as the representative case, so that\n        // the density is inverse-length. Nothing in the law depends on that\n        // choice — only the two dimensions cancelling inside the exponent does.\n        'variate taken length-dimensioned as the representative case',\n      ],\n      references: [\n        'Gauss 1809 Theoria Motus',\n        'Laplace 1812 Théorie analytique des probabilités',\n      ],\n      partnerBridges: [],\n    },\n  ),\n];\n"]}

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

@@ -1 +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,mCAAmC,CAAC;AACxD,OAAO,EACL,MAAM,EACN,aAAa,EACb,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,OAAO,EACP,WAAW,EACX,IAAI,EACJ,KAAK,GACN,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,yFAAyF;AACzF,MAAM,QAAQ,GAA8B;IAC1C,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,cAAc,EAAE,uJAAuJ;QACvK,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,mEAAmE;QAClF,eAAe,EAAE,oBAAoB;QACrC,yEAAyE;QACzE,sEAAsE;QACtE,+BAA+B;QAC/B,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,uBAAuB,EAAE,cAAc,CAAC,CAAC,CAAC;YAClG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;SAC7B,CAAC;QACF,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,CACA,gBAAgB,EAChB;QACE,GAAG,aAAa;QAChB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QACjC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,EAAE;QAC3C,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;KACtC,EACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,KAAK,EAAE,sGAAsG;QAC7G,IAAI,EAAE,qCAAqC;QAC3C,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,mCAAmC;QAClD,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,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;gBACzE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;gBAC1E,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;aACtC,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;QACzD,WAAW,EAAE,CAAC,kBAAkB,EAAE,KAAK,EAAE,MAAM,EAAE,4BAA4B,CAAC;QAC9E,UAAU,EAAE,CAAC,gBAAgB,CAAC;QAC9B,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CAAC,gBAAgB,EAAE,aAAa,EAAE;QAClC,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,UAAU;QACjB,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,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;KAC9B,EACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,KAAK,EAAE,UAAU;QACjB,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,MAAM,EAAE,IAAI,CAAC;gBACjB,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,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,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,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YACrE,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,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,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,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YACvE,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;IACD,wEAAwE;IACxE,4EAA4E;IAC5E,8EAA8E;IAC9E,EAAE,CACA,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,OAAO,EAAE,EACpC;QACE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,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,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;KAC9B,EACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,KAAK,EAAE,QAAQ;QACf,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,CACF;IACD,yEAAyE;IACzE,EAAE,CACA,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,KAAK,EAAE,EAC3C;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE;QACrC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,KAAK,EAAE,6CAA6C;QACpD,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,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC,CAAC;YACzE,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,CACF;CACF,CAAC"}
+{"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,mCAAmC,CAAC;AACxD,OAAO,EACL,MAAM,EACN,aAAa,EACb,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,OAAO,EACP,WAAW,EACX,IAAI,EACJ,KAAK,GACN,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,yFAAyF;AACzF,MAAM,QAAQ,GAA8B;IAC1C,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,cAAc,EAAE,uJAAuJ;QACvK,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,mEAAmE;QAClF,eAAe,EAAE,oBAAoB;QACrC,yEAAyE;QACzE,sEAAsE;QACtE,+BAA+B;QAC/B,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,uBAAuB,EAAE,cAAc,CAAC,CAAC,CAAC;YAClG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;SAC7B,CAAC;QACF,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,CACA,gBAAgB,EAChB;QACE,GAAG,aAAa;QAChB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QACjC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,EAAE;QAC3C,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;KACtC,EACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,KAAK,EAAE,sGAAsG;QAC7G,IAAI,EAAE,qCAAqC;QAC3C,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,mCAAmC;QAClD,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,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;gBACzE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;gBAC1E,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;aACtC,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;QACzD,WAAW,EAAE,CAAC,kBAAkB,EAAE,KAAK,EAAE,MAAM,EAAE,4BAA4B,CAAC;QAC9E,UAAU,EAAE,CAAC,gBAAgB,CAAC;QAC9B,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CAAC,gBAAgB,EAAE,aAAa,EAAE;QAClC,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,UAAU;QACjB,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,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;KAC9B,EACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,KAAK,EAAE,UAAU;QACjB,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,MAAM,EAAE,IAAI,CAAC;gBACjB,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,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,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,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YACrE,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,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,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,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YACvE,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;IACD,wEAAwE;IACxE,4EAA4E;IAC5E,8EAA8E;IAC9E,EAAE,CACA,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,OAAO,EAAE,EACpC;QACE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,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,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;KAC9B,EACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,KAAK,EAAE,QAAQ;QACf,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,CACF;IACD,yEAAyE;IACzE,EAAE,CACA,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,KAAK,EAAE,EAC3C;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE;QACrC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,KAAK,EAAE,6CAA6C;QACpD,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,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC,CAAC;YACzE,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,CACF;CACF,CAAC","sourcesContent":["/**\n * Relativity canonical entries: the Einstein field equation (L2 — a structural\n * `EinsteinFieldEquationNode` validated by the existing field-equation\n * predicate) and the Friedmann equation (L1 — the flat, matter-dominated scalar\n * form H² = 8πG ρ / 3).\n *\n * @module canonical/entries/relativity\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport type { EinsteinFieldEquationNode } from '../../dimensional/einstein-equation.js';\nimport type { EinsteinTensorNode } from '../../dimensional/curvature.js';\nimport type {\n  StressEnergyTensorNode,\n  CosmologicalConstantNode,\n} from '../../dimensional/stress-energy-validators.js';\nimport type { MetricTensorNode } from '../../dimensional/metric-validators.js';\nimport type { RiemannTensorNode } from '../../dimensional/connection-validators.js';\nimport { metric } from '../../dimensional/metric.js';\nimport { tsym } from '../../dimensional/tensor.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport {\n  LENGTH,\n  DIMENSIONLESS,\n  MASS,\n  VELOCITY,\n  ACTION,\n  ENTROPY,\n  TEMPERATURE,\n  AREA,\n  FORCE,\n} from '../../dimensional/types.js';\nimport { dim, op, pow, l1 } from './_l1-build.js';\n\n// ── EFE node builders (the canonical G_μν + Λg_μν = (8πG/c⁴)T_μν structure) ──\nconst L_INV2 = dim(-2); // [L⁻²] — per-component dim of every EFE term\nconst ENERGY_DENSITY = dim(-1, 1, -2); // T_μν componentDim [M L⁻¹ T⁻²]\n\nfunction buildRiemann(mu = 'mu', nu = 'nu'): RiemannTensorNode {\n  const gLower = metric(\n    'g',\n    [\n      { label: 'a', variance: 'lower' },\n      { label: 'b', variance: 'lower' },\n    ],\n    DIMENSIONLESS,\n    '-,+,+,+',\n  );\n  const gInverse = metric(\n    'g_inv',\n    [\n      { label: 'a', variance: 'upper' },\n      { label: 'b', variance: 'upper' },\n    ],\n    DIMENSIONLESS,\n    '-,+,+,+',\n  );\n  const xCoord = tsym(\n    'x',\n    [{ label: 'c', variance: 'upper' }],\n    LENGTH,\n    'coordinate',\n  );\n  return {\n    kind: 'riemann-tensor',\n    upperIndex: { label: 'rho', variance: 'upper' },\n    lowerIndices: [\n      { label: mu, variance: 'lower' },\n      { label: 'lambda', variance: 'lower' },\n      { label: nu, variance: 'lower' },\n    ],\n    gLower,\n    gInverse,\n    xCoord,\n  };\n}\n\nfunction buildEinstein(mu = 'mu', nu = 'nu'): EinsteinTensorNode {\n  const riemann = buildRiemann(mu, nu);\n  return {\n    kind: 'einstein-tensor',\n    riemann,\n    gLower: riemann.gLower,\n    gInverse: riemann.gInverse,\n  };\n}\n\nconst buildT = (mu = 'mu', nu = 'nu'): StressEnergyTensorNode => ({\n  kind: 'stress-energy',\n  symbol: 'T',\n  indices: [\n    { label: mu, variance: 'lower' },\n    { label: nu, variance: 'lower' },\n  ],\n  symmetry: 'symmetric',\n  componentDim: ENERGY_DENSITY,\n});\n\nconst buildLambda = (): CosmologicalConstantNode => ({\n  kind: 'cosmological-constant',\n  symbol: 'Λ',\n  dim: L_INV2,\n});\n\nconst buildMetric = (): MetricTensorNode =>\n  metric(\n    'g_metric',\n    [\n      { label: 'mu', variance: 'lower' },\n      { label: 'nu', variance: 'lower' },\n    ],\n    DIMENSIONLESS,\n    '-,+,+,+',\n  );\n\n/** The canonical Einstein field equation node, G_μν + Λg_μν = (8πG/c⁴)T_μν. @internal */\nconst EFE_NODE: EinsteinFieldEquationNode = {\n  kind: 'einstein-equation',\n  lhs: buildEinstein('mu', 'nu'),\n  cosmological: buildLambda(),\n  metric: buildMetric(),\n  rhs: buildT('mu', 'nu'),\n  coupling: 'einstein',\n};\n\n// ── dimensional layer for the EFE (per-component [L⁻²] from 8πG·T/c⁴) ────────\nconst GRAV = dim(3, -1, -2);\nconst EFE_TARGET = { name: 'efe-curvature', dim: L_INV2 };\nconst EFE_GOV = [\n  { name: 'G', dim: GRAV },\n  { name: 'c', dim: dim(1, 0, -1) },\n  { name: 'stress-energy-density', dim: ENERGY_DENSITY },\n];\n\n// ── Friedmann (flat, matter-dominated): H² = 8πG ρ / 3 ───────────────────────\nconst HSQUARED = dim(0, 0, -2); // [T⁻²]\nconst DENSITY = dim(-3, 1); // [M L⁻³]\nconst FRIEDMANN_TARGET = { name: 'hubble-rate-squared', dim: HSQUARED };\nconst FRIEDMANN_GOV = [\n  { name: 'G', dim: GRAV },\n  { name: 'rho', dim: DENSITY },\n];\n\nexport const RELATIVITY: readonly CanonicalEquation[] = [\n  l1(EFE_TARGET, EFE_GOV, {\n    id: 'CE-einstein-field-eq',\n    conventionNote: 'the Einstein-equation metric node is mostly-plus (−,+,+,+), the same signature as upt metric. The 8π is in the scalar AST, so a comparison checks it.',\n    name: 'Einstein field equation',\n    domain: 'general-relativity',\n    formula_latex: 'G_{\\\\mu\\\\nu} + \\\\Lambda g_{\\\\mu\\\\nu} = (8\\\\pi G/c^4) T_{\\\\mu\\\\nu}',\n    epistemicStatus: 'fully-quantitative',\n    // The 8π is in this scalar record as well as in the field equation, so a\n    // comparison checks it. The metric node is mostly-plus, the signature\n    // `upt metric` differentiates.\n    scalarAst: op('/', [\n      op('*', [sym('8pi', DIMENSIONLESS), sym('G', GRAV), sym('stress-energy-density', ENERGY_DENSITY)]),\n      pow(sym('c', VELOCITY), '4'),\n    ]),\n    fieldEquation: EFE_NODE,\n    regime: { force: 'gravitational', symmetry: 'poincare' },\n    assumptions: ['classical GR', 'pseudo-Riemannian spacetime'],\n    references: ['Einstein 1915'],\n    partnerBridges: ['13'], // 13 = Einstein trace reduction (Jacobson stays framing)\n  }),\n  l1(\n    FRIEDMANN_TARGET,\n    [\n      ...FRIEDMANN_GOV,\n      { name: 'c', dim: dim(1, 0, -1) },\n      { name: 'curvature-k', dim: DIMENSIONLESS },\n      { name: 'scale-factor', dim: LENGTH },\n    ],\n    {\n      id: 'CE-friedmann-curvature',\n      holds: 'rho >= 0 and scale-factor > 0 and 8 * pi * G * rho / 3 - curvature-k * c ^ 2 / scale-factor ^ 2 >= 0',\n      name: 'Friedmann equation (with curvature)',\n      domain: 'cosmology',\n      formula_latex: 'H^2 = 8\\\\pi G \\\\rho/3 - k c^2/a^2',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('-', [\n        op('/', [\n          op('*', [sym('8pi', DIMENSIONLESS), sym('G', GRAV), sym('rho', DENSITY)]),\n          sym('3', DIMENSIONLESS),\n        ]),\n        op('/', [\n          op('*', [sym('curvature-k', DIMENSIONLESS), pow(sym('c', VELOCITY), '2')]),\n          pow(sym('scale-factor', LENGTH), '2'),\n        ]),\n      ]),\n      regime: { scale: 'cosmological', force: 'gravitational' },\n      assumptions: ['matter-dominated', 'Λ=0', 'FLRW', 'k the normalized curvature'],\n      references: ['Friedmann 1922'],\n      partnerBridges: [],\n    },\n  ),\n  l1(FRIEDMANN_TARGET, FRIEDMANN_GOV, {\n    id: 'CE-friedmann',\n    holds: 'rho >= 0',\n    name: 'Friedmann equation (flat, matter-dominated)',\n    domain: 'cosmology',\n    formula_latex: 'H^2 = 8\\\\pi G \\\\rho/3',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      op('*', [sym('8pi', DIMENSIONLESS), sym('G', GRAV), sym('rho', DENSITY)]),\n      sym('3', DIMENSIONLESS),\n    ]),\n    regime: { scale: 'cosmological', force: 'gravitational' },\n    assumptions: ['flat (k=0)', 'matter-dominated', 'Λ=0', 'FLRW'],\n    references: ['Friedmann 1922'],\n    partnerBridges: [],\n  }),\n  l1(\n    { name: 'hawking-temperature', dim: TEMPERATURE },\n    [\n      { name: 'hbar', dim: ACTION },\n      { name: 'c', dim: VELOCITY },\n      { name: 'G', dim: GRAV },\n      { name: 'mass', dim: MASS },\n      { name: 'k_B', dim: ENTROPY },\n    ],\n    {\n      id: 'CE-hawking-temperature',\n      holds: 'mass > 0',\n      name: 'Hawking temperature',\n      domain: 'general-relativity',\n      formula_latex: 'T_H = \\\\hbar c^3/(8\\\\pi G M k_B)',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('/', [\n        op('*', [sym('hbar', ACTION), pow(sym('c', VELOCITY), '3')]),\n        op('*', [\n          sym('8pi', DIMENSIONLESS),\n          sym('G', GRAV),\n          sym('mass', MASS),\n          sym('k_B', ENTROPY),\n        ]),\n      ]),\n      regime: { force: 'gravitational' },\n      assumptions: ['Schwarzschild', 'semiclassical'],\n      references: ['Hawking 1975'],\n      // 42 = \"Hawking temperature (canonical 1975)\" — a genuine restatement.\n      partnerBridges: ['42'],\n      restatesBridge: '42',\n    },\n  ),\n  l1(\n    { name: 'light-deflection', dim: DIMENSIONLESS },\n    [\n      { name: 'G', dim: GRAV },\n      { name: 'mass', dim: MASS },\n      { name: 'c', dim: VELOCITY },\n      { name: 'impact_parameter', dim: LENGTH },\n    ],\n    {\n      id: 'CE-light-deflection',\n      name: 'Light deflection (Eddington weak-field)',\n      domain: 'general-relativity',\n      formula_latex: '\\\\alpha = 4 G M/(c^2 b)',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('/', [\n        op('*', [sym('4', DIMENSIONLESS), sym('G', GRAV), sym('mass', MASS)]),\n        op('*', [pow(sym('c', VELOCITY), '2'), sym('impact_parameter', LENGTH)]),\n      ]),\n      regime: { force: 'gravitational' },\n      assumptions: ['weak field', 'grazing ray'],\n      references: ['Einstein 1915; Eddington 1919'],\n      partnerBridges: ['51'],\n      restatesBridge: '51',\n    },\n  ),\n  l1(\n    { name: 'perihelion-precession', dim: DIMENSIONLESS },\n    [\n      { name: 'G', dim: GRAV },\n      { name: 'mass', dim: MASS },\n      { name: 'c', dim: VELOCITY },\n      { name: 'a', dim: LENGTH },\n    ],\n    {\n      id: 'CE-perihelion-precession',\n      name: 'Perihelion precession (Einstein)',\n      domain: 'general-relativity',\n      formula_latex: '\\\\Delta\\\\phi = 6\\\\pi G M/(c^2 a (1-e^2))',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('/', [\n        op('*', [sym('6pi', DIMENSIONLESS), sym('G', GRAV), sym('mass', MASS)]),\n        op('*', [\n          pow(sym('c', VELOCITY), '2'),\n          sym('a', LENGTH),\n          sym('one_minus_e_sq', DIMENSIONLESS),\n        ]),\n      ]),\n      regime: { force: 'gravitational' },\n      assumptions: ['weak field', 'nearly-circular orbit'],\n      references: ['Einstein 1915'],\n      partnerBridges: ['52'],\n      restatesBridge: '52',\n    },\n  ),\n  // ── Folded in from the former l1-gravity-thermo batch file (2026-06-22\n  // god-file split): the gravitation-domain monomials. ──────────────────────\n  // Bekenstein–Hawking entropy  S = k_B c³ A / (4 G ℏ)  (AREA form; free group)\n  l1(\n    { name: 'bh-entropy', dim: ENTROPY },\n    [\n      { name: 'k_B', dim: ENTROPY },\n      { name: 'c', dim: VELOCITY },\n      { name: 'A', dim: AREA },\n      { name: 'G', dim: GRAV },\n      { name: 'hbar', dim: ACTION },\n    ],\n    {\n      id: 'CE-bekenstein-hawking',\n      holds: 'A >= 0',\n      name: 'Bekenstein–Hawking entropy',\n      domain: 'general-relativity',\n      formula_latex: 'S = k_B c^3 A/(4 G \\\\hbar)',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('/', [\n        op('*', [sym('k_B', ENTROPY), pow(sym('c', VELOCITY), '3'), sym('A', AREA)]),\n        op('*', [sym('4', DIMENSIONLESS), sym('G', GRAV), sym('hbar', ACTION)]),\n      ]),\n      forms: { areaOrRadius: 'area' },\n      regime: { force: 'gravitational', information: 'vonNeumann' },\n      assumptions: ['stationary horizon', 'semiclassical'],\n      references: ['Bekenstein 1973; Hawking 1975'],\n      // 42 = Hawking temperature (same black-hole-thermodynamics family). No\n      // bridge literally encodes S=A/4, so no restatesBridge.\n      partnerBridges: ['42'],\n    },\n  ),\n  // Newton's law of gravitation  F = G m₁ m₂ / r²  (free mass-ratio group)\n  l1(\n    { name: 'gravitational-force', dim: FORCE },\n    [\n      { name: 'G', dim: GRAV },\n      { name: 'mass', dim: MASS },\n      { name: 'secondary-mass', dim: MASS },\n      { name: 'r', dim: LENGTH },\n    ],\n    {\n      id: 'CE-newton-gravitation',\n      holds: 'mass >= 0 and secondary-mass >= 0 and r > 0',\n      name: \"Newton's law of gravitation\",\n      domain: 'gravitation',\n      formula_latex: 'F = G m_1 m_2/r^2',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('/', [\n        op('*', [sym('G', GRAV), sym('mass', MASS), sym('secondary-mass', MASS)]),\n        pow(sym('r', LENGTH), '2'),\n      ]),\n      regime: { scale: 'classical', force: 'gravitational' },\n      assumptions: ['point masses', 'non-relativistic'],\n      references: ['Newton 1687'],\n      partnerBridges: [],\n    },\n  ),\n];\n"]}

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

@@ -10,7 +10,7 @@ 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',
@@ -25,7 +25,7 @@ export const STATISTICAL_MECHANICS = [
         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' },
@@ -34,7 +34,7 @@ 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 },
@@ -52,7 +52,7 @@ export const STATISTICAL_MECHANICS = [
         epistemicStatus: 'scalar-up-to-constant',
         scalarAst: op('/', [
             op('*', [
-                sym('boltzmann-constant', BOLTZMANN_CONSTANT),
+                sym('k_B', BOLTZMANN_CONSTANT),
                 sym('temperature', TEMPERATURE),
             ]),
             op('*', [
@@ -94,7 +94,7 @@ 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 },
     ], {

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,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,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,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,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,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,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,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"}
+{"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.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,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"}
+{"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"}