universal-physics-tensor 8.0.0 → 9.0.0

package/dist/dimensional/symbolic-constants.d.ts

@@ -1,42 +1,89 @@
 /**
- * Symbolic-composition constant registry (v0.12 symbolic composition).
+ * The constant registry: one row per physical constant a formula may name.
  *
- * The physical constants and named numeric factors that a bridge's
- * `symbolic` ExprNode may reference as leaf symbols, with the SI value AND
- * the SI dimension. SI VALUES import from `core/constants.js` — the single
- * source the bridge evaluators also resolve to — so a symbolic form and its
- * numeric evaluator agree bit-for-bit (the drift guard binds this end-to-end;
- * Adam A-7 / Eve EVE-3).
+ * A row (written in `constant-rows.ts`) holds the formula name, its other
+ * exact-case spellings, the SI value (imported from `core/constants.js`, the
+ * one owner of every value), the SI unit in `parseUnit` syntax, the meaning
+ * and the source. The dimension is derived from the unit once, here; no second
+ * table states it. The rows sit in their own module because the unit table
+ * names constants by these spellings, and this module imports the unit parser. Every other
+ * constant table in the library ({@link CONSTANTS}, `FORMULA_NAMED`,
+ * `CONSTANT_SPELLINGS`, {@link CONSTANT_PROVENANCE}, `CANONICAL_CONSTANTS`,
+ * the `upt eval` scope, the binding scope, the gradient constants) is a
+ * projection of this array, so a spelling, a value and a dimension cannot
+ * disagree between two files. A constant that is also a quantity names its
+ * `data/quantities.json` row in `quantity`; the quantity registry derives that
+ * row's aliases from here, so the file states no constant spelling.
  *
- * Numeric-literal leaves (`'2'`, `'3'`) are NOT registered here — `evalExpr`
+ * `canonical` marks a universal constant a canonical equation's `governing`
+ * list may bake as a leaf. A row that is an overlay for `upt eval` and the
+ * dimensional assignment only (`m_p`, `N_A`, the GRW parameters) is not
+ * canonical, so the canonical graph does not bake it.
+ *
+ * Numeric-literal leaves (`'2'`, `'3'`) are NOT registered — `evalExpr`
  * resolves them via `Number(name)` and they are implicitly dimensionless.
- * Non-base-10 tokens (`'8pi'`, `'4pi'`, `'ln2'`) MUST be here (Adam A-1 —
- * `Number('8pi')` is `NaN`).
+ * Non-base-10 tokens (`'8pi'`, `'4pi'`, `'ln2'`) MUST be here (`Number('8pi')`
+ * is `NaN`).
  *
  * INTERNAL — not on the public surface.
  *
  * @module dimensional/symbolic-constants
  */
 import type { Dimension } from './types.js';
+import { type ConstantRow } from './constant-rows.js';
+/** One registered constant: its row, with the dimension derived from its unit. @internal */
+export interface ConstantRecord extends ConstantRow {
+    readonly dim: Dimension;
+}
+/**
+ * Every registered constant, the rows of `constant-rows.ts` with each
+ * dimension derived once from its unit. Order is the order the tables print.
+ * @internal
+ */
+export declare const CONSTANT_REGISTRY: readonly ConstantRecord[];
+/** The registered constant `spelling` names, or undefined. @internal */
+export declare function constantRecord(spelling: string): ConstantRecord | undefined;
+/** A stated value for a registered constant disagrees with the registry. The equations use the registered value. @internal */
+export declare class ConstantDisagreementError extends Error {
+    readonly key: string;
+    readonly constant: string;
+    readonly registered: number;
+    readonly given: number;
+    constructor(key: string, constant: string, registered: number, given: number);
+}
+/**
+ * The registered constant `key` names when `value` agrees with it within
+ * {@link CONSTANT_AGREEMENT}, or null when `key` names no constant. A value
+ * that disagrees throws {@link ConstantDisagreementError}: a constant is not
+ * a graph quantity, so a stated value is checked, never bound.
+ * @internal
+ */
+export declare function constantAgreement(key: string, value: number): string | null;
+/** The notes of the registered constants among `names`, each once, in registry order. @internal */
+export declare function constantNotes(names: Iterable<string>): string[];
+/** Every spelling → SI value, for a numeric scope. `pi` and `tau` are added. @internal */
+export declare function constantScope(): Record<string, number>;
 /** A registered constant leaf: SI value + SI dimension. @internal */
