universal-physics-tensor 8.0.0 → 10.0.0

package/dist/core/constants.d.ts

@@ -1,27 +1,32 @@
 /**
- * Canonical CODATA 2018 + SI-defined physical constants for UPT (v0.5.1).
+ * Canonical CODATA 2018 + SI-defined physical constants for UPT.
  *
- * Single source of truth for fundamental physical constants used across the
- * numerical, dimensional, and bridge layers. Replaces the truncated local
- * literals (`c_SI = 2.998e8`, etc.) that drifted across `src/numerical/`,
- * `src/bridges/`, and `tests/fixtures/` — see audit `PC-1` in
- * `docs/architecture/archive/v0.5.1-audit.md`.
+ * The one owner of every fundamental physical constant used across the
+ * numerical, dimensional, and bridge layers; `tests/core/constants-owner.test.ts`
+ * fails on a second copy of any of these decimals elsewhere under `src/`.
  *
  * Values use:
  *   • Exact-SI definitions (`C_SI`, `H_SI`, `K_B_SI`, `E_SI`) where the
  *     2019 SI redefinition fixed their values exactly.
  *   • `HBAR_SI` is the exact quotient `H_SI / (2π)`, not the truncated CODATA display.
  *   • CODATA 2018 best estimates for measured constants (`G_SI`, `ALPHA`, Planck units).
- *   • Planck 2018 best estimate for `H0_SI`.
+ *   • Planck 2018 best estimate for `H0_SI`, in SI through the unit table's parsec.
  *
- * The `PhysicalConstants` namespace in `src/core/types.ts` is retained for
- * backwards-compat; new code should prefer these flat exports.
+ * This file is the one owner of every value. `PhysicalConstants` in
+ * `src/core/types.ts` and the constant registry in
+ * `src/dimensional/symbolic-constants.ts` are projections of it, and a test
+ * refuses a CODATA literal anywhere else under `src/`. A unit is the unit
+ * table's: `H0_SI` reads the parsec from `data/units.json` rather than
+ * restating it, so the Hubble rate here and `67.4 km/s/Mpc` read through the
+ * unit table are one number.
  *
  * @module core/constants
  * @public
  */
 /** Speed of light in vacuum (m/s). Exact SI definition since 1983. */
 export declare const C_SI = 299792458;
+/** Rydberg constant R∞ (infinite nuclear mass), CODATA 2018: 10 973 731.568 160(21) m⁻¹. */
+export declare const R_INF_SI = 10973731.56816;
 /** Newtonian gravitational constant (m³ kg⁻¹ s⁻²). CODATA 2018. */
 export declare const G_SI = 6.6743e-11;
 /** Planck constant (J·s). Exact SI definition since 2019. */
@@ -33,12 +38,20 @@ export declare const H_SI = 6.62607015e-34;
  * CODATA 2018 values, which were computed from the truncated display.
  */
 export declare const HBAR_SI: number;
+/** The CODATA 2018 display value of ħ: {@link HBAR_SI} truncated. Kept so the difference is computed, not typed. @internal */
+export declare const HBAR_CODATA_DISPLAY = 1.054571817e-34;
 /** Boltzmann constant (J/K). Exact SI definition since 2019. */
 export declare const K_B_SI = 1.380649e-23;
 /** Elementary charge (C). Exact SI definition since 2019. */
 export declare const E_SI = 1.602176634e-19;
 /** Fine-structure constant α (dimensionless). CODATA 2018. */
 export declare const ALPHA = 0.0072973525693;
+/** Vacuum permittivity ε₀ (F/m). CODATA 2018. @internal */
+export declare const EPS0_SI = 8.8541878128e-12;
+/** Vacuum permeability μ₀ = 1/(ε₀ c²) (H/m), from ε₀ and the exact c. @internal */
+export declare const MU0_SI: number;
+/** Stefan–Boltzmann constant σ (W m⁻² K⁻⁴). CODATA 2018. @internal */
+export declare const SIGMA_SB_SI = 5.670374419e-8;
 /** Planck mass √(ℏc/G) (kg). CODATA 2018. */
 export declare const M_P_SI = 2.176434e-8;
 /** Planck length √(ℏG/c³) (m). CODATA 2018. */
@@ -49,7 +62,10 @@ export declare const T_P_SI = 5.391247e-44;
  * Hubble parameter H₀ (s⁻¹).
  *
  * Planck 2018 TT,TE,EE+lowE+lensing best estimate: 67.4 km/s/Mpc, converted
- * to SI using 1 Mpc = 3.0857×10²² m.
+ * with the parsec of the unit table (`data/units.json`, 648000/π au), so it is
+ * the value `convertValue('67.4km/s/Mpc', 'Hz')` reads: one Hubble rate,
+ * 2.1842852410855023e-18 s⁻¹. The unit table is the one place the parsec is
+ * written; this module reads it rather than restating it.
  */
 export declare const H0_SI: number;
 /**
@@ -67,6 +83,8 @@ export declare const VON_KLITZING_SI: number;
 export declare const JOSEPHSON_CONSTANT_SI: number;
 /** Lorenz number L = (π²/3) (k_B/e)² (W Ω K⁻²). */
 export declare const LORENZ_NUMBER_SI: number;
+/** Euler–Mascheroni constant γ. The BCS gap is π k_B T_c / e^γ; the formula name is `euler_gamma`. */
+export declare const EULER_GAMMA = 0.5772156649015329;
 /** Weak-coupling BCS gap ratio 2Δ(0)/(k_B T_c) = 2π e^{−γ}. */
 export declare const BCS_GAP_RATIO: number;
 /** Lane-Emden n=3 dimensionless radius used by the white-dwarf mass. */
@@ -84,8 +102,13 @@ export declare const THOMSON_CROSS_SECTION_SI = 6.6524587321e-29;
  * @public
  */
 export declare const GM_SUN_SI = 132712440000000000000;
