universal-physics-tensor 9.0.0 → 11.0.0

package/dist/dimensional/constant-rows.js

@@ -15,7 +15,7 @@
  *
  * @module dimensional/constant-rows
  */
-import { B_WIEN_SI, C_SI, E_SI, EPS0_SI, FARADAY_SI, G_SI, GM_SUN_SI, H_SI, HBAR_CODATA_DISPLAY, HBAR_SI, K_B_SI, LANE_EMDEN_OMEGA3, M_E_SI, M_PROTON_SI, M_SUN_IAU_SI, M_SUN_SI, M_U_SI, MU0_SI, N_A_SI, SIGMA_SB_SI, THOMSON_CROSS_SECTION_SI, } from '../core/constants.js';
+import { B_WIEN_SI, C_SI, E_SI, EPS0_SI, EULER_GAMMA, FARADAY_SI, G_SI, GM_SUN_SI, H_SI, HBAR_CODATA_DISPLAY, HBAR_SI, K_B_SI, LANE_EMDEN_OMEGA3, M_E_SI, M_PROTON_SI, M_SUN_IAU_SI, M_SUN_SI, M_U_SI, MU0_SI, N_A_SI, SIGMA_SB_SI, THOMSON_CROSS_SECTION_SI, R_INF_SI } from '../core/constants.js';
 const row = (input) => ({
     ...input,
     spellings: input.spellings ?? [],
@@ -25,16 +25,18 @@ const OWNER = 'core/constants.ts';
 /** Every registered constant as written. Order is the order the tables print. @internal */
 export const CONSTANT_ROWS = [
     // ── universal constants a canonical equation may bake ──────────────────
-    row({ name: 'hbar', spellings: ['ℏ'], value: HBAR_SI, unit: 'J*s', canonical: true, mathts: 'reducedPlanckConstant', exact: true,
+    row({ name: 'hbar', spellings: ['ℏ', 'reduced-planck-constant'], value: HBAR_SI, unit: 'J*s', canonical: true, mathts: 'reducedPlanckConstant', exact: true,
         meaning: 'reduced Planck constant h/(2π)', source: `exact H_SI/(2π) (${OWNER} HBAR_SI)`,
         note: `hbar is HBAR_SI = H_SI/(2π), the exact reduced Planck constant. The CODATA display ${HBAR_CODATA_DISPLAY} ` +
             `is that quotient truncated (relative difference ${(Math.abs(HBAR_CODATA_DISPLAY - HBAR_SI) / HBAR_SI).toExponential(3)}).` }),
     row({ name: 'h', quantity: 'planck-constant', value: H_SI, unit: 'J*s', canonical: true, mathts: 'planckConstant', exact: true,
         meaning: 'Planck constant', source: `exact SI, 2019 redefinition (${OWNER} H_SI)` }),
-    row({ name: 'c', value: C_SI, unit: 'm/s', canonical: true, mathts: 'speedOfLight', exact: true,
+    row({ name: 'c', spellings: ['speed-of-light', 'speed_of_light'], value: C_SI, unit: 'm/s', canonical: true, mathts: 'speedOfLight', exact: true,
         meaning: 'speed of light in vacuum', source: `exact SI (${OWNER} C_SI)` }),
+    row({ name: 'R_inf', spellings: ['Rinf', 'R_infinity', 'rydberg'], quantity: 'rydberg-constant', value: R_INF_SI, unit: '1/m', canonical: true, mathts: 'rydberg',
+        meaning: 'Rydberg constant R∞, infinite nuclear mass (the reduced-mass correction R_M = R∞/(1 + m_e/M) is not applied)', source: `CODATA 2022, MathTS (${OWNER} R_INF_SI)` }),
     row({ name: 'G', value: G_SI, unit: 'm^3/(kg*s^2)', canonical: true, mathts: 'gravitationConstant',
-        meaning: 'Newtonian gravitational constant', source: `CODATA 2018 (${OWNER} G_SI)` }),
+        meaning: 'Newtonian gravitational constant', source: `CODATA 2022, MathTS (${OWNER} G_SI)` }),
     row({ name: 'k_B', spellings: ['kB', 'boltzmann'], quantity: 'boltzmann-constant', value: K_B_SI, unit: 'J/K', canonical: true, mathts: 'boltzmann', exact: true,
         meaning: 'Boltzmann constant', source: `exact SI, 2019 redefinition (${OWNER} K_B_SI)` }),
     row({ name: 'ln2', value: Math.LN2, unit: '1', canonical: true, irrational: true,
@@ -50,26 +52,26 @@ export const CONSTANT_ROWS = [
     // dimensionless governing name e.
     row({ name: 'e', spellings: ['e_charge'], value: E_SI, unit: 'C', canonical: true, mathts: 'elementaryCharge', exact: true,
         meaning: 'elementary charge', source: `exact SI, 2019 redefinition (${OWNER} E_SI)` }),
-    row({ name: 'epsilon_0', spellings: ['epsilon0', 'eps0'], value: EPS0_SI, unit: 'F/m', canonical: true,
-        meaning: 'vacuum permittivity', source: `CODATA 2018 (${OWNER} EPS0_SI)` }),
+    row({ name: 'epsilon_0', spellings: ['epsilon0', 'eps0', 'vacuum-permittivity'], value: EPS0_SI, unit: 'F/m', canonical: true,
+        meaning: 'vacuum permittivity', source: `CODATA 2022, MathTS (${OWNER} EPS0_SI)` }),
     row({ name: 'sigma_sb', spellings: ['stefan-boltzmann-constant'], value: SIGMA_SB_SI, unit: 'W/(m^2*K^4)', canonical: true, mathts: 'stefanBoltzmann',
-        meaning: 'Stefan–Boltzmann constant', source: `CODATA 2018 (${OWNER} SIGMA_SB_SI)` }),
+        meaning: 'Stefan–Boltzmann constant', source: `CODATA 2022, MathTS (${OWNER} SIGMA_SB_SI)` }),
     row({ name: 'b', spellings: ['wien-constant'], value: B_WIEN_SI, unit: 'm*K', canonical: true, mathts: 'wienDisplacement',
-        meaning: 'Wien displacement constant', source: `CODATA 2018 (${OWNER} B_WIEN_SI)` }),
+        meaning: 'Wien displacement constant', source: `CODATA 2022, MathTS (${OWNER} B_WIEN_SI)` }),
     // IAU 2015 nominal solar parameter. M_sun in eval stays the rounded kilogram M_SUN_SI.
     row({ name: 'GM_sun', value: GM_SUN_SI, unit: 'm^3/s^2', canonical: true,
         meaning: 'IAU nominal solar gravitational parameter (GM)☉', source: `IAU 2015 Resolution B3 (${OWNER} GM_SUN_SI)` }),
     row({ name: 'Msun_iau', value: M_SUN_IAU_SI, unit: 'kg', canonical: true,
         meaning: 'IAU solar mass (GM)☉/G, the mass that reproduces GM_sun with G_SI', source: `GM_SUN_SI/G_SI (${OWNER} M_SUN_IAU_SI)` }),
     row({ name: 'm_u', value: M_U_SI, unit: 'kg', canonical: true, mathts: 'atomicMass',
-        meaning: 'unified atomic mass unit (atomic mass constant)', source: `CODATA 2018 (${OWNER} M_U_SI)` }),
-    row({ name: 'm_e', spellings: ['electron_mass'], value: M_E_SI, unit: 'kg', canonical: true, mathts: 'electronMass',
-        meaning: 'electron mass', source: `CODATA 2018 (${OWNER} M_E_SI)` }),
+        meaning: 'unified atomic mass unit (atomic mass constant)', source: `CODATA 2022, MathTS (${OWNER} M_U_SI)` }),
+    row({ name: 'm_e', spellings: ['electron_mass', 'electron-mass'], value: M_E_SI, unit: 'kg', canonical: true, mathts: 'electronMass',
+        meaning: 'electron mass', source: `CODATA 2022, MathTS (${OWNER} M_E_SI)` }),
     // ── overlay names for `upt eval` and the dimensional assignment only ────
     row({ name: 'mu_0', spellings: ['mu0'], value: MU0_SI, unit: 'H/m', mathts: 'magneticConstant',
         meaning: 'vacuum permeability 1/(ε₀ c²)', source: `1/(EPS0_SI·C_SI²) (${OWNER} MU0_SI)` }),
     row({ name: 'm_p', spellings: ['m_proton'], value: M_PROTON_SI, unit: 'kg', mathts: 'protonMass',
-        meaning: 'proton mass', source: `CODATA 2018 (${OWNER} M_PROTON_SI)` }),
+        meaning: 'proton mass', source: `CODATA 2022, MathTS (${OWNER} M_PROTON_SI)` }),
     row({ name: 'N_A', value: N_A_SI, unit: 'mol^-1', mathts: 'avogadro', exact: true,
         meaning: 'Avogadro constant', source: `exact SI, 2019 redefinition (${OWNER} N_A_SI)` }),
     row({ name: 'F', value: FARADAY_SI, unit: 'C/mol', mathts: 'faraday', exact: true,
@@ -86,9 +88,11 @@ export const CONSTANT_ROWS = [
     row({ name: 'scale_factor', value: 1, unit: 'm',
         meaning: 'Friedmann scale factor, unit by default', source: 'this registry (default 1)' }),
     row({ name: 'sigma_T', value: THOMSON_CROSS_SECTION_SI, unit: 'm^2', mathts: 'thomsonCrossSection',
-        meaning: 'Thomson cross section', source: `CODATA 2018 (${OWNER} THOMSON_CROSS_SECTION_SI)` }),
+        meaning: 'Thomson cross section', source: `CODATA 2022, MathTS (${OWNER} THOMSON_CROSS_SECTION_SI)` }),
     row({ name: 'lane_emden_omega_3', quantity: 'lane-emden-omega-3', value: LANE_EMDEN_OMEGA3, unit: '1',
         meaning: 'Lane–Emden n = 3 dimensionless radius', source: `${OWNER} LANE_EMDEN_OMEGA3` }),
+    row({ name: 'euler_gamma', value: EULER_GAMMA, unit: '1',
+        meaning: 'Euler–Mascheroni constant γ', source: `${OWNER} EULER_GAMMA` }),
     // GRW mass amplification: λ = λ₀ · (m / m₀), with λ₀ a rate and m₀ a mass.
     // The two numbers are the catalog expression's, so the rate is unchanged.
     row({ name: 'grw_lambda0', value: 1e-16, unit: 'Hz',

package/dist/dimensional/constant-rows.js.map

@@ -1 +1 @@
-{"version":3,"file":"constant-rows.js","sourceRoot":"","sources":["../../src/dimensional/constant-rows.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EACL,SAAS,EACT,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,UAAU,EACV,IAAI,EACJ,SAAS,EACT,IAAI,EACJ,mBAAmB,EACnB,OAAO,EACP,MAAM,EACN,iBAAiB,EACjB,MAAM,EACN,WAAW,EACX,YAAY,EACZ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,MAAM,EACN,WAAW,EACX,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AA6C9B,MAAM,GAAG,GAAG,CAAC,KAAe,EAAe,EAAE,CAAC,CAAC;IAC7C,GAAG,KAAK;IACR,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,EAAE;IAChC,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,KAAK;CACpC,CAAC,CAAC;AAEH,MAAM,KAAK,GAAG,mBAAmB,CAAC;AAElC,2FAA2F;AAC3F,MAAM,CAAC,MAAM,aAAa,GAA2B;IACnD,0EAA0E;IAC1E,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,uBAAuB,EAAE,KAAK,EAAE,IAAI;QAC9H,OAAO,EAAE,gCAAgC,EAAE,MAAM,EAAE,oBAAoB,KAAK,WAAW;QACvF,IAAI,EACF,sFAAsF,mBAAmB,GAAG;YAC5G,mDAAmD,CAAC,IAAI,CAAC,GAAG,CAAC,mBAAmB,GAAG,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClI,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,iBAAiB,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,IAAI;QAC5H,OAAO,EAAE,iBAAiB,EAAE,MAAM,EAAE,gCAAgC,KAAK,QAAQ,EAAE,CAAC;IACtF,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI;QAC7F,OAAO,EAAE,0BAA0B,EAAE,MAAM,EAAE,aAAa,KAAK,QAAQ,EAAE,CAAC;IAC5E,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB;QAChG,OAAO,EAAE,kCAAkC,EAAE,MAAM,EAAE,gBAAgB,KAAK,QAAQ,EAAE,CAAC;IACvF,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI;QAC9J,OAAO,EAAE,oBAAoB,EAAE,MAAM,EAAE,gCAAgC,KAAK,UAAU,EAAE,CAAC;IAC3F,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;QAC9E,OAAO,EAAE,wBAAwB,EAAE,MAAM,EAAE,kCAAkC,EAAE,CAAC;IAClF,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;QACjF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;IAC/D,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;QACjF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;IAC/D,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;QACjF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;IAC/D,yEAAyE;IACzE,wEAAwE;IACxE,kCAAkC;IAClC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,IAAI;QACxH,OAAO,EAAE,mBAAmB,EAAE,MAAM,EAAE,gCAAgC,KAAK,QAAQ,EAAE,CAAC;IACxF,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI;QACpG,OAAO,EAAE,qBAAqB,EAAE,MAAM,EAAE,gBAAgB,KAAK,WAAW,EAAE,CAAC;IAC7E,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,2BAA2B,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,iBAAiB;QACnJ,OAAO,EAAE,2BAA2B,EAAE,MAAM,EAAE,gBAAgB,KAAK,eAAe,EAAE,CAAC;IACvF,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB;QACvH,OAAO,EAAE,4BAA4B,EAAE,MAAM,EAAE,gBAAgB,KAAK,aAAa,EAAE,CAAC;IACtF,uFAAuF;IACvF,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI;QACtE,OAAO,EAAE,iDAAiD,EAAE,MAAM,EAAE,2BAA2B,KAAK,aAAa,EAAE,CAAC;IACtH,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI;QACtE,OAAO,EAAE,mEAAmE,EAAE,MAAM,EAAE,mBAAmB,KAAK,gBAAgB,EAAE,CAAC;IACnI,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY;QACjF,OAAO,EAAE,iDAAiD,EAAE,MAAM,EAAE,gBAAgB,KAAK,UAAU,EAAE,CAAC;IACxG,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc;QACjH,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,gBAAgB,KAAK,UAAU,EAAE,CAAC;IACtE,2EAA2E;IAC3E,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB;QAC5F,OAAO,EAAE,+BAA+B,EAAE,MAAM,EAAE,sBAAsB,KAAK,UAAU,EAAE,CAAC;IAC5F,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY;QAC9F,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,gBAAgB,KAAK,eAAe,EAAE,CAAC;IACzE,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI;QAC/E,OAAO,EAAE,mBAAmB,EAAE,MAAM,EAAE,gCAAgC,KAAK,UAAU,EAAE,CAAC;IAC1F,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI;QAC/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,EAAE,gBAAgB,KAAK,cAAc,EAAE,CAAC;IACnF,wFAAwF;IACxF,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI;QAC5F,OAAO,EAAE,4BAA4B,EAAE,MAAM,EAAE,kBAAkB,KAAK,GAAG,EAAE,CAAC;IAC9E,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI;QAC9C,OAAO,EAAE,kDAAkD,EAAE,MAAM,EAAE,GAAG,KAAK,WAAW,EAAE,CAAC;IAC7F,yEAAyE;IACzE,sDAAsD;IACtD,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG;QAC5C,OAAO,EAAE,4CAA4C,EAAE,MAAM,EAAE,gCAAgC,EAAE,CAAC;IACpG,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG;QAC7C,OAAO,EAAE,yCAAyC,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC;IAC5F,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,wBAAwB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,qBAAqB;QAChG,OAAO,EAAE,uBAAuB,EAAE,MAAM,EAAE,gBAAgB,KAAK,4BAA4B,EAAE,CAAC;IAChG,GAAG,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,oBAAoB,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,GAAG;QACnG,OAAO,EAAE,uCAAuC,EAAE,MAAM,EAAE,GAAG,KAAK,oBAAoB,EAAE,CAAC;IAC3F,2EAA2E;IAC3E,0EAA0E;IAC1E,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI;QACjD,OAAO,EAAE,0BAA0B,EAAE,MAAM,EAAE,iDAAiD,EAAE,CAAC;IACnG,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI;QAC/C,OAAO,EAAE,mCAAmC,EAAE,MAAM,EAAE,iDAAiD,EAAE,CAAC;CAC7G,CAAC;AAEF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;AACnD,KAAK,MAAM,QAAQ,IAAI,aAAa,EAAE,CAAC;IACrC,KAAK,MAAM,QAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9D,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,QAAQ,oBAAoB,CAAC,CAAC;QACpG,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACtC,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,WAAW,CAAC,QAAgB;IAC1C,OAAO,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AACnC,CAAC"}
+{"version":3,"file":"constant-rows.js","sourceRoot":"","sources":["../../src/dimensional/constant-rows.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EACL,SAAS,EACT,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,WAAW,EACX,UAAU,EACV,IAAI,EACJ,SAAS,EACT,IAAI,EACJ,mBAAmB,EACnB,OAAO,EACP,MAAM,EACN,iBAAiB,EACjB,MAAM,EACN,WAAW,EACX,YAAY,EACZ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,MAAM,EACN,WAAW,EACX,wBAAwB,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AA6CnE,MAAM,GAAG,GAAG,CAAC,KAAe,EAAe,EAAE,CAAC,CAAC;IAC7C,GAAG,KAAK;IACR,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,EAAE;IAChC,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,KAAK;CACpC,CAAC,CAAC;AAEH,MAAM,KAAK,GAAG,mBAAmB,CAAC;AAElC,2FAA2F;AAC3F,MAAM,CAAC,MAAM,aAAa,GAA2B;IACnD,0EAA0E;IAC1E,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,GAAG,EAAE,yBAAyB,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,uBAAuB,EAAE,KAAK,EAAE,IAAI;QACzJ,OAAO,EAAE,gCAAgC,EAAE,MAAM,EAAE,oBAAoB,KAAK,WAAW;QACvF,IAAI,EACF,sFAAsF,mBAAmB,GAAG;YAC5G,mDAAmD,CAAC,IAAI,CAAC,GAAG,CAAC,mBAAmB,GAAG,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClI,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,iBAAiB,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,IAAI;QAC5H,OAAO,EAAE,iBAAiB,EAAE,MAAM,EAAE,gCAAgC,KAAK,QAAQ,EAAE,CAAC;IACtF,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI;QAC9I,OAAO,EAAE,0BAA0B,EAAE,MAAM,EAAE,aAAa,KAAK,QAAQ,EAAE,CAAC;IAC5E,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,kBAAkB,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS;QAC/J,OAAO,EAAE,8GAA8G,EAAE,MAAM,EAAE,wBAAwB,KAAK,YAAY,EAAE,CAAC;IAC/K,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB;QAChG,OAAO,EAAE,kCAAkC,EAAE,MAAM,EAAE,wBAAwB,KAAK,QAAQ,EAAE,CAAC;IAC/F,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI;QAC9J,OAAO,EAAE,oBAAoB,EAAE,MAAM,EAAE,gCAAgC,KAAK,UAAU,EAAE,CAAC;IAC3F,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;QAC9E,OAAO,EAAE,wBAAwB,EAAE,MAAM,EAAE,kCAAkC,EAAE,CAAC;IAClF,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;QACjF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;IAC/D,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;QACjF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;IAC/D,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;QACjF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;IAC/D,yEAAyE;IACzE,wEAAwE;IACxE,kCAAkC;IAClC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,IAAI;QACxH,OAAO,EAAE,mBAAmB,EAAE,MAAM,EAAE,gCAAgC,KAAK,QAAQ,EAAE,CAAC;IACxF,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,qBAAqB,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI;QAC3H,OAAO,EAAE,qBAAqB,EAAE,MAAM,EAAE,wBAAwB,KAAK,WAAW,EAAE,CAAC;IACrF,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,2BAA2B,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,iBAAiB;QACnJ,OAAO,EAAE,2BAA2B,EAAE,MAAM,EAAE,wBAAwB,KAAK,eAAe,EAAE,CAAC;IAC/F,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB;QACvH,OAAO,EAAE,4BAA4B,EAAE,MAAM,EAAE,wBAAwB,KAAK,aAAa,EAAE,CAAC;IAC9F,uFAAuF;IACvF,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI;QACtE,OAAO,EAAE,iDAAiD,EAAE,MAAM,EAAE,2BAA2B,KAAK,aAAa,EAAE,CAAC;IACtH,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI;QACtE,OAAO,EAAE,mEAAmE,EAAE,MAAM,EAAE,mBAAmB,KAAK,gBAAgB,EAAE,CAAC;IACnI,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY;QACjF,OAAO,EAAE,iDAAiD,EAAE,MAAM,EAAE,wBAAwB,KAAK,UAAU,EAAE,CAAC;IAChH,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc;QAClI,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,wBAAwB,KAAK,UAAU,EAAE,CAAC;IAC9E,2EAA2E;IAC3E,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB;QAC5F,OAAO,EAAE,+BAA+B,EAAE,MAAM,EAAE,sBAAsB,KAAK,UAAU,EAAE,CAAC;IAC5F,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY;QAC9F,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,wBAAwB,KAAK,eAAe,EAAE,CAAC;IACjF,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI;QAC/E,OAAO,EAAE,mBAAmB,EAAE,MAAM,EAAE,gCAAgC,KAAK,UAAU,EAAE,CAAC;IAC1F,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI;QAC/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,EAAE,gBAAgB,KAAK,cAAc,EAAE,CAAC;IACnF,wFAAwF;IACxF,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI;QAC5F,OAAO,EAAE,4BAA4B,EAAE,MAAM,EAAE,kBAAkB,KAAK,GAAG,EAAE,CAAC;IAC9E,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI;QAC9C,OAAO,EAAE,kDAAkD,EAAE,MAAM,EAAE,GAAG,KAAK,WAAW,EAAE,CAAC;IAC7F,yEAAyE;IACzE,sDAAsD;IACtD,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG;QAC5C,OAAO,EAAE,4CAA4C,EAAE,MAAM,EAAE,gCAAgC,EAAE,CAAC;IACpG,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG;QAC7C,OAAO,EAAE,yCAAyC,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC;IAC5F,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,wBAAwB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,qBAAqB;QAChG,OAAO,EAAE,uBAAuB,EAAE,MAAM,EAAE,wBAAwB,KAAK,4BAA4B,EAAE,CAAC;IACxG,GAAG,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,oBAAoB,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,GAAG;QACnG,OAAO,EAAE,uCAAuC,EAAE,MAAM,EAAE,GAAG,KAAK,oBAAoB,EAAE,CAAC;IAC3F,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG;QACtD,OAAO,EAAE,6BAA6B,EAAE,MAAM,EAAE,GAAG,KAAK,cAAc,EAAE,CAAC;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI;QACjD,OAAO,EAAE,0BAA0B,EAAE,MAAM,EAAE,iDAAiD,EAAE,CAAC;IACnG,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI;QAC/C,OAAO,EAAE,mCAAmC,EAAE,MAAM,EAAE,iDAAiD,EAAE,CAAC;CAC7G,CAAC;AAEF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;AACnD,KAAK,MAAM,QAAQ,IAAI,aAAa,EAAE,CAAC;IACrC,KAAK,MAAM,QAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9D,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,QAAQ,oBAAoB,CAAC,CAAC;QACpG,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACtC,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,WAAW,CAAC,QAAgB;IAC1C,OAAO,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AACnC,CAAC","sourcesContent":["/**\n * The constant registry's rows as written: name, spellings, SI value, SI unit\n * text, meaning, source and flags, one row per physical constant a formula or\n * the unit table may name.\n *\n * `symbolic-constants.ts` derives each row's dimension from its unit with\n * `parseUnit` and owns every projection. The rows live here, apart from that\n * derivation, because the unit table reads constants too: `data/units.json`\n * names `c`, `e`, `m_u`, `M_sun`, `Msun_iau` and `ln2` by these spellings, and\n * the unit parser cannot import a module that imports the unit parser. This\n * module imports only `core/constants.ts`, the owner of every value, so the\n * unit loader and the registry read one set of spellings with no cycle.\n *\n * INTERNAL — not on the public surface.\n *\n * @module dimensional/constant-rows\n */\n\nimport {\n  B_WIEN_SI,\n  C_SI,\n  E_SI,\n  EPS0_SI,\n  EULER_GAMMA,\n  FARADAY_SI,\n  G_SI,\n  GM_SUN_SI,\n  H_SI,\n  HBAR_CODATA_DISPLAY,\n  HBAR_SI,\n  K_B_SI,\n  LANE_EMDEN_OMEGA3,\n  M_E_SI,\n  M_PROTON_SI,\n  M_SUN_IAU_SI,\n  M_SUN_SI,\n  M_U_SI,\n  MU0_SI,\n  N_A_SI,\n  SIGMA_SB_SI,\n  THOMSON_CROSS_SECTION_SI, R_INF_SI } from '../core/constants.js';\n\n/** One registered constant as written: everything but the dimension, which `symbolic-constants.ts` derives from `unit`. @internal */\nexport interface ConstantRow {\n  /** The formula name; the first spelling, and the key of every projection. */\n  readonly name: string;\n  /** Other exact-case spellings a caller may type. */\n  readonly spellings: readonly string[];\n  readonly value: number;\n  /** The SI unit, in the syntax `parseUnit` reads. The dimension is derived from it. */\n  readonly unit: string;\n  readonly meaning: string;\n  readonly source: string;\n  /** A universal constant a canonical `governing` list may bake. */\n  readonly canonical: boolean;\n  /** A caveat printed wherever the constant is used (`upt eval`, a relation that names it). */\n  readonly note?: string;\n  /** The `@danielsimonjr/mathts-functions` export that states the same constant (CODATA 2022 there), when one exists. The second method. */\n  readonly mathts?: string;\n  /** The two libraries agree to the last bit: exact in the 2019 SI, or a product of exact constants. */\n  readonly exact?: true;\n  /**\n   * The `data/quantities.json` id this constant is also a quantity of. The\n   * quantity registry takes the constant's spellings as that row's aliases;\n   * the file does not repeat them, so a spelling has one owner.\n   */\n  readonly quantity?: string;\n  /**\n   * A mathematical constant no rational states (ln 2, 2π, 4π, 8π). An exact\n   * reader (`data/units.json`'s scale expressions) carries `value` as the\n   * irrational factor instead of reading its decimal as a rational.\n   */\n  readonly irrational?: true;\n}\n\ntype RowInput = Omit<ConstantRow, 'spellings' | 'canonical' | 'note' | 'mathts' | 'exact' | 'quantity' | 'irrational'> & {\n  readonly quantity?: string;\n  readonly irrational?: true;\n  readonly note?: string;\n  readonly mathts?: string;\n  readonly exact?: true;\n  readonly spellings?: readonly string[];\n  readonly canonical?: boolean;\n};\n\nconst row = (input: RowInput): ConstantRow => ({\n  ...input,\n  spellings: input.spellings ?? [],\n  canonical: input.canonical ?? false,\n});\n\nconst OWNER = 'core/constants.ts';\n\n/** Every registered constant as written. Order is the order the tables print. @internal */\nexport const CONSTANT_ROWS: readonly ConstantRow[] = [\n  // ── universal constants a canonical equation may bake ──────────────────\n  row({ name: 'hbar', spellings: ['ℏ', 'reduced-planck-constant'], value: HBAR_SI, unit: 'J*s', canonical: true, mathts: 'reducedPlanckConstant', exact: true,\n    meaning: 'reduced Planck constant h/(2π)', source: `exact H_SI/(2π) (${OWNER} HBAR_SI)`,\n    note:\n      `hbar is HBAR_SI = H_SI/(2π), the exact reduced Planck constant. The CODATA display ${HBAR_CODATA_DISPLAY} ` +\n      `is that quotient truncated (relative difference ${(Math.abs(HBAR_CODATA_DISPLAY - HBAR_SI) / HBAR_SI).toExponential(3)}).` }),\n  row({ name: 'h', quantity: 'planck-constant', value: H_SI, unit: 'J*s', canonical: true, mathts: 'planckConstant', exact: true,\n    meaning: 'Planck constant', source: `exact SI, 2019 redefinition (${OWNER} H_SI)` }),\n  row({ name: 'c', spellings: ['speed-of-light', 'speed_of_light'], value: C_SI, unit: 'm/s', canonical: true, mathts: 'speedOfLight', exact: true,\n    meaning: 'speed of light in vacuum', source: `exact SI (${OWNER} C_SI)` }),\n  row({ name: 'R_inf', spellings: ['Rinf', 'R_infinity', 'rydberg'], quantity: 'rydberg-constant', value: R_INF_SI, unit: '1/m', canonical: true, mathts: 'rydberg',\n    meaning: 'Rydberg constant R∞, infinite nuclear mass (the reduced-mass correction R_M = R∞/(1 + m_e/M) is not applied)', source: `CODATA 2022, MathTS (${OWNER} R_INF_SI)` }),\n  row({ name: 'G', value: G_SI, unit: 'm^3/(kg*s^2)', canonical: true, mathts: 'gravitationConstant',\n    meaning: 'Newtonian gravitational constant', source: `CODATA 2022, MathTS (${OWNER} G_SI)` }),\n  row({ name: 'k_B', spellings: ['kB', 'boltzmann'], quantity: 'boltzmann-constant', value: K_B_SI, unit: 'J/K', canonical: true, mathts: 'boltzmann', exact: true,\n    meaning: 'Boltzmann constant', source: `exact SI, 2019 redefinition (${OWNER} K_B_SI)` }),\n  row({ name: 'ln2', value: Math.LN2, unit: '1', canonical: true, irrational: true,\n    meaning: 'natural logarithm of 2', source: 'mathematical constant (Math.LN2)' }),\n  row({ name: '8pi', value: 8 * Math.PI, unit: '1', canonical: true, irrational: true,\n    meaning: '8π', source: 'mathematical constant (8·Math.PI)' }),\n  row({ name: '4pi', value: 4 * Math.PI, unit: '1', canonical: true, irrational: true,\n    meaning: '4π', source: 'mathematical constant (4·Math.PI)' }),\n  row({ name: '2pi', value: 2 * Math.PI, unit: '1', canonical: true, irrational: true,\n    meaning: '2π', source: 'mathematical constant (2·Math.PI)' }),\n  // ISO 80000 / CODATA: a bare e is the elementary charge. Eccentricity is\n  // one_minus_e_sq. The canonical dimension guard still refuses to bake a\n  // dimensionless governing name e.\n  row({ name: 'e', spellings: ['e_charge'], value: E_SI, unit: 'C', canonical: true, mathts: 'elementaryCharge', exact: true,\n    meaning: 'elementary charge', source: `exact SI, 2019 redefinition (${OWNER} E_SI)` }),\n  row({ name: 'epsilon_0', spellings: ['epsilon0', 'eps0', 'vacuum-permittivity'], value: EPS0_SI, unit: 'F/m', canonical: true,\n    meaning: 'vacuum permittivity', source: `CODATA 2022, MathTS (${OWNER} EPS0_SI)` }),\n  row({ name: 'sigma_sb', spellings: ['stefan-boltzmann-constant'], value: SIGMA_SB_SI, unit: 'W/(m^2*K^4)', canonical: true, mathts: 'stefanBoltzmann',\n    meaning: 'Stefan–Boltzmann constant', source: `CODATA 2022, MathTS (${OWNER} SIGMA_SB_SI)` }),\n  row({ name: 'b', spellings: ['wien-constant'], value: B_WIEN_SI, unit: 'm*K', canonical: true, mathts: 'wienDisplacement',\n    meaning: 'Wien displacement constant', source: `CODATA 2022, MathTS (${OWNER} B_WIEN_SI)` }),\n  // IAU 2015 nominal solar parameter. M_sun in eval stays the rounded kilogram M_SUN_SI.\n  row({ name: 'GM_sun', value: GM_SUN_SI, unit: 'm^3/s^2', canonical: true,\n    meaning: 'IAU nominal solar gravitational parameter (GM)☉', source: `IAU 2015 Resolution B3 (${OWNER} GM_SUN_SI)` }),\n  row({ name: 'Msun_iau', value: M_SUN_IAU_SI, unit: 'kg', canonical: true,\n    meaning: 'IAU solar mass (GM)☉/G, the mass that reproduces GM_sun with G_SI', source: `GM_SUN_SI/G_SI (${OWNER} M_SUN_IAU_SI)` }),\n  row({ name: 'm_u', value: M_U_SI, unit: 'kg', canonical: true, mathts: 'atomicMass',\n    meaning: 'unified atomic mass unit (atomic mass constant)', source: `CODATA 2022, MathTS (${OWNER} M_U_SI)` }),\n  row({ name: 'm_e', spellings: ['electron_mass', 'electron-mass'], value: M_E_SI, unit: 'kg', canonical: true, mathts: 'electronMass',\n    meaning: 'electron mass', source: `CODATA 2022, MathTS (${OWNER} M_E_SI)` }),\n  // ── overlay names for `upt eval` and the dimensional assignment only ────\n  row({ name: 'mu_0', spellings: ['mu0'], value: MU0_SI, unit: 'H/m', mathts: 'magneticConstant',\n    meaning: 'vacuum permeability 1/(ε₀ c²)', source: `1/(EPS0_SI·C_SI²) (${OWNER} MU0_SI)` }),\n  row({ name: 'm_p', spellings: ['m_proton'], value: M_PROTON_SI, unit: 'kg', mathts: 'protonMass',\n    meaning: 'proton mass', source: `CODATA 2022, MathTS (${OWNER} M_PROTON_SI)` }),\n  row({ name: 'N_A', value: N_A_SI, unit: 'mol^-1', mathts: 'avogadro', exact: true,\n    meaning: 'Avogadro constant', source: `exact SI, 2019 redefinition (${OWNER} N_A_SI)` }),\n  row({ name: 'F', value: FARADAY_SI, unit: 'C/mol', mathts: 'faraday', exact: true,\n    meaning: 'Faraday constant N_A e', source: `N_A_SI·E_SI (${OWNER} FARADAY_SI)` }),\n  // R = N_A k_B, the molar gas constant the thermochemical records state in their titles.\n  row({ name: 'R', value: N_A_SI * K_B_SI, unit: 'J/(mol*K)', mathts: 'gasConstant', exact: true,\n    meaning: 'molar gas constant N_A k_B', source: `N_A_SI·K_B_SI (${OWNER})` }),\n  row({ name: 'M_sun', value: M_SUN_SI, unit: 'kg',\n    meaning: 'solar mass, the repo-conventional kilogram value', source: `${OWNER} M_SUN_SI` }),\n  // `curvature_k` and `scale_factor` are the Friedmann curvature extension\n  // (the frozen `CE-friedmann` entry is the flat term).\n  row({ name: 'curvature_k', value: 0, unit: '1',\n    meaning: 'Friedmann curvature index, flat by default', source: 'this registry (flat default 0)' }),\n  row({ name: 'scale_factor', value: 1, unit: 'm',\n    meaning: 'Friedmann scale factor, unit by default', source: 'this registry (default 1)' }),\n  row({ name: 'sigma_T', value: THOMSON_CROSS_SECTION_SI, unit: 'm^2', mathts: 'thomsonCrossSection',\n    meaning: 'Thomson cross section', source: `CODATA 2022, MathTS (${OWNER} THOMSON_CROSS_SECTION_SI)` }),\n  row({ name: 'lane_emden_omega_3', quantity: 'lane-emden-omega-3', value: LANE_EMDEN_OMEGA3, unit: '1',\n    meaning: 'Lane–Emden n = 3 dimensionless radius', source: `${OWNER} LANE_EMDEN_OMEGA3` }),\n  row({ name: 'euler_gamma', value: EULER_GAMMA, unit: '1',\n    meaning: 'Euler–Mascheroni constant γ', source: `${OWNER} EULER_GAMMA` }),\n  // GRW mass amplification: λ = λ₀ · (m / m₀), with λ₀ a rate and m₀ a mass.\n  // The two numbers are the catalog expression's, so the rate is unchanged.\n  row({ name: 'grw_lambda0', value: 1e-16, unit: 'Hz',\n    meaning: 'GRW localization rate λ₀', source: 'catalog expression (Ghirardi–Rimini–Weber 1986)' }),\n  row({ name: 'grw_m0', value: 1.67e-27, unit: 'kg',\n    meaning: 'GRW reference mass m₀ (a nucleon)', source: 'catalog expression (Ghirardi–Rimini–Weber 1986)' }),\n];\n\nconst BY_SPELLING = new Map<string, ConstantRow>();\nfor (const constant of CONSTANT_ROWS) {\n  for (const spelling of [constant.name, ...constant.spellings]) {\n    if (BY_SPELLING.has(spelling)) throw new Error(`constant registry: '${spelling}' is spelled twice`);\n    BY_SPELLING.set(spelling, constant);\n  }\n}\n\n/** The registered constant row `spelling` names, or undefined. @internal */\nexport function constantRow(spelling: string): ConstantRow | undefined {\n  return BY_SPELLING.get(spelling);\n}\n"]}

package/dist/dimensional/constants.d.ts

@@ -1,7 +1,10 @@
 /**
- * SI dimensional signatures of fundamental physical constants, projected
- * from the constant registry (`symbolic-constants.ts`), which derives each
+ * SI dimensional signatures of a few fundamental constants, projected from
+ * the constant registry (`symbolic-constants.ts`), which derives each
  * dimension from the constant's SI unit. Values live in `core/constants.ts`.
+ * Only the names the tests read are projected; a projection nothing reads is
+ * a second copy of a registry row, and `constantRecord(name).dim` is the
+ * owner (`G` and `e` were withdrawn for that reason).
  *
  * @module dimensional/constants
  */
@@ -10,12 +13,8 @@ import { type Dimension } from './types.js';
 export declare const hbar: Dimension;
 /** Speed of light c — velocity [L T^-1]. */
 export declare const c: Dimension;
-/** Newton's gravitational constant G — [L^3 M^-1 T^-2]. */
-export declare const G: Dimension;
 /** Boltzmann constant k_B — energy / temperature [M L^2 T^-2 Θ^-1]. */
 export declare const k_B: Dimension;
-/** Elementary charge e — [T I] (coulombs). */
-export declare const e: Dimension;
 /** Planck length ℓ_P — [L]. */
 export declare const l_P: Dimension;
 //# sourceMappingURL=constants.d.ts.map

package/dist/dimensional/constants.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../src/dimensional/constants.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAU,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAKpD,uDAAuD;AACvD,eAAO,MAAM,IAAI,EAAE,SAAsB,CAAC;AAE1C,4CAA4C;AAC5C,eAAO,MAAM,CAAC,EAAE,SAAmB,CAAC;AAEpC,2DAA2D;AAC3D,eAAO,MAAM,CAAC,EAAE,SAAmB,CAAC;AAEpC,uEAAuE;AACvE,eAAO,MAAM,GAAG,EAAE,SAAqB,CAAC;AAExC,8CAA8C;AAC9C,eAAO,MAAM,CAAC,EAAE,SAAmB,CAAC;AAEpC,+BAA+B;AAC/B,eAAO,MAAM,GAAG,EAAE,SAAkB,CAAC"}
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../src/dimensional/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAU,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAKpD,uDAAuD;AACvD,eAAO,MAAM,IAAI,EAAE,SAAsB,CAAC;AAE1C,4CAA4C;AAC5C,eAAO,MAAM,CAAC,EAAE,SAAmB,CAAC;AAEpC,uEAAuE;AACvE,eAAO,MAAM,GAAG,EAAE,SAAqB,CAAC;AAExC,+BAA+B;AAC/B,eAAO,MAAM,GAAG,EAAE,SAAkB,CAAC"}

package/dist/dimensional/constants.js

@@ -1,7 +1,10 @@
 /**
- * SI dimensional signatures of fundamental physical constants, projected
- * from the constant registry (`symbolic-constants.ts`), which derives each
+ * SI dimensional signatures of a few fundamental constants, projected from
+ * the constant registry (`symbolic-constants.ts`), which derives each
  * dimension from the constant's SI unit. Values live in `core/constants.ts`.
+ * Only the names the tests read are projected; a projection nothing reads is
+ * a second copy of a registry row, and `constantRecord(name).dim` is the
+ * owner (`G` and `e` were withdrawn for that reason).
  *
  * @module dimensional/constants
  */
@@ -12,12 +15,8 @@ const of = (name) => constantRecord(name).dim;
 export const hbar = of('hbar');
 /** Speed of light c — velocity [L T^-1]. */
 export const c = of('c');
-/** Newton's gravitational constant G — [L^3 M^-1 T^-2]. */
-export const G = of('G');
 /** Boltzmann constant k_B — energy / temperature [M L^2 T^-2 Θ^-1]. */
 export const k_B = of('k_B');
-/** Elementary charge e — [T I] (coulombs). */
-export const e = of('e');
 /** Planck length ℓ_P — [L]. */
 export const l_P = LENGTH;
 //# sourceMappingURL=constants.js.map

package/dist/dimensional/constants.js.map

@@ -1 +1 @@
-{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../src/dimensional/constants.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,EAAkB,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAEzD,MAAM,EAAE,GAAG,CAAC,IAAY,EAAa,EAAE,CAAC,cAAc,CAAC,IAAI,CAAE,CAAC,GAAG,CAAC;AAElE,uDAAuD;AACvD,MAAM,CAAC,MAAM,IAAI,GAAc,EAAE,CAAC,MAAM,CAAC,CAAC;AAE1C,4CAA4C;AAC5C,MAAM,CAAC,MAAM,CAAC,GAAc,EAAE,CAAC,GAAG,CAAC,CAAC;AAEpC,2DAA2D;AAC3D,MAAM,CAAC,MAAM,CAAC,GAAc,EAAE,CAAC,GAAG,CAAC,CAAC;AAEpC,uEAAuE;AACvE,MAAM,CAAC,MAAM,GAAG,GAAc,EAAE,CAAC,KAAK,CAAC,CAAC;AAExC,8CAA8C;AAC9C,MAAM,CAAC,MAAM,CAAC,GAAc,EAAE,CAAC,GAAG,CAAC,CAAC;AAEpC,+BAA+B;AAC/B,MAAM,CAAC,MAAM,GAAG,GAAc,MAAM,CAAC"}
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../src/dimensional/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,MAAM,EAAkB,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAEzD,MAAM,EAAE,GAAG,CAAC,IAAY,EAAa,EAAE,CAAC,cAAc,CAAC,IAAI,CAAE,CAAC,GAAG,CAAC;AAElE,uDAAuD;AACvD,MAAM,CAAC,MAAM,IAAI,GAAc,EAAE,CAAC,MAAM,CAAC,CAAC;AAE1C,4CAA4C;AAC5C,MAAM,CAAC,MAAM,CAAC,GAAc,EAAE,CAAC,GAAG,CAAC,CAAC;AAEpC,uEAAuE;AACvE,MAAM,CAAC,MAAM,GAAG,GAAc,EAAE,CAAC,KAAK,CAAC,CAAC;AAExC,+BAA+B;AAC/B,MAAM,CAAC,MAAM,GAAG,GAAc,MAAM,CAAC","sourcesContent":["/**\n * SI dimensional signatures of a few fundamental constants, projected from\n * the constant registry (`symbolic-constants.ts`), which derives each\n * dimension from the constant's SI unit. Values live in `core/constants.ts`.\n * Only the names the tests read are projected; a projection nothing reads is\n * a second copy of a registry row, and `constantRecord(name).dim` is the\n * owner (`G` and `e` were withdrawn for that reason).\n *\n * @module dimensional/constants\n */\n\nimport { LENGTH, type Dimension } from './types.js';\nimport { constantRecord } from './symbolic-constants.js';\n\nconst of = (name: string): Dimension => constantRecord(name)!.dim;\n\n/** Reduced Planck constant ℏ — action [M L^2 T^-1]. */\nexport const hbar: Dimension = of('hbar');\n\n/** Speed of light c — velocity [L T^-1]. */\nexport const c: Dimension = of('c');\n\n/** Boltzmann constant k_B — energy / temperature [M L^2 T^-2 Θ^-1]. */\nexport const k_B: Dimension = of('k_B');\n\n/** Planck length ℓ_P — [L]. */\nexport const l_P: Dimension = LENGTH;\n"]}

package/dist/dimensional/curvature-composite.js.map

@@ -1 +1 @@
-{"version":3,"file":"curvature-composite.js","sourceRoot":"","sources":["../../src/dimensional/curvature-composite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAwDH,gFAAgF;AAChF,0BAA0B;AAC1B,gFAAgF;AAEhF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAA6C;IAC/E,gBAAgB,EAAE;QAChB,gBAAgB,EAAE,sBAAsB;QACxC,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;KAChE;IACD,cAAc,EAAE;QACd,gBAAgB,EAAE,oBAAoB;QACtC,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;KAChE;IACD,iBAAiB,EAAE;QACjB,gBAAgB,EAAE,oBAAoB;QACtC,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;KAChE;IACD,kBAAkB,EAAE;QAClB,yFAAyF;QACzF,gBAAgB,EAAE,cAAc;QAChC,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;KAChE;IACD,aAAa,EAAE;QACb,gBAAgB,EAAE,sBAAsB;QACxC,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;KAChE;IACD,oBAAoB,EAAE;QACpB,gBAAgB,EAAE,QAAQ;QAC1B,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;KAChE;CACF,CAAC"}
+{"version":3,"file":"curvature-composite.js","sourceRoot":"","sources":["../../src/dimensional/curvature-composite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAwDH,gFAAgF;AAChF,0BAA0B;AAC1B,gFAAgF;AAEhF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAA6C;IAC/E,gBAAgB,EAAE;QAChB,gBAAgB,EAAE,sBAAsB;QACxC,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;KAChE;IACD,cAAc,EAAE;QACd,gBAAgB,EAAE,oBAAoB;QACtC,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;KAChE;IACD,iBAAiB,EAAE;QACjB,gBAAgB,EAAE,oBAAoB;QACtC,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;KAChE;IACD,kBAAkB,EAAE;QAClB,yFAAyF;QACzF,gBAAgB,EAAE,cAAc;QAChC,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;KAChE;IACD,aAAa,EAAE;QACb,gBAAgB,EAAE,sBAAsB;QACxC,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;KAChE;IACD,oBAAoB,EAAE;QACpB,gBAAgB,EAAE,QAAQ;QAC1B,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;KAChE;CACF,CAAC","sourcesContent":["/**\n * Curvature composite-AST factory (v0.6.0 Phase 3, Task 3.9).\n *\n * PD-6 trigger fires: Weyl is the 5th curvature primitive (after\n * Riemann/Ricci/Einstein/Bianchi from v0.5.0). The 4-kind parallel\n * duplication is now extracted into a shared factory.\n *\n * Net LOC change: −180 (per design Decision #5).\n *\n * P-1 fix: `CurvatureCompositeNode<K, S>` is an intersection type, not an\n * interface with an unused S. Without the intersection, the per-kind\n * slot type-safety would silently drop (the S parameter would be\n * decorative and TypeScript would not compose it into the result).\n *\n * @module dimensional/curvature-composite\n */\n\nimport type { Dimension } from './types.js';\n\n// ─────────────────────────────────────────────────────────────────────────────\n// CurvatureKind discriminant union\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * Discriminant union of all curvature-composite AST node kinds in UPT v0.6.0.\n *\n * Six curvature primitives:\n *   - `riemann-tensor`     — R^ρ_{σμν}   (rank-4, 1-up 3-down, [L⁻²])\n *   - `ricci-tensor`       — R_{μν}       (rank-2 lower-lower,  [L⁻²])\n *   - `einstein-tensor`    — G_{μν}       (rank-2 lower-lower,  [L⁻²])\n *   - `bianchi-residual`   — B_{λμνρσ}   (rank-5 lower,        [L⁻³])\n *   - `weyl-tensor`        — C^ρ_{σμν}   (rank-4, 1-up 3-down, [L⁻²])\n *   - `kretschmann-scalar` — K            (scalar,              [L⁻⁴])\n *\n * @public\n */\nexport type CurvatureKind =\n  | 'riemann-tensor'\n  | 'ricci-tensor'\n  | 'einstein-tensor'\n  | 'bianchi-residual'\n  | 'weyl-tensor'\n  | 'kretschmann-scalar';\n\n// ─────────────────────────────────────────────────────────────────────────────\n// CurvatureKindSpec — per-kind shape + dim descriptor\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * Per-kind specification record used by the registry.\n *\n * `freeIndicesShape` is a human-readable summary of the free-index structure:\n *   - `'rank-4-1upper-3lower'` — 1 upper + 3 lower (Riemann, Weyl)\n *   - `'rank-2-lower-lower'`   — 2 lower (Ricci, Einstein)\n *   - `'rank-3-lower'`         — the Bianchi residual B_{λμνρσ}, which has FIVE lower\n *                                  indices. The \"3\" is not the rank: it counts the three\n *                                  cyclic terms over (λ, μ, ν) in\n *                                  B_{λμνρσ} = ∇_λ R_{μνρσ} + ∇_μ R_{νλρσ} + ∇_ν R_{λμρσ}.\n *                                  The name stays because the registry is public.\n *   - `'scalar'`               — 0 free indices (Kretschmann)\n *\n * `componentDim` is the SI dimension of each component in the F8/I3 convention\n * (metric is dimensionless, coordinates carry [L]).\n *\n * @public\n */\ninterface CurvatureKindSpec {\n  readonly freeIndicesShape: 'rank-4-1upper-3lower' | 'rank-2-lower-lower' | 'rank-3-lower' | 'scalar';\n  readonly componentDim: Dimension;\n}\n\n// ─────────────────────────────────────────────────────────────────────────────\n// CURVATURE_KIND_REGISTRY\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * Registry mapping each `CurvatureKind` to its shape + dimensional spec.\n *\n * Used by:\n *   - Tests: to assert all 6 kinds are registered and that Riemann + Weyl\n *     share the rank-4 shape (refactor-only invariant).\n *   - Future lowering consolidation: `CURVATURE_KIND_REGISTRY[node.kind]`\n *     can supply common validation data without per-kind duplication.\n *\n * @public\n */\nexport const CURVATURE_KIND_REGISTRY: Record<CurvatureKind, CurvatureKindSpec> = {\n  'riemann-tensor': {\n    freeIndicesShape: 'rank-4-1upper-3lower',\n    componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n  'ricci-tensor': {\n    freeIndicesShape: 'rank-2-lower-lower',\n    componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n  'einstein-tensor': {\n    freeIndicesShape: 'rank-2-lower-lower',\n    componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n  'bianchi-residual': {\n    // Five lower indices; '3' counts the cyclic terms, not the rank (see CurvatureKindSpec).\n    freeIndicesShape: 'rank-3-lower',\n    componentDim: { L: -3, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n  'weyl-tensor': {\n    freeIndicesShape: 'rank-4-1upper-3lower',\n    componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n  'kretschmann-scalar': {\n    freeIndicesShape: 'scalar',\n    componentDim: { L: -4, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n};\n\n// ─────────────────────────────────────────────────────────────────────────────\n// CurvatureCompositeNode<K, S> — shared factory type\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * Generic factory type for all curvature-composite AST nodes.\n *\n * **P-1 fix (v0.6.0 plan-vet):** Must be an intersection type, not an\n * interface with an unused type parameter. The intersection `{ kind: K } & S`\n * ensures TypeScript actually composes the kind-specific slot type `S` into\n * the resulting type, giving real discriminant + kind-specific type safety.\n *\n * Usage (type alias):\n * ```typescript\n * type RicciTensorNode = CurvatureCompositeNode<'ricci-tensor', {\n *   readonly riemann: RiemannTensorNode;\n * }>;\n * ```\n *\n * The intersection produces:\n * ```typescript\n * { readonly kind: 'ricci-tensor' } & { readonly riemann: RiemannTensorNode }\n * // ≡ { readonly kind: 'ricci-tensor'; readonly riemann: RiemannTensorNode }\n * ```\n *\n * @public\n */\nexport type CurvatureCompositeNode<K extends CurvatureKind, S extends object> = {\n  readonly kind: K;\n} & S;\n"]}

package/dist/dimensional/curvature-invariants.js.map

@@ -1 +1 @@
-{"version":3,"file":"curvature-invariants.js","sourceRoot":"","sources":["../../src/dimensional/curvature-invariants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAQH,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAwCnE;;;GAGG;AACH,MAAM,UAAU,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAEhF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAA2B;IAE3B,qEAAqE;IACrE,yEAAyE;IACzE,yEAAyE;IACzE,oEAAoE;IACpE,iEAAiE;IACjE,oCAAoC;IACpC,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEpC,kCAAkC;IAClC,OAAO;QACL,GAAG,EAAE,UAAU;QACf,WAAW,EAAE,IAAI,GAAG,EAAE;KACvB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"curvature-invariants.js","sourceRoot":"","sources":["../../src/dimensional/curvature-invariants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAQH,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAwCnE;;;GAGG;AACH,MAAM,UAAU,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAEhF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAA2B;IAE3B,qEAAqE;IACrE,yEAAyE;IACzE,yEAAyE;IACzE,oEAAoE;IACpE,iEAAiE;IACjE,oCAAoC;IACpC,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEpC,kCAAkC;IAClC,OAAO;QACL,GAAG,EAAE,UAAU;QACf,WAAW,EAAE,IAAI,GAAG,EAAE;KACvB,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Kretschmann scalar AST node + validator (v0.6.0 Phase 3, Task 3.5).\n *\n * The Kretschmann scalar (also spelled \"Kretschner\") is the quadratic\n * curvature invariant:\n *\n *   K = R_{ρσμν} R^{ρσμν}\n *\n * formed by full contraction of the Riemann tensor with itself (all four\n * indices raised on the second factor via the inverse metric). K is a\n * genuine spacetime scalar — coordinate-independent, diff-invariant — and\n * the canonical diagnostic for curvature-singularity detection: K diverges\n * at genuine singularities (Schwarzschild r→0) but is finite at coordinate\n * singularities (Schwarzschild r=r_s).\n *\n * Closed-form for Schwarzschild: K(r) = 48 G² M² / (c⁴ r⁶).\n *\n * Dimensional analysis:\n *   - Riemann component: [L⁻²] (F8/I3 convention in connection-validators.ts)\n *   - K = R × R: [L⁻²] × [L⁻²] = [L⁻⁴]\n *\n * Mirrors the WeylTensorNode pattern in weyl-validators.ts — own validator\n * function; wired via case arm in validator.ts + lowering stub in lowering.ts.\n *\n * @module dimensional/curvature-invariants\n */\n\nimport type { Dimension } from './types.js';\nimport type {\n  RiemannTensorNode,\n  MetricTensorNode,\n  KretschmannScalarNode,\n} from './ast-types.js';\nimport { validateRiemannTensor } from './connection-validators.js';\n\n// The Kretschmann node now lives in the leaf `ast-types.ts`; re-exported.\nexport type { KretschmannScalarNode } from './ast-types.js';\n\n// ─────────────────────────────────────────────────────────────────────────────\n// KretschmannScalarNode — ExprNode kind 'kretschmann-scalar'\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * AST node for the Kretschmann scalar K = R_{ρσμν} R^{ρσμν}.\n *\n * `riemann`: the Riemann tensor being contracted with itself. The validator\n *   re-enters its own validator so structural checks (index variance,\n *   metric signature) fire for the embedded sub-node.\n *\n * `metric`: the metric tensor used to raise all four indices on the second\n *   copy of Riemann. Present for downstream numerical consumers\n *   (computeKretschmann in src/numerical/kretschmann.ts). Its free indices\n *   are NOT propagated by the validator (H1 — consumed internally).\n *\n * `componentDim`: [L⁻⁴] — Riemann [L⁻²] squared, hard-coded per F8/I3.\n *\n * @public\n */\n/**\n * v0.6.0 Task 3.10d: KretschmannScalarNode expressed via CurvatureCompositeNode<K, S>.\n * The runtime shape is identical — pure type-alias migration.\n */\n/**\n * Result of validating a KretschmannScalarNode.\n * @public\n */\nexport interface KretschmannScalarValidationResult {\n  /** [L⁻⁴] — Kretschmann is Riemann-squared in dimension. */\n  readonly dim: Dimension;\n  /** Empty: K is a scalar (rank-0, all indices contracted). */\n  readonly freeIndices: Map<string, { upper: number; lower: number }>;\n}\n\n/**\n * Dimension literal for [L⁻⁴].\n * Kept module-private; callers receive it through the return value.\n */\nconst DIM_L_NEG4: Dimension = { L: -4, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };\n\n/**\n * Validate a `kretschmann-scalar` node.\n *\n * Re-enters `validateRiemannTensor` for the embedded `riemann` sub-node\n * (so its index-variance, metric-signature, and label-disjointness checks\n * all fire). Discards the Riemann's free-index map — K is a full contraction\n * and every index disappears. Mirrors the `validateRicciTensor` pattern in\n * curvature.ts for embedded-Riemann structural validation.\n *\n * Throws:\n *   - Everything `validateRiemannTensor` throws (PartialDerivativeIndexVarianceError,\n *     MetricSignatureError, IndexLabelCollisionError) propagated from the\n *     embedded Riemann check.\n *\n * Returns:\n *   - `{ dim: [L⁻⁴], freeIndices: empty Map }` — scalar, no free indices.\n *\n * @public\n */\nexport function validateKretschmannScalar(\n  node: KretschmannScalarNode,\n): KretschmannScalarValidationResult {\n  // Re-validate the embedded Riemann. We pass node.riemann directly to\n  // validateRiemannTensor (not via a callback, since KretschmannScalarNode\n  // does not need to thread an infer() context for its sub-nodes — it only\n  // needs the structural checks to fire, and the Riemann validator is\n  // self-contained). Mirrors the validateRicciTensor invocation in\n  // curvature.ts:validateRicciTensor.\n  validateRiemannTensor(node.riemann);\n\n  // K is a scalar: no free indices.\n  return {\n    dim: DIM_L_NEG4,\n    freeIndices: new Map(),\n  };\n}\n"]}

package/dist/dimensional/curvature.js.map

@@ -1 +1 @@
-{"version":3,"file":"curvature.js","sourceRoot":"","sources":["../../src/dimensional/curvature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAeH,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AA+EvD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAqB,EACrB,oBAA0C;IAE1C,yEAAyE;IACzE,iEAAiE;IACjE,0EAA0E;IAC1E,wEAAwE;IACxE,yEAAyE;IACzE,iCAAiC;IACjC,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEnD,qEAAqE;IACrE,gEAAgE;IAChE,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IAExB,oEAAoE;IACpE,mEAAmE;IACnE,yDAAyD;IACzD,MAAM,QAAQ,GAAmB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAmB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9D,IAAI,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC;QACtC,MAAM,IAAI,wBAAwB,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;IAC1E,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACxD,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAExD,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC;AAED,gFAAgF;AAChF,oCAAoC;AACpC,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,UAAU,KAAK,CAAC,CAAoB;IACxC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;AAC9C,CAAC;AAqCD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAwB,EACxB,oBAA0C;IAE1C,yEAAyE;IACzE,wEAAwE;IACxE,MAAM,SAAS,GAAoB,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;IACnF,MAAM,CAAC,GAAG,mBAAmB,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;IAE/D,oEAAoE;IACpE,yEAAyE;IACzE,yEAAyE;IACzE,wEAAwE;IACxE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AACpD,CAAC;AAED,gFAAgF;AAChF,uCAAuC;AACvC,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,UAAU,QAAQ,CACtB,CAAoB,EACpB,CAAmB,EACnB,QAA0B;IAE1B,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;AACtE,CAAC;AAyDD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAAyB,EACzB,oBAA0C;IAE1C,uEAAuE;IACvE,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEnC,yEAAyE;IACzE,0EAA0E;IAC1E,4DAA4D;IAC5D,gEAAgE;IAChE,uEAAuE;IACvE,mDAAmD;IACnD,wEAAwE;IACxE,iDAAiD;IACjD,EAAE;IACF,0EAA0E;IAC1E,gDAAgD;IAChD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAS;QACpC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK;QAC7B,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAClC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAClC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;KACnC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,wBAAwB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,6CAA6C;IAC7C,MAAM,GAAG,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAEzE,6BAA6B;IAC7B,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAClD,WAAW,CAAC,GAAG,CAAC,aAAa,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACvD,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5E,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5E,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAE5E,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC"}
+{"version":3,"file":"curvature.js","sourceRoot":"","sources":["../../src/dimensional/curvature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAeH,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AA+EvD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAqB,EACrB,oBAA0C;IAE1C,yEAAyE;IACzE,iEAAiE;IACjE,0EAA0E;IAC1E,wEAAwE;IACxE,yEAAyE;IACzE,iCAAiC;IACjC,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEnD,qEAAqE;IACrE,gEAAgE;IAChE,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IAExB,oEAAoE;IACpE,mEAAmE;IACnE,yDAAyD;IACzD,MAAM,QAAQ,GAAmB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAmB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9D,IAAI,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC;QACtC,MAAM,IAAI,wBAAwB,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;IAC1E,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACxD,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAExD,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC;AAED,gFAAgF;AAChF,oCAAoC;AACpC,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,UAAU,KAAK,CAAC,CAAoB;IACxC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;AAC9C,CAAC;AAqCD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAwB,EACxB,oBAA0C;IAE1C,yEAAyE;IACzE,wEAAwE;IACxE,MAAM,SAAS,GAAoB,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;IACnF,MAAM,CAAC,GAAG,mBAAmB,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;IAE/D,oEAAoE;IACpE,yEAAyE;IACzE,yEAAyE;IACzE,wEAAwE;IACxE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AACpD,CAAC;AAED,gFAAgF;AAChF,uCAAuC;AACvC,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,UAAU,QAAQ,CACtB,CAAoB,EACpB,CAAmB,EACnB,QAA0B;IAE1B,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;AACtE,CAAC;AAyDD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAAyB,EACzB,oBAA0C;IAE1C,uEAAuE;IACvE,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEnC,yEAAyE;IACzE,0EAA0E;IAC1E,4DAA4D;IAC5D,gEAAgE;IAChE,uEAAuE;IACvE,mDAAmD;IACnD,wEAAwE;IACxE,iDAAiD;IACjD,EAAE;IACF,0EAA0E;IAC1E,gDAAgD;IAChD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAS;QACpC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK;QAC7B,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAClC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAClC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;KACnC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,wBAAwB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,6CAA6C;IAC7C,MAAM,GAAG,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAEzE,6BAA6B;IAC7B,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAClD,WAAW,CAAC,GAAG,CAAC,aAAa,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACvD,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5E,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5E,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAE5E,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC","sourcesContent":["/**\n * Curvature-derived helpers — Ricci and Einstein (v0.5.0 Phase 1d).\n *\n * Module hosts the layer of GR objects derived by contraction of a\n * `RiemannTensorNode`:\n *\n *   - `ricci(R)`    → R_μν = R^λ_{λμν}\n *   - `einstein(R)` → G_μν = R_μν − ½ g_μν R\n *\n * The Bianchi validator stays here. `bianchiResidual`, the evaluator that\n * calls `evaluateNumerical`, lives in `numerical/bianchi-residual.ts` so\n * this module does not import `numerical`.\n *\n * Separation rationale (Design §3 Task 1d): the bare `RiemannTensorNode`\n * stays in `connection-validators.ts` next to `CovariantDerivativeNode`\n * (both are *primary* curvature objects: connection + first-derivative).\n * Everything *contracted from* Riemann lives here — keeps the module\n * graph: tensor → metric → connection-validators → curvature.\n *\n * @module dimensional/curvature\n */\n\nimport type { Dimension } from './types.js';\n// Node/index types + ExprNode now live in the leaf `ast-types.ts` — no longer\n// imported from validator.ts (that back-edge formed a type-only cycle). The\n// curvature node types are re-exported below for existing importers.\nimport type {\n  ExprNode,\n  CovariantIndex,\n  RiemannTensorNode,\n  MetricTensorNode,\n  RicciTensorNode,\n  EinsteinTensorNode,\n  BianchiResidualNode,\n} from './ast-types.js';\nimport { IndexLabelCollisionError } from './errors.js';\n\nexport type { RicciTensorNode, EinsteinTensorNode, BianchiResidualNode } from './ast-types.js';\n\n// ─────────────────────────────────────────────────────────────────────────────\n// Shared pattern-B callback type\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * Shared callback shape used by every pattern-B validator (`validate\n * RicciTensor`, `validateEinsteinTensor`, `validateBianchiResidual`).\n *\n * The callback re-enters the Riemann validator for an embedded\n * `RiemannTensorNode`, returning the validated `{dim, freeIndices}`\n * pair without the surrounding validator-result envelope (the caller\n * is responsible for merging or discarding the free-index map per\n * the contraction it is performing).\n *\n * Co-located here with the three consumer functions (rather than in\n * `validator-registry.ts`) to avoid a `curvature.ts ↔ validator-\n * registry.ts` import cycle — the registry imports the validators\n * from this module, so this module must own the callback type.\n *\n * @internal\n */\nexport type RiemannChildCallback = (child: RiemannTensorNode) => {\n  dim: Dimension;\n  freeIndices: Map<string, { upper: number; lower: number }>;\n};\n\n// ─────────────────────────────────────────────────────────────────────────────\n// RicciTensorNode — new ExprNode kind\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * v0.5.0 Task 7: Ricci tensor AST node R_μν.\n *\n * Internally wraps a RiemannTensorNode and represents the contraction\n *\n *     R_μν = R^λ_{μλν}     (Carroll Eq. 3.91)\n *\n * Index-map on the wrapped Riemann (R^ρ_σμν per RiemannTensorNode):\n *\n *     R^ρ    σ    μ    ν\n *     │     │   │   │\n *     │     │   └── lowerIndices[1] = the dummy contraction slot (λ)\n *     │     │       contracts against upperIndex.label (ρ ↔ λ)\n *     │     └── lowerIndices[0] = free output index #1 (μ_out, lower)\n *     └── upperIndex (ρ) — contracts against lowerIndices[1]\n *                              lowerIndices[2] = free output index #2 (ν_out, lower)\n *\n * After contraction: R_μν free indices = {μ_out: lower, ν_out: lower}, dim {L: -2}.\n *\n * NOTE (post-S1 correction, commit `76628c4`): prior to v0.5.0 Task 7 this\n * docstring incorrectly said `lowerIndices[0]` was the dummy slot. Carroll\n * Eq. 3.91 contracts on the SECOND lower (the μ slot in R^ρ_σμν), giving\n * R_σν after the contraction. The implementation in `validateRicciTensor`\n * below (lines ~87-101) is the authoritative reference. See memory entry\n * `feedback_v0_5_0_ricci_contraction_bug.md` for the bug history.\n *\n * The node is its own validation arm in validator.ts and its own lowering\n * arm in numerical/lowering.ts — same pattern as RiemannTensorNode (no\n * AST-rewrite; the contraction is a single primitive walked directly).\n *\n * @public\n */\n/**\n * v0.6.0 Task 3.10b: RicciTensorNode expressed via CurvatureCompositeNode<K, S>.\n * The runtime shape is identical — pure type-alias migration.\n */\n/**\n * Result of validating a RicciTensorNode.\n * @public\n */\ninterface RicciTensorValidationResult {\n  readonly dim: Dimension;\n  readonly freeIndices: Map<string, { upper: number; lower: number }>;\n}\n\n/**\n * Validate a `ricci-tensor` node.\n *\n * Throws:\n *   - IndexLabelCollisionError if the embedded Riemann's two free output\n *     labels (the σ slot — lowerIndices[0] — and the ν slot —\n *     lowerIndices[2]) collide. (The contracted middle slot\n *     lowerIndices[1] is invisible to this check; any label is allowed\n *     there because it's a dummy.)\n *\n * The Riemann sub-node is validated structurally by re-entering its own\n * validator via the `validateRiemannChild` callback (so its signature\n * checks fire), but its free indices are NOT propagated — the ρ slot\n * collapses into the contraction with the μ slot (Carroll Eq. 3.91:\n * `R_μν = R^λ_{μλν}`), and the surviving σ / ν slots become the new\n * free indices of the Ricci tensor.\n */\nexport function validateRicciTensor(\n  node: RicciTensorNode,\n  validateRiemannChild: RiemannChildCallback,\n): RicciTensorValidationResult {\n  // Re-validate the embedded Riemann so its signature checks (upperIndex /\n  // lowerIndices variance, gLower / gInverse signature, free-index\n  // disjointness) fire here too. We discard its freeIndices map: the ρ slot\n  // and the μ slot (lowerIndices[1]) are the contraction; the surviving σ\n  // (lowerIndices[0]) and ν (lowerIndices[2]) are reconstructed below from\n  // the authoritative axis source.\n  const rResult = validateRiemannChild(node.riemann);\n\n  // Dim is inherited 1:1 from the Riemann (contraction does not change\n  // per-component units — multiplying by δ^ρ_μ is dimensionless).\n  const dim = rResult.dim;\n\n  // Surviving free indices: Ricci's μ_out ← lowerIndices[0] (σ slot),\n  // Ricci's ν_out ← lowerIndices[2] (ν slot). Contracted middle slot\n  // (lowerIndices[1]) is dummied and not surfaced as free.\n  const muOutIdx: CovariantIndex = node.riemann.lowerIndices[0];\n  const nuOutIdx: CovariantIndex = node.riemann.lowerIndices[2];\n  if (muOutIdx.label === nuOutIdx.label) {\n    throw new IndexLabelCollisionError(muOutIdx.label, 2, ['ricci-tensor']);\n  }\n\n  const freeIndices = new Map<string, { upper: number; lower: number }>();\n  freeIndices.set(muOutIdx.label, { upper: 0, lower: 1 });\n  freeIndices.set(nuOutIdx.label, { upper: 0, lower: 1 });\n\n  return { dim, freeIndices };\n}\n\n// ─────────────────────────────────────────────────────────────────────────────\n// ricci() — user-facing constructor\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * Build the Ricci tensor R_μν = R^λ_{μλν} as a composite ExprNode.\n *\n * **Convention (Carroll Eq. 3.91).** Contract upper-ρ against the SECOND\n * lower slot — the μ position in R^ρ_σμν, i.e., `lowerIndices[1]` in the\n * RiemannTensorNode storage. The surviving free indices are the σ slot\n * (`lowerIndices[0]`) → Ricci's first free output μ_out, and the ν slot\n * (`lowerIndices[2]`) → Ricci's second free output ν_out.\n *\n * Index mapping after contraction:\n *   - upperIndex (ρ) → contracted with lowerIndices[1] (the μ slot, λ dummy)\n *   - lowerIndices[0] (σ) → Ricci's free output index 0 (μ_out)\n *   - lowerIndices[2] (ν) → Ricci's free output index 1 (ν_out)\n *   Result: R_μν with free indices {σ_label: lower, ν_label: lower}\n *\n * Index-map diagram:\n *   R^ρ  _  σ  _  μ  _  ν       (RiemannTensorNode slots)\n *       ↑           ↑\n *   upper        lower[1]   <- contract these two (ρ = μ = λ)\n *            lower[0]    lower[2]  <- become R_μν free indices\n *\n * **Why not \"upper ↔ lowerIndices[0]\" (the first-lower trace)?** The trace\n * `R^λ_{λμν}` over the first pair (ρ ↔ σ) is identically zero by the\n * first-pair antisymmetry of the (lowered) Riemann tensor — for any\n * metric, including non-vacuum solutions like de Sitter. The\n * constant-curvature identity `R_μν = (n-1) K g_μν` (Carroll §8.1,\n * `R = 4Λ` in n=4) only matches the upper↔second-lower contraction.\n * The de-Sitter Ricci-scalar test in `tests/dimensional/ricci.test.ts`\n * is the discriminating fixture that pins this convention.\n *\n * The returned tree is a single `ricci-tensor` node wrapping the supplied\n * Riemann. Validator and numerical lowering each have a dedicated arm —\n * no AST rewrite into a `tensor-product`-of-Riemann happens here (the\n * RiemannTensorNode is not contractable in the v0.3.5 tensor-product\n * einsum sense; the contraction is a primitive operation walked directly).\n *\n * @public\n */\nexport function ricci(R: RiemannTensorNode): ExprNode {\n  return { kind: 'ricci-tensor', riemann: R };\n}\n\n// ─────────────────────────────────────────────────────────────────────────────\n// EinsteinTensorNode — new ExprNode kind (Task 8)\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * v0.5.0 Task 8: Einstein tensor AST node G_μν = R_μν − ½ R g_μν.\n *\n * Wraps a `RiemannTensorNode` (contracted via the same Carroll-Eq.-3.91\n * convention as `RicciTensorNode` — see ricci()'s JSDoc) plus the metric\n * pair needed for the scalar trace `R = g^μν R_μν` and the `½ R g_μν`\n * subtraction term. Storage mirrors the `RicciTensorNode` pattern: own\n * validator + lowering arms, no AST rewrite into op('-', ricci, scale·g).\n *\n * Free indices match `R.lowerIndices[0]` and `R.lowerIndices[2]` — same as\n * ricci(R), with the same Carroll-Eq.-3.91 contraction; the embedded\n * Riemann's middle slot lowerIndices[1] is the dummy λ.\n *\n * Dim: {L: -2} — inherited from Riemann/Ricci (both `R_μν` and `R · g_μν`\n * carry 1/L²; subtraction preserves dim).\n *\n * @public\n */\n/**\n * v0.6.0 Task 3.10b: EinsteinTensorNode expressed via CurvatureCompositeNode<K, S>.\n * The runtime shape is identical — pure type-alias migration.\n */\n/**\n * Result of validating an EinsteinTensorNode.\n * @public\n */\ninterface EinsteinTensorValidationResult {\n  readonly dim: Dimension;\n  readonly freeIndices: Map<string, { upper: number; lower: number }>;\n}\n\n/**\n * Validate an `einstein-tensor` node.\n *\n * Delegates structural checks to the embedded Riemann via the\n * `validateRiemannChild` callback (same pattern as `validateRicciTensor`)\n * and reuses `validateRicciTensor` for the surviving free-index labels —\n * an Einstein tensor's free indices are exactly the Ricci tensor's free\n * indices (subtracting `½ R g_μν` with matching {μ_out, ν_out} labels\n * preserves the index structure).\n *\n * The `gLower` / `gInverse` sub-nodes are deliberately NOT propagated as\n * free indices — they are consumed internally by the scalar-trace\n * contraction and the `½ R g_μν` multiplication (same H1 discipline as\n * RiemannTensorNode for its gLower/gInverse fields).\n *\n * Throws:\n *   - Everything `validateRicciTensor` throws (IndexLabelCollisionError on\n *     surviving free-index collision; MetricSignatureError /\n *     PartialDerivativeIndexVarianceError from the inner Riemann).\n */\nexport function validateEinsteinTensor(\n  node: EinsteinTensorNode,\n  validateRiemannChild: RiemannChildCallback,\n): EinsteinTensorValidationResult {\n  // Delegate to Ricci validation — the surviving free-index labels and dim\n  // are identical (R_μν has the same {μ_out, ν_out} as G_μν, dim {L:-2}).\n  const ricciNode: RicciTensorNode = { kind: 'ricci-tensor', riemann: node.riemann };\n  const r = validateRicciTensor(ricciNode, validateRiemannChild);\n\n  // Defense in depth: the `½ R g_μν` term involves g_μν, but its free\n  // indices are NOT propagated — they are the same {μ_out, ν_out} as Ricci\n  // by construction (we contract them down to a 4×4 in the same axis order\n  // during lowering). Mirrors H1: gLower / gInverse on RiemannTensorNode.\n  return { dim: r.dim, freeIndices: r.freeIndices };\n}\n\n// ─────────────────────────────────────────────────────────────────────────────\n// einstein() — user-facing constructor\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * Build the Einstein tensor G_μν = R_μν − ½ R g_μν as a composite ExprNode.\n *\n * **Convention.** The Einstein tensor adds the scalar-trace subtraction\n * term `½ R g_μν` to Ricci — it does NOT introduce a new contraction\n * convention. The inner Ricci `R_μν` inherits Carroll Eq. 3.91 from\n * `ricci(R)` (contraction on `lowerIndices[1]`, the middle/μ slot in\n * R^ρ_σμν; see RicciTensorNode JSDoc for the index-map diagram). The\n * scalar trace is `R = g^μν R_μν`. The result `G_μν` shares free indices\n * {μ_out, ν_out} with `ricci(R)`.\n *\n * **Algebra (sanity check).**\n *   - de Sitter (n=4): `R_μν = Λ g_μν`, `R = 4Λ` ⇒\n *     `G_μν = Λ g_μν − ½·4Λ·g_μν = −Λ g_μν`. Vacuum Einstein equation\n *     `G_μν + Λ g_μν = 0` holds.\n *   - Schwarzschild (vacuum): `R_μν ≡ 0`, `R = 0` ⇒ `G_μν ≡ 0`.\n *   - Trace identity (any metric, n=4): `g^μν G_μν = R − ½·R·4 = −R`.\n *\n * **AST shape.** Single `einstein-tensor` node wrapping `R`, `gLower`,\n * `gInverse`. Validator and numerical lowering each have a dedicated arm;\n * no AST rewrite into `ricci(R) − ½ R g_μν` happens (the subtraction term\n * would need a tensor-valued scalar-multiply that the v0.3.5 tensor-product\n * einsum does not support directly). Same walk-directly pattern as Ricci.\n *\n * **Matter coupling is out of scope.** The vacuum / cosmological-constant\n * tests pin G_μν only; `G_μν = κ T_μν` (Einstein field equations with a\n * stress-energy source) is deferred to v0.6.0+.\n *\n * @public\n */\nexport function einstein(\n  R: RiemannTensorNode,\n  g: MetricTensorNode,\n  gInverse: MetricTensorNode,\n): ExprNode {\n  return { kind: 'einstein-tensor', riemann: R, gLower: g, gInverse };\n}\n\n// ─────────────────────────────────────────────────────────────────────────────\n// BianchiResidualNode — new ExprNode kind (Task 9)\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * v0.5.0 Task 9: Second-Bianchi-identity residual AST node.\n *\n * Represents the cyclic-over-first-three-indices sum that vanishes by the\n * second Bianchi identity (Carroll Eq. 3.95):\n *\n *   B_{λμνρσ} = ∇_λ R_{μνρσ} + ∇_μ R_{νλρσ} + ∇_ν R_{λμρσ} ≡ 0\n *\n * Storage: wraps the originating RiemannTensorNode. Lowering computes B\n * numerically by:\n *   1. Lowering the upper-ρ of the Riemann tensor JS-side via g_{aρ}.\n *   2. Computing ∂_λ R_{αβγδ} via a 4th-order centered FD (one MORE layer\n *      on top of the Riemann lowering's already-FD-laden Γ + ∂Γ stack).\n *   3. Adding Christoffel-correction terms to form ∇_λ R_{μνρσ} (Approach 1:\n *      canonical, not partial-only).\n *   4. Summing cyclically over (λ, μ, ν) with (ρ, σ) fixed.\n *\n * **Dim L⁻³.** R_{μνρσ} has dim L⁻² (inherited from R^ρ_{σμν}, since lowering\n * with the dimensionless metric preserves dim per our convention). One ∂/∂x\n * divides by L, giving L⁻³ on ∇R and on the cyclic sum B.\n *\n * **Free indices (5 lower):** λ, μ, ν, ρ, σ — taken from the same axis\n * convention as RiemannTensorNode.lowerIndices plus a fresh λ slot. To avoid\n * label collisions we synthesise `lambda` as the 5th index and reuse\n * R.lowerIndices[0..2] for {μ_out, ν_out, ρ_out}; the 4th wrapped slot\n * surfaces as `sigma_out`. (See `validateBianchiResidual` below for the\n * label-collision rule.)\n *\n * **Why not lower via the v0.3.0 `lower()` AST function?** lower() returns a\n * `tensor-product` node referencing the metric and operand by label/free-\n * index merge, intended for compositional expressions. The lowered Riemann\n * here is consumed point-wise by the FD stencil; building an AST product +\n * re-validating + re-lowering on every of the 25 FD samples is needless\n * machinery for a closed JS-side contraction. Matches the walk-directly\n * philosophy of Tasks 6, 7, 8.\n *\n * @public\n */\n/**\n * v0.6.0 Task 3.10c: BianchiResidualNode expressed via CurvatureCompositeNode<K, S>.\n * The runtime shape is identical — pure type-alias migration.\n */\n/**\n * Result of validating a BianchiResidualNode.\n * @public\n */\ninterface BianchiResidualValidationResult {\n  readonly dim: Dimension;\n  readonly freeIndices: Map<string, { upper: number; lower: number }>;\n}\n\n/**\n * Validate a `bianchi-residual` node.\n *\n * Inherits all structural checks from the embedded Riemann via\n * `validateRiemannChild`. The output freeIndices are 5 lower labels:\n *\n *   - `lambda` — the synthesised FIRST cyclic-derivative axis (a new label;\n *     must not collide with the wrapped Riemann's free labels)\n *   - The Riemann's `lowerIndices[0]` label → μ_out\n *   - The Riemann's `lowerIndices[1]` label → ν_out\n *   - The Riemann's `lowerIndices[2]` label → ρ_out\n *   - A synthesised `sigma_out` — the fourth Riemann index after lowering ρ.\n *\n * Throws:\n *   - IndexLabelCollisionError if the synthesised `lambda` / `sigma_out`\n *     labels collide with any wrapped-Riemann label.\n */\nexport function validateBianchiResidual(\n  node: BianchiResidualNode,\n  validateRiemannChild: RiemannChildCallback,\n): BianchiResidualValidationResult {\n  // Re-validate the embedded Riemann for its own signature/index checks.\n  validateRiemannChild(node.riemann);\n\n  // Build the 5 free-index labels. The Riemann's lowerIndices[0..2] become\n  // the μ_out, ν_out, ρ_out of the all-lower Riemann (after lowering ρ to a\n  // synthesised 'sigma_out'... wait — the convention here is:\n  //   ∇_λ R_{αβγδ} has 5 indices: λ + 4 from the lowered Riemann.\n  //   The 4 from the lowered Riemann are: the freshly-lowered ρ (renamed\n  //   from `upperIndex.label`) + lowerIndices[0..2].\n  // We use literal label `lambda` for the cyclic-deriv axis. The freshly-\n  // lowered ρ takes a literal `alpha_lower` label.\n  //\n  // Collision rule: `lambda` and `alpha_lower` must not collide with any of\n  // {upperIndex.label, lowerIndices[0..2].label}.\n  const wrappedLabels = new Set<string>([\n    node.riemann.upperIndex.label,\n    node.riemann.lowerIndices[0].label,\n    node.riemann.lowerIndices[1].label,\n    node.riemann.lowerIndices[2].label,\n  ]);\n  const synthesised = ['lambda', 'alpha_lower'];\n  for (const s of synthesised) {\n    if (wrappedLabels.has(s)) {\n      throw new IndexLabelCollisionError(s, 2, ['bianchi-residual']);\n    }\n  }\n\n  // Per Design §3 Task 1f / F8 / I3: Bianchi residual carries 1/L³ (one\n  // covariant derivative on R, which is 1/L²).\n  const dim: Dimension = { L: -3, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };\n\n  // 5 free indices, all lower.\n  const freeIndices = new Map<string, { upper: number; lower: number }>();\n  freeIndices.set('lambda', { upper: 0, lower: 1 });\n  freeIndices.set('alpha_lower', { upper: 0, lower: 1 });\n  freeIndices.set(node.riemann.lowerIndices[0].label, { upper: 0, lower: 1 });\n  freeIndices.set(node.riemann.lowerIndices[1].label, { upper: 0, lower: 1 });\n  freeIndices.set(node.riemann.lowerIndices[2].label, { upper: 0, lower: 1 });\n\n  return { dim, freeIndices };\n}\n"]}

package/dist/dimensional/dimension-inference.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dimension-inference.d.ts","sourceRoot":"","sources":["../../src/dimensional/dimension-inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAG5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAK/C;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,QAAQ,CAa1F;AAQD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,QAAQ,EACd,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,SAAS,GACnB,SAAS,GAAG,IAAI,CAyBlB"}
+{"version":3,"file":"dimension-inference.d.ts","sourceRoot":"","sources":["../../src/dimensional/dimension-inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAG5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG/C;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,QAAQ,CAa1F;AAQD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,QAAQ,EACd,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,SAAS,GACnB,SAAS,GAAG,IAAI,CAyBlB"}

package/dist/dimensional/dimension-inference.js

@@ -18,9 +18,8 @@
  * @module dimensional/dimension-inference
  */
 import { DIMENSIONLESS, LENGTH } from './types.js';
-import { divide, power, EXPONENT_TOL } from './algebra.js';
+import { BASES, divide, power, EXPONENT_TOL } from './algebra.js';
 import { validate } from './validator.js';
-const BASES = ['L', 'M', 'T', 'I', 'Theta', 'N', 'J'];
 /**
  * Rebuild `node`, replacing the dimension of every `symbol` named `name` with
  * `dim`. Walks the scalar arms (`symbol`/`op`/`transcendental`/`abs`); other

package/dist/dimensional/dimension-inference.js.map

@@ -1 +1 @@
-{"version":3,"file":"dimension-inference.js","sourceRoot":"","sources":["../../src/dimensional/dimension-inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE3D,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,KAAK,GAAmC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAEtF;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAc,EAAE,IAAY,EAAE,GAAc;IAC9E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACtD,KAAK,IAAI;YACP,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QACpF,KAAK,gBAAgB;YACnB,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,mBAAmB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACpE,KAAK,KAAK;YACR,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,mBAAmB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACpE;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,SAAS,eAAe,CAAC,IAAc;IACrC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,iBAAiB,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAc,EACd,OAAe,EACf,SAAoB;IAEpB,MAAM,EAAE,GAAG,eAAe,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;IAC9E,MAAM,EAAE,GAAG,eAAe,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IACvE,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAE5C,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAChC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IACrB,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,4CAA4C;IACtE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,KAAK,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,oBAAoB;IAC7E,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnD,8EAA8E;IAC9E,8EAA8E;IAC9E,8EAA8E;IAC9E,6EAA6E;IAC7E,+EAA+E;IAC/E,MAAM,OAAO,GAAG,EAAE,GAAG,MAAM,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACzC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,YAAY;YAAE,OAAO,IAAI,CAAC;QACjE,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC;IAC1B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}
+{"version":3,"file":"dimension-inference.js","sourceRoot":"","sources":["../../src/dimensional/dimension-inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAElE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAc,EAAE,IAAY,EAAE,GAAc;IAC9E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACtD,KAAK,IAAI;YACP,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QACpF,KAAK,gBAAgB;YACnB,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,mBAAmB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACpE,KAAK,KAAK;YACR,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,mBAAmB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACpE;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,SAAS,eAAe,CAAC,IAAc;IACrC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,iBAAiB,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAc,EACd,OAAe,EACf,SAAoB;IAEpB,MAAM,EAAE,GAAG,eAAe,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;IAC9E,MAAM,EAAE,GAAG,eAAe,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IACvE,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAE5C,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAChC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IACrB,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,4CAA4C;IACtE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,KAAK,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,oBAAoB;IAC7E,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnD,8EAA8E;IAC9E,8EAA8E;IAC9E,8EAA8E;IAC9E,6EAA6E;IAC7E,+EAA+E;IAC/E,MAAM,OAAO,GAAG,EAAE,GAAG,MAAM,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACzC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,YAAY;YAAE,OAAO,IAAI,CAAC;QACjE,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC;IAC1B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC","sourcesContent":["/**\n * Single-unknown dimensional inference.\n *\n * Given a parsed scalar `ExprNode` (e.g. the RHS of a user equation) in which\n * exactly one symbol's dimension is unknown, and the known dimension the whole\n * expression must equal (the target), recover the unknown's dimension from\n * dimensional homogeneity — or abstain (`null`) when it is not uniquely pinned\n * (the unknown is sum-constrained, absent, or appears non-cleanly).\n *\n * Method (no symbolic differentiation): probe the unknown with two dimensions\n * and read off its net power. With the unknown set to `DIMENSIONLESS` the\n * expression has dimension `D0`; set to `LENGTH` it has `D1`. The unknown enters\n * the dimension as a single power `p`, so `D1 / D0 = LENGTH^p`; if that quotient\n * is a clean power of the probe (only the `L` component nonzero), then from\n * `target = D0 · unknown^p` we get `unknown = (target / D0)^(1/p)`. Pure; reuses\n * the dimensional `algebra`.\n *\n * @module dimensional/dimension-inference\n */\n\nimport type { Dimension } from './types.js';\nimport { DIMENSIONLESS, LENGTH } from './types.js';\nimport { BASES, divide, power, EXPONENT_TOL } from './algebra.js';\nimport type { ExprNode } from './validator.js';\nimport { validate } from './validator.js';\n\n/**\n * Rebuild `node`, replacing the dimension of every `symbol` named `name` with\n * `dim`. Walks the scalar arms (`symbol`/`op`/`transcendental`/`abs`); other\n * arms are returned unchanged (they do not occur in parsed scalar expressions).\n *\n * @public\n */\nexport function substituteSymbolDim(node: ExprNode, name: string, dim: Dimension): ExprNode {\n  switch (node.kind) {\n    case 'symbol':\n      return node.name === name ? { ...node, dim } : node;\n    case 'op':\n      return { ...node, args: node.args.map((a) => substituteSymbolDim(a, name, dim)) };\n    case 'transcendental':\n      return { ...node, arg: substituteSymbolDim(node.arg, name, dim) };\n    case 'abs':\n      return { ...node, arg: substituteSymbolDim(node.arg, name, dim) };\n    default:\n      return node;\n  }\n}\n\n/** Homogeneous dimension of `node`, or `null` if it is not well-formed. */\nfunction dimensionOrNull(node: ExprNode): Dimension | null {\n  const r = validate(node);\n  return r.ok && r.inferredDimension !== null ? r.inferredDimension : null;\n}\n\n/**\n * Infer the dimension of `unknown` in `expr` such that `expr` has dimension\n * `targetDim`, or `null` when it is not uniquely determined.\n *\n * @public\n */\nexport function inferUnknownDimension(\n  expr: ExprNode,\n  unknown: string,\n  targetDim: Dimension,\n): Dimension | null {\n  const d0 = dimensionOrNull(substituteSymbolDim(expr, unknown, DIMENSIONLESS));\n  const d1 = dimensionOrNull(substituteSymbolDim(expr, unknown, LENGTH));\n  if (d0 === null || d1 === null) return null;\n\n  // D1 / D0 must be a clean power of the probe (LENGTH): only the L exponent.\n  const quotient = divide(d1, d0);\n  const p = quotient.L;\n  if (p === 0) return null; // the unknown does not affect the dimension\n  for (const base of BASES) {\n    if (base !== 'L' && quotient[base] !== 0) return null; // not a clean power\n  }\n  const result = power(divide(targetDim, d0), 1 / p);\n  // Snap each exponent to its nearest integer within tolerance, then abstain if\n  // any is GENUINELY fractional (e.g. x^2 = [length] ⟹ [length]^½ is not a real\n  // physical dimension). The tolerance absorbs FP round-off that arrives in the\n  // target from a v0.20 fractional-power computation, so a real integer answer\n  // (L = 2 + ε) is not spuriously rejected — consistent with `equals` (bb15432).\n  const snapped = { ...result };\n  for (const base of BASES) {\n    const rounded = Math.round(result[base]);\n    if (Math.abs(result[base] - rounded) > EXPONENT_TOL) return null;\n    snapped[base] = rounded;\n  }\n  return snapped;\n}\n"]}

package/dist/dimensional/dimension-spec.d.ts

@@ -3,9 +3,14 @@
  * so CLI users can declare a quantity's dimensions without TypeScript.
  *
  * Accepts (in priority order):
- *   1. a named dimension — `length`, `time`, `mass`, `velocity`,
- *      `acceleration`, `force`, `energy`, `power`, `action`, `frequency`,
- *      `temperature`, `entropy`, `charge`, `area`, `dimensionless`;
+ *   1. a named dimension — the `types.ts` constants (`length`, `time`,
+ *      `mass`, `velocity`, `acceleration`, `force`, `energy`, `power`,
+ *      `action`, `frequency`, `temperature`, `entropy`, `charge`, `area`,
+ *      `dimensionless`, `density`) and the dimensions of the SI units
+ *      `m^3`, `Pa`, `Pa*s`, `ohm`, `T`, `H/m`, `A`, `mol`, `cd` under the
+ *      names `volume`, `pressure`, `viscosity`, `resistance`,
+ *      `magnetic-field`, `permeability`, `current`, `amount` (or
+ *      `amount-of-substance`), `luminous-intensity`;
  *   2. a fundamental constant by name — `hbar`/`ℏ`, `c`, `G`, `k_B`/`kB`,
  *      `e` (its SI dimension);
  *   3. a product/quotient of named dimensions or constants — `power/area`,
@@ -22,10 +27,11 @@
  * ({@link parseFormulaPNode}). The dimension notation differs from a formula
  * only in spelling, and {@link formulaSyntax} rewrites those spellings
  * before the parse: a `.` between factors is `*`, a space between factors is
- * `*`, a glued exponent (`L2`, `T-2`) takes its `^`, a fractional exponent
- * (`T^1/2`) is parenthesized, and a hyphen inside a name (`magnetic-field`)
- * is `_`. There is no subtraction in a dimension, so `-` after a name is
- * always an exponent's sign.
+ * `*`, a glued exponent (`L2`, `T-2`) takes its `^` unless the letters and
+ * the digit together spell a registered atom (`mu0`, `eps0`), a fractional
+ * exponent (`T^1/2`) is parenthesized, and a hyphen inside a name
+ * (`magnetic-field`) is `_`. There is no subtraction in a dimension, so `-`
+ * after a name is always an exponent's sign.
  *
  * @module dimensional/dimension-spec
  */

package/dist/dimensional/dimension-spec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dimension-spec.d.ts","sourceRoot":"","sources":["../../src/dimensional/dimension-spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAuB5C,4BAA4B;AAC5B,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AA+BD;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,EAAE,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAA;CAAE,EACf,CAAC;AAoH1F,wEAAwE;AACxE,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAkB1D"}
+{"version":3,"file":"dimension-spec.d.ts","sourceRoot":"","sources":["../../src/dimensional/dimension-spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAyB5C,4BAA4B;AAC5B,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAqCD;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,EAAE,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAA;CAAE,EACf,CAAC;AAkI1F,wEAAwE;AACxE,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAkB1D"}

package/dist/dimensional/dimension-spec.js

@@ -3,9 +3,14 @@
  * so CLI users can declare a quantity's dimensions without TypeScript.
  *
  * Accepts (in priority order):
- *   1. a named dimension — `length`, `time`, `mass`, `velocity`,
- *      `acceleration`, `force`, `energy`, `power`, `action`, `frequency`,
- *      `temperature`, `entropy`, `charge`, `area`, `dimensionless`;
+ *   1. a named dimension — the `types.ts` constants (`length`, `time`,
+ *      `mass`, `velocity`, `acceleration`, `force`, `energy`, `power`,
+ *      `action`, `frequency`, `temperature`, `entropy`, `charge`, `area`,
+ *      `dimensionless`, `density`) and the dimensions of the SI units
+ *      `m^3`, `Pa`, `Pa*s`, `ohm`, `T`, `H/m`, `A`, `mol`, `cd` under the
+ *      names `volume`, `pressure`, `viscosity`, `resistance`,
+ *      `magnetic-field`, `permeability`, `current`, `amount` (or
+ *      `amount-of-substance`), `luminous-intensity`;
  *   2. a fundamental constant by name — `hbar`/`ℏ`, `c`, `G`, `k_B`/`kB`,
  *      `e` (its SI dimension);
  *   3. a product/quotient of named dimensions or constants — `power/area`,
@@ -22,17 +27,19 @@
  * ({@link parseFormulaPNode}). The dimension notation differs from a formula
  * only in spelling, and {@link formulaSyntax} rewrites those spellings
  * before the parse: a `.` between factors is `*`, a space between factors is
- * `*`, a glued exponent (`L2`, `T-2`) takes its `^`, a fractional exponent
- * (`T^1/2`) is parenthesized, and a hyphen inside a name (`magnetic-field`)
- * is `_`. There is no subtraction in a dimension, so `-` after a name is
- * always an exponent's sign.
+ * `*`, a glued exponent (`L2`, `T-2`) takes its `^` unless the letters and
+ * the digit together spell a registered atom (`mu0`, `eps0`), a fractional
+ * exponent (`T^1/2`) is parenthesized, and a hyphen inside a name
+ * (`magnetic-field`) is `_`. There is no subtraction in a dimension, so `-`
+ * after a name is always an exponent's sign.
  *
  * @module dimensional/dimension-spec
  */
-import { DIMENSIONLESS, LENGTH, AREA, TIME, FREQUENCY, MASS, VELOCITY, ACCELERATION, FORCE, ENERGY, POWER, ACTION, TEMPERATURE, ENTROPY, CHARGE, } from './types.js';
+import { DIMENSIONLESS, LENGTH, AREA, TIME, FREQUENCY, MASS, MASS_DENSITY, VELOCITY, ACCELERATION, FORCE, ENERGY, POWER, ACTION, TEMPERATURE, ENTROPY, CHARGE, } from './types.js';
 import { divide, multiply, power } from './algebra.js';
 import { dim } from './ast-builders.js';
 import { CONSTANT_REGISTRY } from './symbolic-constants.js';
+import { unitDimension } from './units.js';
 import { parseFormulaPNode } from '../numerical/formula-dimension.js';
 /** A bad dimension spec. */
 export class DimensionSpecError extends Error {
@@ -41,16 +48,20 @@ export class DimensionSpecError extends Error {
         this.name = 'DimensionSpecError';
     }
 }
-/** `dim(L, M, T, I, Θ)`, the one builder, from `ast-builders`. */
-const d = dim;
-/** Named dimensions — matched case-insensitively. */
+/**
+ * Named dimensions — matched case-insensitively. Each is a `types.ts`
+ * constant or the dimension of an SI unit read by the one unit reader; no
+ * exponent tuple is typed here.
+ */
 const NAMED_DIMS = {
     dimensionless: DIMENSIONLESS,
     length: LENGTH,
     area: AREA,
+    volume: unitDimension('m^3'),
     time: TIME,
     frequency: FREQUENCY,
     mass: MASS,
+    density: MASS_DENSITY,
     velocity: VELOCITY,
     acceleration: ACCELERATION,
     force: FORCE,
@@ -60,13 +71,16 @@ const NAMED_DIMS = {
     temperature: TEMPERATURE,
     entropy: ENTROPY,
     charge: CHARGE,
-    pressure: d(-1, 1, -2),
-    density: d(-3, 1),
-    volume: d(3),
-    viscosity: d(-1, 1, -1),
-    resistance: d(2, 1, -3, -2, 0),
-    magnetic_field: d(0, 1, -2, -1, 0),
-    permeability: d(1, 1, -2, -2, 0),
+    current: unitDimension('A'),
+    electric_current: unitDimension('A'),
+    amount: unitDimension('mol'),
+    amount_of_substance: unitDimension('mol'),
+    luminous_intensity: unitDimension('cd'),
+    pressure: unitDimension('Pa'),
+    viscosity: unitDimension('Pa*s'),
+    resistance: unitDimension('ohm'),
+    magnetic_field: unitDimension('T'),
+    permeability: unitDimension('H/m'),
 };
 /**
  * One constant's exact-case spellings, projected from the constant registry.
@@ -101,10 +115,20 @@ function resolveAtom(raw) {
     return NAMED_DIMS[key] ?? NAMED_DIMS[s.toLowerCase()] ?? null;
 }
 function baseAtom(id) {
-    const baseKey = BASES[id.toUpperCase()] ?? BASES[id];
+    // A single base letter is read in its own case: `m` is the metre's symbol, not mass,
+    // and `t`, `i`, `n`, `j` are not bases either (Tom's second round; it read `m^3` as M³).
+    // `Theta`/`THETA`/`Θ` are the one multi-letter base and stay case-insensitive.
+    if (id.length === 1 && /[a-z]/.test(id)) {
+        const upper = id.toUpperCase();
+        if (BASES[upper] !== undefined) {
+            throw new DimensionSpecError(`'${id}' is not a base letter: the bases are L M T I Θ N J in that case (mass is M, length is L); a unit symbol is not a dimension`);
+        }
+        return null;
+    }
+    const baseKey = id.length > 1 ? BASES[id.toUpperCase()] ?? BASES[id] : BASES[id];
     if (!baseKey)
         return null;
-    const out = d();
+    const out = dim();
     out[baseKey] = 1;
     return out;
 }
@@ -120,8 +144,10 @@ function formulaSyntax(spec) {
         // Spaces around an operator carry nothing; between two factors they multiply.
         .replace(/\s*([*/^().])\s*/g, '$1')
         .replace(/\s+/g, '*')
-        // A glued exponent: `L2`, `T-2`, `T-2.5` (a name's own digits follow `_`, as in `mu_0`).
-        .replace(/(?<=[A-Za-zΘ])([+-]?\d)/g, '^$1')
+        // A glued exponent: `L2`, `T-2`, `T-2.5`. The letters and the digit
+        // together may spell a registered atom (`mu0`, `eps0`, `mu_0`); that
+        // token is a name, not a base with an exponent.
+        .replace(/([A-Za-zΘ_]+)([+-]?\d)/g, (token, word, digit) => resolveAtom(token) !== null ? token : `${word}^${digit}`)
         // A fractional exponent: `T^1/2` is `T^(1/2)`.
         .replace(/\^([+-]?\d+(?:\.\d+)?)\/(\d+(?:\.\d+)?)/g, '^($1/$2)')
         // A dot between factors is a product; a dot before a digit is a decimal point.
@@ -164,7 +190,7 @@ function dimensionOf(node, spec) {
         case 'num':
             // A literal 1 is the dimensionless numerator: `1/time`.
             if (node.value === 1)
-                return d();
+                return dim();
             throw new DimensionSpecError(`a number is not a dimension term ('${node.value}' in '${spec}')`);
         case 'pow': {
             const exponent = exponentOf(node.exp, spec);