-interface NamedConstantValue {
+export interface NamedConstantValue {
     readonly value: number;
     readonly dim: Dimension;
 }
 /**
- * Constant leaves a `symbolic` ExprNode may reference. Keys are the leaf
- * symbol `name`s; values carry the SI magnitude and dimension. `ln2`/`8pi`/
- * `4pi` reproduce the evaluators' `Math.LN2` / `8*Math.PI` / `4*Math.PI`
- * exactly (same IEEE-754 primitives).
+ * Constant leaves a `symbolic` ExprNode may reference, keyed by formula name:
+ * the canonical rows of {@link CONSTANT_REGISTRY}. `ln2`/`8pi`/`4pi`
+ * reproduce the evaluators' `Math.LN2` / `8*Math.PI` / `4*Math.PI` exactly
+ * (same IEEE-754 primitives).
  */
 export declare const CONSTANTS: Readonly<Record<string, NamedConstantValue>>;
 /** What a registered constant is, its SI unit, and where its value comes from (audit I10). @internal */
 export interface ConstantProvenance {
     readonly meaning: string;
-    /** The SI unit, in the syntax `parseUnit` reads; a test checks it against the registered dimension. */
+    /** The SI unit, in the syntax `parseUnit` reads; the registered dimension is derived from it. */
     readonly unit: string;
     readonly source: string;
 }
+/** One row per {@link CONSTANT_REGISTRY} name. @internal */
+export declare const CONSTANT_PROVENANCE: Readonly<Record<string, ConstantProvenance>>;
 /**
  * A spelled-out multiple of π written as one symbol (`pi`, `6pi`). `2pi`,
  * `4pi` and `8pi` are also registered in {@link CONSTANTS}; this covers the
@@ -47,7 +94,4 @@ export interface ConstantProvenance {
  * @internal
  */
 export declare function piMultipleValue(name: string): number | undefined;
-/** One row per {@link CONSTANTS} key; a test holds the two key sets equal. @internal */
-export declare const CONSTANT_PROVENANCE: Readonly<Record<string, ConstantProvenance>>;
-export {};
 //# sourceMappingURL=symbolic-constants.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"symbolic-constants.d.ts","sourceRoot":"","sources":["../../src/dimensional/symbolic-constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAiC5C,qEAAqE;AACrE,UAAU,kBAAkB;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;CACzB;AAED;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAuBlE,CAAC;AAEF,wGAAwG;AACxG,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,uGAAuG;IACvG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAMhE;AAED,wFAAwF;AACxF,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CA6B5E,CAAC"}
+{"version":3,"file":"symbolic-constants.d.ts","sourceRoot":"","sources":["../../src/dimensional/symbolic-constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,OAAO,EAA8B,KAAK,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAElF,4FAA4F;AAC5F,MAAM,WAAW,cAAe,SAAQ,WAAW;IACjD,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;CACzB;AAED;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,SAAS,cAAc,EAGpD,CAAC;AASJ,wEAAwE;AACxE,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAG3E;AASD,8HAA8H;AAC9H,qBAAa,yBAA0B,SAAQ,KAAK;IAEhD,QAAQ,CAAC,GAAG,EAAE,MAAM;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM;IAJxB,YACW,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EAOvB;CACF;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAO3E;AAED,mGAAmG;AACnG,wBAAgB,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAO/D;AAED,0FAA0F;AAC1F,wBAAgB,aAAa,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAItD;AAED,qEAAqE;AACrE,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;CACzB;AAED;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAKlE,CAAC;AAEF,wGAAwG;AACxG,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,iGAAiG;IACjG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,4DAA4D;AAC5D,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAK5E,CAAC;AAEF;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAMhE"}

package/dist/dimensional/symbolic-constants.js

@@ -1,75 +1,123 @@
 /**
- * Symbolic-composition constant registry (v0.12 symbolic composition).
+ * The constant registry: one row per physical constant a formula may name.
  *
- * The physical constants and named numeric factors that a bridge's
- * `symbolic` ExprNode may reference as leaf symbols, with the SI value AND
- * the SI dimension. SI VALUES import from `core/constants.js` — the single
- * source the bridge evaluators also resolve to — so a symbolic form and its
- * numeric evaluator agree bit-for-bit (the drift guard binds this end-to-end;
- * Adam A-7 / Eve EVE-3).
+ * A row (written in `constant-rows.ts`) holds the formula name, its other
+ * exact-case spellings, the SI value (imported from `core/constants.js`, the
+ * one owner of every value), the SI unit in `parseUnit` syntax, the meaning
+ * and the source. The dimension is derived from the unit once, here; no second
+ * table states it. The rows sit in their own module because the unit table
+ * names constants by these spellings, and this module imports the unit parser. Every other
+ * constant table in the library ({@link CONSTANTS}, `FORMULA_NAMED`,
+ * `CONSTANT_SPELLINGS`, {@link CONSTANT_PROVENANCE}, `CANONICAL_CONSTANTS`,
+ * the `upt eval` scope, the binding scope, the gradient constants) is a
+ * projection of this array, so a spelling, a value and a dimension cannot
+ * disagree between two files. A constant that is also a quantity names its
+ * `data/quantities.json` row in `quantity`; the quantity registry derives that
+ * row's aliases from here, so the file states no constant spelling.
  *
- * Numeric-literal leaves (`'2'`, `'3'`) are NOT registered here — `evalExpr`
+ * `canonical` marks a universal constant a canonical equation's `governing`
+ * list may bake as a leaf. A row that is an overlay for `upt eval` and the
+ * dimensional assignment only (`m_p`, `N_A`, the GRW parameters) is not
+ * canonical, so the canonical graph does not bake it.
+ *
+ * Numeric-literal leaves (`'2'`, `'3'`) are NOT registered — `evalExpr`
  * resolves them via `Number(name)` and they are implicitly dimensionless.
- * Non-base-10 tokens (`'8pi'`, `'4pi'`, `'ln2'`) MUST be here (Adam A-1 —
- * `Number('8pi')` is `NaN`).
+ * Non-base-10 tokens (`'8pi'`, `'4pi'`, `'ln2'`) MUST be here (`Number('8pi')`
+ * is `NaN`).
  *
  * INTERNAL — not on the public surface.
  *
  * @module dimensional/symbolic-constants
  */
-import { ACTION, CHARGE, DIMENSIONLESS, MASS, VELOCITY, } from './types.js';
-import { C_SI, E_SI, G_SI, GM_SUN_SI, HBAR_SI, H_SI, K_B_SI, B_WIEN_SI, M_U_SI } from '../core/constants.js';
-const dim = (L = 0, M = 0, T = 0, Theta = 0) => ({
-    L,
-    M,
-    T,
-    I: 0,
-    Theta,
-    N: 0,
-    J: 0,
-});
-/** Newton's constant G — [L³ M⁻¹ T⁻²]. */
-const GRAV = dim(3, -1, -2);
-/** Boltzmann constant k_B — [L² M T⁻² Θ⁻¹] (energy / temperature). */
-const BOLTZMANN = dim(2, 1, -2, -1);
-/** Vacuum permittivity ε₀ — [I² T⁴ M⁻¹ L⁻³] (F/m). Carries a current
- *  dimension, so it cannot use the (L,M,T,Θ) `dim` helper. */
-const PERMITTIVITY = { L: -3, M: -1, T: 4, I: 2, Theta: 0, N: 0, J: 0 };
-/** Stefan–Boltzmann σ — [M T⁻³ Θ⁻⁴] (W m⁻² K⁻⁴). Derived:
- *  σ = 2π⁵k_B⁴ / (15 c² h³). */
-const STEFAN_BOLTZMANN = dim(0, 1, -3, -4);
-/** Wien displacement constant b — [L·Θ] (m·K). */
-const WIEN = dim(1, 0, 0, 1);
+import { parseUnit } from './units.js';
+import { CONSTANT_ROWS, constantRow } from './constant-rows.js';
+/**
+ * Every registered constant, the rows of `constant-rows.ts` with each
+ * dimension derived once from its unit. Order is the order the tables print.
+ * @internal
+ */
+export const CONSTANT_REGISTRY = CONSTANT_ROWS.map((constant) => ({
+    ...constant,
+    dim: parseUnit(constant.unit).dim,
+}));
+const RECORD_OF_ROW = new Map(CONSTANT_ROWS.map((constant, i) => [constant, CONSTANT_REGISTRY[i]]));
+/** Every spelling → its record; `constant-rows.ts` refuses a spelling written twice. */
+const BY_SPELLING = new Map(CONSTANT_REGISTRY.flatMap((record) => [record.name, ...record.spellings].map((spelling) => [spelling, record])));
+/** The registered constant `spelling` names, or undefined. @internal */
+export function constantRecord(spelling) {
+    const constant = constantRow(spelling);
+    return constant === undefined ? undefined : RECORD_OF_ROW.get(constant);
+}
+/**
+ * Relative tolerance within which a stated constant agrees with the registered
+ * value. Textbook roundings such as `b = 2.9e-3` pass.
+ * @internal
+ */
+const CONSTANT_AGREEMENT = 5e-3;
+/** A stated value for a registered constant disagrees with the registry. The equations use the registered value. @internal */
+export class ConstantDisagreementError extends Error {
+    key;
+    constant;
+    registered;
+    given;
+    constructor(key, constant, registered, given) {
+        super(`'${key}' is the registered constant ${constant} = ${registered}; ` +
+            `${given} disagrees, and the equations use the registered value, so it cannot be rebound.`);
+        this.key = key;
+        this.constant = constant;
+        this.registered = registered;
+        this.given = given;
+        this.name = 'ConstantDisagreementError';
+    }
+}
+/**
+ * The registered constant `key` names when `value` agrees with it within
+ * {@link CONSTANT_AGREEMENT}, or null when `key` names no constant. A value
+ * that disagrees throws {@link ConstantDisagreementError}: a constant is not
+ * a graph quantity, so a stated value is checked, never bound.
+ * @internal
+ */
+export function constantAgreement(key, value) {
+    const record = BY_SPELLING.get(key);
+    if (record === undefined)
+        return null;
+    if (Math.abs(value - record.value) > CONSTANT_AGREEMENT * Math.abs(record.value)) {
+        throw new ConstantDisagreementError(key, record.name, record.value, value);
+    }
+    return record.name;
+}
+/** The notes of the registered constants among `names`, each once, in registry order. @internal */
+export function constantNotes(names) {
+    const seen = new Set();
+    for (const name of names) {
+        const record = BY_SPELLING.get(name);
+        if (record?.note !== undefined)
+            seen.add(record);
+    }
+    return CONSTANT_REGISTRY.filter((record) => seen.has(record)).map((record) => record.note);
+}
+/** Every spelling → SI value, for a numeric scope. `pi` and `tau` are added. @internal */
+export function constantScope() {
+    const scope = { pi: Math.PI, tau: 2 * Math.PI };
+    for (const [spelling, record] of BY_SPELLING)
+        scope[spelling] = record.value;
+    return scope;
+}
 /**
- * Constant leaves a `symbolic` ExprNode may reference. Keys are the leaf
- * symbol `name`s; values carry the SI magnitude and dimension. `ln2`/`8pi`/
- * `4pi` reproduce the evaluators' `Math.LN2` / `8*Math.PI` / `4*Math.PI`
- * exactly (same IEEE-754 primitives).
+ * Constant leaves a `symbolic` ExprNode may reference, keyed by formula name:
+ * the canonical rows of {@link CONSTANT_REGISTRY}. `ln2`/`8pi`/`4pi`
+ * reproduce the evaluators' `Math.LN2` / `8*Math.PI` / `4*Math.PI` exactly
+ * (same IEEE-754 primitives).
  */
-export const CONSTANTS = {
-    hbar: { value: HBAR_SI, dim: ACTION },
-    h: { value: H_SI, dim: ACTION },
-    c: { value: C_SI, dim: VELOCITY },
-    G: { value: G_SI, dim: GRAV },
-    k_B: { value: K_B_SI, dim: BOLTZMANN },
-    ln2: { value: Math.LN2, dim: DIMENSIONLESS },
-    '8pi': { value: 8 * Math.PI, dim: DIMENSIONLESS },
-    '4pi': { value: 4 * Math.PI, dim: DIMENSIONLESS },
-    '2pi': { value: 2 * Math.PI, dim: DIMENSIONLESS },
-    // Extension constants for the canonical-equation L1 entries (Coulomb, Bohr,
-    // Stefan–Boltzmann). CODATA 2018 values.
-    // ISO 80000 / CODATA: a bare e is the elementary charge. Eccentricity is
-    // one_minus_e_sq. The canonical dimension guard still refuses to bake a
-    // dimensionless governing name e.
-    e: { value: E_SI, dim: CHARGE },
-    epsilon_0: { value: 8.8541878128e-12, dim: PERMITTIVITY },
-    sigma_sb: { value: 5.670374419e-8, dim: STEFAN_BOLTZMANN },
-    b: { value: B_WIEN_SI, dim: WIEN },
-    // IAU 2015 nominal solar parameter. M_sun in eval stays the rounded kilogram M_SUN_SI.
-    GM_sun: { value: GM_SUN_SI, dim: dim(3, 0, -2) },
-    Msun_iau: { value: GM_SUN_SI / G_SI, dim: dim(0, 1, 0) },
-    m_u: { value: M_U_SI, dim: MASS },
-};
+export const CONSTANTS = Object.fromEntries(CONSTANT_REGISTRY.filter((record) => record.canonical).map((record) => [
+    record.name,
+    { value: record.value, dim: record.dim },
+]));
+/** One row per {@link CONSTANT_REGISTRY} name. @internal */
+export const CONSTANT_PROVENANCE = Object.fromEntries(CONSTANT_REGISTRY.map((record) => [
+    record.name,
+    { meaning: record.meaning, unit: record.unit, source: record.source },
+]));
 /**
  * A spelled-out multiple of π written as one symbol (`pi`, `6pi`). `2pi`,
  * `4pi` and `8pi` are also registered in {@link CONSTANTS}; this covers the
@@ -88,35 +136,4 @@ export function piMultipleValue(name) {
         return undefined;
     return n * Math.PI;
 }
-/** One row per {@link CONSTANTS} key; a test holds the two key sets equal. @internal */
-export const CONSTANT_PROVENANCE = {
-    hbar: { meaning: 'reduced Planck constant h/(2π)', unit: 'J*s', source: 'exact H_SI/(2π) (core/constants.ts HBAR_SI)' },
-    h: { meaning: 'Planck constant', unit: 'J*s', source: 'exact SI, 2019 redefinition (core/constants.ts H_SI)' },
-    c: { meaning: 'speed of light in vacuum', unit: 'm/s', source: 'exact SI (core/constants.ts C_SI)' },
-    G: { meaning: 'Newtonian gravitational constant', unit: 'm^3/(kg*s^2)', source: 'CODATA 2018 (core/constants.ts G_SI)' },
-    k_B: { meaning: 'Boltzmann constant', unit: 'J/K', source: 'exact SI, 2019 redefinition (core/constants.ts K_B_SI)' },
-    ln2: { meaning: 'natural logarithm of 2', unit: '1', source: 'mathematical constant (Math.LN2)' },
-    '8pi': { meaning: '8π', unit: '1', source: 'mathematical constant (8·Math.PI)' },
-    '4pi': { meaning: '4π', unit: '1', source: 'mathematical constant (4·Math.PI)' },
-    '2pi': { meaning: '2π', unit: '1', source: 'mathematical constant (2·Math.PI)' },
-    e: { meaning: 'elementary charge', unit: 'C', source: 'exact SI, 2019 redefinition (core/constants.ts E_SI)' },
-    epsilon_0: { meaning: 'vacuum permittivity', unit: 'F/m', source: 'CODATA 2018 (this table)' },
-    sigma_sb: { meaning: 'Stefan–Boltzmann constant', unit: 'W/(m^2*K^4)', source: 'CODATA 2018 (this table)' },
-    b: { meaning: 'Wien displacement constant', unit: 'm*K', source: 'CODATA 2018 (core/constants.ts B_WIEN_SI)' },
-    GM_sun: {
-        meaning: 'IAU nominal solar gravitational parameter (GM)☉',
-        unit: 'm^3/s^2',
-        source: 'IAU 2015 Resolution B3 (core/constants.ts GM_SUN_SI)',
-    },
-    Msun_iau: {
-        meaning: 'IAU solar mass (GM)☉/G, the mass that reproduces GM_sun with G_SI',
-        unit: 'kg',
-        source: 'GM_SUN_SI/G_SI (core/constants.ts)',
-    },
-    m_u: {
-        meaning: 'unified atomic mass unit (atomic mass constant)',
-        unit: 'kg',
-        source: 'CODATA 2018 (core/constants.ts M_U_SI)',
-    },
-};
 //# sourceMappingURL=symbolic-constants.js.map

package/dist/dimensional/symbolic-constants.js.map

@@ -1 +1 @@
-{"version":3,"file":"symbolic-constants.js","sourceRoot":"","sources":["../../src/dimensional/symbolic-constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EACL,MAAM,EACN,MAAM,EACN,aAAa,EACb,IAAI,EACJ,QAAQ,GACT,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAE7G,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAa,EAAE,CAAC,CAAC;IAC1D,CAAC;IACD,CAAC;IACD,CAAC;IACD,CAAC,EAAE,CAAC;IACJ,KAAK;IACL,CAAC,EAAE,CAAC;IACJ,CAAC,EAAE,CAAC;CACL,CAAC,CAAC;AAEH,0CAA0C;AAC1C,MAAM,IAAI,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACvC,sEAAsE;AACtE,MAAM,SAAS,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC/C;8DAC8D;AAC9D,MAAM,YAAY,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACnF;gCACgC;AAChC,MAAM,gBAAgB,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACtD,kDAAkD;AAClD,MAAM,IAAI,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAQxC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAiD;IACrE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE;IACrC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE;IAC/B,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;IACjC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE;IAC7B,GAAG,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE;IACtC,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE;IAC5C,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE;IACjD,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE;IACjD,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE;IACjD,4EAA4E;IAC5E,yCAAyC;IACzC,yEAAyE;IACzE,wEAAwE;IACxE,kCAAkC;IAClC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE;IAC/B,SAAS,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,GAAG,EAAE,YAAY,EAAE;IACzD,QAAQ,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,EAAE,gBAAgB,EAAE;IAC1D,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE;IAClC,uFAAuF;IACvF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;IAChD,QAAQ,EAAE,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;IACxD,GAAG,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;CAClC,CAAC;AAUF;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACpD,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;AACrB,CAAC;AAED,wFAAwF;AACxF,MAAM,CAAC,MAAM,mBAAmB,GAAiD;IAC/E,IAAI,EAAE,EAAE,OAAO,EAAE,gCAAgC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,6CAA6C,EAAE;IACvH,CAAC,EAAE,EAAE,OAAO,EAAE,iBAAiB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,sDAAsD,EAAE;IAC9G,CAAC,EAAE,EAAE,OAAO,EAAE,0BAA0B,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,mCAAmC,EAAE;IACpG,CAAC,EAAE,EAAE,OAAO,EAAE,kCAAkC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,sCAAsC,EAAE;IACxH,GAAG,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,wDAAwD,EAAE;IACrH,GAAG,EAAE,EAAE,OAAO,EAAE,wBAAwB,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,kCAAkC,EAAE;IACjG,KAAK,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,mCAAmC,EAAE;IAChF,KAAK,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,mCAAmC,EAAE;IAChF,KAAK,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,mCAAmC,EAAE;IAChF,CAAC,EAAE,EAAE,OAAO,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,sDAAsD,EAAE;IAC9G,SAAS,EAAE,EAAE,OAAO,EAAE,qBAAqB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,0BAA0B,EAAE;IAC9F,QAAQ,EAAE,EAAE,OAAO,EAAE,2BAA2B,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,0BAA0B,EAAE;IAC3G,CAAC,EAAE,EAAE,OAAO,EAAE,4BAA4B,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,2CAA2C,EAAE;IAC9G,MAAM,EAAE;QACN,OAAO,EAAE,iDAAiD;QAC1D,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,sDAAsD;KAC/D;IACD,QAAQ,EAAE;QACR,OAAO,EAAE,mEAAmE;QAC5E,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,oCAAoC;KAC7C;IACD,GAAG,EAAE;QACH,OAAO,EAAE,iDAAiD;QAC1D,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,wCAAwC;KACjD;CACF,CAAC"}
+{"version":3,"file":"symbolic-constants.js","sourceRoot":"","sources":["../../src/dimensional/symbolic-constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAGH,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAoB,MAAM,oBAAoB,CAAC;AAOlF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA8B,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAC3F,GAAG,QAAQ;IACX,GAAG,EAAE,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG;CAClC,CAAC,CAAC,CAAC;AAEJ,MAAM,aAAa,GAAG,IAAI,GAAG,CAA8B,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC;AAElI,wFAAwF;AACxF,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,iBAAiB,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAU,CAAC,CAAC,CACzH,CAAC;AAEF,wEAAwE;AACxE,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC7C,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACvC,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AAC1E,CAAC;AAED;;;;GAIG;AACH,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAEhC,8HAA8H;AAC9H,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IAEvC,GAAG;IACH,QAAQ;IACR,UAAU;IACV,KAAK;IAJhB,YACW,GAAW,EACX,QAAgB,EAChB,UAAkB,EAClB,KAAa;QAEtB,KAAK,CACH,IAAI,GAAG,gCAAgC,QAAQ,MAAM,UAAU,IAAI;YACjE,GAAG,KAAK,kFAAkF,CAC7F,CAAC;mBARO,GAAG;wBACH,QAAQ;0BACR,UAAU;qBACV,KAAK;QAMd,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;IAC1C,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAW,EAAE,KAAa;IAC1D,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,kBAAkB,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACjF,MAAM,IAAI,yBAAyB,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,aAAa,CAAC,KAAuB;IACnD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,MAAM,EAAE,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,iBAAiB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAK,CAAC,CAAC;AAC9F,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,aAAa;IAC3B,MAAM,KAAK,GAA2B,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC;IACxE,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,WAAW;QAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;IAC7E,OAAO,KAAK,CAAC;AACf,CAAC;AAQD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAiD,MAAM,CAAC,WAAW,CACvF,iBAAiB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACrE,MAAM,CAAC,IAAI;IACX,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE;CACzC,CAAC,CACH,CAAC;AAUF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,mBAAmB,GAAiD,MAAM,CAAC,WAAW,CACjG,iBAAiB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAChC,MAAM,CAAC,IAAI;IACX,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;CACtE,CAAC,CACH,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACpD,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;AACrB,CAAC"}

package/dist/dimensional/unit-data.d.ts

@@ -0,0 +1,70 @@
+/**
+ * The unit table, loaded from `data/units.json` and validated once.
+ *
+ * The file is checked against `data/units.schema.json` when this module
+ * loads (`core/data-file`), then against the rules a schema cannot state:
+ * every scale expression reads, a symbol is spelled by one row, a refused
+ * spelling and an affine spelling are not also a unit, every prefix letter is
+ * both a prefix and a unit, and every `{NAME}` in a note is a constant. A
+ * file that breaks one throws here, so `units.ts` never reads a half-valid table.
+ *
+ * A scale is an exact expression, read by `exact-scale.ts`. A name in it is a
+ * shared scale from the file's `scales`, `pi`, or a constant under its registry
+ * spelling (`c`, `e`, `m_u`, `M_sun`, `Msun_iau`, `ln2`; `constant-rows.ts`),
+ * the same spelling a `{NAME}` note placeholder uses. A constant is read through
+ * its shortest decimal (`scaleOf`), or as the irrational factor when its row is
+ * `irrational`. A shared scale may not reuse a constant's spelling, so a name
+ * has one meaning. The raw rows are strings and integer exponents, so another
+ * exact reader (MathTS) replaces this loader without touching the file.
+ *
+ * @module dimensional/unit-data
+ */
+import type { JsonSchema } from '../core/json-schema.js';
+import type { Dimension } from './types.js';
+import { type ExactScale } from './exact-scale.js';
+/** One unit symbol, read exactly. @internal */
+export interface UnitRow {
+    /** Exact scale to SI base units. */
+    readonly scale: ExactScale;
+    readonly dim: Dimension;
+    /** Takes an SI prefix. */
+    readonly prefixable: boolean;
+    /**
+     * The unit counts cycles (turns), not radians. An angular-frequency input in
+     * rad/s takes 2π per cycle; the radian itself does not.
+     */
+    readonly cycles?: true;
+}
+/** One affine temperature scale, read exactly. @internal */
+export interface AffineRow {
+    readonly id: string;
+    /** Kelvin per degree, exactly. */
+    readonly scale: ExactScale;
+    /** The reading at the ice point (0 °C, 273.15 K), exactly. */
+    readonly icePoint: ExactScale;
+    readonly symbols: readonly string[];
+}
+/** The unit table `units.ts` reads. @internal */
+export interface UnitTableData {
+    readonly units: ReadonlyMap<string, UnitRow>;
+    readonly prefixes: ReadonlyMap<string, ExactScale>;
+    /** Refused spelling → the message it prints. */
+    readonly refused: ReadonlyMap<string, string>;
+    readonly prefixLetterUnits: ReadonlySet<string>;
+    /** Kelvin at 0 °C, exactly. */
+    readonly iceKelvin: ExactScale;
+    readonly affine: readonly AffineRow[];
+    /** Spelling → its note, with every `{NAME}` replaced by that constant. */
+    readonly spellingNotes: ReadonlyMap<string, string>;
+    /** SHA-256 of `data/units.json` with line endings as LF, for the CLI record fingerprint. */
+    readonly sha256: string;
+}
+/**
+ * Validate and read `text`, the contents of `data/units.json`, against `schema`.
+ * Throws on a file the schema or the table rules reject. A test passes a broken copy.
+ * @internal
+ */
+export declare function readUnitFile(text: string, schema: JsonSchema): UnitTableData;
+/** The unit table, read once from `data/units.json`. @internal */
+export declare const UNIT_DATA: UnitTableData;
+//# sourceMappingURL=unit-data.d.ts.map

package/dist/dimensional/unit-data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-data.d.ts","sourceRoot":"","sources":["../../src/dimensional/unit-data.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAIH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAA+D,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAC;AA6BhH,+CAA+C;AAC/C,MAAM,WAAW,OAAO;IACtB,oCAAoC;IACpC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,0BAA0B;IAC1B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B;;;OAGG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC;CACxB;AAED,4DAA4D;AAC5D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,kCAAkC;IAClC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,8DAA8D;IAC9D,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,iDAAiD;AACjD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACnD,gDAAgD;IAChD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAChD,+BAA+B;IAC/B,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,0EAA0E;IAC1E,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpD,4FAA4F;IAC5F,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAoBD;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,GAAG,aAAa,CA8E5E;AAED,kEAAkE;AAClE,eAAO,MAAM,SAAS,EAAE,aAA8E,CAAC"}

package/dist/dimensional/unit-data.js

@@ -0,0 +1,135 @@
+/**
+ * The unit table, loaded from `data/units.json` and validated once.
+ *
+ * The file is checked against `data/units.schema.json` when this module
+ * loads (`core/data-file`), then against the rules a schema cannot state:
+ * every scale expression reads, a symbol is spelled by one row, a refused
+ * spelling and an affine spelling are not also a unit, every prefix letter is
+ * both a prefix and a unit, and every `{NAME}` in a note is a constant. A
+ * file that breaks one throws here, so `units.ts` never reads a half-valid table.
+ *
+ * A scale is an exact expression, read by `exact-scale.ts`. A name in it is a
+ * shared scale from the file's `scales`, `pi`, or a constant under its registry
+ * spelling (`c`, `e`, `m_u`, `M_sun`, `Msun_iau`, `ln2`; `constant-rows.ts`),
+ * the same spelling a `{NAME}` note placeholder uses. A constant is read through
+ * its shortest decimal (`scaleOf`), or as the irrational factor when its row is
+ * `irrational`. A shared scale may not reuse a constant's spelling, so a name
+ * has one meaning. The raw rows are strings and integer exponents, so another
+ * exact reader (MathTS) replaces this loader without touching the file.
+ *
+ * @module dimensional/unit-data
+ */
+import { createHash } from 'node:crypto';
+import { dataSchema, dataText, parseDataFile } from '../core/data-file.js';
+import { constantRow } from './constant-rows.js';
+import { decimalScale, irrationalScale, readScaleExpression, scaleOf } from './exact-scale.js';
+const BASES = ['L', 'M', 'T', 'I', 'Theta', 'N', 'J'];
+/** π, which the registry does not spell (a formula scope adds `pi` itself), as the irrational factor. */
+const PI = 'pi';
+const PI_SCALE = irrationalScale(Math.PI);
+/** The registered constant `name` spells, exactly: its irrational factor or its shortest decimal; undefined when no constant has that spelling. */
+function constantScale(name) {
+    const constant = constantRow(name);
+    if (constant === undefined)
+        return undefined;
+    return constant.irrational === true ? irrationalScale(constant.value) : scaleOf(constant.value);
+}
+function dimension(d) {
+    const out = {};
+    for (const base of BASES)
+        out[base] = d[base] ?? 0;
+    return out;
+}
+/**
+ * Validate and read `text`, the contents of `data/units.json`, against `schema`.
+ * Throws on a file the schema or the table rules reject. A test passes a broken copy.
+ * @internal
+ */
+export function readUnitFile(text, schema) {
+    const file = parseDataFile('units.json', text, schema);
+    for (const name of Object.keys(file.scales)) {
+        if (name === PI || constantRow(name) !== undefined) {
+            throw new Error(`data/units.json: shared scale '${name}' is also ${name === PI ? 'π' : 'a registered constant'}; a name has one meaning`);
+        }
+    }
+    const named = new Map();
+    const reading = new Set();
+    const resolve = (name) => {
+        if (name === PI)
+            return PI_SCALE;
+        const shared = file.scales[name];
+        if (shared !== undefined) {
+            const done = named.get(name);
+            if (done !== undefined)
+                return done;
+            if (reading.has(name))
+                throw new Error(`data/units.json: scale '${name}' is defined in terms of itself`);
+            reading.add(name);
+            const scale = readScaleExpression(shared, resolve);
+            reading.delete(name);
+            named.set(name, scale);
+            return scale;
+        }
+        return constantScale(name);
+    };
+    const read = (text, where) => {
+        try {
+            return readScaleExpression(text, resolve);
+        }
+        catch (error) {
+            throw new Error(`data/units.json ${where}: ${error.message}`);
+        }
+    };
+    const prefixes = new Map(Object.entries(file.prefixes).map(([prefix, text]) => [prefix, decimalScale(text)]));
+    const units = new Map();
+    for (const row of file.units) {
+        const scale = read(row.scale, `unit ${row.symbols[0]}`);
+        const unit = { scale, dim: dimension(row.dimension), prefixable: row.prefixable, ...(row.cycles ? { cycles: true } : {}) };
+        for (const symbol of row.symbols) {
+            if (units.has(symbol))
+                throw new Error(`data/units.json: unit '${symbol}' is spelled by two rows`);
+            units.set(symbol, unit);
+        }
+    }
+    const refused = new Map();
+    for (const { symbol, reason } of file.refused) {
+        if (units.has(symbol) || refused.has(symbol))
+            throw new Error(`data/units.json: refused '${symbol}' is also a unit or refused twice`);
+        refused.set(symbol, reason);
+    }
+    for (const letter of file.prefixLetterUnits.letters) {
+        if (!prefixes.has(letter) || !units.has(letter)) {
+            throw new Error(`data/units.json: prefix letter '${letter}' is not both a prefix and a unit`);
+        }
+    }
+    const affine = file.affine.scales.map((row) => {
+        for (const symbol of row.symbols) {
+            if (units.has(symbol) || refused.has(symbol))
+                throw new Error(`data/units.json: affine '${symbol}' is also a unit or refused`);
+        }
+        return { id: row.id, scale: read(row.scale, `affine ${row.id}`), icePoint: read(row.icePoint, `affine ${row.id}`), symbols: row.symbols };
+    });
+    const spellingNotes = new Map();
+    for (const { spelling, note } of file.spellingNotes) {
+        const filled = note.replace(/\{([A-Za-z_][A-Za-z0-9_]*)\}/g, (_, name) => {
+            const constant = constantRow(name);
+            if (constant === undefined)
+                throw new Error(`data/units.json: note for '${spelling}' names '${name}', which is not a registered constant`);
+            return String(constant.value);
+        });
+        spellingNotes.set(spelling, filled);
+    }
+    return {
+        units,
+        prefixes,
+        refused,
+        prefixLetterUnits: new Set(file.prefixLetterUnits.letters),
+        iceKelvin: read(file.affine.iceKelvin, 'affine iceKelvin'),
+        affine,
+        spellingNotes,
+        sha256: createHash('sha256').update(text.replace(/\r\n/g, '\n')).digest('hex'),
+    };
+}
+/** The unit table, read once from `data/units.json`. @internal */
+export const UNIT_DATA = readUnitFile(dataText('units.json'), dataSchema('units.json'));
+//# sourceMappingURL=unit-data.js.map

package/dist/dimensional/unit-data.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-data.js","sourceRoot":"","sources":["../../src/dimensional/unit-data.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE3E,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,mBAAmB,EAAE,OAAO,EAAmB,MAAM,kBAAkB,CAAC;AAqEhH,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAU,CAAC;AAC/D,yGAAyG;AACzG,MAAM,EAAE,GAAG,IAAI,CAAC;AAChB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAE1C,mJAAmJ;AACnJ,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,OAAO,QAAQ,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,SAAS,CAAC,CAAgB;IACjC,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,OAAO,GAA2B,CAAC;AACrC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,MAAkB;IAC3D,MAAM,IAAI,GAAG,aAAa,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,CAAa,CAAC;IACnE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5C,IAAI,IAAI,KAAK,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACnD,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,aAAa,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,uBAAuB,0BAA0B,CAAC,CAAC;QAC5I,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,OAAO,GAAG,CAAC,IAAY,EAA0B,EAAE;QACvD,IAAI,IAAI,KAAK,EAAE;YAAE,OAAO,QAAQ,CAAC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACpC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,IAAI,iCAAiC,CAAC,CAAC;YACzG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACnD,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACrB,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,KAAa,EAAc,EAAE;QACvD,IAAI,CAAC;YACH,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,KAAM,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAE,CAAU,CAAC,CAAC,CAAC;IACxH,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxD,MAAM,IAAI,GAAY,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAC7I,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,MAAM,0BAA0B,CAAC,CAAC;YACnG,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC9C,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,MAAM,mCAAmC,CAAC,CAAC;QACtI,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC;QACpD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,mCAAmC,MAAM,mCAAmC,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC5C,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,MAAM,6BAA6B,CAAC,CAAC;QACjI,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;IAC5I,CAAC,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,+BAA+B,EAAE,CAAC,CAAC,EAAE,IAAY,EAAE,EAAE;YAC/E,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,QAAQ,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,YAAY,IAAI,uCAAuC,CAAC,CAAC;YAC3I,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QACH,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC;IACD,OAAO;QACL,KAAK;QACL,QAAQ;QACR,OAAO;QACP,iBAAiB,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC;QAC1D,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC;QAC1D,MAAM;QACN,aAAa;QACb,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;KAC/E,CAAC;AACJ,CAAC;AAED,kEAAkE;AAClE,MAAM,CAAC,MAAM,SAAS,GAAkB,YAAY,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC"}