-/** Where {@link GM_SUN_SI} comes from. @internal */
-export declare const GM_SUN_SOURCE = "IAU 2015 Resolution B3, nominal solar mass parameter (GM)\u2609 = 1.3271244e20 m\u00B3 s\u207B\u00B2";
+/**
+ * The solar mass (kg) that reproduces {@link GM_SUN_SI} with {@link G_SI}:
+ * the double `GM_SUN_SI / G_SI`. The unit `Msun_iau` and the registry name
+ * `Msun_iau` both read this one value.
+ * @internal
+ */
+export declare const M_SUN_IAU_SI: number;
 /**
  * Electron mass (kg), CODATA 2018. Added for the v0.11 namespacing
  * gate's criterion-3 pin (λ_T of an electron at the Hawking

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

@@ -1 +1 @@
-{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../src/core/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,sEAAsE;AACtE,eAAO,MAAM,IAAI,YAAY,CAAC;AAE9B,mEAAmE;AACnE,eAAO,MAAM,IAAI,aAAc,CAAC;AAEhC,6DAA6D;AAC7D,eAAO,MAAM,IAAI,iBAAiB,CAAC;AAEnC;;;;;GAKG;AACH,eAAO,MAAM,OAAO,QAAuB,CAAC;AAE5C,gEAAgE;AAChE,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC,6DAA6D;AAC7D,eAAO,MAAM,IAAI,kBAAkB,CAAC;AAEpC,8DAA8D;AAC9D,eAAO,MAAM,KAAK,kBAAkB,CAAC;AAErC,6CAA6C;AAC7C,eAAO,MAAM,MAAM,cAAc,CAAC;AAElC,+CAA+C;AAC/C,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC,6CAA6C;AAC7C,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC;;;;;GAKG;AACH,eAAO,MAAM,KAAK,QAAqB,CAAC;AAExC;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,YAAW,CAAC;AAEjC,mEAAmE;AACnE,eAAO,MAAM,QAAQ,YAAW,CAAC;AAEjC,8CAA8C;AAC9C,eAAO,MAAM,eAAe,QAAuB,CAAC;AAEpD,4CAA4C;AAC5C,eAAO,MAAM,qBAAqB,QAAoB,CAAC;AAEvD,mDAAmD;AACnD,eAAO,MAAM,gBAAgB,QAA4C,CAAC;AAK1E,+DAA+D;AAC/D,eAAO,MAAM,aAAa,QAAwC,CAAC;AAEnE,wEAAwE;AACxE,eAAO,MAAM,iBAAiB,UAAU,CAAC;AAEzC,kCAAkC;AAClC,eAAO,MAAM,wBAAwB,mBAAmB,CAAC;AAEzD;;;;;;;;;GASG;AACH,eAAO,MAAM,SAAS,wBAAe,CAAC;AAEtC,oDAAoD;AACpD,eAAO,MAAM,aAAa,yGAAqF,CAAC;AAEhH;;;;;GAKG;AACH,eAAO,MAAM,MAAM,mBAAmB,CAAC;AAEvC;;;;GAIG;AACH,eAAO,MAAM,WAAW,oBAAoB,CAAC;AAE7C;;;GAGG;AACH,eAAO,MAAM,MAAM,iBAAgB,CAAC;AAEpC;;;GAGG;AACH,eAAO,MAAM,UAAU,QAAgB,CAAC;AAExC;;;;GAIG;AACH,eAAO,MAAM,SAAS,iBAAiB,CAAC;AAExC;;;;;GAKG;AACH,eAAO,MAAM,MAAM,mBAAoB,CAAC"}
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../src/core/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAIH,sEAAsE;AACtE,eAAO,MAAM,IAAI,YAAY,CAAC;AAC9B,4FAA4F;AAC5F,eAAO,MAAM,QAAQ,iBAAiB,CAAC;AAEvC,mEAAmE;AACnE,eAAO,MAAM,IAAI,aAAc,CAAC;AAEhC,6DAA6D;AAC7D,eAAO,MAAM,IAAI,iBAAiB,CAAC;AAEnC;;;;;GAKG;AACH,eAAO,MAAM,OAAO,QAAuB,CAAC;AAE5C,8HAA8H;AAC9H,eAAO,MAAM,mBAAmB,kBAAkB,CAAC;AAEnD,gEAAgE;AAChE,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC,6DAA6D;AAC7D,eAAO,MAAM,IAAI,kBAAkB,CAAC;AAEpC,8DAA8D;AAC9D,eAAO,MAAM,KAAK,kBAAkB,CAAC;AAErC,2DAA2D;AAC3D,eAAO,MAAM,OAAO,mBAAmB,CAAC;AAExC,mFAAmF;AACnF,eAAO,MAAM,MAAM,QAA8B,CAAC;AAElD,sEAAsE;AACtE,eAAO,MAAM,WAAW,iBAAiB,CAAC;AAE1C,6CAA6C;AAC7C,eAAO,MAAM,MAAM,cAAc,CAAC;AAElC,+CAA+C;AAC/C,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC,6CAA6C;AAC7C,eAAO,MAAM,MAAM,eAAe,CAAC;AAWnC;;;;;;;;GAQG;AACH,eAAO,MAAM,KAAK,QAA0C,CAAC;AAE7D;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,YAAW,CAAC;AAEjC,mEAAmE;AACnE,eAAO,MAAM,QAAQ,YAAW,CAAC;AAEjC,8CAA8C;AAC9C,eAAO,MAAM,eAAe,QAAuB,CAAC;AAEpD,4CAA4C;AAC5C,eAAO,MAAM,qBAAqB,QAAoB,CAAC;AAEvD,mDAAmD;AACnD,eAAO,MAAM,gBAAgB,QAA4C,CAAC;AAE1E,sGAAsG;AACtG,eAAO,MAAM,WAAW,qBAAqB,CAAC;AAE9C,+DAA+D;AAC/D,eAAO,MAAM,aAAa,QAAwC,CAAC;AAEnE,wEAAwE;AACxE,eAAO,MAAM,iBAAiB,UAAU,CAAC;AAEzC,kCAAkC;AAClC,eAAO,MAAM,wBAAwB,mBAAmB,CAAC;AAEzD;;;;;;;;;GASG;AACH,eAAO,MAAM,SAAS,wBAAe,CAAC;AAEtC;;;;;GAKG;AACH,eAAO,MAAM,YAAY,QAAmB,CAAC;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,MAAM,mBAAmB,CAAC;AAEvC;;;;GAIG;AACH,eAAO,MAAM,WAAW,oBAAoB,CAAC;AAE7C;;;GAGG;AACH,eAAO,MAAM,MAAM,iBAAgB,CAAC;AAEpC;;;GAGG;AACH,eAAO,MAAM,UAAU,QAAgB,CAAC;AAExC;;;;GAIG;AACH,eAAO,MAAM,SAAS,iBAAiB,CAAC;AAExC;;;;;GAKG;AACH,eAAO,MAAM,MAAM,mBAAoB,CAAC"}

package/dist/core/constants.js

@@ -1,27 +1,33 @@
 /**
- * Canonical CODATA 2018 + SI-defined physical constants for UPT (v0.5.1).
+ * Canonical CODATA 2018 + SI-defined physical constants for UPT.
  *
- * Single source of truth for fundamental physical constants used across the
- * numerical, dimensional, and bridge layers. Replaces the truncated local
- * literals (`c_SI = 2.998e8`, etc.) that drifted across `src/numerical/`,
- * `src/bridges/`, and `tests/fixtures/` — see audit `PC-1` in
- * `docs/architecture/archive/v0.5.1-audit.md`.
+ * The one owner of every fundamental physical constant used across the
+ * numerical, dimensional, and bridge layers; `tests/core/constants-owner.test.ts`
+ * fails on a second copy of any of these decimals elsewhere under `src/`.
  *
  * Values use:
  *   • Exact-SI definitions (`C_SI`, `H_SI`, `K_B_SI`, `E_SI`) where the
  *     2019 SI redefinition fixed their values exactly.
  *   • `HBAR_SI` is the exact quotient `H_SI / (2π)`, not the truncated CODATA display.
  *   • CODATA 2018 best estimates for measured constants (`G_SI`, `ALPHA`, Planck units).
- *   • Planck 2018 best estimate for `H0_SI`.
+ *   • Planck 2018 best estimate for `H0_SI`, in SI through the unit table's parsec.
  *
- * The `PhysicalConstants` namespace in `src/core/types.ts` is retained for
- * backwards-compat; new code should prefer these flat exports.
+ * This file is the one owner of every value. `PhysicalConstants` in
+ * `src/core/types.ts` and the constant registry in
+ * `src/dimensional/symbolic-constants.ts` are projections of it, and a test
+ * refuses a CODATA literal anywhere else under `src/`. A unit is the unit
+ * table's: `H0_SI` reads the parsec from `data/units.json` rather than
+ * restating it, so the Hubble rate here and `67.4 km/s/Mpc` read through the
+ * unit table are one number.
  *
  * @module core/constants
  * @public
  */
+import { checkedDataFile } from './data-file.js';
 /** Speed of light in vacuum (m/s). Exact SI definition since 1983. */
 export const C_SI = 299792458;
+/** Rydberg constant R∞ (infinite nuclear mass), CODATA 2018: 10 973 731.568 160(21) m⁻¹. */
+export const R_INF_SI = 10973731.56816;
 /** Newtonian gravitational constant (m³ kg⁻¹ s⁻²). CODATA 2018. */
 export const G_SI = 6.67430e-11;
 /** Planck constant (J·s). Exact SI definition since 2019. */
@@ -33,25 +39,45 @@ export const H_SI = 6.62607015e-34;
  * CODATA 2018 values, which were computed from the truncated display.
  */
 export const HBAR_SI = H_SI / (2 * Math.PI);
+/** The CODATA 2018 display value of ħ: {@link HBAR_SI} truncated. Kept so the difference is computed, not typed. @internal */
+export const HBAR_CODATA_DISPLAY = 1.054571817e-34;
 /** Boltzmann constant (J/K). Exact SI definition since 2019. */
 export const K_B_SI = 1.380649e-23;
 /** Elementary charge (C). Exact SI definition since 2019. */
 export const E_SI = 1.602176634e-19;
 /** Fine-structure constant α (dimensionless). CODATA 2018. */
 export const ALPHA = 7.2973525693e-3;
+/** Vacuum permittivity ε₀ (F/m). CODATA 2018. @internal */
+export const EPS0_SI = 8.8541878128e-12;
+/** Vacuum permeability μ₀ = 1/(ε₀ c²) (H/m), from ε₀ and the exact c. @internal */
+export const MU0_SI = 1 / (EPS0_SI * C_SI * C_SI);
+/** Stefan–Boltzmann constant σ (W m⁻² K⁻⁴). CODATA 2018. @internal */
+export const SIGMA_SB_SI = 5.670374419e-8;
 /** Planck mass √(ℏc/G) (kg). CODATA 2018. */
 export const M_P_SI = 2.176434e-8;
 /** Planck length √(ℏG/c³) (m). CODATA 2018. */
 export const L_P_SI = 1.616255e-35;
 /** Planck time √(ℏG/c⁵) (s). CODATA 2018. */
 export const T_P_SI = 5.391247e-44;
+/** The `scale` of the `symbol` row in `data/units.json`, which must be a plain decimal (metres for a length). */
+function unitTableDecimal(symbol) {
+    const file = checkedDataFile('units.json');
+    const scale = file.units.find((row) => row.symbols.includes(symbol))?.scale;
+    const value = scale === undefined ? Number.NaN : Number(scale);
+    if (!Number.isFinite(value))
+        throw new Error(`data/units.json: the '${symbol}' row must state a decimal scale (got ${scale ?? 'no row'})`);
+    return value;
+}
 /**
  * Hubble parameter H₀ (s⁻¹).
  *
  * Planck 2018 TT,TE,EE+lowE+lensing best estimate: 67.4 km/s/Mpc, converted
- * to SI using 1 Mpc = 3.0857×10²² m.
+ * with the parsec of the unit table (`data/units.json`, 648000/π au), so it is
+ * the value `convertValue('67.4km/s/Mpc', 'Hz')` reads: one Hubble rate,
+ * 2.1842852410855023e-18 s⁻¹. The unit table is the one place the parsec is
+ * written; this module reads it rather than restating it.
  */
