universal-physics-tensor 8.0.0 → 10.0.0

package/dist/dimensional/einstein-equation.js.map

@@ -1 +1 @@
-{"version":3,"file":"einstein-equation.js","sourceRoot":"","sources":["../../src/dimensional/einstein-equation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAcH,OAAO,EACL,2BAA2B,EAC3B,0BAA0B,EAC1B,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AAkCrC,yDAAyD;AACzD,MAAM,UAAU,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAEhF,4EAA4E;AAC5E,0EAA0E;AAC1E,MAAM,SAAS,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAEhF;;;;;;;GAOG;AACH,SAAS,uBAAuB,CAAC,GAAuB;IACtD,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC7C,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC7C,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AACH,MAAM,UAAU,6BAA6B,CAC3C,IAA+B;IAE/B,wEAAwE;IACxE,4DAA4D;IAC5D,mEAAmE;IACnE,gEAAgE;IAChE,wDAAwD;IAExD,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,uBAAuB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAEzD,6EAA6E;IAC7E,2BAA2B,CACzB,2BAA2B,EAC3B,MAAM,EACN,CAAC,KAAK,EAAE,KAAK,CAAC,EACd,MAAM,EACN,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CACvD,CAAC;IAEF,8EAA8E;IAC9E,0BAA0B,CACxB,2BAA2B,EAC3B,mBAAmB,EACnB,IAAI,CAAC,GAAG,CAAC,YAAY,EACrB,SAAS,EACT,yEAAyE;QACvE,4DAA4D,CAC/D,CAAC;IAEF,6EAA6E;IAC7E,sBAAsB,CACpB,2BAA2B,EAC3B,MAAM,EACN,IAAI,CAAC,GAAG,CAAC,QAAQ,EACjB,WAAW,EACX,+CAA+C,CAChD,CAAC;IAEF,6EAA6E;IAC7E,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/C,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAE/C,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;AAC1C,CAAC"}
+{"version":3,"file":"einstein-equation.js","sourceRoot":"","sources":["../../src/dimensional/einstein-equation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAcH,OAAO,EACL,2BAA2B,EAC3B,0BAA0B,EAC1B,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AAkCrC,yDAAyD;AACzD,MAAM,UAAU,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAEhF,4EAA4E;AAC5E,0EAA0E;AAC1E,MAAM,SAAS,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAEhF;;;;;;;GAOG;AACH,SAAS,uBAAuB,CAAC,GAAuB;IACtD,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC7C,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC7C,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AACH,MAAM,UAAU,6BAA6B,CAC3C,IAA+B;IAE/B,wEAAwE;IACxE,4DAA4D;IAC5D,mEAAmE;IACnE,gEAAgE;IAChE,wDAAwD;IAExD,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,uBAAuB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAEzD,6EAA6E;IAC7E,2BAA2B,CACzB,2BAA2B,EAC3B,MAAM,EACN,CAAC,KAAK,EAAE,KAAK,CAAC,EACd,MAAM,EACN,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CACvD,CAAC;IAEF,8EAA8E;IAC9E,0BAA0B,CACxB,2BAA2B,EAC3B,mBAAmB,EACnB,IAAI,CAAC,GAAG,CAAC,YAAY,EACrB,SAAS,EACT,yEAAyE;QACvE,4DAA4D,CAC/D,CAAC;IAEF,6EAA6E;IAC7E,sBAAsB,CACpB,2BAA2B,EAC3B,MAAM,EACN,IAAI,CAAC,GAAG,CAAC,QAAQ,EACjB,WAAW,EACX,+CAA+C,CAChD,CAAC;IAEF,6EAA6E;IAC7E,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/C,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAE/C,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;AAC1C,CAAC","sourcesContent":["/**\n * Einstein field equation AST node (v0.6.0 Phase 2, Task 2.3).\n *\n * Represents the predicate\n *\n *     G_μν + Λ g_μν = (8πG/c⁴) T_μν\n *\n * as a first-class structural node in the ExprNode union. The node is a\n * predicate (an equation), not a value-producing expression — it validates\n * the three structural requirements (Decision #3):\n *\n *   1. **Free-index agreement** — G_μν and T_μν must be rank-(0,2) lower-lower\n *      with the SAME index labels.\n *   2. **Per-component dim equality** — each term reduces to [L⁻²]:\n *        G_μν ~ [L⁻²]\n *        (8πG/c⁴) T_μν ~ [T²·M⁻¹·L⁻¹] · [M·L⁻¹·T⁻²] = [L⁻²]\n *        Λ g_μν ~ [L⁻²] · dimensionless = [L⁻²]\n *   3. **Symmetry agreement** — both sides symmetric in (μ,ν). T_μν has\n *      `symmetry: 'symmetric'`; G_μν is symmetric by construction.\n *\n * The coupling constant `8πG/c⁴` is represented symbolically by the tag\n * `coupling: 'einstein'` (Decision #3). No inline numeric value — mirrors\n * the constants-discipline requirement.\n *\n * @module dimensional/einstein-equation\n */\n\nimport type { Dimension } from './types.js';\nimport type {\n  CovariantIndex,\n  MetricTensorNode,\n  EinsteinTensorNode,\n  StressEnergyTensorNode,\n  CosmologicalConstantNode,\n  EinsteinFieldEquationNode,\n} from './ast-types.js';\n\n// The field-equation node now lives in the leaf `ast-types.ts`; re-exported.\nexport type { EinsteinFieldEquationNode } from './ast-types.js';\nimport {\n  validateFreeIndexLabelMatch,\n  validateComponentDimension,\n  validateTensorSymmetry,\n} from './field-equation-helpers.js';\n\n// ─────────────────────────────────────────────────────────────────────────────\n// EinsteinFieldEquationNode\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * AST node for the Einstein field equation G_μν + Λ g_μν = (8πG/c⁴) T_μν.\n *\n * Fields:\n *   - `lhs`          — G_μν (EinsteinTensorNode, shipped in v0.5.0)\n *   - `cosmological` — CosmologicalConstantNode for the Λ term; null when the\n *                      Λ-free form `G_μν = (8πG/c⁴) T_μν` is intended\n *                      (Decision #11: null = Λ-omitted, not Λ=0).\n *   - `metric`       — g_μν for the `Λ g_μν` cosmological term.\n *   - `rhs`          — T_μν (StressEnergyTensorNode).\n *   - `coupling`     — tag `'einstein'` representing 8πG/c⁴ (symbolic only).\n *\n * @public\n */\n/**\n * Result of validating an EinsteinFieldEquationNode.\n *\n * The equation as a whole is a rank-2 lower-lower tensor identity,\n * so `freeIndices` carries the same {μ: lower, ν: lower} pair as G_μν and T_μν.\n * `dim` is [L⁻²] — the common per-component dimension of every term.\n *\n * @public\n */\nexport interface EinsteinFieldEquationValidationResult {\n  readonly dim: Dimension;\n  readonly freeIndices: Map<string, { upper: number; lower: number }>;\n}\n\n// Expected per-component dimension of every term: [L⁻²].\nconst DIM_L_INV2: Dimension = { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };\n\n// Expected dimension of T_μν components: [M·L⁻¹·T⁻²] (energy density / Pa).\n// (8πG/c⁴) ~ [T²·M⁻¹·L⁻¹]; product = [M·L⁻¹·T⁻²] × [T²·M⁻¹·L⁻¹] = [L⁻²] ✓\nconst DIM_T_MUV: Dimension = { L: -1, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };\n\n/**\n * Extract the free-index labels from an EinsteinTensorNode.\n *\n * The Einstein tensor's free indices come from its embedded Riemann's\n * lowerIndices[0] (σ slot) and lowerIndices[2] (ν slot) — the surviving\n * indices after the Carroll Eq. 3.91 contraction. These become G_μν's\n * own μ_out and ν_out labels.\n */\nfunction einsteinFreeIndexLabels(lhs: EinsteinTensorNode): [string, string] {\n  const mu = lhs.riemann.lowerIndices[0].label;\n  const nu = lhs.riemann.lowerIndices[2].label;\n  return [mu, nu];\n}\n\n/**\n * Validate an `einstein-equation` node.\n *\n * Checks three predicates (Decision #3):\n *\n * 1. **Free-index agreement** — G_μν (lhs) and T_μν (rhs) must share the\n *    same two lower index labels (extracted from EinsteinTensorNode's embedded\n *    Riemann, following the Carroll Eq. 3.91 contraction convention).\n *    Throws an Error with \"index label\" in the message on mismatch.\n *\n * 2. **Per-component dim equality** — T_μν.componentDim must equal\n *    [M·L⁻¹·T⁻²] so that (8πG/c⁴)·T_μν ~ [L⁻²]. Throws an Error with\n *    \"dimension\" in the message on mismatch.\n *\n * 3. **Symmetry agreement** — T_μν must have `symmetry: 'symmetric'`. Throws\n *    an Error with \"symmetry\" in the message if not.\n *\n * Note: `lhs.riemann` structural validation is intentionally deferred to the\n * `einstein-tensor` case arm in `validator.ts::infer()` — this function is\n * a pure predicate-level check, not a full recursive walk.\n *\n * @example\n * ```typescript\n * import { validateEinsteinFieldEquation } from 'universal-physics-tensor';\n * import type {\n *   EinsteinFieldEquationNode,\n *   EinsteinTensorNode,\n *   StressEnergyTensorNode,\n * } from 'universal-physics-tensor';\n *\n * // Minimal EFE node (G_μν = κ T_μν, Λ = 0)\n * const efeNode: EinsteinFieldEquationNode = {\n *   kind: 'einstein-equation',\n *   lhs: { ... } as EinsteinTensorNode,    // G_μν from einstein()\n *   cosmological: null,                     // Λ = 0\n *   metric: { kind: 'metric-tensor', ... },\n *   rhs: {\n *     kind: 'stress-energy',\n *     symbol: 'T',\n *     indices: [\n *       { label: 'mu', variance: 'lower' },\n *       { label: 'nu', variance: 'lower' },\n *     ],\n *     symmetry: 'symmetric',\n *     componentDim: { L: -1, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 },\n *   },\n *   coupling: 'einstein',\n * };\n *\n * const result = validateEinsteinFieldEquation(efeNode);\n * // result.dim = { L: -2, M: 0, T: 0, ... }  ([L⁻²])\n * // result.freeIndices.get('mu') = { upper: 0, lower: 1 }\n * ```\n *\n * @public\n */\nexport function validateEinsteinFieldEquation(\n  node: EinsteinFieldEquationNode,\n): EinsteinFieldEquationValidationResult {\n  // v0.7 follow-up Phase 0 (`docs/architecture/v0.7-tensor-equation-node-\n  // design-note.md`): the three predicates below are now thin\n  // delegations to `field-equation-helpers.ts`. Behavior preserved —\n  // error messages contain the same \"index label\" / \"dimension\" /\n  // \"symmetry\" keywords any test pattern-matches against.\n\n  const [lhsMu, lhsNu] = einsteinFreeIndexLabels(node.lhs);\n\n  // ── Predicate 1: free-index label agreement ───────────────────────────────\n  validateFreeIndexLabelMatch(\n    'EinsteinFieldEquationNode',\n    'G_μν',\n    [lhsMu, lhsNu],\n    'T_μν',\n    [node.rhs.indices[0].label, node.rhs.indices[1].label],\n  );\n\n  // ── Predicate 2: per-component dim equality ────────────────────────────────\n  validateComponentDimension(\n    'EinsteinFieldEquationNode',\n    'T_μν componentDim',\n    node.rhs.componentDim,\n    DIM_T_MUV,\n    `(should be [M·L⁻¹·T⁻²] / energy density so that (8πG/c⁴)·T_μν ~ [L⁻²]; ` +\n      `per-component dim of every EFE term must reduce to [L⁻²]).`,\n  );\n\n  // ── Predicate 3: symmetry agreement ───────────────────────────────────────\n  validateTensorSymmetry(\n    'EinsteinFieldEquationNode',\n    'T_μν',\n    node.rhs.symmetry,\n    'symmetric',\n    `Both sides of the EFE are symmetric in (μ,ν).`,\n  );\n\n  // All predicates passed — return the equation's rank-2 lower-lower identity.\n  const freeIndices = new Map<string, { upper: number; lower: number }>();\n  freeIndices.set(lhsMu, { upper: 0, lower: 1 });\n  freeIndices.set(lhsNu, { upper: 0, lower: 1 });\n\n  return { dim: DIM_L_INV2, freeIndices };\n}\n"]}

package/dist/dimensional/errors.d.ts

@@ -8,7 +8,9 @@
 import { Dimension } from './types.js';
 /** Base class for all UPT-source errors. */
 export declare class UPTError extends Error {
-    constructor(message: string);
+    constructor(message: string, options?: {
+        readonly cause?: unknown;
+    });
 }
 /**
  * Thrown by add/sub and equation-level checks when dimensions disagree.

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

@@ -1 +1 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/dimensional/errors.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvC,4CAA4C;AAC5C,qBAAa,QAAS,SAAQ,KAAK;IACjC,YAAY,OAAO,EAAE,MAAM,EAK1B;CACF;AAED;;;;GAIG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,SAAgB,QAAQ,EAAE,SAAS,CAAC;IACpC,SAAgB,MAAM,EAAE,SAAS,CAAC;IAClC,YAAY,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAMlE;CACF;AAED;;;;;;;;;GASG;AACH,qBAAa,wBAAyB,SAAQ,QAAQ;IACpD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,YAAY,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAU5C;CACF;AAED;;;;GAIG;AACH,qBAAa,wBAAyB,SAAQ,QAAQ;IACpD,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC;;;;OAIG;IACH,SAAgB,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAChD,YACE,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,MAAM,EAClB,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,EAgBhC;CACF;AAED;;;;;GAKG;AACH,qBAAa,qBAAsB,SAAQ,QAAQ;IACjD,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,SAAgB,QAAQ,EAAE,OAAO,GAAG,OAAO,CAAC;IAC5C,YAAY,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAG,OAAO,EAYrD;CACF;AAED;;;;;GAKG;AACH,qBAAa,qBAAsB,SAAQ,QAAQ;IACjD,SAAgB,EAAE,EAAE,MAAM,CAAC;IAC3B,YAAY,EAAE,EAAE,MAAM,EAQrB;CACF;AAED;;;;;GAKG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,YAAY,OAAO,EAAE,MAAM,EAI1B;CACF;AAED;;;;;;GAMG;AACH,qBAAa,gCAAiC,SAAQ,QAAQ;IAC5D,YAAY,OAAO,EAAE,MAAM,EAI1B;CACF;AAED;;;;;GAKG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,YAAY,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EASjD;CACF;AAED;;;;;GAKG;AACH,qBAAa,oBAAqB,SAAQ,QAAQ;IAChD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,MAAM,EAAE,MAAM,CAAC;IAC/B,YAAY,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAQ7C;CACF;AAED;;;GAGG;AACH,qBAAa,yBAA0B,SAAQ,QAAQ;IACrD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,YAAY,UAAU,EAAE,MAAM,EAQ7B;CACF;AAED;;;;GAIG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,SAAgB,YAAY,EAAE,OAAO,GAAG,OAAO,CAAC;IAChD,YAAY,YAAY,EAAE,OAAO,GAAG,OAAO,EAS1C;CACF;AAED;;;;;GAKG;AACH,qBAAa,mCAAoC,SAAQ,QAAQ;IAC/D,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,YAAY,KAAK,EAAE,MAAM,EASxB;CACF;AAED;;;;;;;;;;;;;;GAcG;AACH,qBAAa,0BAA2B,SAAQ,KAAK;IACnD,YAAY,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAQlD;CACF"}
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/dimensional/errors.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvC,4CAA4C;AAC5C,qBAAa,QAAS,SAAQ,KAAK;IACjC,YAAY,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,EAKlE;CACF;AAED;;;;GAIG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,SAAgB,QAAQ,EAAE,SAAS,CAAC;IACpC,SAAgB,MAAM,EAAE,SAAS,CAAC;IAClC,YAAY,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAMlE;CACF;AAED;;;;;;;;;GASG;AACH,qBAAa,wBAAyB,SAAQ,QAAQ;IACpD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,YAAY,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAU5C;CACF;AAED;;;;GAIG;AACH,qBAAa,wBAAyB,SAAQ,QAAQ;IACpD,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC;;;;OAIG;IACH,SAAgB,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAChD,YACE,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,MAAM,EAClB,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,EAgBhC;CACF;AAED;;;;;GAKG;AACH,qBAAa,qBAAsB,SAAQ,QAAQ;IACjD,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,SAAgB,QAAQ,EAAE,OAAO,GAAG,OAAO,CAAC;IAC5C,YAAY,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAG,OAAO,EAYrD;CACF;AAED;;;;;GAKG;AACH,qBAAa,qBAAsB,SAAQ,QAAQ;IACjD,SAAgB,EAAE,EAAE,MAAM,CAAC;IAC3B,YAAY,EAAE,EAAE,MAAM,EAQrB;CACF;AAED;;;;;GAKG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,YAAY,OAAO,EAAE,MAAM,EAI1B;CACF;AAED;;;;;;GAMG;AACH,qBAAa,gCAAiC,SAAQ,QAAQ;IAC5D,YAAY,OAAO,EAAE,MAAM,EAI1B;CACF;AAED;;;;;GAKG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,YAAY,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EASjD;CACF;AAED;;;;;GAKG;AACH,qBAAa,oBAAqB,SAAQ,QAAQ;IAChD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,MAAM,EAAE,MAAM,CAAC;IAC/B,YAAY,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAQ7C;CACF;AAED;;;GAGG;AACH,qBAAa,yBAA0B,SAAQ,QAAQ;IACrD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,YAAY,UAAU,EAAE,MAAM,EAQ7B;CACF;AAED;;;;GAIG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,SAAgB,YAAY,EAAE,OAAO,GAAG,OAAO,CAAC;IAChD,YAAY,YAAY,EAAE,OAAO,GAAG,OAAO,EAS1C;CACF;AAED;;;;;GAKG;AACH,qBAAa,mCAAoC,SAAQ,QAAQ;IAC/D,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,YAAY,KAAK,EAAE,MAAM,EASxB;CACF;AAED;;;;;;;;;;;;;;GAcG;AACH,qBAAa,0BAA2B,SAAQ,KAAK;IACnD,YAAY,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAQlD;CACF"}

package/dist/dimensional/errors.js

@@ -7,8 +7,8 @@
  */
 /** Base class for all UPT-source errors. */
 export class UPTError extends Error {
-    constructor(message) {
-        super(message);
+    constructor(message, options) {
+        super(message, options);
         this.name = 'UPTError';
         // Restore prototype chain (needed for instanceof after ES5 transpilation).
         Object.setPrototypeOf(this, UPTError.prototype);

package/dist/dimensional/errors.js.map

@@ -1 +1 @@
-{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/dimensional/errors.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,4CAA4C;AAC5C,MAAM,OAAO,QAAS,SAAQ,KAAK;IACjC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,UAAU,CAAC;QACvB,2EAA2E;QAC3E,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IAClD,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,sBAAuB,SAAQ,QAAQ;IAClC,QAAQ,CAAY;IACpB,MAAM,CAAY;IAClC,YAAY,OAAe,EAAE,QAAmB,EAAE,MAAiB;QACjE,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC;CACF;AAED;;;;;;;;;GASG;AACH,MAAM,OAAO,wBAAyB,SAAQ,QAAQ;IACpC,UAAU,CAAS;IACnB,KAAK,CAAS;IAC9B,YAAY,UAAkB,EAAE,KAAa;QAC3C,KAAK,CACH,WAAW,UAAU,+BAA+B,KAAK,KAAK;YAC9D,mEAAmE;YACnE,wCAAwC,CACzC,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;QACvC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,wBAAwB,CAAC,SAAS,CAAC,CAAC;IAClE,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,wBAAyB,SAAQ,QAAQ;IACpC,KAAK,CAAS;IACd,UAAU,CAAS;IACnC;;;;OAIG;IACa,OAAO,CAAyB;IAChD,YACE,KAAa,EACb,UAAkB,EAClB,OAA+B;QAE/B,MAAM,YAAY,GAChB,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAC3B,CAAC,CAAC,cAAc,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACrC,CAAC,CAAC,EAAE,CAAC;QACT,KAAK,CACH,gBAAgB,KAAK,aAAa,UAAU,oBAAoB;YAChE,0BAA0B,YAAY,gCAAgC;YACtE,oDAAoD,CACrD,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;QACvC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,wBAAwB,CAAC,SAAS,CAAC,CAAC;IAClE,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,qBAAsB,SAAQ,QAAQ;IACjC,KAAK,CAAS;IACd,QAAQ,CAAoB;IAC5C,YAAY,KAAa,EAAE,QAA2B;QACpD,KAAK,CACH,gBAAgB,KAAK,2CAA2C,QAAQ,KAAK;YAC7E,yDAAyD;YACzD,yDAAyD,KAAK,QAAQ;YACtE,sBAAsB,KAAK,yCAAyC;YACpE,qBAAqB,CACtB,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC/D,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,qBAAsB,SAAQ,QAAQ;IACjC,EAAE,CAAS;IAC3B,YAAY,EAAU;QACpB,KAAK,CACH,aAAa,EAAE,oDAAoD;YACnE,wEAAwE,CACzE,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC/D,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,sBAAuB,SAAQ,QAAQ;IAClD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,OAAO,gCAAiC,SAAQ,QAAQ;IAC5D,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,kCAAkC,CAAC;QAC/C,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,gCAAgC,CAAC,SAAS,CAAC,CAAC;IAC1E,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,sBAAuB,SAAQ,QAAQ;IAClC,UAAU,CAAS;IACnB,UAAU,CAAS;IACnC,YAAY,UAAkB,EAAE,UAAkB;QAChD,KAAK,CACH,kBAAkB,UAAU,cAAc,UAAU,UAAU;YAC9D,qEAAqE,CACtE,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,oBAAqB,SAAQ,QAAQ;IAChC,UAAU,CAAS;IACnB,MAAM,CAAS;IAC/B,YAAY,UAAkB,EAAE,MAAc;QAC5C,KAAK,CACH,kBAAkB,UAAU,MAAM,MAAM,0BAA0B,CACnE,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;QACnC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IAC9D,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,OAAO,yBAA0B,SAAQ,QAAQ;IACrC,UAAU,CAAS;IACnC,YAAY,UAAkB;QAC5B,KAAK,CACH,4BAA4B,UAAU,uBAAuB;YAC7D,+DAA+D,CAChE,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;QACxC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,yBAAyB,CAAC,SAAS,CAAC,CAAC;IACnE,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,sBAAuB,SAAQ,QAAQ;IAClC,YAAY,CAAoB;IAChD,YAAY,YAA+B;QACzC,KAAK,CACH,+CAA+C,YAAY,KAAK;YAChE,wDAAwD;YACxD,wBAAwB,CACzB,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;QACjC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,mCAAoC,SAAQ,QAAQ;IAC/C,KAAK,CAAS;IAC9B,YAAY,KAAa;QACvB,KAAK,CACH,6BAA6B,KAAK,8BAA8B;YAChE,iEAAiE;YACjE,oCAAoC,CACrC,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,qCAAqC,CAAC;QAClD,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,mCAAmC,CAAC,SAAS,CAAC,CAAC;IAC7E,CAAC;CACF;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,OAAO,0BAA2B,SAAQ,KAAK;IACnD,YAAY,KAAa,EAAE,gBAAwB;QACjD,KAAK,CACH,6BAA6B,KAAK,sCAAsC;YACxE,IAAI,gBAAgB,oDAAoD;YACxE,gEAAgE,CACjE,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,4BAA4B,CAAC;QACzC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,0BAA0B,CAAC,SAAS,CAAC,CAAC;IACpE,CAAC;CACF"}
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/dimensional/errors.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,4CAA4C;AAC5C,MAAM,OAAO,QAAS,SAAQ,KAAK;IACjC,YAAY,OAAe,EAAE,OAAsC;QACjE,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACxB,IAAI,CAAC,IAAI,GAAG,UAAU,CAAC;QACvB,2EAA2E;QAC3E,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IAClD,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,sBAAuB,SAAQ,QAAQ;IAClC,QAAQ,CAAY;IACpB,MAAM,CAAY;IAClC,YAAY,OAAe,EAAE,QAAmB,EAAE,MAAiB;QACjE,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC;CACF;AAED;;;;;;;;;GASG;AACH,MAAM,OAAO,wBAAyB,SAAQ,QAAQ;IACpC,UAAU,CAAS;IACnB,KAAK,CAAS;IAC9B,YAAY,UAAkB,EAAE,KAAa;QAC3C,KAAK,CACH,WAAW,UAAU,+BAA+B,KAAK,KAAK;YAC9D,mEAAmE;YACnE,wCAAwC,CACzC,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;QACvC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,wBAAwB,CAAC,SAAS,CAAC,CAAC;IAClE,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,wBAAyB,SAAQ,QAAQ;IACpC,KAAK,CAAS;IACd,UAAU,CAAS;IACnC;;;;OAIG;IACa,OAAO,CAAyB;IAChD,YACE,KAAa,EACb,UAAkB,EAClB,OAA+B;QAE/B,MAAM,YAAY,GAChB,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAC3B,CAAC,CAAC,cAAc,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACrC,CAAC,CAAC,EAAE,CAAC;QACT,KAAK,CACH,gBAAgB,KAAK,aAAa,UAAU,oBAAoB;YAChE,0BAA0B,YAAY,gCAAgC;YACtE,oDAAoD,CACrD,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;QACvC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,wBAAwB,CAAC,SAAS,CAAC,CAAC;IAClE,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,qBAAsB,SAAQ,QAAQ;IACjC,KAAK,CAAS;IACd,QAAQ,CAAoB;IAC5C,YAAY,KAAa,EAAE,QAA2B;QACpD,KAAK,CACH,gBAAgB,KAAK,2CAA2C,QAAQ,KAAK;YAC7E,yDAAyD;YACzD,yDAAyD,KAAK,QAAQ;YACtE,sBAAsB,KAAK,yCAAyC;YACpE,qBAAqB,CACtB,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC/D,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,qBAAsB,SAAQ,QAAQ;IACjC,EAAE,CAAS;IAC3B,YAAY,EAAU;QACpB,KAAK,CACH,aAAa,EAAE,oDAAoD;YACnE,wEAAwE,CACzE,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC/D,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,sBAAuB,SAAQ,QAAQ;IAClD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,OAAO,gCAAiC,SAAQ,QAAQ;IAC5D,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,kCAAkC,CAAC;QAC/C,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,gCAAgC,CAAC,SAAS,CAAC,CAAC;IAC1E,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,sBAAuB,SAAQ,QAAQ;IAClC,UAAU,CAAS;IACnB,UAAU,CAAS;IACnC,YAAY,UAAkB,EAAE,UAAkB;QAChD,KAAK,CACH,kBAAkB,UAAU,cAAc,UAAU,UAAU;YAC9D,qEAAqE,CACtE,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,oBAAqB,SAAQ,QAAQ;IAChC,UAAU,CAAS;IACnB,MAAM,CAAS;IAC/B,YAAY,UAAkB,EAAE,MAAc;QAC5C,KAAK,CACH,kBAAkB,UAAU,MAAM,MAAM,0BAA0B,CACnE,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;QACnC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IAC9D,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,OAAO,yBAA0B,SAAQ,QAAQ;IACrC,UAAU,CAAS;IACnC,YAAY,UAAkB;QAC5B,KAAK,CACH,4BAA4B,UAAU,uBAAuB;YAC7D,+DAA+D,CAChE,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;QACxC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,yBAAyB,CAAC,SAAS,CAAC,CAAC;IACnE,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,sBAAuB,SAAQ,QAAQ;IAClC,YAAY,CAAoB;IAChD,YAAY,YAA+B;QACzC,KAAK,CACH,+CAA+C,YAAY,KAAK;YAChE,wDAAwD;YACxD,wBAAwB,CACzB,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;QACjC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,mCAAoC,SAAQ,QAAQ;IAC/C,KAAK,CAAS;IAC9B,YAAY,KAAa;QACvB,KAAK,CACH,6BAA6B,KAAK,8BAA8B;YAChE,iEAAiE;YACjE,oCAAoC,CACrC,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,qCAAqC,CAAC;QAClD,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,mCAAmC,CAAC,SAAS,CAAC,CAAC;IAC7E,CAAC;CACF;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,OAAO,0BAA2B,SAAQ,KAAK;IACnD,YAAY,KAAa,EAAE,gBAAwB;QACjD,KAAK,CACH,6BAA6B,KAAK,sCAAsC;YACxE,IAAI,gBAAgB,oDAAoD;YACxE,gEAAgE,CACjE,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,4BAA4B,CAAC;QACzC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,0BAA0B,CAAC,SAAS,CAAC,CAAC;IACpE,CAAC;CACF","sourcesContent":["/**\n * UPT error hierarchy. All UPT-source errors subclass UPTError so\n * downstream consumers (mathjs, threejs, TensorJS) can discriminate\n * with `err instanceof UPTError`.\n *\n * @module dimensional/errors\n */\n\nimport { Dimension } from './types.js';\n\n/** Base class for all UPT-source errors. */\nexport class UPTError extends Error {\n  constructor(message: string, options?: { readonly cause?: unknown }) {\n    super(message, options);\n    this.name = 'UPTError';\n    // Restore prototype chain (needed for instanceof after ES5 transpilation).\n    Object.setPrototypeOf(this, UPTError.prototype);\n  }\n}\n\n/**\n * Thrown by add/sub and equation-level checks when dimensions disagree.\n * (Moved from src/dimensional/algebra.ts as part of the v0.2.0 UPTError\n * refactor. Behavior unchanged.)\n */\nexport class DimensionMismatchError extends UPTError {\n  public readonly expected: Dimension;\n  public readonly actual: Dimension;\n  constructor(message: string, expected: Dimension, actual: Dimension) {\n    super(message);\n    this.name = 'DimensionMismatchError';\n    this.expected = expected;\n    this.actual = actual;\n    Object.setPrototypeOf(this, DimensionMismatchError.prototype);\n  }\n}\n\n/**\n * Thrown when a tensor-symbol's indices list contains the same label\n * more than once (e.g., T^μ_μ_μ). Per Part-VII §VII.4.\n *\n * NOTE: this error fires on DECLARATION-TIME duplicates within a single\n * tensor-symbol's indices list. Those indices are *free*, not \"dummy\"\n * (a dummy index in tensor calculus is one that is summed over). The\n * earlier name `RepeatedDummyLabelError` was a misnomer; that deprecated\n * alias was removed in v0.4.5.\n */\nexport class DuplicateIndexLabelError extends UPTError {\n  public readonly tensorName: string;\n  public readonly label: string;\n  constructor(tensorName: string, label: string) {\n    super(\n      `Tensor '${tensorName}' has repeated index label '${label}'. ` +\n      `A label may appear at most twice (once upper, once lower) within ` +\n      `a single tensor-symbol's indices list.`,\n    );\n    this.name = 'DuplicateIndexLabelError';\n    this.tensorName = tensorName;\n    this.label = label;\n    Object.setPrototypeOf(this, DuplicateIndexLabelError.prototype);\n  }\n}\n\n/**\n * Thrown when an index label appears more than twice across a\n * tensor-product's operands. Einstein contraction requires exactly two\n * occurrences (one upper + one lower) per dummy label. Per Part-VII §VII.4.\n */\nexport class IndexLabelCollisionError extends UPTError {\n  public readonly label: string;\n  public readonly totalCount: number;\n  /**\n   * Tensor names that contributed occurrences of the colliding label,\n   * if the caller has them available. May be undefined for callers that\n   * don't track per-operand provenance.\n   */\n  public readonly sources?: ReadonlyArray<string>;\n  constructor(\n    label: string,\n    totalCount: number,\n    sources?: ReadonlyArray<string>,\n  ) {\n    const sourceClause =\n      sources && sources.length > 0\n        ? ` (sources: ${sources.join(', ')})`\n        : '';\n    super(\n      `Index label '${label}' appears ${totalCount} times across the ` +\n      `tensor-product operands${sourceClause} (max allowed: 2 for Einstein ` +\n      `contraction). Rename one of the offending indices.`,\n    );\n    this.name = 'IndexLabelCollisionError';\n    this.label = label;\n    this.totalCount = totalCount;\n    this.sources = sources;\n    Object.setPrototypeOf(this, IndexLabelCollisionError.prototype);\n  }\n}\n\n/**\n * Thrown when an index label appears twice in a tensor-product but both\n * occurrences share the same variance (both upper or both lower). v0.2.0\n * has no metric tensor available to raise/lower indices, so such a\n * contraction is rejected at validation time. Per Part-VII §VII.4.\n */\nexport class VarianceMismatchError extends UPTError {\n  public readonly label: string;\n  public readonly variance: 'upper' | 'lower';\n  constructor(label: string, variance: 'upper' | 'lower') {\n    super(\n      `Index label '${label}' appears twice but both with variance '${variance}'. ` +\n      `Einstein contraction requires one upper and one lower. ` +\n      `If this is intentional, use raise(operand, gInverse, '${label}') or ` +\n      `lower(operand, g, '${label}') to traverse variance via the metric ` +\n      `before contracting.`,\n    );\n    this.name = 'VarianceMismatchError';\n    this.label = label;\n    this.variance = variance;\n    Object.setPrototypeOf(this, VarianceMismatchError.prototype);\n  }\n}\n\n/**\n * Thrown by `op '*'` / `'/'` / `'^'` when an operand carries non-empty\n * freeIndices. Scalar operators in v0.2.0 are strict: any tensor-valued\n * operand must instead pass through `tensor-product`. Per Part-VII §VII.5\n * (op-tensor boundary rules).\n */\nexport class TensorInScalarOpError extends UPTError {\n  public readonly op: string;\n  constructor(op: string) {\n    super(\n      `Operator '${op}' is scalar-only; received a tensor argument with ` +\n      `non-empty freeIndices. Use 'tensor-product' for tensor multiplication.`,\n    );\n    this.name = 'TensorInScalarOpError';\n    this.op = op;\n    Object.setPrototypeOf(this, TensorInScalarOpError.prototype);\n  }\n}\n\n/**\n * Thrown by `op '+'` / `'-'` when the operand freeIndices maps differ.\n * Addition / subtraction across tensors requires identical free-index\n * signatures (same labels, same per-label upper/lower counts). Per\n * Part-VII §VII.5.\n */\nexport class FreeIndexMismatchError extends UPTError {\n  constructor(message: string) {\n    super(message);\n    this.name = 'FreeIndexMismatchError';\n    Object.setPrototypeOf(this, FreeIndexMismatchError.prototype);\n  }\n}\n\n/**\n * Thrown by the validator's tensor-product child resolver when a non-tensor\n * operand to a `tensor-product` fails dimension inference. Subclassing\n * UPTError (rather than throwing a plain `Error`) preserves the §14.7\n * forward-compat invariant that downstream consumers can discriminate\n * UPT-source errors with `err instanceof UPTError`.\n */\nexport class TensorProductChildInferenceError extends UPTError {\n  constructor(message: string) {\n    super(message);\n    this.name = 'TensorProductChildInferenceError';\n    Object.setPrototypeOf(this, TensorProductChildInferenceError.prototype);\n  }\n}\n\n/**\n * Thrown when a `metric-tensor` node has rank other than 2. Per\n * Part-VIII §VIII.2 (metric-tensor-rank-2-only TENSOR-RULE). The metric\n * is fundamentally a rank-2 object in v0.3.0; higher-rank generalizations\n * are out of scope.\n */\nexport class InvalidMetricRankError extends UPTError {\n  public readonly tensorName: string;\n  public readonly actualRank: number;\n  constructor(tensorName: string, actualRank: number) {\n    super(\n      `Metric tensor '${tensorName}' has rank ${actualRank}, but a ` +\n      `metric must be rank-2 (exactly two indices). Per Part-VIII §VIII.2.`,\n    );\n    this.name = 'InvalidMetricRankError';\n    this.tensorName = tensorName;\n    this.actualRank = actualRank;\n    Object.setPrototypeOf(this, InvalidMetricRankError.prototype);\n  }\n}\n\n/**\n * Thrown when a `metric-tensor` has mixed-variance indices, an empty\n * signature, an invalid signature string, or other structural problem\n * orthogonal to rank. Per Part-VIII §VIII.2 and §VIII.5 (raise/lower\n * variance requirements).\n */\nexport class MetricSignatureError extends UPTError {\n  public readonly tensorName: string;\n  public readonly reason: string;\n  constructor(tensorName: string, reason: string) {\n    super(\n      `Metric tensor '${tensorName}': ${reason}. Per Part-VIII §VIII.2.`,\n    );\n    this.name = 'MetricSignatureError';\n    this.tensorName = tensorName;\n    this.reason = reason;\n    Object.setPrototypeOf(this, MetricSignatureError.prototype);\n  }\n}\n\n/**\n * Thrown when a `kronecker-delta` node has rank other than 2.\n * Per Part-VIII §VIII.3.\n */\nexport class InvalidKroneckerRankError extends UPTError {\n  public readonly actualRank: number;\n  constructor(actualRank: number) {\n    super(\n      `Kronecker delta has rank ${actualRank}, but must be rank-2 ` +\n      `(exactly one upper + one lower index). Per Part-VIII §VIII.3.`,\n    );\n    this.name = 'InvalidKroneckerRankError';\n    this.actualRank = actualRank;\n    Object.setPrototypeOf(this, InvalidKroneckerRankError.prototype);\n  }\n}\n\n/**\n * Thrown when a `kronecker-delta`'s two indices share the same variance\n * (both upper or both lower). Per Part-VIII §VIII.3, the canonical\n * δ^μ_ν requires mixed variance.\n */\nexport class KroneckerVarianceError extends UPTError {\n  public readonly bothVariance: 'upper' | 'lower';\n  constructor(bothVariance: 'upper' | 'lower') {\n    super(\n      `Kronecker delta indices both have variance '${bothVariance}'; ` +\n      `must be one upper + one lower (canonical δ^μ_ν form). ` +\n      `Per Part-VIII §VIII.3.`,\n    );\n    this.name = 'KroneckerVarianceError';\n    this.bothVariance = bothVariance;\n    Object.setPrototypeOf(this, KroneckerVarianceError.prototype);\n  }\n}\n\n/**\n * Thrown when a `tensor-partial-derivative` node's `wrtIndex.variance`\n * is `'upper'`. The differentiation operator ∂/∂x^μ is fundamentally\n * covariant (lower) regardless of the variance of the coordinate. Per\n * Part-VIII §VIII.4 (pderiv-wrtIndex-always-lower TENSOR-RULE).\n */\nexport class PartialDerivativeIndexVarianceError extends UPTError {\n  public readonly label: string;\n  constructor(label: string) {\n    super(\n      `Partial-derivative index '${label}' has variance 'upper', but ` +\n      `∂_μ is fundamentally covariant — wrtIndex.variance must always ` +\n      `be 'lower'. Per Part-VIII §VIII.4.`,\n    );\n    this.name = 'PartialDerivativeIndexVarianceError';\n    this.label = label;\n    Object.setPrototypeOf(this, PartialDerivativeIndexVarianceError.prototype);\n  }\n}\n\n/**\n * Emitted (not thrown) via `process.emitWarning` when a covariant-derivative's\n * `wrt` coordinate label collides with an existing free index of the operand\n * and the env var `UPT_ALLOW_COORD_SHADOW=1` has opted in to downgraded\n * handling. By default the collision throws `MetricSignatureError` (soundness\n * over friendliness — silent wrong results are the worst failure mode).\n *\n * Lives here (dimensional/errors.ts) rather than numerical/index.ts to avoid\n * a dimensional → numerical import cycle; re-exported from numerical/index.ts\n * for the public API surface per v0.4.0-Implementation-Plan Task 13.\n *\n * Uses `Object.setPrototypeOf` for correct `instanceof` after ES5 transpilation.\n *\n * @public\n */\nexport class DuplicateCoordinateWarning extends Error {\n  constructor(coord: string, conflictingIndex: string) {\n    super(\n      `Covariant-derivative wrt='${coord}' collides with existing free index ` +\n      `'${conflictingIndex}' of the operand; result will silently misbehave. ` +\n      `Rename the operand's free index or pick a different wrt label.`,\n    );\n    this.name = 'DuplicateCoordinateWarning';\n    Object.setPrototypeOf(this, DuplicateCoordinateWarning.prototype);\n  }\n}\n"]}

package/dist/dimensional/exact-scale.d.ts

@@ -0,0 +1,79 @@
+/**
+ * Exact unit scales.
+ *
+ * A unit's scale to SI is a rational number times one floating factor that
+ * holds its irrational part (π for an angle, ln 2 for a bit). Prefixes,
+ * products, quotients and integer powers multiply the rationals exactly, so
+ * `g/cm^3` is 1000 and `72 mN/m` is 0.072 with no float noise to round away.
+ * The one rounding is {@link scaleToNumber}, which rounds the rational
+ * correctly and then multiplies by the irrational factor once.
+ *
+ * A decimal literal is read digit for digit. A JavaScript number is read
+ * through its shortest round-trip decimal (`String(x)`), which is the
+ * literal a constant was written with.
+ *
+ * @module dimensional/exact-scale
+ * @internal
+ */
+/** `num / den × irrational`, with `den > 0` and the fraction in lowest terms. @internal */
+export interface ExactScale {
+    readonly num: bigint;
+    readonly den: bigint;
+    /** The factor no rational states (π, ln 2). 1 for a rational scale. */
+    readonly irrational: number;
+}
+/** The scale 1. @internal */
+export declare const UNIT_SCALE: ExactScale;
+/**
+ * The exact value of a decimal literal (`72`, `0.45359237`, `1.602176634e-19`),
+ * or null when `text` is not one.
+ * @internal
+ */
+export declare function decimalScale(text: string): ExactScale | null;
+/** The exact scale a finite JavaScript number was written as. @internal */
+export declare function scaleOf(x: number): ExactScale;
+/** `num / den`, exactly. @internal */
+export declare function ratioScale(num: number | bigint, den: number | bigint): ExactScale;
+/** A factor no rational states, such as π or ln 2. @internal */
+export declare function irrationalScale(x: number): ExactScale;
+/** `a × b × …`. @internal */
+export declare function multiplyScales(...factors: readonly ExactScale[]): ExactScale;
+/** `a / b`. @internal */
+export declare function divideScales(a: ExactScale, b: ExactScale): ExactScale;
+/**
+ * `a ^ n`. An integer power stays exact. A fractional power has no exact
+ * rational in general, so it becomes one floating factor.
+ * @internal
+ */
+export declare function powerScale(a: ExactScale, n: number): ExactScale;
+/** `a + b`: exact when both are rational multiples of the same irrational factor. @internal */
+export declare function addScales(a: ExactScale, b: ExactScale): ExactScale;
+/** The scale as a double: the rational rounded once, times the irrational factor. @internal */
+export declare function scaleToNumber(s: ExactScale): number;
+/**
+ * The two sides of a unit text or a scale expression under the single-solidus
+ * convention of ISO 80000-1: everything after the first `/` is the
+ * denominator, so a chain is one denominator (`km/s/Mpc` is km/(s·Mpc), and
+ * `W/m*K` is W/(m·K), not (W/m)·K). The denominator comes back as one
+ * `*`-joined product, each `/`-part's outer parentheses dropped. `units.ts`
+ * and {@link readScaleExpression} both split here, so a unit text and a scale
+ * expression in `data/units.json` read a `/` the same way.
+ * @internal
+ */
+export declare function solidusSides(text: string): {
+    readonly numerator: string;
+    readonly denominator: string;
+};
+/**
+ * The exact value of a scale expression, the form `data/units.json` stores:
+ * factors joined by `*`, then optionally `/` and the denominator's factors,
+ * each a decimal literal or a name with an optional integer power
+ * (`4.1868*453.59237/1.8`, `pi/180`, `lbf/inch^2`). A `/` follows the unit
+ * grammar ({@link solidusSides}): `a/b*c` is a/(b·c). `resolve` gives a name
+ * its scale and returns undefined for a name it does not know, which throws
+ * here. A decimal literal is read digit for digit, so the result is the
+ * rational the text states.
+ * @internal
+ */
+export declare function readScaleExpression(text: string, resolve: (name: string) => ExactScale | undefined): ExactScale;
+//# sourceMappingURL=exact-scale.d.ts.map

package/dist/dimensional/exact-scale.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exact-scale.d.ts","sourceRoot":"","sources":["../../src/dimensional/exact-scale.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,2FAA2F;AAC3F,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,uEAAuE;IACvE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAmBD,6BAA6B;AAC7B,eAAO,MAAM,UAAU,EAAE,UAAgD,CAAC;AAI1E;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CAW5D;AAED,2EAA2E;AAC3E,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,UAAU,CAG7C;AAED,sCAAsC;AACtC,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,UAAU,CAEjF;AAED,gEAAgE;AAChE,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,GAAG,UAAU,CAGrD;AAED,6BAA6B;AAC7B,wBAAgB,cAAc,CAAC,GAAG,OAAO,EAAE,SAAS,UAAU,EAAE,GAAG,UAAU,CAU5E;AAED,yBAAyB;AACzB,wBAAgB,YAAY,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,UAAU,CAGrE;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,GAAG,UAAU,CAO/D;AAED,+FAA+F;AAC/F,wBAAgB,SAAS,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,UAAU,CAGlE;AAwDD,+FAA+F;AAC/F,wBAAgB,aAAa,CAAC,CAAC,EAAE,UAAU,GAAG,MAAM,CAGnD;AAID;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CASvG;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,UAAU,GAAG,SAAS,GAAG,UAAU,CAiB/G"}

package/dist/dimensional/exact-scale.js

@@ -0,0 +1,222 @@
+/**
+ * Exact unit scales.
+ *
+ * A unit's scale to SI is a rational number times one floating factor that
+ * holds its irrational part (π for an angle, ln 2 for a bit). Prefixes,
+ * products, quotients and integer powers multiply the rationals exactly, so
+ * `g/cm^3` is 1000 and `72 mN/m` is 0.072 with no float noise to round away.
+ * The one rounding is {@link scaleToNumber}, which rounds the rational
+ * correctly and then multiplies by the irrational factor once.
+ *
+ * A decimal literal is read digit for digit. A JavaScript number is read
+ * through its shortest round-trip decimal (`String(x)`), which is the
+ * literal a constant was written with.
+ *
+ * @module dimensional/exact-scale
+ * @internal
+ */
+function gcd(a, b) {
+    let x = a < 0n ? -a : a;
+    let y = b < 0n ? -b : b;
+    while (y !== 0n)
+        [x, y] = [y, x % y];
+    return x;
+}
+function make(num, den, irrational) {
+    if (den === 0n)
+        throw new RangeError('exact scale: zero denominator');
+    if (den < 0n) {
+        num = -num;
+        den = -den;
+    }
+    const g = gcd(num, den);
+    return g > 1n ? { num: num / g, den: den / g, irrational } : { num, den, irrational };
+}
+/** The scale 1. @internal */
+export const UNIT_SCALE = { num: 1n, den: 1n, irrational: 1 };
+const DECIMAL = /^([+-]?)(\d*)(?:\.(\d*))?(?:[eE]([+-]?\d+))?$/;
+/**
+ * The exact value of a decimal literal (`72`, `0.45359237`, `1.602176634e-19`),
+ * or null when `text` is not one.
+ * @internal
+ */
+export function decimalScale(text) {
+    const m = DECIMAL.exec(text.trim());
+    if (m === null)
+        return null;
+    const whole = m[2] ?? '';
+    const fraction = m[3] ?? '';
+    if (whole === '' && fraction === '')
+        return null;
+    const exponent = Number(m[4] ?? '0') - fraction.length;
+    if (!Number.isSafeInteger(exponent) || Math.abs(exponent) > 10_000)
+        return null;
+    let num = BigInt(whole + fraction);
+    if (m[1] === '-')
+        num = -num;
+    return exponent >= 0 ? make(num * 10n ** BigInt(exponent), 1n, 1) : make(num, 10n ** BigInt(-exponent), 1);
+}
+/** The exact scale a finite JavaScript number was written as. @internal */
+export function scaleOf(x) {
+    if (!Number.isFinite(x))
+        throw new RangeError(`exact scale: ${x} is not finite`);
+    return decimalScale(String(x));
+}
+/** `num / den`, exactly. @internal */
+export function ratioScale(num, den) {
+    return make(BigInt(num), BigInt(den), 1);
+}
+/** A factor no rational states, such as π or ln 2. @internal */
+export function irrationalScale(x) {
+    if (!Number.isFinite(x))
+        throw new RangeError(`exact scale: ${x} is not finite`);
+    return { num: 1n, den: 1n, irrational: x };
+}
+/** `a × b × …`. @internal */
+export function multiplyScales(...factors) {
+    let num = 1n;
+    let den = 1n;
+    let irrational = 1;
+    for (const f of factors) {
+        num *= f.num;
+        den *= f.den;
+        irrational *= f.irrational;
+    }
+    return make(num, den, irrational);
+}
+/** `a / b`. @internal */
+export function divideScales(a, b) {
+    if (b.num === 0n)
+        throw new RangeError('exact scale: division by zero');
+    return make(a.num * b.den, a.den * b.num, a.irrational / b.irrational);
+}
+/**
+ * `a ^ n`. An integer power stays exact. A fractional power has no exact
+ * rational in general, so it becomes one floating factor.
+ * @internal
+ */
+export function powerScale(a, n) {
+    if (Number.isInteger(n)) {
+        const k = BigInt(Math.abs(n));
+        const up = make(a.num ** k, a.den ** k, a.irrational ** Math.abs(n));
+        return n >= 0 ? up : divideScales(UNIT_SCALE, up);
+    }
+    return irrationalScale(scaleToNumber(a) ** n);
+}
+/** `a + b`: exact when both are rational multiples of the same irrational factor. @internal */
+export function addScales(a, b) {
+    if (a.irrational === b.irrational)
+        return make(a.num * b.den + b.num * a.den, a.den * b.den, a.irrational);
+    return irrationalScale(scaleToNumber(a) + scaleToNumber(b));
+}
+/** The fewest significant digits kept before the sticky digit; far beyond a double's 17. */
+const MIN_DIGITS = 40;
+/** Decimal places of `1 / den` when it terminates (`den` = 2^a·5^b): max(a, b). Null otherwise. */
+function terminatingPlaces(den) {
+    let d = den;
+    let twos = 0;
+    let fives = 0;
+    while (d % 2n === 0n) {
+        d /= 2n;
+        twos++;
+    }
+    while (d % 5n === 0n) {
+        d /= 5n;
+        fives++;
+    }
+    return d === 1n ? Math.max(twos, fives) : null;
+}
+/**
+ * The rational `num / den` (`den > 0`), reduced, rounded once to the nearest double.
+ *
+ * A terminating quotient (`den` = 2^a·5^b) is written out exactly, every digit,
+ * and parsed: a tie between two doubles is a dyadic rational, so it always
+ * lands here and rounds half to even. Any other quotient is not a tie, and it
+ * is at least `1 / (den·2^54)` of its magnitude away from every tie; truncating
+ * it to `max(40, digits(den) + 20)` significant digits stays closer than that,
+ * and a sticky `1` puts the string strictly inside the truncation interval, so
+ * the string rounds the way the quotient does for any denominator.
+ */
+function rationalToNumber(num, den) {
+    if (num === 0n)
+        return 0;
+    const negative = num < 0n;
+    const g = gcd(num, den);
+    const a = (negative ? -num : num) / g;
+    den /= g;
+    const places = terminatingPlaces(den);
+    if (places !== null) {
+        const value = Number(`${(a * 10n ** BigInt(places)) / den}e-${places}`);
+        return negative ? -value : value;
+    }
+    const digits = Math.max(MIN_DIGITS, den.toString().length + 20);
+    const shift = digits - (a.toString().length - den.toString().length);
+    let q;
+    if (shift >= 0) {
+        q = (a * 10n ** BigInt(shift)) / den;
+    }
+    else {
+        q = a / (den * 10n ** BigInt(-shift));
+    }
+    // Not terminating, so the remainder is never zero: the sticky digit is always due.
+    const value = Number(`${q.toString()}1e${-(shift + 1)}`);
+    return negative ? -value : value;
+}
+/** The scale as a double: the rational rounded once, times the irrational factor. @internal */
+export function scaleToNumber(s) {
+    const rational = rationalToNumber(s.num, s.den);
+    return s.irrational === 1 ? rational : rational * s.irrational;
+}
+const FACTOR = /^([^*/^\s]+)(?:\^([+-]?\d+))?$/;
+/**
+ * The two sides of a unit text or a scale expression under the single-solidus
+ * convention of ISO 80000-1: everything after the first `/` is the
+ * denominator, so a chain is one denominator (`km/s/Mpc` is km/(s·Mpc), and
+ * `W/m*K` is W/(m·K), not (W/m)·K). The denominator comes back as one
+ * `*`-joined product, each `/`-part's outer parentheses dropped. `units.ts`
+ * and {@link readScaleExpression} both split here, so a unit text and a scale
+ * expression in `data/units.json` read a `/` the same way.
+ * @internal
+ */
+export function solidusSides(text) {
+    const parts = text.split('/');
+    return {
+        numerator: parts[0],
+        denominator: parts
+            .slice(1)
+            .map((part) => part.replace(/^\((.*)\)$/, '$1'))
+            .join('*'),
+    };
+}
+/**
+ * The exact value of a scale expression, the form `data/units.json` stores:
+ * factors joined by `*`, then optionally `/` and the denominator's factors,
+ * each a decimal literal or a name with an optional integer power
+ * (`4.1868*453.59237/1.8`, `pi/180`, `lbf/inch^2`). A `/` follows the unit
+ * grammar ({@link solidusSides}): `a/b*c` is a/(b·c). `resolve` gives a name
+ * its scale and returns undefined for a name it does not know, which throws
+ * here. A decimal literal is read digit for digit, so the result is the
+ * rational the text states.
+ * @internal
+ */
+export function readScaleExpression(text, resolve) {
+    const product = (side) => {
+        let scale = UNIT_SCALE;
+        for (const part of side.split('*')) {
+            const m = FACTOR.exec(part);
+            if (m === null)
+                throw new RangeError(`exact scale: '${text}' is not a product of factors`);
+            const atom = m[1];
+            const base = decimalScale(atom) ?? resolve(atom);
+            if (base === undefined)
+                throw new RangeError(`exact scale: '${text}' names '${atom}', which is not a known scale`);
+            scale = multiplyScales(scale, m[2] === undefined ? base : powerScale(base, Number(m[2])));
+        }
+        return scale;
+    };
+    const trimmed = text.trim();
+    const { numerator, denominator } = solidusSides(trimmed);
+    const top = product(numerator);
+    return trimmed.includes('/') ? divideScales(top, product(denominator)) : top;
+}
+//# sourceMappingURL=exact-scale.js.map

package/dist/dimensional/exact-scale.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exact-scale.js","sourceRoot":"","sources":["../../src/dimensional/exact-scale.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAUH,SAAS,GAAG,CAAC,CAAS,EAAE,CAAS;IAC/B,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,CAAC,KAAK,EAAE;QAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,IAAI,CAAC,GAAW,EAAE,GAAW,EAAE,UAAkB;IACxD,IAAI,GAAG,KAAK,EAAE;QAAE,MAAM,IAAI,UAAU,CAAC,+BAA+B,CAAC,CAAC;IACtE,IAAI,GAAG,GAAG,EAAE,EAAE,CAAC;QACb,GAAG,GAAG,CAAC,GAAG,CAAC;QACX,GAAG,GAAG,CAAC,GAAG,CAAC;IACb,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxB,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AACxF,CAAC;AAED,6BAA6B;AAC7B,MAAM,CAAC,MAAM,UAAU,GAAe,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;AAE1E,MAAM,OAAO,GAAG,+CAA+C,CAAC;AAEhE;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACpC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACzB,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,KAAK,KAAK,EAAE,IAAI,QAAQ,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;IACvD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,MAAM;QAAE,OAAO,IAAI,CAAC;IAChF,IAAI,GAAG,GAAG,MAAM,CAAC,KAAK,GAAG,QAAQ,CAAC,CAAC;IACnC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG;QAAE,GAAG,GAAG,CAAC,GAAG,CAAC;IAC7B,OAAO,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,IAAI,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;AAC7G,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,OAAO,CAAC,CAAS;IAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;IACjF,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAE,CAAC;AAClC,CAAC;AAED,sCAAsC;AACtC,MAAM,UAAU,UAAU,CAAC,GAAoB,EAAE,GAAoB;IACnE,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,eAAe,CAAC,CAAS;IACvC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;IACjF,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;AAC7C,CAAC;AAED,6BAA6B;AAC7B,MAAM,UAAU,cAAc,CAAC,GAAG,OAA8B;IAC9D,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC;QACb,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC;QACb,UAAU,IAAI,CAAC,CAAC,UAAU,CAAC;IAC7B,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;AACpC,CAAC;AAED,yBAAyB;AACzB,MAAM,UAAU,YAAY,CAAC,CAAa,EAAE,CAAa;IACvD,IAAI,CAAC,CAAC,GAAG,KAAK,EAAE;QAAE,MAAM,IAAI,UAAU,CAAC,+BAA+B,CAAC,CAAC;IACxE,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;AACzE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,CAAa,EAAE,CAAS;IACjD,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,UAAU,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,eAAe,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,SAAS,CAAC,CAAa,EAAE,CAAa;IACpD,IAAI,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IAC3G,OAAO,eAAe,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,GAAG,EAAE,CAAC;AAEtB,mGAAmG;AACnG,SAAS,iBAAiB,CAAC,GAAW;IACpC,IAAI,CAAC,GAAG,GAAG,CAAC;IACZ,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC;QACrB,CAAC,IAAI,EAAE,CAAC;QACR,IAAI,EAAE,CAAC;IACT,CAAC;IACD,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC;QACrB,CAAC,IAAI,EAAE,CAAC;QACR,KAAK,EAAE,CAAC;IACV,CAAC;IACD,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,gBAAgB,CAAC,GAAW,EAAE,GAAW;IAChD,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,CAAC,CAAC;IACzB,MAAM,QAAQ,GAAG,GAAG,GAAG,EAAE,CAAC;IAC1B,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACtC,GAAG,IAAI,CAAC,CAAC;IACT,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACtC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,GAAG,KAAK,MAAM,EAAE,CAAC,CAAC;QACxE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IACnC,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,MAAM,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC;IACrE,IAAI,CAAS,CAAC;IACd,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC;IACvC,CAAC;SAAM,CAAC;QACN,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,IAAI,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,mFAAmF;IACnF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IACzD,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;AACnC,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,aAAa,CAAC,CAAa;IACzC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IAChD,OAAO,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,UAAU,CAAC;AACjE,CAAC;AAED,MAAM,MAAM,GAAG,gCAAgC,CAAC;AAEhD;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO;QACL,SAAS,EAAE,KAAK,CAAC,CAAC,CAAE;QACpB,WAAW,EAAE,KAAK;aACf,KAAK,CAAC,CAAC,CAAC;aACR,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;aAC/C,IAAI,CAAC,GAAG,CAAC;KACb,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY,EAAE,OAAiD;IACjG,MAAM,OAAO,GAAG,CAAC,IAAY,EAAc,EAAE;QAC3C,IAAI,KAAK,GAAG,UAAU,CAAC;QACvB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,CAAC,KAAK,IAAI;gBAAE,MAAM,IAAI,UAAU,CAAC,iBAAiB,IAAI,+BAA+B,CAAC,CAAC;YAC3F,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;YACnB,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM,IAAI,UAAU,CAAC,iBAAiB,IAAI,YAAY,IAAI,+BAA+B,CAAC,CAAC;YACnH,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5F,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACzD,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IAC/B,OAAO,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AAC/E,CAAC","sourcesContent":["/**\n * Exact unit scales.\n *\n * A unit's scale to SI is a rational number times one floating factor that\n * holds its irrational part (π for an angle, ln 2 for a bit). Prefixes,\n * products, quotients and integer powers multiply the rationals exactly, so\n * `g/cm^3` is 1000 and `72 mN/m` is 0.072 with no float noise to round away.\n * The one rounding is {@link scaleToNumber}, which rounds the rational\n * correctly and then multiplies by the irrational factor once.\n *\n * A decimal literal is read digit for digit. A JavaScript number is read\n * through its shortest round-trip decimal (`String(x)`), which is the\n * literal a constant was written with.\n *\n * @module dimensional/exact-scale\n * @internal\n */\n\n/** `num / den × irrational`, with `den > 0` and the fraction in lowest terms. @internal */\nexport interface ExactScale {\n  readonly num: bigint;\n  readonly den: bigint;\n  /** The factor no rational states (π, ln 2). 1 for a rational scale. */\n  readonly irrational: number;\n}\n\nfunction gcd(a: bigint, b: bigint): bigint {\n  let x = a < 0n ? -a : a;\n  let y = b < 0n ? -b : b;\n  while (y !== 0n) [x, y] = [y, x % y];\n  return x;\n}\n\nfunction make(num: bigint, den: bigint, irrational: number): ExactScale {\n  if (den === 0n) throw new RangeError('exact scale: zero denominator');\n  if (den < 0n) {\n    num = -num;\n    den = -den;\n  }\n  const g = gcd(num, den);\n  return g > 1n ? { num: num / g, den: den / g, irrational } : { num, den, irrational };\n}\n\n/** The scale 1. @internal */\nexport const UNIT_SCALE: ExactScale = { num: 1n, den: 1n, irrational: 1 };\n\nconst DECIMAL = /^([+-]?)(\\d*)(?:\\.(\\d*))?(?:[eE]([+-]?\\d+))?$/;\n\n/**\n * The exact value of a decimal literal (`72`, `0.45359237`, `1.602176634e-19`),\n * or null when `text` is not one.\n * @internal\n */\nexport function decimalScale(text: string): ExactScale | null {\n  const m = DECIMAL.exec(text.trim());\n  if (m === null) return null;\n  const whole = m[2] ?? '';\n  const fraction = m[3] ?? '';\n  if (whole === '' && fraction === '') return null;\n  const exponent = Number(m[4] ?? '0') - fraction.length;\n  if (!Number.isSafeInteger(exponent) || Math.abs(exponent) > 10_000) return null;\n  let num = BigInt(whole + fraction);\n  if (m[1] === '-') num = -num;\n  return exponent >= 0 ? make(num * 10n ** BigInt(exponent), 1n, 1) : make(num, 10n ** BigInt(-exponent), 1);\n}\n\n/** The exact scale a finite JavaScript number was written as. @internal */\nexport function scaleOf(x: number): ExactScale {\n  if (!Number.isFinite(x)) throw new RangeError(`exact scale: ${x} is not finite`);\n  return decimalScale(String(x))!;\n}\n\n/** `num / den`, exactly. @internal */\nexport function ratioScale(num: number | bigint, den: number | bigint): ExactScale {\n  return make(BigInt(num), BigInt(den), 1);\n}\n\n/** A factor no rational states, such as π or ln 2. @internal */\nexport function irrationalScale(x: number): ExactScale {\n  if (!Number.isFinite(x)) throw new RangeError(`exact scale: ${x} is not finite`);\n  return { num: 1n, den: 1n, irrational: x };\n}\n\n/** `a × b × …`. @internal */\nexport function multiplyScales(...factors: readonly ExactScale[]): ExactScale {\n  let num = 1n;\n  let den = 1n;\n  let irrational = 1;\n  for (const f of factors) {\n    num *= f.num;\n    den *= f.den;\n    irrational *= f.irrational;\n  }\n  return make(num, den, irrational);\n}\n\n/** `a / b`. @internal */\nexport function divideScales(a: ExactScale, b: ExactScale): ExactScale {\n  if (b.num === 0n) throw new RangeError('exact scale: division by zero');\n  return make(a.num * b.den, a.den * b.num, a.irrational / b.irrational);\n}\n\n/**\n * `a ^ n`. An integer power stays exact. A fractional power has no exact\n * rational in general, so it becomes one floating factor.\n * @internal\n */\nexport function powerScale(a: ExactScale, n: number): ExactScale {\n  if (Number.isInteger(n)) {\n    const k = BigInt(Math.abs(n));\n    const up = make(a.num ** k, a.den ** k, a.irrational ** Math.abs(n));\n    return n >= 0 ? up : divideScales(UNIT_SCALE, up);\n  }\n  return irrationalScale(scaleToNumber(a) ** n);\n}\n\n/** `a + b`: exact when both are rational multiples of the same irrational factor. @internal */\nexport function addScales(a: ExactScale, b: ExactScale): ExactScale {\n  if (a.irrational === b.irrational) return make(a.num * b.den + b.num * a.den, a.den * b.den, a.irrational);\n  return irrationalScale(scaleToNumber(a) + scaleToNumber(b));\n}\n\n/** The fewest significant digits kept before the sticky digit; far beyond a double's 17. */\nconst MIN_DIGITS = 40;\n\n/** Decimal places of `1 / den` when it terminates (`den` = 2^a·5^b): max(a, b). Null otherwise. */\nfunction terminatingPlaces(den: bigint): number | null {\n  let d = den;\n  let twos = 0;\n  let fives = 0;\n  while (d % 2n === 0n) {\n    d /= 2n;\n    twos++;\n  }\n  while (d % 5n === 0n) {\n    d /= 5n;\n    fives++;\n  }\n  return d === 1n ? Math.max(twos, fives) : null;\n}\n\n/**\n * The rational `num / den` (`den > 0`), reduced, rounded once to the nearest double.\n *\n * A terminating quotient (`den` = 2^a·5^b) is written out exactly, every digit,\n * and parsed: a tie between two doubles is a dyadic rational, so it always\n * lands here and rounds half to even. Any other quotient is not a tie, and it\n * is at least `1 / (den·2^54)` of its magnitude away from every tie; truncating\n * it to `max(40, digits(den) + 20)` significant digits stays closer than that,\n * and a sticky `1` puts the string strictly inside the truncation interval, so\n * the string rounds the way the quotient does for any denominator.\n */\nfunction rationalToNumber(num: bigint, den: bigint): number {\n  if (num === 0n) return 0;\n  const negative = num < 0n;\n  const g = gcd(num, den);\n  const a = (negative ? -num : num) / g;\n  den /= g;\n  const places = terminatingPlaces(den);\n  if (places !== null) {\n    const value = Number(`${(a * 10n ** BigInt(places)) / den}e-${places}`);\n    return negative ? -value : value;\n  }\n  const digits = Math.max(MIN_DIGITS, den.toString().length + 20);\n  const shift = digits - (a.toString().length - den.toString().length);\n  let q: bigint;\n  if (shift >= 0) {\n    q = (a * 10n ** BigInt(shift)) / den;\n  } else {\n    q = a / (den * 10n ** BigInt(-shift));\n  }\n  // Not terminating, so the remainder is never zero: the sticky digit is always due.\n  const value = Number(`${q.toString()}1e${-(shift + 1)}`);\n  return negative ? -value : value;\n}\n\n/** The scale as a double: the rational rounded once, times the irrational factor. @internal */\nexport function scaleToNumber(s: ExactScale): number {\n  const rational = rationalToNumber(s.num, s.den);\n  return s.irrational === 1 ? rational : rational * s.irrational;\n}\n\nconst FACTOR = /^([^*/^\\s]+)(?:\\^([+-]?\\d+))?$/;\n\n/**\n * The two sides of a unit text or a scale expression under the single-solidus\n * convention of ISO 80000-1: everything after the first `/` is the\n * denominator, so a chain is one denominator (`km/s/Mpc` is km/(s·Mpc), and\n * `W/m*K` is W/(m·K), not (W/m)·K). The denominator comes back as one\n * `*`-joined product, each `/`-part's outer parentheses dropped. `units.ts`\n * and {@link readScaleExpression} both split here, so a unit text and a scale\n * expression in `data/units.json` read a `/` the same way.\n * @internal\n */\nexport function solidusSides(text: string): { readonly numerator: string; readonly denominator: string } {\n  const parts = text.split('/');\n  return {\n    numerator: parts[0]!,\n    denominator: parts\n      .slice(1)\n      .map((part) => part.replace(/^\\((.*)\\)$/, '$1'))\n      .join('*'),\n  };\n}\n\n/**\n * The exact value of a scale expression, the form `data/units.json` stores:\n * factors joined by `*`, then optionally `/` and the denominator's factors,\n * each a decimal literal or a name with an optional integer power\n * (`4.1868*453.59237/1.8`, `pi/180`, `lbf/inch^2`). A `/` follows the unit\n * grammar ({@link solidusSides}): `a/b*c` is a/(b·c). `resolve` gives a name\n * its scale and returns undefined for a name it does not know, which throws\n * here. A decimal literal is read digit for digit, so the result is the\n * rational the text states.\n * @internal\n */\nexport function readScaleExpression(text: string, resolve: (name: string) => ExactScale | undefined): ExactScale {\n  const product = (side: string): ExactScale => {\n    let scale = UNIT_SCALE;\n    for (const part of side.split('*')) {\n      const m = FACTOR.exec(part);\n      if (m === null) throw new RangeError(`exact scale: '${text}' is not a product of factors`);\n      const atom = m[1]!;\n      const base = decimalScale(atom) ?? resolve(atom);\n      if (base === undefined) throw new RangeError(`exact scale: '${text}' names '${atom}', which is not a known scale`);\n      scale = multiplyScales(scale, m[2] === undefined ? base : powerScale(base, Number(m[2])));\n    }\n    return scale;\n  };\n  const trimmed = text.trim();\n  const { numerator, denominator } = solidusSides(trimmed);\n  const top = product(numerator);\n  return trimmed.includes('/') ? divideScales(top, product(denominator)) : top;\n}\n"]}

package/dist/dimensional/field-equation-helpers.js.map

@@ -1 +1 @@
-{"version":3,"file":"field-equation-helpers.js","sourceRoot":"","sources":["../../src/dimensional/field-equation-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAIH,8EAA8E;AAC9E,wCAAwC;AACxC,8EAA8E;AAE9E;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,2BAA2B,CACzC,YAAoB,EACpB,OAAe,EACf,SAAgC,EAChC,OAAe,EACf,SAAgC;IAEhC,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CACb,GAAG,YAAY,qCAAqC,OAAO,OAAO;YAClE,GAAG,SAAS,CAAC,MAAM,kBAAkB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY;YACrE,GAAG,OAAO,QAAQ,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;YAChE,sCAAsC,CACvC,CAAC;IACJ,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CACb,GAAG,YAAY,gCAAgC,OAAO,YAAY;gBAClE,YAAY,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,OAAO,OAAO;gBAC3D,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,0CAA0C;gBAClE,sCAAsC,CACvC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,gDAAgD;AAChD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,0BAA0B,CACxC,YAAoB,EACpB,UAAkB,EAClB,MAAiB,EACjB,QAAmB,EACnB,WAAoB;IAEpB,IACE,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QACvB,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK;QAC/B,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,EACvB,CAAC;QACD,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,GAAG,YAAY,0BAA0B,UAAU,WAAW;YAC9D,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CACxE,CAAC;IACJ,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,uCAAuC;AACvC,8EAA8E;AAE9E;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,sBAAsB,CACpC,YAAoB,EACpB,UAAkB,EAClB,MAAc,EACd,QAAgB,EAChB,WAAoB;IAEpB,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,GAAG,YAAY,yBAAyB,UAAU,aAAa;YAC/D,cAAc,QAAQ,WAAW,MAAM,MAAM,IAAI,EAAE,CACpD,CAAC;IACJ,CAAC;AACH,CAAC"}
+{"version":3,"file":"field-equation-helpers.js","sourceRoot":"","sources":["../../src/dimensional/field-equation-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAIH,8EAA8E;AAC9E,wCAAwC;AACxC,8EAA8E;AAE9E;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,2BAA2B,CACzC,YAAoB,EACpB,OAAe,EACf,SAAgC,EAChC,OAAe,EACf,SAAgC;IAEhC,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CACb,GAAG,YAAY,qCAAqC,OAAO,OAAO;YAClE,GAAG,SAAS,CAAC,MAAM,kBAAkB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY;YACrE,GAAG,OAAO,QAAQ,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;YAChE,sCAAsC,CACvC,CAAC;IACJ,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CACb,GAAG,YAAY,gCAAgC,OAAO,YAAY;gBAClE,YAAY,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,OAAO,OAAO;gBAC3D,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,0CAA0C;gBAClE,sCAAsC,CACvC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,gDAAgD;AAChD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,0BAA0B,CACxC,YAAoB,EACpB,UAAkB,EAClB,MAAiB,EACjB,QAAmB,EACnB,WAAoB;IAEpB,IACE,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QACvB,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK;QAC/B,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,EACvB,CAAC;QACD,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,GAAG,YAAY,0BAA0B,UAAU,WAAW;YAC9D,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CACxE,CAAC;IACJ,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,uCAAuC;AACvC,8EAA8E;AAE9E;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,sBAAsB,CACpC,YAAoB,EACpB,UAAkB,EAClB,MAAc,EACd,QAAgB,EAChB,WAAoB;IAEpB,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,GAAG,YAAY,yBAAyB,UAAU,aAAa;YAC/D,cAAc,QAAQ,WAAW,MAAM,MAAM,IAAI,EAAE,CACpD,CAAC;IACJ,CAAC;AACH,CAAC","sourcesContent":["/**\n * Shared validation helpers for field-equation predicate AST nodes\n * (`EinsteinFieldEquationNode`, and future `MaxwellEquationNode`,\n * `KleinGordonEquationNode`, etc.).\n *\n * Per `docs/architecture/archive/v0.7-tensor-equation-node-design-note.md`\n * Phase 0 — extract the 3 invariant checks from\n * `validateEinsteinFieldEquation` so future field equations get\n * them for free, instead of copy-pasting the predicate bodies.\n * Investment-upfront pattern: same shape as v0.6.1's\n * validator-registry refactor.\n *\n * Three helpers, all behavior-preserving extractions:\n *\n *   - `validateFreeIndexLabelMatch` — checks lhs and rhs carry\n *     the same free-index labels in the same order. Generic over\n *     rank (works for rank-1 Maxwell `∇_μ F^{μν}`, rank-2 EFE,\n *     etc.).\n *\n *   - `validateComponentDimension` — checks a tensor's\n *     `componentDim` matches an expected `Dimension`. Generic\n *     over which tensor and what equation context.\n *\n *   - `validateTensorSymmetry` — checks a tensor's `symmetry`\n *     field equals an expected value. Generic over tensor +\n *     equation context.\n *\n * @module dimensional/field-equation-helpers\n */\n\nimport type { Dimension } from './types.js';\n\n// ---------------------------------------------------------------------------\n// Helper 1 — Free-index label agreement\n// ---------------------------------------------------------------------------\n\n/**\n * Assert that the LHS and RHS of a field-equation predicate carry\n * the same free-index labels in the same order.\n *\n * Throws `Error` with `\"index label\"` in the message (matches the\n * existing `validateEinsteinFieldEquation` error prose, so any\n * test pattern-matching that string stays green).\n *\n * @param equationKind - Discriminator for the error message\n *   (e.g., `'EinsteinFieldEquationNode'`, `'MaxwellEquationNode'`).\n * @param lhsName - Human label for the LHS in the error (e.g., `'G_μν'`).\n * @param lhsLabels - Free-index labels from the LHS, in axis order.\n * @param rhsName - Human label for the RHS (e.g., `'T_μν'`).\n * @param rhsLabels - Free-index labels from the RHS, in axis order.\n *\n * @internal\n */\nexport function validateFreeIndexLabelMatch(\n  equationKind: string,\n  lhsName: string,\n  lhsLabels: ReadonlyArray<string>,\n  rhsName: string,\n  rhsLabels: ReadonlyArray<string>,\n): void {\n  if (lhsLabels.length !== rhsLabels.length) {\n    throw new Error(\n      `${equationKind}: index label rank mismatch — LHS ${lhsName} has ` +\n      `${lhsLabels.length} free indices (${lhsLabels.join(', ')}) but RHS ` +\n      `${rhsName} has ${rhsLabels.length} (${rhsLabels.join(', ')}). ` +\n      `Both sides must carry the same rank.`,\n    );\n  }\n  for (let i = 0; i < lhsLabels.length; i++) {\n    if (lhsLabels[i] !== rhsLabels[i]) {\n      throw new Error(\n        `${equationKind}: index label mismatch — LHS ${lhsName} has free ` +\n        `indices (${lhsLabels.join(', ')}) but RHS ${rhsName} has ` +\n        `(${rhsLabels.join(', ')}). Both sides must carry the same lower ` +\n        `index labels in the same axis order.`,\n      );\n    }\n  }\n}\n\n// ---------------------------------------------------------------------------\n// Helper 2 — Per-component dimensional equality\n// ---------------------------------------------------------------------------\n\n/**\n * Assert that an `actual: Dimension` equals an `expected: Dimension`\n * across all seven base SI axes (L, M, T, I, Theta, N, J).\n *\n * Throws `Error` with `\"dimension\"` in the message (matches the\n * existing error prose convention).\n *\n * @param equationKind - Discriminator (e.g., `'EinsteinFieldEquationNode'`).\n * @param tensorName - Human label for the tensor being checked\n *   (e.g., `'T_μν componentDim'`).\n * @param actual - The actual `Dimension` from the AST node.\n * @param expected - The expected `Dimension`.\n * @param explanation - Optional trailing message explaining why\n *   this dimension is required (e.g., `\"so that (8πG/c⁴)·T_μν ~ [L⁻²]\"`).\n *\n * @internal\n */\nexport function validateComponentDimension(\n  equationKind: string,\n  tensorName: string,\n  actual: Dimension,\n  expected: Dimension,\n  explanation?: string,\n): void {\n  if (\n    actual.L !== expected.L ||\n    actual.M !== expected.M ||\n    actual.T !== expected.T ||\n    actual.I !== expected.I ||\n    actual.Theta !== expected.Theta ||\n    actual.N !== expected.N ||\n    actual.J !== expected.J\n  ) {\n    const tail = explanation ? ` ${explanation}` : '';\n    throw new Error(\n      `${equationKind}: dimension mismatch — ${tensorName} must be ` +\n      `${JSON.stringify(expected)} but got ${JSON.stringify(actual)}.${tail}`,\n    );\n  }\n}\n\n// ---------------------------------------------------------------------------\n// Helper 3 — Tensor symmetry agreement\n// ---------------------------------------------------------------------------\n\n/**\n * Assert that a tensor's `symmetry` field equals `expected`.\n *\n * Throws `Error` with `\"symmetry\"` in the message.\n *\n * @param equationKind - Discriminator (e.g., `'EinsteinFieldEquationNode'`).\n * @param tensorName - Human label (e.g., `'T_μν'`).\n * @param actual - The tensor's actual `symmetry` value.\n * @param expected - The required `symmetry` value (e.g., `'symmetric'`).\n * @param explanation - Optional trailing message (e.g., `\"Both sides of\n *   the EFE are symmetric in (μ,ν)\"`).\n *\n * @internal\n */\nexport function validateTensorSymmetry(\n  equationKind: string,\n  tensorName: string,\n  actual: string,\n  expected: string,\n  explanation?: string,\n): void {\n  if (actual !== expected) {\n    const tail = explanation ? ` ${explanation}` : '';\n    throw new Error(\n      `${equationKind}: symmetry mismatch — ${tensorName} must have ` +\n      `symmetry: '${expected}' (got '${actual}').${tail}`,\n    );\n  }\n}\n"]}

package/dist/dimensional/formula-names.d.ts

@@ -1,17 +1,13 @@
 /**
- * Names a formula may use that are not leaves of {@link CONSTANTS}.
- *
- * Spreading these into `CONSTANTS` would bake them into the canonical graph
- * (`CANONICAL_CONSTANTS` spreads that table). They are an overlay for
- * dimensional assignment and for `upt eval` only.
+ * Names a formula may use that are not leaves of {@link CONSTANTS}: the
+ * non-canonical rows of the constant registry. Spreading them into
+ * `CONSTANTS` would bake them into the canonical graph (`CANONICAL_CONSTANTS`
+ * spreads that table). They are an overlay for dimensional assignment and for
+ * `upt eval` only.
  *
  * @module dimensional/formula-names
  */
 import type { Dimension } from './types.js';
-/** Vacuum permittivity, the same CODATA value `CONSTANTS.epsilon_0` holds. */
-export declare const EPS0_SI = 8.8541878128e-12;
-/** Vacuum permeability from ε₀ and the exact c. */
-export declare const MU0_SI: number;
 /** One formula-only name. @internal */
 export interface FormulaName {
     readonly name: string;
@@ -19,9 +15,8 @@ export interface FormulaName {
     readonly value: number;
 }
 /**
- * Overlay names. `eps0` is rewritten to the constant `epsilon_0` before parse,
- * so it is not listed here. `curvature_k` and `scale_factor` are the Friedmann
- * curvature extension (the frozen `CE-friedmann` entry is the flat term).
+ * Overlay names: the registry rows a canonical equation may not bake. `eps0`
+ * is a spelling of `epsilon_0`, so it is not listed here.
  * @internal
  */
 export declare const FORMULA_NAMED: readonly FormulaName[];
@@ -82,6 +77,12 @@ export declare function temperatureQuantityRole(name: string): 'absolute' | 'dif
 export declare class SynonymDisagreementError extends Error {
     constructor(message: string);
 }
+/**
+ * The error for spellings of one quantity that carry different numbers, or
+ * null when they agree. Every caller that refuses a disagreement builds its
+ * message here.
+ */
+export declare function synonymDisagreement(present: readonly string[], values: Readonly<Record<string, number | undefined>>): SynonymDisagreementError | null;
 /**
  * Refuse two spellings of one quantity that carry different numbers.
  * The message names the keys the caller typed.

package/dist/dimensional/formula-names.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"formula-names.d.ts","sourceRoot":"","sources":["../../src/dimensional/formula-names.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAwB5C,8EAA8E;AAC9E,eAAO,MAAM,OAAO,mBAAmB,CAAC;AACxC,mDAAmD;AACnD,eAAO,MAAM,MAAM,QAA8B,CAAC;AAElD,uCAAuC;AACvC,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;GAKG;AACH,eAAO,MAAM,aAAa,EAAE,SAAS,WAAW,EAiB/C,CAAC;AAEF,6FAA6F;AAC7F,wBAAgB,qBAAqB,IAAI,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAEtE;AAED,2EAA2E;AAC3E,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,SAAS,eAAe,EAKvD,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,qEAAqE;AACrE,eAAO,MAAM,cAAc,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAgC,CAAC;AAM1F;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAKtE;AAED,gFAAgF;AAChF,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,GAAG,SAAS,CAGxE;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAGvD;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,YAAY,CAE/E;AAED;;;GAGG;AACH,qBAAa,wBAAyB,SAAQ,KAAK;IACjD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAOD;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI,CAYrF;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAYlF;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,EACjC,WAAW,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACxC,MAAM,GAAG,IAAI,CAmBf"}
+{"version":3,"file":"formula-names.d.ts","sourceRoot":"","sources":["../../src/dimensional/formula-names.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAK5C,uCAAuC;AACvC,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;GAIG;AACH,eAAO,MAAM,aAAa,EAAE,SAAS,WAAW,EAE/C,CAAC;AAEF,6FAA6F;AAC7F,wBAAgB,qBAAqB,IAAI,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAEtE;AAED,2EAA2E;AAC3E,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,SAAS,eAAe,EAKvD,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,qEAAqE;AACrE,eAAO,MAAM,cAAc,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAgC,CAAC;AAI1F;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAKtE;AAED,gFAAgF;AAChF,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,GAAG,SAAS,CAGxE;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAGvD;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,YAAY,CAE/E;AAED;;;GAGG;AACH,qBAAa,wBAAyB,SAAQ,KAAK;IACjD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC,GACnD,wBAAwB,GAAG,IAAI,CAMjC;AAOD;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI,CAKrF;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAYlF;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,EACjC,WAAW,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACxC,MAAM,GAAG,IAAI,CAmBf"}