universal-physics-tensor 8.0.0 → 10.0.0

package/dist/dimensional/tensor-trace.js.map

@@ -1 +1 @@
-{"version":3,"file":"tensor-trace.js","sourceRoot":"","sources":["../../src/dimensional/tensor-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAIH,OAAO,EACL,0BAA0B,EAC1B,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AA4FrC,kEAAkE;AAClE,MAAM,iBAAiB,GAAc;IACnC,CAAC,EAAE,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;CAC7C,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAqB,EACrB,OAAO,GAAuB,EAAE;IAEhC,MAAM,gBAAgB,GAAG,OAAO,CAAC,sBAAsB,IAAI,WAAW,CAAC;IAEvE,uCAAuC;IACvC,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CACb,4DAA4D;YAC5D,aAAa,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK;YAC5C,qEAAqE,CACtE,CAAC;IACJ,CAAC;IAED,uDAAuD;IACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CACb,0DAA0D,CAAC,IAAI;gBAC/D,oCAAoC,GAAG,CAAC,QAAQ,MAAM;gBACtD,mDAAmD,CACpD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,uCAAuC;IACvC,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CACb,4DAA4D;YAC5D,aAAa,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,CAC5C,CAAC;IACJ,CAAC;IAED,uDAAuD;IACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CACb,0DAA0D,CAAC,IAAI;gBAC/D,oCAAoC,GAAG,CAAC,QAAQ,MAAM;gBACtD,kEAAkE,CACnE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,0DAA0D;IAC1D,0BAA0B,CACxB,iBAAiB,EACjB,mBAAmB,EACnB,IAAI,CAAC,MAAM,CAAC,GAAG,EACf,iBAAiB,EACjB,sGAAsG,CACvG,CAAC;IAEF,sCAAsC;IACtC,sBAAsB,CACpB,iBAAiB,EACjB,QAAQ,EACR,IAAI,CAAC,MAAM,CAAC,QAAQ,EACpB,gBAAgB,EAChB,uEAAuE,gBAAgB,GAAG,CAC3F,CAAC;IAEF,OAAO;QACL,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,YAAY;QAC7B,WAAW,EAAE,IAAI,GAAG,EAAE;KACvB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"tensor-trace.js","sourceRoot":"","sources":["../../src/dimensional/tensor-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAIH,OAAO,EACL,0BAA0B,EAC1B,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AA4FrC,kEAAkE;AAClE,MAAM,iBAAiB,GAAc;IACnC,CAAC,EAAE,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;CAC7C,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAqB,EACrB,OAAO,GAAuB,EAAE;IAEhC,MAAM,gBAAgB,GAAG,OAAO,CAAC,sBAAsB,IAAI,WAAW,CAAC;IAEvE,uCAAuC;IACvC,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CACb,4DAA4D;YAC5D,aAAa,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK;YAC5C,qEAAqE,CACtE,CAAC;IACJ,CAAC;IAED,uDAAuD;IACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CACb,0DAA0D,CAAC,IAAI;gBAC/D,oCAAoC,GAAG,CAAC,QAAQ,MAAM;gBACtD,mDAAmD,CACpD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,uCAAuC;IACvC,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CACb,4DAA4D;YAC5D,aAAa,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,CAC5C,CAAC;IACJ,CAAC;IAED,uDAAuD;IACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CACb,0DAA0D,CAAC,IAAI;gBAC/D,oCAAoC,GAAG,CAAC,QAAQ,MAAM;gBACtD,kEAAkE,CACnE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,0DAA0D;IAC1D,0BAA0B,CACxB,iBAAiB,EACjB,mBAAmB,EACnB,IAAI,CAAC,MAAM,CAAC,GAAG,EACf,iBAAiB,EACjB,sGAAsG,CACvG,CAAC;IAEF,sCAAsC;IACtC,sBAAsB,CACpB,iBAAiB,EACjB,QAAQ,EACR,IAAI,CAAC,MAAM,CAAC,QAAQ,EACpB,gBAAgB,EAChB,uEAAuE,gBAAgB,GAAG,CAC3F,CAAC;IAEF,OAAO;QACL,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,YAAY;QAC7B,WAAW,EAAE,IAAI,GAAG,EAAE;KACvB,CAAC;AACJ,CAAC","sourcesContent":["/**\n * TensorTraceNode — structural tensor-trace operator for rank-2 tensors.\n *\n * Per `docs/architecture/archive/v0.7-be-x-reencoding-design-note.md` §\"BE-13 —\n * TensorTraceNode for the Einstein trace\". First of four BE-X re-encoding\n * primitives planned for the v0.7 sprint.\n *\n * Represents the contraction\n *\n *     T = T^μ_μ = g^μν T_μν\n *\n * where `g^μν` is the inverse metric (upper-upper, dimensionless) and\n * `T_μν` is a rank-2 lower-lower tensor (e.g., the stress-energy tensor).\n * The result is a scalar whose SI dimension equals the component dimension\n * of the tensor being traced (the inverse metric is dimensionless, so it\n * passes the tensor's dimension through unchanged).\n *\n * This node is a PREDICATE node in the same family as\n * `EinsteinFieldEquationNode` and `KleinGordonEquationNode` — not a\n * value-producing expression. It documents the structural relationship\n * \"this scalar arose by contracting a rank-2 tensor with the inverse\n * metric\" so that downstream symbolic consumers (bridge cross-validators,\n * dimensional-signature catalog round-trips) can inspect the trace\n * structure rather than treating it as an opaque stub symbol.\n *\n * @module dimensional/tensor-trace\n */\n\nimport type { Dimension } from './types.js';\nimport type { MetricTensorNode } from './metric-validators.js';\nimport {\n  validateComponentDimension,\n  validateTensorSymmetry,\n} from './field-equation-helpers.js';\n\n// ---------------------------------------------------------------------------\n// TracableTensorNode — minimal structural interface\n// ---------------------------------------------------------------------------\n\n/**\n * Minimal interface for rank-2 tensors that can be traced via\n * `TensorTraceNode`. Any rank-2 lower-lower node satisfies this:\n * `TensorSymbolNode` (with `.dim` aliased to `componentDim` by callers),\n * `StressEnergyTensorNode`, or custom rank-2 nodes.\n *\n * Fields:\n *   - `indices`      — Exactly two index slots; each must carry `variance: 'lower'`.\n *   - `componentDim` — SI dimension of a single component of the tensor.\n *   - `symmetry`     — Symmetry tag (`'symmetric'`, `'antisymmetric'`,\n *                      `'none'`, or other string). Checked to be\n *                      `'symmetric'` by `validateTensorTrace`'s default\n *                      predicate (physical stress-energy and Ricci tensors\n *                      are symmetric; caller may override via the options\n *                      argument if tracing a non-symmetric rank-2 tensor).\n *\n * @public\n */\nexport interface TracableTensorNode {\n  readonly indices: ReadonlyArray<{ readonly variance: string }>;\n  readonly componentDim: Dimension;\n  readonly symmetry: string;\n}\n\n// ---------------------------------------------------------------------------\n// TensorTraceNode\n// ---------------------------------------------------------------------------\n\n/**\n * AST node for the trace operation `T = g^μν T_μν`.\n *\n * Fields:\n *   - `tensor`  — The rank-2 lower-lower tensor being traced (e.g., `T_μν`).\n *   - `metric`  — The inverse metric `g^μν` (rank-2 upper-upper,\n *                 dimensionless) used for the contraction.\n *\n * The resulting scalar has `dim = tensor.componentDim` (the inverse metric\n * is dimensionless, so the trace carries the tensor's component dimension\n * unchanged).\n *\n * @public\n */\nexport interface TensorTraceNode {\n  /** Discriminator: 'tensor-trace'. */\n  readonly kind: 'tensor-trace';\n  /** The rank-2 lower-lower tensor being traced. */\n  readonly tensor: TracableTensorNode;\n  /** The inverse metric `g^μν` supplying the upper-upper contraction. */\n  readonly metric: MetricTensorNode;\n}\n\n// ---------------------------------------------------------------------------\n// TensorTraceValidationResult\n// ---------------------------------------------------------------------------\n\n/**\n * Result of validating a `TensorTraceNode`. The trace collapses all\n * free indices — the result is a scalar.\n *\n * @public\n */\nexport interface TensorTraceValidationResult {\n  /** SI dimension of the resulting scalar. Equals `tensor.componentDim`. */\n  readonly dim: Dimension;\n  /** Empty free-indices map (trace is rank-0). */\n  readonly freeIndices: Map<string, { upper: number; lower: number }>;\n}\n\n// ---------------------------------------------------------------------------\n// validateTensorTrace\n// ---------------------------------------------------------------------------\n\n/**\n * Options for `validateTensorTrace`.\n *\n * @public\n */\nexport interface TensorTraceOptions {\n  /**\n   * Expected symmetry of the tensor being traced. Defaults to\n   * `'symmetric'` (appropriate for T_μν, R_μν, G_μν, etc.). Pass a\n   * different value if tracing a non-symmetric rank-2 tensor.\n   */\n  readonly expectedTensorSymmetry?: string;\n}\n\n/** The SI dimension of a dimensionless metric g^μν: all zeros. */\nconst DIMENSIONLESS_DIM: Dimension = {\n  L: 0, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0,\n};\n\n/**\n * Validate a `tensor-trace` node.\n *\n * Three structural predicates (using the field-equation-helpers pattern):\n *\n *   1. **Index variance** — `tensor.indices` must be exactly 2, each\n *      `variance === 'lower'` (rank-2 lower-lower). Error keyword: `\"index\"`.\n *   2. **Metric variance** — `metric.indices` must be exactly 2, each\n *      `variance === 'upper'` (rank-2 upper-upper inverse form). The metric\n *      must be dimensionless; error keyword: `\"dimension\"`.\n *   3. **Tensor symmetry** — `tensor.symmetry` must equal the expected\n *      symmetry (default `'symmetric'`). Error keyword: `\"symmetry\"`.\n *\n * Returns the scalar result dimension (`tensor.componentDim`) with an\n * empty `freeIndices` map.\n *\n * Errors carry the keywords `\"index\"`, `\"dimension\"`, or `\"symmetry\"` per\n * the field-equation-helpers error-vocabulary convention, so consumer\n * pattern-matching on those strings stays consistent across equation nodes.\n *\n * @public\n */\nexport function validateTensorTrace(\n  node: TensorTraceNode,\n  options: TensorTraceOptions = {},\n): TensorTraceValidationResult {\n  const expectedSymmetry = options.expectedTensorSymmetry ?? 'symmetric';\n\n  // Predicate 1a: tensor must be rank-2.\n  if (node.tensor.indices.length !== 2) {\n    throw new Error(\n      `TensorTraceNode: index rank error — tensor must be rank-2 ` +\n      `(got rank-${node.tensor.indices.length}). ` +\n      `Only rank-2 lower-lower tensors can be traced via g^μν contraction.`,\n    );\n  }\n\n  // Predicate 1b: both tensor index slots must be lower.\n  for (let i = 0; i < node.tensor.indices.length; i++) {\n    const idx = node.tensor.indices[i];\n    if (idx.variance !== 'lower') {\n      throw new Error(\n        `TensorTraceNode: index variance error — tensor.indices[${i}] ` +\n        `must have variance 'lower' (got '${idx.variance}'). ` +\n        `The trace g^μν T_μν requires T to be lower-lower.`,\n      );\n    }\n  }\n\n  // Predicate 2a: metric must be rank-2.\n  if (node.metric.indices.length !== 2) {\n    throw new Error(\n      `TensorTraceNode: index rank error — metric must be rank-2 ` +\n      `(got rank-${node.metric.indices.length}).`,\n    );\n  }\n\n  // Predicate 2b: both metric index slots must be upper.\n  for (let i = 0; i < node.metric.indices.length; i++) {\n    const idx = node.metric.indices[i];\n    if (idx.variance !== 'upper') {\n      throw new Error(\n        `TensorTraceNode: index variance error — metric.indices[${i}] ` +\n        `must have variance 'upper' (got '${idx.variance}'). ` +\n        `The inverse metric g^μν must be upper-upper for the contraction.`,\n      );\n    }\n  }\n\n  // Predicate 2c: the inverse metric must be dimensionless.\n  validateComponentDimension(\n    'TensorTraceNode',\n    'metric (g^μν) dim',\n    node.metric.dim,\n    DIMENSIONLESS_DIM,\n    'The inverse metric g^μν is dimensionless; the trace dimension equals the tensor component dimension.',\n  );\n\n  // Predicate 3: tensor symmetry check.\n  validateTensorSymmetry(\n    'TensorTraceNode',\n    'tensor',\n    node.tensor.symmetry,\n    expectedSymmetry,\n    `Physical rank-2 tensors eligible for Einstein-trace contraction are ${expectedSymmetry}.`,\n  );\n\n  return {\n    dim: node.tensor.componentDim,\n    freeIndices: new Map(),\n  };\n}\n"]}

package/dist/dimensional/tensor.js.map

@@ -1 +1 @@
-{"version":3,"file":"tensor.js","sourceRoot":"","sources":["../../src/dimensional/tensor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAaxC,OAAO,EACL,wBAAwB,EACxB,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,aAAa,CAAC;AAyBrB;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAsB;IAEtB,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/B,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE;YACzB,KAAK,EAAE,GAAG,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,KAAK,EAAE,GAAG,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACxC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC;AACxC,CAAC;AAmCD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAA6B,EAC7B,aAAwD;IAExD,mEAAmE;IACnE,qEAAqE;IACrE,IAAI,GAAG,GAAc,aAAa,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4C,CAAC;IAEnE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QACjC,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QAC/B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YAC7D,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE;gBAChB,KAAK,EAAE,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK;gBACpC,KAAK,EAAE,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK;aACrC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,MAAM,gBAAgB,GAAwB,EAAE,CAAC;IACjD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;QAC1C,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,IAAI,wBAAwB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YAC9D,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;YACxD,MAAM,IAAI,qBAAqB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;gBAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YACjE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE;gBAChB,KAAK,EAAE,MAAM,CAAC,KAAK,GAAG,KAAK;gBAC3B,KAAK,EAAE,MAAM,CAAC,KAAK,GAAG,KAAK;aAC5B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,iEAAiE;IACjE,qEAAqE;IACrE,4EAA4E;IAC5E,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACrC,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,QAAQ;QAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAEnD,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;AACxD,CAAC;AAED,sCAAsC;AACtC,MAAM,UAAU,IAAI,CAClB,IAAY,EACZ,OAAmC,EACnC,GAAc,EACd,IAAW,EACX,aAAoD;IAEpD,MAAM,IAAI,GAON,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAClD,IAAI,IAAI,KAAK,SAAS;QAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS;QAAE,IAAI,CAAC,aAAa,GAAG,aAAa,CAAC;IACpE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;cAEc;AACd,MAAM,UAAU,KAAK,CAAC,MAAgB,EAAE,MAAgB;IACtD,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,QAAQ,CAAC,GAAG,IAAgB;IAC1C,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;AAC1C,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,IAAI,CAAC,GAAG,IAAgB;IACtC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;AACvC,CAAC"}
+{"version":3,"file":"tensor.js","sourceRoot":"","sources":["../../src/dimensional/tensor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAaxC,OAAO,EACL,wBAAwB,EACxB,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,aAAa,CAAC;AAyBrB;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAsB;IAEtB,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/B,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE;YACzB,KAAK,EAAE,GAAG,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,KAAK,EAAE,GAAG,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACxC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC;AACxC,CAAC;AAmCD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAA6B,EAC7B,aAAwD;IAExD,mEAAmE;IACnE,qEAAqE;IACrE,IAAI,GAAG,GAAc,aAAa,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4C,CAAC;IAEnE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QACjC,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QAC/B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YAC7D,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE;gBAChB,KAAK,EAAE,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK;gBACpC,KAAK,EAAE,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK;aACrC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,MAAM,gBAAgB,GAAwB,EAAE,CAAC;IACjD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;QAC1C,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,IAAI,wBAAwB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YAC9D,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;YACxD,MAAM,IAAI,qBAAqB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;gBAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YACjE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE;gBAChB,KAAK,EAAE,MAAM,CAAC,KAAK,GAAG,KAAK;gBAC3B,KAAK,EAAE,MAAM,CAAC,KAAK,GAAG,KAAK;aAC5B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,iEAAiE;IACjE,qEAAqE;IACrE,4EAA4E;IAC5E,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACrC,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,QAAQ;QAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAEnD,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;AACxD,CAAC;AAED,sCAAsC;AACtC,MAAM,UAAU,IAAI,CAClB,IAAY,EACZ,OAAmC,EACnC,GAAc,EACd,IAAW,EACX,aAAoD;IAEpD,MAAM,IAAI,GAON,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAClD,IAAI,IAAI,KAAK,SAAS;QAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS;QAAE,IAAI,CAAC,aAAa,GAAG,aAAa,CAAC;IACpE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;cAEc;AACd,MAAM,UAAU,KAAK,CAAC,MAAgB,EAAE,MAAgB;IACtD,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,QAAQ,CAAC,GAAG,IAAgB;IAC1C,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;AAC1C,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,IAAI,CAAC,GAAG,IAAgB;IACtC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;AACvC,CAAC","sourcesContent":["/**\n * Tensor AST node types and helpers — v0.2.0 algebra layer.\n *\n * Adds the two new ExprNode discriminated-union variants:\n *   - 'tensor-symbol': a named tensor with variance-typed indices\n *   - 'tensor-product': Einstein-summation product over tensor and scalar operands\n *\n * Per docs/specification/Part-VII-Tensor-Algebra.md §VII.1 and §VII.4.\n *\n * @module dimensional/tensor\n */\n\nimport type { Dimension } from './types.js';\nimport { DIMENSIONLESS } from './types.js';\nimport { multiply } from './algebra.js';\n// ExprNode and the tensor node/index types now live in the leaf `ast-types.ts`\n// — no longer imported from validator.ts, whose back-edge (validator imports\n// tensor types; tensor imported ExprNode) formed a type-only cycle. The tensor\n// types are re-exported below so existing importers of `… from './tensor.js'`\n// are unchanged.\nimport type {\n  ExprNode,\n  Role,\n  TensorIndex,\n  TensorSymbolNode,\n  TensorProductNode,\n} from './ast-types.js';\nimport {\n  DuplicateIndexLabelError,\n  IndexLabelCollisionError,\n  VarianceMismatchError,\n} from './errors.js';\n\nexport type {\n  Variance,\n  Role,\n  TensorIndex,\n  TensorSymbolNode,\n  TensorProductNode,\n} from './ast-types.js';\n\n/**\n * Result shape returned by `validateTensorSymbol`. A minimal carrier for\n * the inferred per-component dimension plus the free-indices map built\n * from the declared indices. The validator's `infer()` adapts this back\n * into its `Dimension | null` return shape and merges `freeIndices` into\n * the outer accumulator.\n */\n// v0.6.1: dropped `export` — internal-only validation-result shape.\n// `validateTensorSymbol` still returns this shape via inference; no\n// external consumer references the named type.\ninterface TensorSymbolValidationResult {\n  readonly dim: Dimension;\n  readonly freeIndices: Map<string, { upper: number; lower: number }>;\n}\n\n/**\n * Validate a tensor-symbol node. Builds the freeIndices map from the\n * declared indices, with one upper / one lower count per label.\n *\n * Throws `DuplicateIndexLabelError` if the indices list contains the same\n * label more than once (e.g., T^μ_μ_μ). Per Part-VII §VII.4\n * (repeated-dummy-label-in-tensor-symbol-rejected TENSOR-RULE).\n *\n * The function is pure: no I/O, no shared state, total over its input\n * (modulo the documented throw). Callers (validator.ts `infer()`) thread\n * the returned freeIndices map up into their accumulator.\n */\nexport function validateTensorSymbol(\n  node: TensorSymbolNode,\n): TensorSymbolValidationResult {\n  const freeIndices = new Map<string, { upper: number; lower: number }>();\n  for (const idx of node.indices) {\n    if (freeIndices.has(idx.label)) {\n      throw new DuplicateIndexLabelError(node.name, idx.label);\n    }\n    freeIndices.set(idx.label, {\n      upper: idx.variance === 'upper' ? 1 : 0,\n      lower: idx.variance === 'lower' ? 1 : 0,\n    });\n  }\n  return { dim: node.dim, freeIndices };\n}\n\n/**\n * Result of a tensor-product contraction over a set of operands.\n *\n * Re-exported as part of v0.2.0's TensorJS forward-compatibility contract\n * (§14.2 of v0.2.0-Design.md). The future mathjs / TensorJS numerical\n * backend will call `computeContraction` with the same operand list, pair\n * the returned `contractionPairs` with its own einsum-pattern compiler,\n * and multiply concrete numerical tensors using its dimensions.\n */\n// v0.6.1: dropped `export` — internal-only contraction-result shape.\n// `computeContraction` returns this shape via inference; no external\n// consumer references the named type.\ninterface ContractionResult {\n  /** Resulting per-component dimension (product of operand dims). */\n  readonly dim: Dimension;\n  /** Free indices remaining after Einstein contraction. */\n  readonly freeIndices: Map<string, { upper: number; lower: number }>;\n  /** Labels that were contracted (one upper + one lower pair per entry). */\n  readonly contractionPairs: ReadonlyArray<{ label: string }>;\n}\n\n/**\n * Per-child validation result the caller of `computeContraction` must\n * supply through the `validateChild` callback. Mirrors the local-Map\n * convention pioneered by `validateTensorSymbol`: the child reports its\n * inferred dimension plus a map of label → {upper, lower} counts that\n * `computeContraction` merges and reduces.\n */\nexport interface ChildValidationResult {\n  readonly dim: Dimension;\n  readonly freeIndices: Map<string, { upper: number; lower: number }>;\n}\n\n/**\n * Pure function that computes the dimension, free-indices map, and\n * contraction pairs for a tensor-product over the given operands.\n *\n * The function is pure and module-cycle-free: it does NOT import\n * `validator.ts`. Recursion is injected via the `validateChild` callback\n * — the caller (typically validator.ts's `infer()` dispatch) supplies a\n * resolver that returns `{dim, freeIndices}` for each child node. The\n * caller is responsible for handling all `ExprNode` kinds in its callback\n * (scalars, tensor-symbols, nested tensor-products, etc.).\n *\n * Critically, the per-child freeIndices maps returned by `validateChild`\n * MUST be local to that child (not shared mutable state). This is what\n * makes nested tensor-products safe: an inner tensor-product reports its\n * post-contraction residual free indices as a local map, and the outer\n * call merges those without ever touching shared accumulator state.\n *\n * Re-exported for the future mathjs backend per v0.2.0-Design.md §14.2.\n *\n * **v0.2.0 limitation — implicit identity metric.** The contraction\n * mechanism here assumes one upper index `μ` paired with one lower index\n * `μ` annihilate (Kronecker delta convention). v0.3.0's metric layer\n * will introduce explicit g_μν / g^μν for raising and lowering — at\n * which point this function's hard-coded pairing rule must generalize\n * to \"find labels with mismatched variance, raise/lower via the metric,\n * then contract.\" Forward-compat callers should NOT assume the v0.2.0\n * rule is permanent.\n *\n * Throws:\n *   - IndexLabelCollisionError if any label appears > 2 times total.\n *   - VarianceMismatchError if a label appears twice with same variance.\n */\nexport function computeContraction(\n  args: ReadonlyArray<ExprNode>,\n  validateChild: (node: ExprNode) => ChildValidationResult,\n): ContractionResult {\n  // Step A: Recursively validate each arg via the injected callback,\n  // accumulating product-dimension and merging local freeIndices maps.\n  let dim: Dimension = DIMENSIONLESS;\n  const merged = new Map<string, { upper: number; lower: number }>();\n\n  for (const arg of args) {\n    const child = validateChild(arg);\n    dim = multiply(dim, child.dim);\n    for (const [label, counts] of child.freeIndices) {\n      const existing = merged.get(label) ?? { upper: 0, lower: 0 };\n      merged.set(label, {\n        upper: existing.upper + counts.upper,\n        lower: existing.lower + counts.lower,\n      });\n    }\n  }\n\n  // Step B: Validate label counts (≤2) and pair upper/lower for contraction.\n  const contractionPairs: { label: string }[] = [];\n  for (const [label, counts] of merged) {\n    const total = counts.upper + counts.lower;\n    if (total > 2) {\n      throw new IndexLabelCollisionError(label, total);\n    }\n    if (total === 2 && (counts.upper === 0 || counts.lower === 0)) {\n      const variance = counts.upper === 2 ? 'upper' : 'lower';\n      throw new VarianceMismatchError(label, variance);\n    }\n    if (counts.upper > 0 && counts.lower > 0) {\n      const pairs = Math.min(counts.upper, counts.lower);\n      for (let i = 0; i < pairs; i++) contractionPairs.push({ label });\n      merged.set(label, {\n        upper: counts.upper - pairs,\n        lower: counts.lower - pairs,\n      });\n    }\n  }\n\n  // Step C: Drop fully-contracted labels (both counts zero) from the\n  // outgoing freeIndices map so callers don't see phantom dummies.\n  // Collect keys first; delete in a second pass to avoid modifying the\n  // Map during iteration (allocates only the small set of contracted labels).\n  const toDelete: string[] = [];\n  for (const [label, counts] of merged) {\n    if (counts.upper === 0 && counts.lower === 0) toDelete.push(label);\n  }\n  for (const label of toDelete) merged.delete(label);\n\n  return { dim, freeIndices: merged, contractionPairs };\n}\n\n/** Construct a tensor-symbol node. */\nexport function tsym(\n  name: string,\n  indices: ReadonlyArray<TensorIndex>,\n  dim: Dimension,\n  role?: Role,\n  numericalForm?: 'symbolic' | 'numerical-fn' | 'grid',\n): TensorSymbolNode {\n  const node: {\n    kind: 'tensor-symbol';\n    name: string;\n    indices: ReadonlyArray<TensorIndex>;\n    dim: Dimension;\n    role?: Role;\n    numericalForm?: 'symbolic' | 'numerical-fn' | 'grid';\n  } = { kind: 'tensor-symbol', name, indices, dim };\n  if (role !== undefined) node.role = role;\n  if (numericalForm !== undefined) node.numericalForm = numericalForm;\n  return node;\n}\n\n/** Scale a tensor by a scalar coefficient. Returns a tensor-product.\n *\n *  @public */\nexport function scale(scalar: ExprNode, tensor: ExprNode): TensorProductNode {\n  return { kind: 'tensor-product', args: [scalar, tensor] };\n}\n\n/** Contract any number of operands. Returns a tensor-product. */\nexport function contract(...args: ExprNode[]): TensorProductNode {\n  return { kind: 'tensor-product', args };\n}\n\n/** Tensor sum via op '+'. Validator enforces matching free indices. */\nexport function tsum(...args: ExprNode[]): ExprNode {\n  return { kind: 'op', op: '+', args };\n}\n"]}

package/dist/dimensional/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/dimensional/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAmBH,MAAM,CAAC,MAAM,aAAa,GAAc,EAAE,CAAC,EAAE,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;AAEzF,oBAAoB;AACpB,EAAE;AACF,yEAAyE;AACzE,wEAAwE;AACxE,oEAAoE;AACpE,yEAAyE;AACzE,yEAAyE;AACzE,qEAAqE;AACrE,oCAAoC;AACpC,MAAM,CAAC,MAAM,MAAM,GAAqB,EAAE,CAAC,EAAE,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;AACzF,MAAM,CAAC,MAAM,IAAI,GAAuB,EAAE,CAAC,EAAE,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;AACzF,MAAM,CAAC,MAAM,IAAI,GAAuB,EAAE,CAAC,EAAE,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;AACzF,MAAM,CAAC,MAAM,SAAS,GAAkB,EAAE,CAAC,EAAE,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;AAC1F,MAAM,CAAC,MAAM,IAAI,GAAuB,EAAE,CAAC,EAAE,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;AACzF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,YAAY,GAAe,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;AAC1F,MAAM,CAAC,MAAM,QAAQ,GAAmB,EAAE,CAAC,EAAE,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;AAC1F,MAAM,CAAC,MAAM,YAAY,GAAe,EAAE,CAAC,EAAE,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;AAC1F,MAAM,CAAC,MAAM,KAAK,GAAsB,EAAE,CAAC,EAAE,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,CAAC,SAAS;AACpG,MAAM,CAAC,MAAM,MAAM,GAAqB,EAAE,CAAC,EAAE,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,CAAC,QAAQ;AACnG,MAAM,CAAC,MAAM,KAAK,GAAsB,EAAE,CAAC,EAAE,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,CAAC,OAAO;AAClG,MAAM,CAAC,MAAM,MAAM,GAAqB,EAAE,CAAC,EAAE,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,CAAC,MAAM;AAEjG,yBAAyB;AACzB,MAAM,CAAC,MAAM,WAAW,GAAgB,EAAE,CAAC,EAAE,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;AACzF,MAAM,CAAC,MAAM,OAAO,GAAoB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM;AAElG,gCAAgC;AAChC,MAAM,CAAC,MAAM,MAAM,GAAqB,EAAE,CAAC,EAAE,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,CAAC,gBAAgB;AAE1G,gFAAgF;AAChF,mEAAmE;AACnE,MAAM,CAAC,MAAM,gBAAgB,GAAgD;IAC3E,CAAC,eAAe,EAAE,aAAa,CAAC;IAChC,CAAC,QAAQ,EAAE,MAAM,CAAC;IAClB,CAAC,MAAM,EAAE,IAAI,CAAC;IACd,CAAC,MAAM,EAAE,IAAI,CAAC;IACd,CAAC,WAAW,EAAE,SAAS,CAAC;IACxB,CAAC,MAAM,EAAE,IAAI,CAAC;IACd,CAAC,UAAU,EAAE,QAAQ,CAAC;IACtB,CAAC,cAAc,EAAE,YAAY,CAAC;IAC9B,sEAAsE;IACtE,sEAAsE;IACtE,mBAAmB;IACnB,CAAC,QAAQ,EAAE,MAAM,CAAC;IAClB,CAAC,OAAO,EAAE,KAAK,CAAC;IAChB,CAAC,QAAQ,EAAE,MAAM,CAAC;IAClB,CAAC,OAAO,EAAE,KAAK,CAAC;IAChB,CAAC,aAAa,EAAE,WAAW,CAAC;IAC5B,CAAC,SAAS,EAAE,OAAO,CAAC;IACpB,CAAC,QAAQ,EAAE,MAAM,CAAC;CACnB,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/dimensional/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAmBH,MAAM,CAAC,MAAM,aAAa,GAAc,EAAE,CAAC,EAAE,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;AAEzF,oBAAoB;AACpB,EAAE;AACF,yEAAyE;AACzE,wEAAwE;AACxE,oEAAoE;AACpE,yEAAyE;AACzE,yEAAyE;AACzE,qEAAqE;AACrE,oCAAoC;AACpC,MAAM,CAAC,MAAM,MAAM,GAAqB,EAAE,CAAC,EAAE,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;AACzF,MAAM,CAAC,MAAM,IAAI,GAAuB,EAAE,CAAC,EAAE,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;AACzF,MAAM,CAAC,MAAM,IAAI,GAAuB,EAAE,CAAC,EAAE,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;AACzF,MAAM,CAAC,MAAM,SAAS,GAAkB,EAAE,CAAC,EAAE,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;AAC1F,MAAM,CAAC,MAAM,IAAI,GAAuB,EAAE,CAAC,EAAE,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;AACzF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,YAAY,GAAe,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;AAC1F,MAAM,CAAC,MAAM,QAAQ,GAAmB,EAAE,CAAC,EAAE,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;AAC1F,MAAM,CAAC,MAAM,YAAY,GAAe,EAAE,CAAC,EAAE,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;AAC1F,MAAM,CAAC,MAAM,KAAK,GAAsB,EAAE,CAAC,EAAE,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,CAAC,SAAS;AACpG,MAAM,CAAC,MAAM,MAAM,GAAqB,EAAE,CAAC,EAAE,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,CAAC,QAAQ;AACnG,MAAM,CAAC,MAAM,KAAK,GAAsB,EAAE,CAAC,EAAE,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,CAAC,OAAO;AAClG,MAAM,CAAC,MAAM,MAAM,GAAqB,EAAE,CAAC,EAAE,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,CAAC,MAAM;AAEjG,yBAAyB;AACzB,MAAM,CAAC,MAAM,WAAW,GAAgB,EAAE,CAAC,EAAE,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;AACzF,MAAM,CAAC,MAAM,OAAO,GAAoB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM;AAElG,gCAAgC;AAChC,MAAM,CAAC,MAAM,MAAM,GAAqB,EAAE,CAAC,EAAE,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,CAAC,gBAAgB;AAE1G,gFAAgF;AAChF,mEAAmE;AACnE,MAAM,CAAC,MAAM,gBAAgB,GAAgD;IAC3E,CAAC,eAAe,EAAE,aAAa,CAAC;IAChC,CAAC,QAAQ,EAAE,MAAM,CAAC;IAClB,CAAC,MAAM,EAAE,IAAI,CAAC;IACd,CAAC,MAAM,EAAE,IAAI,CAAC;IACd,CAAC,WAAW,EAAE,SAAS,CAAC;IACxB,CAAC,MAAM,EAAE,IAAI,CAAC;IACd,CAAC,UAAU,EAAE,QAAQ,CAAC;IACtB,CAAC,cAAc,EAAE,YAAY,CAAC;IAC9B,sEAAsE;IACtE,sEAAsE;IACtE,mBAAmB;IACnB,CAAC,QAAQ,EAAE,MAAM,CAAC;IAClB,CAAC,OAAO,EAAE,KAAK,CAAC;IAChB,CAAC,QAAQ,EAAE,MAAM,CAAC;IAClB,CAAC,OAAO,EAAE,KAAK,CAAC;IAChB,CAAC,aAAa,EAAE,WAAW,CAAC;IAC5B,CAAC,SAAS,EAAE,OAAO,CAAC;IACpB,CAAC,QAAQ,EAAE,MAAM,CAAC;CACnB,CAAC","sourcesContent":["/**\n * SI dimensional types.\n *\n * Base dimensions per BIPM SI Brochure, 9th edition (2019), Table 3:\n *   length L, mass M, time T, electric current I, thermodynamic temperature Theta,\n *   amount of substance N, luminous intensity J.\n *\n * Named-dimension constants below are derived per NIST SP 811 (2008) §4\n * (derived SI units) and standard physics references:\n *   - Goldstein, \"Classical Mechanics\" 3rd ed.\n *   - Sakurai, \"Modern Quantum Mechanics\" 2nd ed.\n *   - Wald, \"General Relativity\" (1984)\n *\n * All exponents are stored as `number` (allowing rational e.g. 1/2 if needed).\n *\n * @module dimensional/types\n */\n\nexport interface Dimension {\n  /** Length (metre, m). */\n  L: number;\n  /** Mass (kilogram, kg). */\n  M: number;\n  /** Time (second, s). */\n  T: number;\n  /** Electric current (ampere, A). */\n  I: number;\n  /** Thermodynamic temperature (kelvin, K). */\n  Theta: number;\n  /** Amount of substance (mole, mol). */\n  N: number;\n  /** Luminous intensity (candela, cd). */\n  J: number;\n}\n\nexport const DIMENSIONLESS: Dimension = { L: 0, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };\n\n// --- Mechanics ---\n//\n// Named-dimension constants are exported only when there is at least one\n// real consumer (a bridge encoding, a constant, or an active test). The\n// previously-exported VOLUME, MOMENTUM, ANGULAR_MOMENTUM, PRESSURE,\n// DENSITY, VOLTAGE, ELECTRIC_FIELD, MAGNETIC_FIELD were unreferenced and\n// were removed 2026-05-04 per simplifier F-01 (no flexibility/configura-\n// bility that wasn't requested). Re-add them precisely when a bridge\n// encoding or test references them.\nexport const LENGTH:        Dimension = { L: 1, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };\nexport const AREA:          Dimension = { L: 2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };\nexport const TIME:          Dimension = { L: 0, M: 0, T: 1, I: 0, Theta: 0, N: 0, J: 0 };\nexport const FREQUENCY:     Dimension = { L: 0, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 };\nexport const MASS:          Dimension = { L: 0, M: 1, T: 0, I: 0, Theta: 0, N: 0, J: 0 };\n/** Mass density, kilogram per cubic metre. */\nexport const MASS_DENSITY:  Dimension = { L: -3, M: 1, T: 0, I: 0, Theta: 0, N: 0, J: 0 };\nexport const VELOCITY:      Dimension = { L: 1, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 };\nexport const ACCELERATION:  Dimension = { L: 1, M: 0, T: -2, I: 0, Theta: 0, N: 0, J: 0 };\nexport const FORCE:         Dimension = { L: 1, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 }; // newton\nexport const ENERGY:        Dimension = { L: 2, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 }; // joule\nexport const POWER:         Dimension = { L: 2, M: 1, T: -3, I: 0, Theta: 0, N: 0, J: 0 }; // watt\nexport const ACTION:        Dimension = { L: 2, M: 1, T: -1, I: 0, Theta: 0, N: 0, J: 0 }; // J·s\n\n// --- Thermodynamics ---\nexport const TEMPERATURE:   Dimension = { L: 0, M: 0, T: 0, I: 0, Theta: 1, N: 0, J: 0 };\nexport const ENTROPY:       Dimension = { L: 2, M: 1, T: -2, I: 0, Theta: -1, N: 0, J: 0 }; // J/K\n\n// --- Electromagnetism (SI) ---\nexport const CHARGE:        Dimension = { L: 0, M: 0, T: 1, I: 1, Theta: 0, N: 0, J: 0 }; // coulomb = A·s\n\n// --- Curated lookup table for `format()` to recognize named SI dimensions. ---\n// Order matters only for tie-breaks; the first matching name wins.\nexport const NAMED_DIMENSIONS: ReadonlyArray<readonly [string, Dimension]> = [\n  ['dimensionless', DIMENSIONLESS],\n  ['length', LENGTH],\n  ['area', AREA],\n  ['time', TIME],\n  ['frequency', FREQUENCY],\n  ['mass', MASS],\n  ['velocity', VELOCITY],\n  ['acceleration', ACCELERATION],\n  // action carries the same SI shape (J·s) as angular momentum; we keep\n  // 'action' as the canonical name since hbar (the only consumer today)\n  // is action-typed.\n  ['action', ACTION],\n  ['force', FORCE],\n  ['energy', ENERGY],\n  ['power', POWER],\n  ['temperature', TEMPERATURE],\n  ['entropy', ENTROPY],\n  ['charge', CHARGE],\n];\n"]}

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

@@ -13,8 +13,6 @@
  * @module dimensional/unit-convention
  * @internal
  */
-/** Quantity name → the unit its evaluator speaks. @internal */
-export declare const QUANTITY_CONVENTION_UNIT: ReadonlyMap<string, string>;
 /** The unit a quantity's evaluator speaks, or undefined when that unit is SI. @internal */
 export declare function quantityConventionUnit(name: string): string | undefined;
 /** Scale a quantity's evaluator-unit value into SI. @internal */

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

@@ -1 +1 @@
-{"version":3,"file":"unit-convention.d.ts","sourceRoot":"","sources":["../../src/dimensional/unit-convention.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAKH,+DAA+D;AAC/D,eAAO,MAAM,wBAAwB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAU/D,CAAC;AAEH,2FAA2F;AAC3F,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAEvE;AAED,iEAAiE;AACjE,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGxD;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAajE"}
+{"version":3,"file":"unit-convention.d.ts","sourceRoot":"","sources":["../../src/dimensional/unit-convention.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAkBH,2FAA2F;AAC3F,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAEvE;AAED,iEAAiE;AACjE,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGxD;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAajE"}

package/dist/dimensional/unit-convention.js

@@ -15,8 +15,8 @@
  */
 import { equals } from './algebra.js';
 import { parseUnit } from './units.js';
-/** Quantity name → the unit its evaluator speaks. @internal */
-export const QUANTITY_CONVENTION_UNIT = new Map([
+/** Quantity name → the unit its evaluator speaks; read through {@link quantityConventionUnit}. */
+const QUANTITY_CONVENTION_UNIT = new Map([
     ['vacuum-expectation-value', 'GeV'],
     ['dark-fermion-mass', 'GeV'],
     ['planck-mass-energy', 'GeV'],

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

@@ -1 +1 @@
-{"version":3,"file":"unit-convention.js","sourceRoot":"","sources":["../../src/dimensional/unit-convention.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvC,+DAA+D;AAC/D,MAAM,CAAC,MAAM,wBAAwB,GAAgC,IAAI,GAAG,CAAC;IAC3E,CAAC,0BAA0B,EAAE,KAAK,CAAC;IACnC,CAAC,mBAAmB,EAAE,KAAK,CAAC;IAC5B,CAAC,oBAAoB,EAAE,KAAK,CAAC;IAC7B,CAAC,yBAAyB,EAAE,KAAK,CAAC;IAClC,CAAC,uBAAuB,EAAE,KAAK,CAAC;IAChC,CAAC,gCAAgC,EAAE,KAAK,CAAC;IACzC,CAAC,+BAA+B,EAAE,KAAK,CAAC;IACxC,CAAC,gCAAgC,EAAE,KAAK,CAAC;IACzC,CAAC,+BAA+B,EAAE,KAAK,CAAC;CACzC,CAAC,CAAC;AAEH,2FAA2F;AAC3F,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,OAAO,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,IAAI,GAAG,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;AACxD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,EAAU;IACvD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChD,IAAI,QAAQ,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IAC7D,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,CAAC,CAAC;IAClC,MAAM,UAAU,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACjE,IAAI,UAAU,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,KAAK,CACb,qBAAqB,IAAI,QAAQ,QAAQ,SAAS,EAAE,QAAQ,MAAM,yBAAyB,CAC5F,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,UAAU,EAAE,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC;AAC3D,CAAC"}
+{"version":3,"file":"unit-convention.js","sourceRoot":"","sources":["../../src/dimensional/unit-convention.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvC,kGAAkG;AAClG,MAAM,wBAAwB,GAAgC,IAAI,GAAG,CAAC;IACpE,CAAC,0BAA0B,EAAE,KAAK,CAAC;IACnC,CAAC,mBAAmB,EAAE,KAAK,CAAC;IAC5B,CAAC,oBAAoB,EAAE,KAAK,CAAC;IAC7B,CAAC,yBAAyB,EAAE,KAAK,CAAC;IAClC,CAAC,uBAAuB,EAAE,KAAK,CAAC;IAChC,CAAC,gCAAgC,EAAE,KAAK,CAAC;IACzC,CAAC,+BAA+B,EAAE,KAAK,CAAC;IACxC,CAAC,gCAAgC,EAAE,KAAK,CAAC;IACzC,CAAC,+BAA+B,EAAE,KAAK,CAAC;CACzC,CAAC,CAAC;AAEH,2FAA2F;AAC3F,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,OAAO,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,IAAI,GAAG,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;AACxD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,EAAU;IACvD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChD,IAAI,QAAQ,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IAC7D,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,CAAC,CAAC;IAClC,MAAM,UAAU,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACjE,IAAI,UAAU,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,KAAK,CACb,qBAAqB,IAAI,QAAQ,QAAQ,SAAS,EAAE,QAAQ,MAAM,yBAAyB,CAC5F,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,UAAU,EAAE,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC;AAC3D,CAAC","sourcesContent":["/**\n * Per-quantity unit convention for the quantities whose dimension does not\n * decide the unit. Energy nodes here are GeV; the rest of the energy graph\n * is joules. Information nodes here are bits or nats; both are\n * dimensionless, and a bit is ln 2 nat. Entropy in J/K is dimensionally\n * distinct and tagged so a bit is not accepted as that entropy.\n *\n * A name absent from this table is read in SI, which is what\n * {@link readBinding} already returns. Representative magnitudes in\n * `representative-values.ts` stay in SI joules and are not read through\n * this table.\n *\n * @module dimensional/unit-convention\n * @internal\n */\n\nimport { equals } from './algebra.js';\nimport { parseUnit } from './units.js';\n\n/** Quantity name → the unit its evaluator speaks; read through {@link quantityConventionUnit}. */\nconst QUANTITY_CONVENTION_UNIT: ReadonlyMap<string, string> = new Map([\n  ['vacuum-expectation-value', 'GeV'],\n  ['dark-fermion-mass', 'GeV'],\n  ['planck-mass-energy', 'GeV'],\n  ['inflation-hubble-energy', 'GeV'],\n  ['intrinsic-information', 'bit'],\n  ['subsystem-entanglement-entropy', 'nat'],\n  ['modular-hamiltonian-variation', 'nat'],\n  ['entanglement-entropy-variation', 'nat'],\n  ['wormhole-entanglement-entropy', 'J/K'],\n]);\n\n/** The unit a quantity's evaluator speaks, or undefined when that unit is SI. @internal */\nexport function quantityConventionUnit(name: string): string | undefined {\n  return QUANTITY_CONVENTION_UNIT.get(name);\n}\n\n/** Scale a quantity's evaluator-unit value into SI. @internal */\nexport function conventionScaleToSI(name: string): number {\n  const unit = QUANTITY_CONVENTION_UNIT.get(name);\n  return unit === undefined ? 1 : parseUnit(unit).scale;\n}\n\n/**\n * Multiply a value in `from`'s convention to obtain the value in `to`'s\n * convention. Two untagged names, or two names with the same unit, are 1.\n * An untagged name is SI. Two tagged names whose dimensions differ throw:\n * copying the number would type-check and be meaningless.\n * @internal\n */\nexport function conventionFactor(from: string, to: string): number {\n  const fromUnit = QUANTITY_CONVENTION_UNIT.get(from);\n  const toUnit = QUANTITY_CONVENTION_UNIT.get(to);\n  if (fromUnit === undefined && toUnit === undefined) return 1;\n  if (fromUnit === toUnit) return 1;\n  const fromParsed = fromUnit === undefined ? null : parseUnit(fromUnit);\n  const toParsed = toUnit === undefined ? null : parseUnit(toUnit);\n  if (fromParsed !== null && toParsed !== null && !equals(fromParsed.dim, toParsed.dim)) {\n    throw new Error(\n      `unit convention: '${from}' is ${fromUnit} and '${to}' is ${toUnit}; the dimensions differ`,\n    );\n  }\n  return (fromParsed?.scale ?? 1) / (toParsed?.scale ?? 1);\n}\n"]}

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;AAyBD;;;;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,139 @@
+/**
+ * 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';
+/** π, 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) {
+    return {
+        L: d.L ?? 0,
+        M: d.M ?? 0,
+        T: d.T ?? 0,
+        I: d.I ?? 0,
+        Theta: d.Theta ?? 0,
+        N: d.N ?? 0,
+        J: d.J ?? 0,
+    };
+}
+/**
+ * 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,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,OAAO;QACL,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;QACnB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KACZ,CAAC;AACJ,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","sourcesContent":["/**\n * The unit table, loaded from `data/units.json` and validated once.\n *\n * The file is checked against `data/units.schema.json` when this module\n * loads (`core/data-file`), then against the rules a schema cannot state:\n * every scale expression reads, a symbol is spelled by one row, a refused\n * spelling and an affine spelling are not also a unit, every prefix letter is\n * both a prefix and a unit, and every `{NAME}` in a note is a constant. A\n * file that breaks one throws here, so `units.ts` never reads a half-valid table.\n *\n * A scale is an exact expression, read by `exact-scale.ts`. A name in it is a\n * shared scale from the file's `scales`, `pi`, or a constant under its registry\n * spelling (`c`, `e`, `m_u`, `M_sun`, `Msun_iau`, `ln2`; `constant-rows.ts`),\n * the same spelling a `{NAME}` note placeholder uses. A constant is read through\n * its shortest decimal (`scaleOf`), or as the irrational factor when its row is\n * `irrational`. A shared scale may not reuse a constant's spelling, so a name\n * has one meaning. The raw rows are strings and integer exponents, so another\n * exact reader (MathTS) replaces this loader without touching the file.\n *\n * @module dimensional/unit-data\n */\n\nimport { createHash } from 'node:crypto';\nimport { dataSchema, dataText, parseDataFile } from '../core/data-file.js';\nimport type { JsonSchema } from '../core/json-schema.js';\nimport { constantRow } from './constant-rows.js';\nimport type { Dimension } from './types.js';\nimport { decimalScale, irrationalScale, readScaleExpression, scaleOf, type ExactScale } from './exact-scale.js';\n\ntype DimensionFile = Partial<Record<keyof Dimension, number>>;\n\ninterface UnitFileRow {\n  readonly symbols: readonly string[];\n  readonly scale: string;\n  readonly dimension: DimensionFile;\n  readonly prefixable: boolean;\n  readonly cycles?: true;\n}\n\ninterface AffineFileRow {\n  readonly id: string;\n  readonly scale: string;\n  readonly icePoint: string;\n  readonly symbols: readonly string[];\n}\n\ninterface UnitFile {\n  readonly scales: Readonly<Record<string, string>>;\n  readonly prefixes: Readonly<Record<string, string>>;\n  readonly units: readonly UnitFileRow[];\n  readonly refused: readonly { readonly symbol: string; readonly reason: string }[];\n  readonly prefixLetterUnits: { readonly letters: readonly string[] };\n  readonly affine: { readonly iceKelvin: string; readonly scales: readonly AffineFileRow[] };\n  readonly spellingNotes: readonly { readonly spelling: string; readonly note: string }[];\n}\n\n/** One unit symbol, read exactly. @internal */\nexport interface UnitRow {\n  /** Exact scale to SI base units. */\n  readonly scale: ExactScale;\n  readonly dim: Dimension;\n  /** Takes an SI prefix. */\n  readonly prefixable: boolean;\n  /**\n   * The unit counts cycles (turns), not radians. An angular-frequency input in\n   * rad/s takes 2π per cycle; the radian itself does not.\n   */\n  readonly cycles?: true;\n}\n\n/** One affine temperature scale, read exactly. @internal */\nexport interface AffineRow {\n  readonly id: string;\n  /** Kelvin per degree, exactly. */\n  readonly scale: ExactScale;\n  /** The reading at the ice point (0 °C, 273.15 K), exactly. */\n  readonly icePoint: ExactScale;\n  readonly symbols: readonly string[];\n}\n\n/** The unit table `units.ts` reads. @internal */\nexport interface UnitTableData {\n  readonly units: ReadonlyMap<string, UnitRow>;\n  readonly prefixes: ReadonlyMap<string, ExactScale>;\n  /** Refused spelling → the message it prints. */\n  readonly refused: ReadonlyMap<string, string>;\n  readonly prefixLetterUnits: ReadonlySet<string>;\n  /** Kelvin at 0 °C, exactly. */\n  readonly iceKelvin: ExactScale;\n  readonly affine: readonly AffineRow[];\n  /** Spelling → its note, with every `{NAME}` replaced by that constant. */\n  readonly spellingNotes: ReadonlyMap<string, string>;\n  /** SHA-256 of `data/units.json` with line endings as LF, for the CLI record fingerprint. */\n  readonly sha256: string;\n}\n\n/** π, which the registry does not spell (a formula scope adds `pi` itself), as the irrational factor. */\nconst PI = 'pi';\nconst PI_SCALE = irrationalScale(Math.PI);\n\n/** The registered constant `name` spells, exactly: its irrational factor or its shortest decimal; undefined when no constant has that spelling. */\nfunction constantScale(name: string): ExactScale | undefined {\n  const constant = constantRow(name);\n  if (constant === undefined) return undefined;\n  return constant.irrational === true ? irrationalScale(constant.value) : scaleOf(constant.value);\n}\n\nfunction dimension(d: DimensionFile): Dimension {\n  return {\n    L: d.L ?? 0,\n    M: d.M ?? 0,\n    T: d.T ?? 0,\n    I: d.I ?? 0,\n    Theta: d.Theta ?? 0,\n    N: d.N ?? 0,\n    J: d.J ?? 0,\n  };\n}\n\n/**\n * Validate and read `text`, the contents of `data/units.json`, against `schema`.\n * Throws on a file the schema or the table rules reject. A test passes a broken copy.\n * @internal\n */\nexport function readUnitFile(text: string, schema: JsonSchema): UnitTableData {\n  const file = parseDataFile('units.json', text, schema) as UnitFile;\n  for (const name of Object.keys(file.scales)) {\n    if (name === PI || constantRow(name) !== undefined) {\n      throw new Error(`data/units.json: shared scale '${name}' is also ${name === PI ? 'π' : 'a registered constant'}; a name has one meaning`);\n    }\n  }\n\n  const named = new Map<string, ExactScale>();\n  const reading = new Set<string>();\n  const resolve = (name: string): ExactScale | undefined => {\n    if (name === PI) return PI_SCALE;\n    const shared = file.scales[name];\n    if (shared !== undefined) {\n      const done = named.get(name);\n      if (done !== undefined) return done;\n      if (reading.has(name)) throw new Error(`data/units.json: scale '${name}' is defined in terms of itself`);\n      reading.add(name);\n      const scale = readScaleExpression(shared, resolve);\n      reading.delete(name);\n      named.set(name, scale);\n      return scale;\n    }\n    return constantScale(name);\n  };\n  const read = (text: string, where: string): ExactScale => {\n    try {\n      return readScaleExpression(text, resolve);\n    } catch (error) {\n      throw new Error(`data/units.json ${where}: ${(error as Error).message}`);\n    }\n  };\n\n  const prefixes = new Map(Object.entries(file.prefixes).map(([prefix, text]) => [prefix, decimalScale(text)!] as const));\n  const units = new Map<string, UnitRow>();\n  for (const row of file.units) {\n    const scale = read(row.scale, `unit ${row.symbols[0]}`);\n    const unit: UnitRow = { scale, dim: dimension(row.dimension), prefixable: row.prefixable, ...(row.cycles ? { cycles: true as const } : {}) };\n    for (const symbol of row.symbols) {\n      if (units.has(symbol)) throw new Error(`data/units.json: unit '${symbol}' is spelled by two rows`);\n      units.set(symbol, unit);\n    }\n  }\n  const refused = new Map<string, string>();\n  for (const { symbol, reason } of file.refused) {\n    if (units.has(symbol) || refused.has(symbol)) throw new Error(`data/units.json: refused '${symbol}' is also a unit or refused twice`);\n    refused.set(symbol, reason);\n  }\n  for (const letter of file.prefixLetterUnits.letters) {\n    if (!prefixes.has(letter) || !units.has(letter)) {\n      throw new Error(`data/units.json: prefix letter '${letter}' is not both a prefix and a unit`);\n    }\n  }\n  const affine = file.affine.scales.map((row) => {\n    for (const symbol of row.symbols) {\n      if (units.has(symbol) || refused.has(symbol)) throw new Error(`data/units.json: affine '${symbol}' is also a unit or refused`);\n    }\n    return { id: row.id, scale: read(row.scale, `affine ${row.id}`), icePoint: read(row.icePoint, `affine ${row.id}`), symbols: row.symbols };\n  });\n  const spellingNotes = new Map<string, string>();\n  for (const { spelling, note } of file.spellingNotes) {\n    const filled = note.replace(/\\{([A-Za-z_][A-Za-z0-9_]*)\\}/g, (_, name: string) => {\n      const constant = constantRow(name);\n      if (constant === undefined) throw new Error(`data/units.json: note for '${spelling}' names '${name}', which is not a registered constant`);\n      return String(constant.value);\n    });\n    spellingNotes.set(spelling, filled);\n  }\n  return {\n    units,\n    prefixes,\n    refused,\n    prefixLetterUnits: new Set(file.prefixLetterUnits.letters),\n    iceKelvin: read(file.affine.iceKelvin, 'affine iceKelvin'),\n    affine,\n    spellingNotes,\n    sha256: createHash('sha256').update(text.replace(/\\r\\n/g, '\\n')).digest('hex'),\n  };\n}\n\n/** The unit table, read once from `data/units.json`. @internal */\nexport const UNIT_DATA: UnitTableData = readUnitFile(dataText('units.json'), dataSchema('units.json'));\n"]}

package/dist/dimensional/units.d.ts

@@ -1,58 +1,121 @@
 import type { Dimension } from './types.js';
+import { type ExactScale } from './exact-scale.js';
+/** An affine temperature scale: a lone `degC` or `degF`. @public */
+export type AffineTemperature = 'celsius' | 'fahrenheit';
 /** A unit, as a scale to SI base units and a dimension. @public */
 export interface ParsedUnit {
     readonly scale: number;
     readonly dim: Dimension;
     /** Set only for a lone affine temperature, which needs a reading. */
-    readonly affine?: 'celsius' | 'fahrenheit';
+    readonly affine?: AffineTemperature;
 }
 /** Thrown for any input that does not parse as a value with a known unit. @public */
 export declare class UnitError extends Error {
     constructor(message: string);
 }
+/** A symbol no table row and no prefix spells. @public */
+export declare class UnknownUnitError extends UnitError {
+    readonly symbol: string;
+    constructor(symbol: string);
+}
+/**
+ * A unit the reader recognizes and refuses: a logarithmic or ratio unit, an
+ * ambiguous name such as `ton`, or an affine temperature inside a compound.
+ * @public
+ */
+export declare class UnitRefusedError extends UnitError {
+    constructor(message: string);
+}
+/** A unit expression with more than one dimensionally distinct reading. @public */
+export declare class AmbiguousUnitError extends UnitError {
+    readonly text: string;
+    readonly readings: readonly string[];
+    constructor(text: string, readings: readonly string[]);
+}
 /**
- * Spellings that convert correctly and still mean something else to a reader.
- * `myr` is a milliyear, `Msun` is `M_SUN_SI`, bare `G` is the gauss, bare `T`
- * is the tesla, and bare `A` is the ampere rather than the angstrom.
+ * How a reading on an affine scale becomes kelvin, from the row's scale and
+ * ice point: `absolute: (degF − 32) × 5/9 + 273.15`, `a difference: × 5/9, no offset`.
+ * @internal
+ */
+export declare function affineReadingNote(affine: AffineTemperature, reading: TemperatureReading): string;
+/** One reading of a unit expression, with its exact scale. @internal */
+export interface UnitReading extends ParsedUnit {
+    readonly label: string;
+    readonly exact: ExactScale;
+    /** Net power of cycle-counting units (Hz, rpm): 1 for a lone `kHz`, 0 for `1/s`. */
+    readonly cycles: number;
+}
+/**
+ * Spellings that convert correctly and still mean something else to a reader:
+ * the `spellingNotes` of `data/units.json` for each symbol in `given`, in file
+ * order. `myr` is a milliyear, bare `G` is the gauss, bare `A` the ampere.
  * @internal
  */
 export declare function unitConventionNotes(given: string): string[];
+/** The one reading of a unit expression; more than one is refused. @internal */
+export declare function readUnit(text: string): UnitReading;
 /** Parse a unit expression; the empty string is dimensionless. @public */
 export declare function parseUnit(text: string): ParsedUnit;
 /** How a temperature value is read: as a point on the scale, or as a difference. @public */
 export type TemperatureReading = 'absolute' | 'difference';
-/** Kelvin added when this affine unit is an absolute point. @internal */
-export declare function affineAbsoluteOffsetK(id: 'celsius' | 'fahrenheit'): number;
+/** A number with a unit, read exactly and rounded once. @internal */
+export interface QuantityLiteral {
+    /** SI value; a bare number is unchanged. */
+    readonly value: number;
+    readonly dim: Dimension;
+    /** The unit text as given; `''` for a bare number. */
+    readonly unit: string;
+    readonly cycles: number;
+    readonly affine?: AffineTemperature;
+}
+/**
+ * Read `raw` as one number with an optional unit, in SI. Null when `raw` is
+ * not that form or names a unit no row spells, so the caller can read it as
+ * an expression. A refused unit and an ambiguous one throw. The value may be
+ * non-finite (`1e999`); the caller owns that refusal and its error class.
+ * @internal
+ */
+export declare function readQuantityLiteral(raw: string, temperature?: TemperatureReading): QuantityLiteral | null;
+/** A value converted into a declared unit. @public */
+export interface ConvertedValue {
+    readonly value: number;
+    /** The unit the user gave; `''` for a bare number. */
+    readonly given: string;
+    /** Net power of cycle-counting units in `given` (1 for `Hz` or `rpm`); absent when 0. */
+    readonly cycles?: number;
+    /** Set when `given` is a lone affine temperature. */
+    readonly affine?: AffineTemperature;
+}
 /**
  * Convert `raw` (`<number>[unit]`) into `target` (a unit expression). A bare
  * number is taken to be in `target` already. The dimensions must agree.
  *
+ * The magnitude, the unit scales and the target scale are multiplied as
+ * exact rationals and rounded once, so `1 g/cm^3` in `kg/m^3` is 1000.
+ *
  * @returns the value in `target`, and the unit the user gave (`''` for none).
  * @public
  */
-export declare function convertValue(raw: string, target: string, reading?: TemperatureReading): {
-    value: number;
-    given: string;
-};
+export declare function convertValue(raw: string, target: string, temperature?: TemperatureReading): ConvertedValue;
+/** The dimension of a declared unit expression. @internal */
+export declare function unitDimension(unit: string): Dimension;
+/** The symbols the unit table spells, with their exact scales, for the agreement test against MathTS. @internal */
+export declare function unitRows(): ReadonlyMap<string, {
+    readonly scale: ExactScale;
+    readonly dim: Dimension;
+    readonly prefixable: boolean;
+}>;
 /**
- * MathTS's SI value for `magnitude` of `unitText`, when that value and the
- * 7-base dimension agree with `local`. Affine °C stays on the local offset.
- * A symbol MathTS lacks, or a scale it disagrees with (`bit` is 1 there and
- * ln 2 here; a solar mass, a Julian year, and the gauss are absent), returns
- * undefined so the caller keeps the local table.
- *
+ * The tables conversion reads, for the CLI record's fingerprint (`src/cli/record-tables.ts`):
+ * each row's scale, dimension, prefixability and `cycles` flag (which multiplies an angular
+ * input by 2π), the prefixes, the Celsius offset, and the SHA-256 of `data/units.json`, so a
+ * refused spelling, a prefix letter, an affine row or a note that changes changes the fingerprint too.
  * @internal
  */
-export declare function mathTsAgreedQuantity(magnitude: number, unitText: string, local: ParsedUnit): {
-    value: number;
-    dim: Dimension;
-} | undefined;
-/** The dimension of a declared unit expression. @internal */
-export declare function unitDimension(unit: string): Dimension;
-/** The tables conversion reads, for the CLI record's fingerprint (`src/cli/record-tables.ts`). @internal */
 export declare function unitTables(): {
-    units: ReadonlyMap<string, readonly [number, Dimension, boolean]>;
+    units: ReadonlyMap<string, readonly [number, Dimension, boolean, boolean]>;
     prefixes: ReadonlyMap<string, number>;
     celsiusOffsetK: number;
+    sourceSha256: string;
 };
 //# sourceMappingURL=units.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"units.d.ts","sourceRoot":"","sources":["../../src/dimensional/units.ts"],"names":[],"mappings":"AA2CA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAK5C,mEAAmE;AACnE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,qEAAqE;IACrE,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,GAAG,YAAY,CAAC;CAC5C;AAED,qFAAqF;AACrF,qBAAa,SAAU,SAAQ,KAAK;IAClC,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAmUD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAgB3D;AAED,0EAA0E;AAC1E,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAUlD;AAED,4FAA4F;AAC5F,MAAM,MAAM,kBAAkB,GAAG,UAAU,GAAG,YAAY,CAAC;AAE3D,yEAAyE;AACzE,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,SAAS,GAAG,YAAY,GAAG,MAAM,CAI1E;AASD;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,GAAG,EAAE,MAAM,EACX,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,kBAA+B,GACvC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CA0BlC;AA6CD;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,UAAU,GAChB;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,SAAS,CAAA;CAAE,GAAG,SAAS,CAU/C;AAOD,6DAA6D;AAC7D,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAErD;AAED,4GAA4G;AAC5G,wBAAgB,UAAU,IAAI;IAC5B,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IAClE,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,cAAc,EAAE,MAAM,CAAC;CACxB,CAEA"}
+{"version":3,"file":"units.d.ts","sourceRoot":"","sources":["../../src/dimensional/units.ts"],"names":[],"mappings":"AA+CA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAUL,KAAK,UAAU,EAChB,MAAM,kBAAkB,CAAC;AAG1B,oEAAoE;AACpE,MAAM,MAAM,iBAAiB,GAAG,SAAS,GAAG,YAAY,CAAC;AAEzD,mEAAmE;AACnE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,qEAAqE;IACrE,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;CACrC;AAED,qFAAqF;AACrF,qBAAa,SAAU,SAAQ,KAAK;IAClC,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED,0DAA0D;AAC1D,qBAAa,gBAAiB,SAAQ,SAAS;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM;IAAnC,YAAqB,MAAM,EAAE,MAAM,EAGlC;CACF;AAED;;;;GAIG;AACH,qBAAa,gBAAiB,SAAQ,SAAS;IAC7C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED,mFAAmF;AACnF,qBAAa,kBAAmB,SAAQ,SAAS;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM;IAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE;IAAvE,YAAqB,IAAI,EAAE,MAAM,EAAW,QAAQ,EAAE,SAAS,MAAM,EAAE,EAGtE;CACF;AAuCD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,iBAAiB,EAAE,OAAO,EAAE,kBAAkB,GAAG,MAAM,CAQhG;AAqJD,wEAAwE;AACxE,MAAM,WAAW,WAAY,SAAQ,UAAU;IAC7C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,oFAAoF;IACpF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAuGD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAG3D;AAED,gFAAgF;AAChF,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAKlD;AAED,0EAA0E;AAC1E,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAGlD;AAED,4FAA4F;AAC5F,MAAM,MAAM,kBAAkB,GAAG,UAAU,GAAG,YAAY,CAAC;AAiC3D,qEAAqE;AACrE,MAAM,WAAW,eAAe;IAC9B,4CAA4C;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,sDAAsD;IACtD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;CACrC;AAOD;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,GAAE,kBAA+B,GAAG,eAAe,GAAG,IAAI,CAoBrH;AAED,sDAAsD;AACtD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,yFAAyF;IACzF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,qDAAqD;IACrD,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;CACrC;AAED;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,GAAE,kBAA+B,GAAG,cAAc,CAuBtH;AAED,6DAA6D;AAC7D,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAErD;AAED,mHAAmH;AACnH,wBAAgB,QAAQ,IAAI,WAAW,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CAErI;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,IAAI;IAC5B,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3E,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;CACtB,CAOA"}