-export const H0_SI = 67.4e3 / 3.0857e22;
+export const H0_SI = 67.4e3 / (1e6 * unitTableDecimal('pc'));
 /**
  * Solar mass (kg). IAU 2015 nominal value rounded to the
  * repo-conventional literal (used by the BE-42 docstring, the
@@ -67,8 +93,8 @@ export const VON_KLITZING_SI = H_SI / (E_SI * E_SI);
 export const JOSEPHSON_CONSTANT_SI = (2 * E_SI) / H_SI;
 /** Lorenz number L = (π²/3) (k_B/e)² (W Ω K⁻²). */
 export const LORENZ_NUMBER_SI = (Math.PI ** 2 / 3) * (K_B_SI / E_SI) ** 2;
-/** Euler-Mascheroni constant γ. */
-const EULER_GAMMA = 0.5772156649015329;
+/** Euler–Mascheroni constant γ. The BCS gap is π k_B T_c / e^γ; the formula name is `euler_gamma`. */
+export const EULER_GAMMA = 0.5772156649015329;
 /** Weak-coupling BCS gap ratio 2Δ(0)/(k_B T_c) = 2π e^{−γ}. */
 export const BCS_GAP_RATIO = (2 * Math.PI) / Math.exp(EULER_GAMMA);
 /** Lane-Emden n=3 dimensionless radius used by the white-dwarf mass. */
@@ -86,8 +112,13 @@ export const THOMSON_CROSS_SECTION_SI = 6.6524587321e-29;
  * @public
  */
 export const GM_SUN_SI = 1.3271244e20;
-/** Where {@link GM_SUN_SI} comes from. @internal */
-export const GM_SUN_SOURCE = 'IAU 2015 Resolution B3, nominal solar mass parameter (GM)☉ = 1.3271244e20 m³ s⁻²';
+/**
+ * The solar mass (kg) that reproduces {@link GM_SUN_SI} with {@link G_SI}:
+ * the double `GM_SUN_SI / G_SI`. The unit `Msun_iau` and the registry name
+ * `Msun_iau` both read this one value.
+ * @internal
+ */
+export const M_SUN_IAU_SI = GM_SUN_SI / G_SI;
 /**
  * Electron mass (kg), CODATA 2018. Added for the v0.11 namespacing
  * gate's criterion-3 pin (λ_T of an electron at the Hawking

package/dist/core/constants.js.map

@@ -1 +1 @@
-{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../src/core/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,sEAAsE;AACtE,MAAM,CAAC,MAAM,IAAI,GAAG,SAAS,CAAC;AAE9B,mEAAmE;AACnE,MAAM,CAAC,MAAM,IAAI,GAAG,WAAW,CAAC;AAEhC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,IAAI,GAAG,cAAc,CAAC;AAEnC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;AAE5C,gEAAgE;AAChE,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,IAAI,GAAG,eAAe,CAAC;AAEpC,8DAA8D;AAC9D,MAAM,CAAC,MAAM,KAAK,GAAG,eAAe,CAAC;AAErC,6CAA6C;AAC7C,MAAM,CAAC,MAAM,MAAM,GAAG,WAAW,CAAC;AAElC,+CAA+C;AAC/C,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,6CAA6C;AAC7C,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,GAAG,SAAS,CAAC;AAExC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;AAEjC,mEAAmE;AACnE,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;AAEjC,8CAA8C;AAC9C,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;AAEpD,4CAA4C;AAC5C,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;AAEvD,mDAAmD;AACnD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;AAE1E,mCAAmC;AACnC,MAAM,WAAW,GAAG,kBAAkB,CAAC;AAEvC,+DAA+D;AAC/D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;AAEnE,wEAAwE;AACxE,MAAM,CAAC,MAAM,iBAAiB,GAAG,OAAO,CAAC;AAEzC,kCAAkC;AAClC,MAAM,CAAC,MAAM,wBAAwB,GAAG,gBAAgB,CAAC;AAEzD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,YAAY,CAAC;AAEtC,oDAAoD;AACpD,MAAM,CAAC,MAAM,aAAa,GAAG,kFAAkF,CAAC;AAEhH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,gBAAgB,CAAC;AAEvC;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,iBAAiB,CAAC;AAE7C;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,aAAa,CAAC;AAEpC;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,GAAG,IAAI,CAAC;AAExC;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,cAAc,CAAC;AAExC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,iBAAiB,CAAC"}
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../src/core/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEjD,sEAAsE;AACtE,MAAM,CAAC,MAAM,IAAI,GAAG,SAAS,CAAC;AAC9B,4FAA4F;AAC5F,MAAM,CAAC,MAAM,QAAQ,GAAG,cAAc,CAAC;AAEvC,mEAAmE;AACnE,MAAM,CAAC,MAAM,IAAI,GAAG,WAAW,CAAC;AAEhC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,IAAI,GAAG,cAAc,CAAC;AAEnC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;AAE5C,8HAA8H;AAC9H,MAAM,CAAC,MAAM,mBAAmB,GAAG,eAAe,CAAC;AAEnD,gEAAgE;AAChE,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,IAAI,GAAG,eAAe,CAAC;AAEpC,8DAA8D;AAC9D,MAAM,CAAC,MAAM,KAAK,GAAG,eAAe,CAAC;AAErC,2DAA2D;AAC3D,MAAM,CAAC,MAAM,OAAO,GAAG,gBAAgB,CAAC;AAExC,mFAAmF;AACnF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,OAAO,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;AAElD,sEAAsE;AACtE,MAAM,CAAC,MAAM,WAAW,GAAG,cAAc,CAAC;AAE1C,6CAA6C;AAC7C,MAAM,CAAC,MAAM,MAAM,GAAG,WAAW,CAAC;AAElC,+CAA+C;AAC/C,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,6CAA6C;AAC7C,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,iHAAiH;AACjH,SAAS,gBAAgB,CAAC,MAAc;IACtC,MAAM,IAAI,GAAG,eAAe,CAAC,YAAY,CAAmG,CAAC;IAC7I,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC;IAC5E,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,yCAAyC,KAAK,IAAI,QAAQ,GAAG,CAAC,CAAC;IAC3I,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,GAAG,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;AAEjC,mEAAmE;AACnE,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;AAEjC,8CAA8C;AAC9C,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;AAEpD,4CAA4C;AAC5C,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;AAEvD,mDAAmD;AACnD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;AAE1E,sGAAsG;AACtG,MAAM,CAAC,MAAM,WAAW,GAAG,kBAAkB,CAAC;AAE9C,+DAA+D;AAC/D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;AAEnE,wEAAwE;AACxE,MAAM,CAAC,MAAM,iBAAiB,GAAG,OAAO,CAAC;AAEzC,kCAAkC;AAClC,MAAM,CAAC,MAAM,wBAAwB,GAAG,gBAAgB,CAAC;AAEzD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,YAAY,CAAC;AAEtC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,SAAS,GAAG,IAAI,CAAC;AAE7C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,gBAAgB,CAAC;AAEvC;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,iBAAiB,CAAC;AAE7C;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,aAAa,CAAC;AAEpC;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,GAAG,IAAI,CAAC;AAExC;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,cAAc,CAAC;AAExC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,iBAAiB,CAAC","sourcesContent":["/**\n * Canonical CODATA 2018 + SI-defined physical constants for UPT.\n *\n * The one owner of every fundamental physical constant used across the\n * numerical, dimensional, and bridge layers; `tests/core/constants-owner.test.ts`\n * fails on a second copy of any of these decimals elsewhere under `src/`.\n *\n * Values use:\n *   • Exact-SI definitions (`C_SI`, `H_SI`, `K_B_SI`, `E_SI`) where the\n *     2019 SI redefinition fixed their values exactly.\n *   • `HBAR_SI` is the exact quotient `H_SI / (2π)`, not the truncated CODATA display.\n *   • CODATA 2018 best estimates for measured constants (`G_SI`, `ALPHA`, Planck units).\n *   • Planck 2018 best estimate for `H0_SI`, in SI through the unit table's parsec.\n *\n * This file is the one owner of every value. `PhysicalConstants` in\n * `src/core/types.ts` and the constant registry in\n * `src/dimensional/symbolic-constants.ts` are projections of it, and a test\n * refuses a CODATA literal anywhere else under `src/`. A unit is the unit\n * table's: `H0_SI` reads the parsec from `data/units.json` rather than\n * restating it, so the Hubble rate here and `67.4 km/s/Mpc` read through the\n * unit table are one number.\n *\n * @module core/constants\n * @public\n */\n\nimport { checkedDataFile } from './data-file.js';\n\n/** Speed of light in vacuum (m/s). Exact SI definition since 1983. */\nexport const C_SI = 299792458;\n/** Rydberg constant R∞ (infinite nuclear mass), CODATA 2018: 10 973 731.568 160(21) m⁻¹. */\nexport const R_INF_SI = 10973731.56816;\n\n/** Newtonian gravitational constant (m³ kg⁻¹ s⁻²). CODATA 2018. */\nexport const G_SI = 6.67430e-11;\n\n/** Planck constant (J·s). Exact SI definition since 2019. */\nexport const H_SI = 6.62607015e-34;\n\n/**\n * Reduced Planck constant h/(2π) (J·s). Exact, from the 2019 SI definition of\n * h. The CODATA display `1.054571817e-34` is that quotient truncated; it is\n * smaller by a relative `6.127e-10`. Planck units below stay the published\n * CODATA 2018 values, which were computed from the truncated display.\n */\nexport const HBAR_SI = H_SI / (2 * Math.PI);\n\n/** The CODATA 2018 display value of ħ: {@link HBAR_SI} truncated. Kept so the difference is computed, not typed. @internal */\nexport const HBAR_CODATA_DISPLAY = 1.054571817e-34;\n\n/** Boltzmann constant (J/K). Exact SI definition since 2019. */\nexport const K_B_SI = 1.380649e-23;\n\n/** Elementary charge (C). Exact SI definition since 2019. */\nexport const E_SI = 1.602176634e-19;\n\n/** Fine-structure constant α (dimensionless). CODATA 2018. */\nexport const ALPHA = 7.2973525693e-3;\n\n/** Vacuum permittivity ε₀ (F/m). CODATA 2018. @internal */\nexport const EPS0_SI = 8.8541878128e-12;\n\n/** Vacuum permeability μ₀ = 1/(ε₀ c²) (H/m), from ε₀ and the exact c. @internal */\nexport const MU0_SI = 1 / (EPS0_SI * C_SI * C_SI);\n\n/** Stefan–Boltzmann constant σ (W m⁻² K⁻⁴). CODATA 2018. @internal */\nexport const SIGMA_SB_SI = 5.670374419e-8;\n\n/** Planck mass √(ℏc/G) (kg). CODATA 2018. */\nexport const M_P_SI = 2.176434e-8;\n\n/** Planck length √(ℏG/c³) (m). CODATA 2018. */\nexport const L_P_SI = 1.616255e-35;\n\n/** Planck time √(ℏG/c⁵) (s). CODATA 2018. */\nexport const T_P_SI = 5.391247e-44;\n\n/** The `scale` of the `symbol` row in `data/units.json`, which must be a plain decimal (metres for a length). */\nfunction unitTableDecimal(symbol: string): number {\n  const file = checkedDataFile('units.json') as { readonly units: readonly { readonly symbols: readonly string[]; readonly scale: string }[] };\n  const scale = file.units.find((row) => row.symbols.includes(symbol))?.scale;\n  const value = scale === undefined ? Number.NaN : Number(scale);\n  if (!Number.isFinite(value)) throw new Error(`data/units.json: the '${symbol}' row must state a decimal scale (got ${scale ?? 'no row'})`);\n  return value;\n}\n\n/**\n * Hubble parameter H₀ (s⁻¹).\n *\n * Planck 2018 TT,TE,EE+lowE+lensing best estimate: 67.4 km/s/Mpc, converted\n * with the parsec of the unit table (`data/units.json`, 648000/π au), so it is\n * the value `convertValue('67.4km/s/Mpc', 'Hz')` reads: one Hubble rate,\n * 2.1842852410855023e-18 s⁻¹. The unit table is the one place the parsec is\n * written; this module reads it rather than restating it.\n */\nexport const H0_SI = 67.4e3 / (1e6 * unitTableDecimal('pc'));\n\n/**\n * Solar mass (kg). IAU 2015 nominal value rounded to the\n * repo-conventional literal (used by the BE-42 docstring, the\n * bridge-gradient tests, and the v0.8.0 calibration edges).\n * @public\n */\nexport const M_SUN_SI = 1.989e30;\n\n/** Solar mass in kilograms. The same value as {@link M_SUN_SI}. */\nexport const M_SUN_KG = M_SUN_SI;\n\n/** von Klitzing constant R_K = h/e² (ohm). */\nexport const VON_KLITZING_SI = H_SI / (E_SI * E_SI);\n\n/** Josephson constant K_J = 2e/h (Hz/V). */\nexport const JOSEPHSON_CONSTANT_SI = (2 * E_SI) / H_SI;\n\n/** Lorenz number L = (π²/3) (k_B/e)² (W Ω K⁻²). */\nexport const LORENZ_NUMBER_SI = (Math.PI ** 2 / 3) * (K_B_SI / E_SI) ** 2;\n\n/** Euler–Mascheroni constant γ. The BCS gap is π k_B T_c / e^γ; the formula name is `euler_gamma`. */\nexport const EULER_GAMMA = 0.5772156649015329;\n\n/** Weak-coupling BCS gap ratio 2Δ(0)/(k_B T_c) = 2π e^{−γ}. */\nexport const BCS_GAP_RATIO = (2 * Math.PI) / Math.exp(EULER_GAMMA);\n\n/** Lane-Emden n=3 dimensionless radius used by the white-dwarf mass. */\nexport const LANE_EMDEN_OMEGA3 = 2.01824;\n\n/** Thomson cross section (m²). */\nexport const THOMSON_CROSS_SECTION_SI = 6.6524587321e-29;\n\n/**\n * Nominal solar gravitational parameter (GM)☉ (m³ s⁻²), IAU 2015 Resolution B3.\n *\n * The product GM☉ is known to about 10 significant digits, while G alone is\n * known to about 5, so a confrontation that needs GM☉ takes this value rather\n * than `G_SI × M_SUN_SI`: that product is 3.0e-4 too high, five times the VLBI\n * 1σ on the solar-limb deflection. A mass that some evaluator requires in kg\n * is `GM_SUN_SI / G_SI`, which reproduces G·M = GM☉ exactly.\n * @public\n */\nexport const GM_SUN_SI = 1.3271244e20;\n\n/**\n * The solar mass (kg) that reproduces {@link GM_SUN_SI} with {@link G_SI}:\n * the double `GM_SUN_SI / G_SI`. The unit `Msun_iau` and the registry name\n * `Msun_iau` both read this one value.\n * @internal\n */\nexport const M_SUN_IAU_SI = GM_SUN_SI / G_SI;\n\n/**\n * Electron mass (kg), CODATA 2018. Added for the v0.11 namespacing\n * gate's criterion-3 pin (λ_T of an electron at the Hawking\n * temperature — see the Adam vet A-5).\n * @public\n */\nexport const M_E_SI = 9.1093837015e-31;\n\n/**\n * Proton mass (kg). CODATA 2018. Shared by the Eddington evaluator and\n * `upt eval` (`m_p`, `m_proton`). Not the Planck mass `M_P_SI`.\n * @internal\n */\nexport const M_PROTON_SI = 1.67262192369e-27;\n\n/**\n * Avogadro constant (mol⁻¹). Exact in the 2019 SI.\n * @internal\n */\nexport const N_A_SI = 6.02214076e23;\n\n/**\n * Faraday constant (C·mol⁻¹), `N_A * e`.\n * @internal\n */\nexport const FARADAY_SI = N_A_SI * E_SI;\n\n/**\n * Wien displacement-law constant b = λ_max·T (m·K). CODATA 2018.\n *\n * @public\n */\nexport const B_WIEN_SI = 2.897771955e-3;\n\n/**\n * Unified atomic mass unit (kg). CODATA 2018 atomic mass constant.\n * One value for the Chandrasekhar evaluator and the symbolic constant `m_u`.\n * Kept off the package barrel: callers use `m_u` in the symbolic registry.\n * @internal\n */\nexport const M_U_SI = 1.66053906660e-27;\n"]}

package/dist/core/data-file.d.ts

@@ -0,0 +1,27 @@
+/**
+ * The packaged data files under `data/`, read and checked against their schemas.
+ *
+ * Every data file the library loads has a schema beside it, named by one
+ * convention (`units.json` → `units.schema.json`), and is checked against it
+ * with {@link schemaProblems} when it loads, so a malformed file fails at load
+ * with every problem listed instead of failing later where a field is read.
+ * A file two modules read is parsed and checked once per process.
+ *
+ * @module core/data-file
+ */
+import { type JsonSchema } from './json-schema.js';
+/** The schema file of `file`: `units.json` → `units.schema.json`. @internal */
+export declare function schemaFileOf(file: string): string;
+/** The text of `data/<file>`. @internal */
+export declare function dataText(file: string): string;
+/** The schema of `data/<file>`, parsed. @internal */
+export declare function dataSchema(file: string): JsonSchema;
+/**
+ * `text`, the contents of `data/<file>`, parsed and checked against `schema`.
+ * Throws listing every problem. A test passes a broken copy.
+ * @internal
+ */
+export declare function parseDataFile(file: string, text: string, schema: JsonSchema): unknown;
+/** `data/<file>`, parsed and checked against its schema, once per process. @internal */
+export declare function checkedDataFile(file: string): unknown;
+//# sourceMappingURL=data-file.d.ts.map

package/dist/core/data-file.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"data-file.d.ts","sourceRoot":"","sources":["../../src/core/data-file.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAKH,OAAO,EAAkB,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAInE,+EAA+E;AAC/E,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEjD;AAED,2CAA2C;AAC3C,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE7C;AAED,qDAAqD;AACrD,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAEnD;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,GAAG,OAAO,CAKrF;AAID,wFAAwF;AACxF,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAGrD"}

package/dist/core/data-file.js

@@ -0,0 +1,48 @@
+/**
+ * The packaged data files under `data/`, read and checked against their schemas.
+ *
+ * Every data file the library loads has a schema beside it, named by one
+ * convention (`units.json` → `units.schema.json`), and is checked against it
+ * with {@link schemaProblems} when it loads, so a malformed file fails at load
+ * with every problem listed instead of failing later where a field is read.
+ * A file two modules read is parsed and checked once per process.
+ *
+ * @module core/data-file
+ */
+import { readFileSync } from 'node:fs';
+import { dirname, join } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { schemaProblems } from './json-schema.js';
+const DATA_DIR = join(dirname(fileURLToPath(import.meta.url)), '../../data');
+/** The schema file of `file`: `units.json` → `units.schema.json`. @internal */
+export function schemaFileOf(file) {
+    return file.replace(/\.json$/, '.schema.json');
+}
+/** The text of `data/<file>`. @internal */
+export function dataText(file) {
+    return readFileSync(join(DATA_DIR, file), 'utf8');
+}
+/** The schema of `data/<file>`, parsed. @internal */
+export function dataSchema(file) {
+    return JSON.parse(dataText(schemaFileOf(file)));
+}
+/**
+ * `text`, the contents of `data/<file>`, parsed and checked against `schema`.
+ * Throws listing every problem. A test passes a broken copy.
+ * @internal
+ */
+export function parseDataFile(file, text, schema) {
+    const value = JSON.parse(text);
+    const problems = schemaProblems(schema, value);
+    if (problems.length > 0)
+        throw new Error(`data/${file} does not match data/${schemaFileOf(file)}:\n${problems.join('\n')}`);
+    return value;
+}
+const checked = new Map();
+/** `data/<file>`, parsed and checked against its schema, once per process. @internal */
+export function checkedDataFile(file) {
+    if (!checked.has(file))
+        checked.set(file, parseDataFile(file, dataText(file), dataSchema(file)));
+    return checked.get(file);
+}
+//# sourceMappingURL=data-file.js.map

package/dist/core/data-file.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"data-file.js","sourceRoot":"","sources":["../../src/core/data-file.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,cAAc,EAAmB,MAAM,kBAAkB,CAAC;AAEnE,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;AAE7E,+EAA+E;AAC/E,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;AACjD,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,OAAO,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;AACpD,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAe,CAAC;AAChE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,IAAY,EAAE,MAAkB;IAC1E,MAAM,KAAK,GAAY,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC/C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,wBAAwB,YAAY,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5H,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;AAE3C,wFAAwF;AACxF,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjG,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC3B,CAAC","sourcesContent":["/**\n * The packaged data files under `data/`, read and checked against their schemas.\n *\n * Every data file the library loads has a schema beside it, named by one\n * convention (`units.json` → `units.schema.json`), and is checked against it\n * with {@link schemaProblems} when it loads, so a malformed file fails at load\n * with every problem listed instead of failing later where a field is read.\n * A file two modules read is parsed and checked once per process.\n *\n * @module core/data-file\n */\n\nimport { readFileSync } from 'node:fs';\nimport { dirname, join } from 'node:path';\nimport { fileURLToPath } from 'node:url';\nimport { schemaProblems, type JsonSchema } from './json-schema.js';\n\nconst DATA_DIR = join(dirname(fileURLToPath(import.meta.url)), '../../data');\n\n/** The schema file of `file`: `units.json` → `units.schema.json`. @internal */\nexport function schemaFileOf(file: string): string {\n  return file.replace(/\\.json$/, '.schema.json');\n}\n\n/** The text of `data/<file>`. @internal */\nexport function dataText(file: string): string {\n  return readFileSync(join(DATA_DIR, file), 'utf8');\n}\n\n/** The schema of `data/<file>`, parsed. @internal */\nexport function dataSchema(file: string): JsonSchema {\n  return JSON.parse(dataText(schemaFileOf(file))) as JsonSchema;\n}\n\n/**\n * `text`, the contents of `data/<file>`, parsed and checked against `schema`.\n * Throws listing every problem. A test passes a broken copy.\n * @internal\n */\nexport function parseDataFile(file: string, text: string, schema: JsonSchema): unknown {\n  const value: unknown = JSON.parse(text);\n  const problems = schemaProblems(schema, value);\n  if (problems.length > 0) throw new Error(`data/${file} does not match data/${schemaFileOf(file)}:\\n${problems.join('\\n')}`);\n  return value;\n}\n\nconst checked = new Map<string, unknown>();\n\n/** `data/<file>`, parsed and checked against its schema, once per process. @internal */\nexport function checkedDataFile(file: string): unknown {\n  if (!checked.has(file)) checked.set(file, parseDataFile(file, dataText(file), dataSchema(file)));\n  return checked.get(file);\n}\n"]}

package/dist/core/flux-rules.js

@@ -175,7 +175,7 @@ function checkEmergenceCoordinate(cell) {
     return { ok: true };
 }
 // ---------------------------------------------------------------------------
-// Rule 3 — Causality (WARNING tier in v0.7)
+// Rule 3 — Causality (ERROR tier)
 // ---------------------------------------------------------------------------
 /**
  * Pure dispatcher for Rule 3 over the `Cell` discriminated union.

package/dist/core/flux-rules.js.map

@@ -1 +1 @@
-{"version":3,"file":"flux-rules.js","sourceRoot":"","sources":["../../src/core/flux-rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AA0CH;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAC3B,QAAQ,CAAe;IACvB,MAAM,CAAS;IAE/B,YAAY,QAAsB,EAAE,MAAc,EAAE,OAAe;QACjE,KAAK,CAAC,aAAa,QAAQ,wBAAwB,MAAM,MAAM,OAAO,EAAE,CAAC,CAAC;QAC1E,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;QACjC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAmDD,8EAA8E;AAC9E,oEAAoE;AACpE,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,WAAW,GAAiC;IAChD,SAAS;IACT,YAAY;IACZ,WAAW;IACX,cAAc;CACf,CAAC;AAEF,SAAS,UAAU,CAAC,CAAgB;IAClC,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;GAMG;AACH,SAAS,aAAa,CACpB,GAAkB,EAClB,GAAkB;IAElB,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AACvC,CAAC;AAED;;;;;GAKG;AACH,MAAM,kBAAkB,GAAwB,IAAI,GAAG,EAAE,CAAC;AAE1D,8EAA8E;AAC9E,kDAAkD;AAClD,8EAA8E;AAE9E;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAU;IAC3C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAClC,KAAK,QAAQ;YACX,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC;QACrC,KAAK,WAAW;YACd,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;QACxC,SAAS,CAAC;YACR,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,KAAK,WAAW,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAa;IACvC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,UAAU,EAAE;gBACV,QAAQ,EAAE,OAAO;gBACjB,QAAQ,EAAE,gBAAgB;gBAC1B,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,OAAO,EACL,YAAY,IAAI,CAAC,EAAE,4CAA4C;oBAC/D,YAAY,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM;oBAC1E,2DAA2D;aAC9D;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAgB;IAC7C,qEAAqE;IACrE,sEAAsE;IACtE,mEAAmE;IACnE,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,MAAM,IAAI,GACR,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;QACnB,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;QACnB,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ;QACzB,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW;QAC/B,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS;QAC3B,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,CAAC;IAC5B,IAAI,IAAI,EAAE,CAAC;QACT,OAAO;YACL,EAAE,EAAE,KAAK;YACT,UAAU,EAAE;gBACV,QAAQ,EAAE,OAAO;gBACjB,QAAQ,EAAE,gBAAgB;gBAC1B,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,OAAO,EACL,eAAe,IAAI,CAAC,EAAE,oCAAoC;oBAC1D,8DAA8D;aACjE;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAmB;IACnD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,UAAU,EAAE;gBACV,QAAQ,EAAE,OAAO;gBACjB,QAAQ,EAAE,gBAAgB;gBAC1B,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,OAAO,EACL,kBAAkB,IAAI,CAAC,EAAE,cAAc,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG;oBAC7D,8DAA8D;oBAC9D,0CAA0C;aAC7C;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,8EAA8E;AAC9E,4CAA4C;AAC5C,8EAA8E;AAE9E;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAChD,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAEzD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;IAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;IAC9B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QAC3C,OAAO;YACL,EAAE,EAAE,IAAI;YACR,UAAU,EAAE;gBACV,QAAQ,EAAE,MAAM;gBAChB,QAAQ,EAAE,WAAW;gBACrB,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,OAAO,EAAE,iDAAiD;aAC3D;SACF,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO;YACL,gEAAgE;YAChE,8DAA8D;YAC9D,iEAAiE;YACjE,iDAAiD;YACjD,EAAE,EAAE,KAAK;YACT,UAAU,EAAE;gBACV,QAAQ,EAAE,OAAO;gBACjB,QAAQ,EAAE,WAAW;gBACrB,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,OAAO,EACL,eAAe,IAAI,CAAC,EAAE,UAAU,GAAG,IAAI,GAAG,oBAAoB;oBAC9D,sDAAsD;oBACtD,6DAA6D;oBAC7D,yCAAyC;aAC5C;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,QAAQ,CACtB,IAAU,EACV,KAA8B;IAE9B,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,SAAS,GAAG,CAAC,CAAC;IAElB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,+DAA+D;QAC/D,uDAAuD;QACvD,4DAA4D;QAC5D,+CAA+C;QAC/C,IAAI,MAAsB,CAAC;QAC3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,yBAAyB;gBAC5B,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC1B,MAAM;YACR,KAAK,gBAAgB;gBACnB,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC1B,MAAM;YACR,KAAK,WAAW;gBACd,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC1B,MAAM;YACR,KAAK,oBAAoB;gBACvB,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC1B,MAAM;YACR,SAAS,CAAC;gBACR,MAAM,WAAW,GAAU,IAAI,CAAC,IAAI,CAAC;gBACrC,KAAK,WAAW,CAAC;gBACjB,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;QAED,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACtB,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACpC,QAAQ,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;gBACnC,KAAK,OAAO;oBAAE,UAAU,EAAE,CAAC;oBAAC,MAAM;gBAClC,KAAK,SAAS;oBAAE,YAAY,EAAE,CAAC;oBAAC,MAAM;gBACtC,KAAK,MAAM;oBAAE,SAAS,EAAE,CAAC;oBAAC,MAAM;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,WAAW;QACX,UAAU;QACV,YAAY;QACZ,SAAS;KACV,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,cAAc,GAA4B;IACrD,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,kBAAkB,EAAE;IACrD,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,cAAc,EAAE;IAC5C,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,sBAAsB,EAAE;CAC9D,CAAC;AAcF,IAAI,oBAAoB,GAA0B,IAAI,CAAC;AAEvD;;;;;;;GAOG;AACH,MAAM,UAAU,4BAA4B,CAAC,IAAoB;IAC/D,oBAAoB,GAAG,IAAI,CAAC;AAC9B,CAAC;AAED;;;;;GAKG;AACH,SAAS,sBAAsB,CAAC,IAAU;IACxC,IAAI,oBAAoB;QAAE,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC5D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC"}
+{"version":3,"file":"flux-rules.js","sourceRoot":"","sources":["../../src/core/flux-rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AA0CH;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAC3B,QAAQ,CAAe;IACvB,MAAM,CAAS;IAE/B,YAAY,QAAsB,EAAE,MAAc,EAAE,OAAe;QACjE,KAAK,CAAC,aAAa,QAAQ,wBAAwB,MAAM,MAAM,OAAO,EAAE,CAAC,CAAC;QAC1E,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;QACjC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAmDD,8EAA8E;AAC9E,oEAAoE;AACpE,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,WAAW,GAAiC;IAChD,SAAS;IACT,YAAY;IACZ,WAAW;IACX,cAAc;CACf,CAAC;AAEF,SAAS,UAAU,CAAC,CAAgB;IAClC,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;GAMG;AACH,SAAS,aAAa,CACpB,GAAkB,EAClB,GAAkB;IAElB,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AACvC,CAAC;AAED;;;;;GAKG;AACH,MAAM,kBAAkB,GAAwB,IAAI,GAAG,EAAE,CAAC;AAE1D,8EAA8E;AAC9E,kDAAkD;AAClD,8EAA8E;AAE9E;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAU;IAC3C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAClC,KAAK,QAAQ;YACX,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC;QACrC,KAAK,WAAW;YACd,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;QACxC,SAAS,CAAC;YACR,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,KAAK,WAAW,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAa;IACvC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,UAAU,EAAE;gBACV,QAAQ,EAAE,OAAO;gBACjB,QAAQ,EAAE,gBAAgB;gBAC1B,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,OAAO,EACL,YAAY,IAAI,CAAC,EAAE,4CAA4C;oBAC/D,YAAY,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM;oBAC1E,2DAA2D;aAC9D;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAgB;IAC7C,qEAAqE;IACrE,sEAAsE;IACtE,mEAAmE;IACnE,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,MAAM,IAAI,GACR,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;QACnB,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;QACnB,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ;QACzB,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW;QAC/B,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS;QAC3B,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,CAAC;IAC5B,IAAI,IAAI,EAAE,CAAC;QACT,OAAO;YACL,EAAE,EAAE,KAAK;YACT,UAAU,EAAE;gBACV,QAAQ,EAAE,OAAO;gBACjB,QAAQ,EAAE,gBAAgB;gBAC1B,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,OAAO,EACL,eAAe,IAAI,CAAC,EAAE,oCAAoC;oBAC1D,8DAA8D;aACjE;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAmB;IACnD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,UAAU,EAAE;gBACV,QAAQ,EAAE,OAAO;gBACjB,QAAQ,EAAE,gBAAgB;gBAC1B,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,OAAO,EACL,kBAAkB,IAAI,CAAC,EAAE,cAAc,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG;oBAC7D,8DAA8D;oBAC9D,0CAA0C;aAC7C;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,8EAA8E;AAC9E,kCAAkC;AAClC,8EAA8E;AAE9E;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAChD,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAEzD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;IAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;IAC9B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QAC3C,OAAO;YACL,EAAE,EAAE,IAAI;YACR,UAAU,EAAE;gBACV,QAAQ,EAAE,MAAM;gBAChB,QAAQ,EAAE,WAAW;gBACrB,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,OAAO,EAAE,iDAAiD;aAC3D;SACF,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO;YACL,gEAAgE;YAChE,8DAA8D;YAC9D,iEAAiE;YACjE,iDAAiD;YACjD,EAAE,EAAE,KAAK;YACT,UAAU,EAAE;gBACV,QAAQ,EAAE,OAAO;gBACjB,QAAQ,EAAE,WAAW;gBACrB,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,OAAO,EACL,eAAe,IAAI,CAAC,EAAE,UAAU,GAAG,IAAI,GAAG,oBAAoB;oBAC9D,sDAAsD;oBACtD,6DAA6D;oBAC7D,yCAAyC;aAC5C;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,QAAQ,CACtB,IAAU,EACV,KAA8B;IAE9B,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,SAAS,GAAG,CAAC,CAAC;IAElB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,+DAA+D;QAC/D,uDAAuD;QACvD,4DAA4D;QAC5D,+CAA+C;QAC/C,IAAI,MAAsB,CAAC;QAC3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,yBAAyB;gBAC5B,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC1B,MAAM;YACR,KAAK,gBAAgB;gBACnB,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC1B,MAAM;YACR,KAAK,WAAW;gBACd,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC1B,MAAM;YACR,KAAK,oBAAoB;gBACvB,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC1B,MAAM;YACR,SAAS,CAAC;gBACR,MAAM,WAAW,GAAU,IAAI,CAAC,IAAI,CAAC;gBACrC,KAAK,WAAW,CAAC;gBACjB,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;QAED,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACtB,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACpC,QAAQ,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;gBACnC,KAAK,OAAO;oBAAE,UAAU,EAAE,CAAC;oBAAC,MAAM;gBAClC,KAAK,SAAS;oBAAE,YAAY,EAAE,CAAC;oBAAC,MAAM;gBACtC,KAAK,MAAM;oBAAE,SAAS,EAAE,CAAC;oBAAC,MAAM;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,WAAW;QACX,UAAU;QACV,YAAY;QACZ,SAAS;KACV,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,cAAc,GAA4B;IACrD,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,kBAAkB,EAAE;IACrD,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,cAAc,EAAE;IAC5C,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,sBAAsB,EAAE;CAC9D,CAAC;AAcF,IAAI,oBAAoB,GAA0B,IAAI,CAAC;AAEvD;;;;;;;GAOG;AACH,MAAM,UAAU,4BAA4B,CAAC,IAAoB;IAC/D,oBAAoB,GAAG,IAAI,CAAC;AAC9B,CAAC;AAED;;;;;GAKG;AACH,SAAS,sBAAsB,CAAC,IAAU;IACxC,IAAI,oBAAoB;QAAE,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC5D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC","sourcesContent":["/**\n * Flux-rule scaffolding for v0.7 Proposal 2 — Sparse Semantic Catalog.\n *\n * Defines:\n *   - `FluxRuleKind` discriminated tag (@internal)\n *   - `FluxRule`, `FluxRuleResult` registry shapes (@internal)\n *   - `FluxDiagnostic`, `FluxReport` consumer shapes (@public)\n *   - `FluxViolationError` (@public) thrown on ERROR-tier rule failures\n *   - Rule 2 (L/B/E coordinate matching) and Rule 3 (Causality) — pure\n *     functions over `Cell` / `BridgeCell`\n *   - `runRules(cell, rules)` dispatcher with `_exhaustive: never`\n *\n * Rule 1 (Dimensional Consistency) ships in Phase 3 alongside the\n * catalog adapter — it operates on `BridgeEquationEntry`, not `Cell`,\n * per Decision #3 (resolves Adam-V3).\n *\n * Design: docs/planning/v0.7-Proposal-2-Design.md (redraft commit\n * 01632b5). Decisions #5, #6, #8 are load-bearing here.\n *\n * @module core/flux-rules\n */\n\nimport type {\n  Cell,\n  BridgeCell,\n  LawCell,\n  EmergenceCell,\n} from './cell.js';\nimport type { PhysicalScale } from './types.js';\n\n// ---------------------------------------------------------------------------\n// Public types (consumer-facing)\n// ---------------------------------------------------------------------------\n\n/**\n * A single rule-evaluation outcome surfaced to consumers via\n * `fluxDiagnostics()` or `FluxViolationError`. Severity follows the\n * info/warning/error tiering pinned in the design.\n *\n * @public\n */\nexport interface FluxDiagnostic {\n  readonly severity: 'info' | 'warning' | 'error';\n  readonly ruleName: FluxRuleKind;\n  readonly cellId: string;\n  readonly message: string;\n}\n\n/**\n * Aggregated report returned by `runRules()` / consumer-facing\n * `fluxDiagnostics()`. Per-tier counts are pre-computed for cheap\n * consumer-side branching.\n *\n * @public\n */\nexport interface FluxReport {\n  readonly diagnostics: ReadonlyArray<FluxDiagnostic>;\n  readonly errorCount: number;\n  readonly warningCount: number;\n  readonly infoCount: number;\n}\n\n/**\n * Thrown from `UniversalTensor.addCell` (Phase 2) when a Rule 2\n * (L/B/E coordinate-matching) violation fires. Rule 2 is ERROR-tier:\n * a `BridgeCell` with `source === target`, a `LawCell` with empty\n * `scales × forces`, or an `EmergenceCell` with `indices.length < 2`\n * fail-atomic.\n *\n * Rule 3 (Causality) is ERROR-tier as of v0.10.0 (user decision\n * 2026-06-11, promoted from the v0.7 WARNING tier after verifying the\n * live 23-cell submittable catalog has zero reverse arrows): a\n * `BridgeCell` whose source scale is COARSER than its target\n * (reverse of the canonical emergence direction) now fail-atomics.\n * Suppression for a deliberate reverse bridge goes through the\n * `causalityWhitelist` (entries earn their place via design review).\n *\n * @public\n */\nexport class FluxViolationError extends Error {\n  public readonly ruleName: FluxRuleKind;\n  public readonly cellId: string;\n\n  constructor(ruleName: FluxRuleKind, cellId: string, message: string) {\n    super(`FluxRule '${ruleName}' violated for cell '${cellId}': ${message}`);\n    this.name = 'FluxViolationError';\n    this.ruleName = ruleName;\n    this.cellId = cellId;\n  }\n}\n\n// ---------------------------------------------------------------------------\n// Internal types (registry implementation detail)\n// ---------------------------------------------------------------------------\n\n/**\n * Discriminated tag for the in-tree flux rules. Adding a new rule\n * kind forces a compile-time update to every `switch` over this\n * union via the `_exhaustive: never` discipline.\n *\n * - v0.7 (P2): `'dimensional-consistency' | 'lbe-coordinate' | 'causality'`\n * - v0.8 (P5): adds `'regime-consistency'` — fires from `addCell`\n *   when a cell's attached regimes contradict the cell's coordinate\n *   axes (e.g., a `LawCell` with `scales: ['classical']` attached\n *   to a `quantum` regime via `attachRegimesToCell`).\n *\n * @internal — coupled to the registry's dispatch shape; not part of\n * the v0.7 public-API contract.\n */\nexport type FluxRuleKind =\n  | 'dimensional-consistency'\n  | 'lbe-coordinate'\n  | 'causality'\n  | 'regime-consistency';\n\n/**\n * Result returned by a single rule's `check()` body. `ok: true` means\n * the rule passed; `ok: false` means the rule violated. A diagnostic\n * may be attached on either path (`'info'` diagnostics ride with\n * `ok: true`; `'warning'` and `'error'` diagnostics ride with\n * `ok: false`).\n *\n * @internal\n */\nexport interface FluxRuleResult {\n  readonly ok: boolean;\n  readonly diagnostic?: FluxDiagnostic;\n}\n\n/**\n * A registered rule. The `check()` body is a pure function over\n * `Cell` (or a sub-variant if the rule only fires on one `kind`).\n *\n * @internal\n */\nexport interface FluxRule {\n  readonly kind: FluxRuleKind;\n  readonly check: (cell: Cell) => FluxRuleResult;\n}\n\n// ---------------------------------------------------------------------------\n// SCALE_ARROW — the partial-order on `PhysicalScale` used by Rule 3\n// ---------------------------------------------------------------------------\n\n/**\n * Ordered list of scales from finest to coarsest. The index encodes\n * the partial-order: lower index = finer (quantum), higher index =\n * coarser (cosmological). Used by Rule 3 (Causality) to classify\n * bridge direction as forward / lateral / reverse.\n */\nconst SCALE_ORDER: ReadonlyArray<PhysicalScale> = [\n  'quantum',\n  'mesoscopic',\n  'classical',\n  'cosmological',\n];\n\nfunction scaleIndex(s: PhysicalScale): number {\n  return SCALE_ORDER.indexOf(s);\n}\n\n/**\n * Classify a bridge direction by source/target scale. `'reverse'` =\n * coarser→finer (e.g., classical→quantum), `'forward'` =\n * finer→coarser (the canonical emergent direction), `'lateral'` =\n * same scale. Per Decision #5, `'reverse'` triggers a warning\n * diagnostic.\n */\nfunction classifyArrow(\n  src: PhysicalScale,\n  dst: PhysicalScale,\n): 'forward' | 'lateral' | 'reverse' {\n  const i = scaleIndex(src);\n  const j = scaleIndex(dst);\n  if (i === j) return 'lateral';\n  return i < j ? 'forward' : 'reverse';\n}\n\n/**\n * Private per-cell-ID suppression list for Rule 3 (Causality). Empty\n * in v0.7; entries earn their place via design review (Decision #5\n * — the original \"timeReversalAnnotation: true\" on BridgeCell was\n * rejected as public-type contamination per Eve-R12).\n */\nconst causalityWhitelist: ReadonlySet<string> = new Set();\n\n// ---------------------------------------------------------------------------\n// Rule 2 — L/B/E coordinate matching (ERROR tier)\n// ---------------------------------------------------------------------------\n\n/**\n * Pure dispatcher for Rule 2 over the `Cell` discriminated union.\n * The three arms enforce the cell-shape invariants:\n *\n *   - `LawCell` is diagonal: `scales × forces` cross-product must be\n *     non-empty.\n *   - `BridgeCell` is off-diagonal: `source !== target` by at least\n *     one axis (already enforced by the legacy `addBridge` —\n *     Rule 2 piggybacks for registry exhaustiveness).\n *   - `EmergenceCell` spans multi-coordinate: `indices.length >= 2`.\n *\n * @internal\n */\nexport function checkLBECoordinate(cell: Cell): FluxRuleResult {\n  switch (cell.kind) {\n    case 'law':\n      return checkLawCoordinate(cell);\n    case 'bridge':\n      return checkBridgeCoordinate(cell);\n    case 'emergence':\n      return checkEmergenceCoordinate(cell);\n    default: {\n      const _exhaustive: never = cell;\n      void _exhaustive;\n      throw new Error(`checkLBECoordinate: unknown cell kind`);\n    }\n  }\n}\n\nfunction checkLawCoordinate(cell: LawCell): FluxRuleResult {\n  if (cell.scales.length === 0 || cell.forces.length === 0) {\n    return {\n      ok: false,\n      diagnostic: {\n        severity: 'error',\n        ruleName: 'lbe-coordinate',\n        cellId: cell.id,\n        message:\n          `LawCell '${cell.id}' has empty scales × forces cross-product ` +\n          `(scales=[${cell.scales.join(',')}], forces=[${cell.forces.join(',')}]). ` +\n          `A law must occupy at least one (scale, force) coordinate.`,\n      },\n    };\n  }\n  return { ok: true };\n}\n\nfunction checkBridgeCoordinate(cell: BridgeCell): FluxRuleResult {\n  // A BridgeCell must differ between source and target on at least one\n  // populated axis. The legacy `addBridge` at tensor.ts:217-226 already\n  // enforces this; we re-implement here for registry exhaustiveness.\n  const s = cell.source;\n  const t = cell.target;\n  const same =\n    s.scale === t.scale &&\n    s.force === t.force &&\n    s.symmetry === t.symmetry &&\n    s.information === t.information &&\n    s.dimension === t.dimension &&\n    s.topology === t.topology;\n  if (same) {\n    return {\n      ok: false,\n      diagnostic: {\n        severity: 'error',\n        ruleName: 'lbe-coordinate',\n        cellId: cell.id,\n        message:\n          `BridgeCell '${cell.id}' has identical source and target ` +\n          `coordinates. A bridge must connect two distinct regime axes.`,\n      },\n    };\n  }\n  return { ok: true };\n}\n\nfunction checkEmergenceCoordinate(cell: EmergenceCell): FluxRuleResult {\n  if (cell.indices.length < 2) {\n    return {\n      ok: false,\n      diagnostic: {\n        severity: 'error',\n        ruleName: 'lbe-coordinate',\n        cellId: cell.id,\n        message:\n          `EmergenceCell '${cell.id}' has only ${cell.indices.length} ` +\n          `index group(s); emergence requires at least 2 (higher-order ` +\n          `correlations span multiple coordinates).`,\n      },\n    };\n  }\n  return { ok: true };\n}\n\n// ---------------------------------------------------------------------------\n// Rule 3 — Causality (ERROR tier)\n// ---------------------------------------------------------------------------\n\n/**\n * Pure dispatcher for Rule 3 over the `Cell` discriminated union.\n * Rule 3 only fires on `'bridge'`; the other arms always pass.\n *\n * Body for the bridge arm per Decision #5:\n *   1. Read `src = cell.source.scale`, `dst = cell.target.scale`.\n *   2. If either is `undefined`, emit `'info'` (\"scale-unspecified\n *      skip\"); the rule still passes (`ok: true`).\n *   3. If `arrow = classifyArrow(src, dst) === 'reverse'`, FAIL with\n *      an `'error'` diagnostic (ERROR tier as of v0.10.0 — promoted\n *      from the v0.7 WARNING tier, user decision 2026-06-11).\n *   4. Suppression via the private `causalityWhitelist` (empty in\n *      v0.7).\n *\n * @internal\n */\nexport function checkCausality(cell: Cell): FluxRuleResult {\n  if (cell.kind !== 'bridge') return { ok: true };\n  if (causalityWhitelist.has(cell.id)) return { ok: true };\n\n  const src = cell.source.scale;\n  const dst = cell.target.scale;\n  if (src === undefined || dst === undefined) {\n    return {\n      ok: true,\n      diagnostic: {\n        severity: 'info',\n        ruleName: 'causality',\n        cellId: cell.id,\n        message: `scale axis unspecified; causality check skipped`,\n      },\n    };\n  }\n\n  const arrow = classifyArrow(src, dst);\n  if (arrow === 'reverse') {\n    return {\n      // ERROR tier as of v0.10.0 (promoted from the v0.7 WARNING tier\n      // per user decision 2026-06-11; live catalog verified clean —\n      // 23/23 submittable cells pass, zero reverse arrows). Deliberate\n      // reverse bridges go through causalityWhitelist.\n      ok: false,\n      diagnostic: {\n        severity: 'error',\n        ruleName: 'causality',\n        cellId: cell.id,\n        message:\n          `BridgeCell '${cell.id}' goes ${src}→${dst} (coarser→finer); ` +\n          `the canonical emergence direction is finer→coarser. ` +\n          `Add the cell id to the causality whitelist (design review) ` +\n          `if the reverse direction is deliberate.`,\n      },\n    };\n  }\n  return { ok: true };\n}\n\n// ---------------------------------------------------------------------------\n// Registry dispatcher\n// ---------------------------------------------------------------------------\n\n/**\n * Run a set of rules against a single `cell` and aggregate the\n * diagnostics into a `FluxReport`. Pure function — no I/O, no\n * shared-state mutation.\n *\n * The switch over `FluxRuleKind` is exhaustive via the\n * `_exhaustive: never` default arm (Decision #8). Adding a new rule\n * kind forces a compile-time update here AND at every consumer\n * site that branches on `FluxRuleKind`.\n *\n * @internal\n */\nexport function runRules(\n  cell: Cell,\n  rules: ReadonlyArray<FluxRule>,\n): FluxReport {\n  const diagnostics: FluxDiagnostic[] = [];\n  let errorCount = 0;\n  let warningCount = 0;\n  let infoCount = 0;\n\n  for (const rule of rules) {\n    // Exhaustive dispatch on rule.kind. Even though `check` is the\n    // same shape across kinds, branching here gives us the\n    // compile-time guarantee that every kind is handled — a new\n    // FluxRuleKind variant forces a compile error.\n    let result: FluxRuleResult;\n    switch (rule.kind) {\n      case 'dimensional-consistency':\n        result = rule.check(cell);\n        break;\n      case 'lbe-coordinate':\n        result = rule.check(cell);\n        break;\n      case 'causality':\n        result = rule.check(cell);\n        break;\n      case 'regime-consistency':\n        result = rule.check(cell);\n        break;\n      default: {\n        const _exhaustive: never = rule.kind;\n        void _exhaustive;\n        throw new Error(`runRules: unknown rule kind`);\n      }\n    }\n\n    if (result.diagnostic) {\n      diagnostics.push(result.diagnostic);\n      switch (result.diagnostic.severity) {\n        case 'error': errorCount++; break;\n        case 'warning': warningCount++; break;\n        case 'info': infoCount++; break;\n      }\n    }\n  }\n\n  return {\n    diagnostics,\n    errorCount,\n    warningCount,\n    infoCount,\n  };\n}\n\n/**\n * The two v0.7 in-tree rules registered for Phase 2 `addCell`\n * dispatch. Rule 1 (Dimensional Consistency) is NOT here — it\n * operates on `BridgeEquationEntry`, not `Cell`, and ships in\n * Phase 3 alongside the catalog adapter.\n *\n * @internal\n */\nexport const V07_CELL_RULES: ReadonlyArray<FluxRule> = [\n  { kind: 'lbe-coordinate', check: checkLBECoordinate },\n  { kind: 'causality', check: checkCausality },\n  { kind: 'regime-consistency', check: checkRegimeConsistency },\n];\n\n// ---------------------------------------------------------------------------\n// Rule 4 — Regime Consistency (v0.8 P5 Phase 4, WARNING tier)\n// ---------------------------------------------------------------------------\n\n// Lazy import dance — regime-registry is in the same dir, so a static\n// import would force regime-registry to load any time flux-rules\n// loads. Phase 4 keeps that decoupled via a registered-callable\n// pattern: P5's regime module registers its rule via\n// `installRegimeConsistencyRule` below at module-load.\n\ntype RegimeRuleBody = (cell: Cell) => FluxRuleResult;\n\nlet registeredRegimeRule: RegimeRuleBody | null = null;\n\n/**\n * Install P5's regime-consistency rule body. Called by\n * `src/core/regime-rule-install.ts` at its module load. If P5's\n * module is never imported, the regime check stays a no-op\n * (returns `ok: true` silently).\n *\n * @internal\n */\nexport function installRegimeConsistencyRule(body: RegimeRuleBody): void {\n  registeredRegimeRule = body;\n}\n\n/**\n * Pure dispatcher for Rule 4 over `Cell`. Delegates to the body\n * installed by P5 if present; otherwise a permissive no-op.\n *\n * @internal\n */\nfunction checkRegimeConsistency(cell: Cell): FluxRuleResult {\n  if (registeredRegimeRule) return registeredRegimeRule(cell);\n  return { ok: true };\n}\n"]}

package/dist/core/json-schema.d.ts

@@ -0,0 +1,27 @@
+/**
+ * A JSON Schema reader for the keyword subset the repository's data schemas use.
+ *
+ * The library adds no runtime dependency for this, so the schema a data file
+ * names is checked here, at load, and not only by a test. A keyword outside
+ * the subset is an error in the schema, not a keyword silently ignored, so a
+ * schema cannot state a rule this reader does not enforce.
+ *
+ * Subset: `type` (a name or an array of names), `required`, `properties`,
+ * `additionalProperties` (boolean or schema), `propertyNames`, `items`,
+ * `minItems`, `maxItems`, `uniqueItems`, `minLength`, `pattern`, `minimum`,
+ * `enum`, `const`, `if`/`then`/`else`, and `$ref` to `#/$defs/<name>` or `#/definitions/<name>`. `$schema`, `$id`, `$defs`,
+ * `title` and `description` are annotations.
+ *
+ * @module core/json-schema
+ */
+/** A JSON Schema document or subschema, as parsed from JSON. @internal */
+export type JsonSchema = {
+    readonly [keyword: string]: unknown;
+};
+/**
+ * Every place `value` breaks `schema`, as `$.path: reason` lines. Empty when it conforms.
+ * Throws when the schema uses a keyword outside the subset.
+ * @internal
+ */
+export declare function schemaProblems(schema: JsonSchema, value: unknown): string[];
+//# sourceMappingURL=json-schema.d.ts.map

package/dist/core/json-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"json-schema.d.ts","sourceRoot":"","sources":["../../src/core/json-schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,0EAA0E;AAC1E,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,CAAC;AAkJjE;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAI3E"}