universal-physics-tensor 10.0.0 → 11.0.0

package/dist/dimensional/gauge-field.js.map

@@ -1 +1 @@
-{"version":3,"file":"gauge-field.js","sourceRoot":"","sources":["../../src/dimensional/gauge-field.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AAGH,OAAO,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AAoGzE,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAoB;IACrD,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CACb,8DAA8D;YAC9D,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CACtC,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAA+B,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IACtF,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CACb,0EAA0E;YAC1E,uBAAuB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAC5D,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IACrB,MAAM,IAAI,GAAmC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACrF,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QACtB,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,KAAK,CACb,mCAAmC,EAAE,2BAA2B;gBAChE,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,eAAe,IAAI,CAAC,IAAI,KAAK,CAC7D,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAkBD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,6BAA6B,CAC3C,IAA+B;IAE/B,mEAAmE;IACnE,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CACb,gEAAgE;YAChE,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,sCAAsC;YAC5D,SAAS,IAAI,CAAC,QAAQ,CAAC,WAAW,kCAAkC;YACpE,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IAED,mEAAmE;IACnE,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CACb,gEAAgE;YAChE,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,sCAAsC;YAC5D,SAAS,IAAI,CAAC,QAAQ,CAAC,WAAW,kCAAkC;YACpE,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IAED,gEAAgE;IAChE,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAElC,yDAAyD;IACzD,qEAAqE;IACrE,wEAAwE;IACxE,0BAA0B,CACxB,2BAA2B,EAC3B,mBAAmB,IAAI,CAAC,QAAQ,CAAC,IAAI,OAAO,EAC5C,IAAI,CAAC,QAAQ,CAAC,GAAG,EACjB,IAAI,CAAC,QAAQ,CAAC,GAAG,EACjB,kEAAkE;QAClE,qEAAqE,CACtE,CAAC;IAEF,6DAA6D;IAC7D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CACb,wEAAwE;YACxE,eAAe,IAAI,CAAC,OAAO,+CAA+C;YAC1E,8CAA8C,CAC/C,CAAC;IACJ,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG;QAC3B,OAAO,EAAE,IAAI,CAAC,OAAO;KACtB,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Gauge-field AST primitives for Wheeler-Feynman absorber-theory\n * time-symmetric electrodynamics.\n *\n * Wheeler-Feynman absorber theory (Wheeler & Feynman 1945\n * Rev. Mod. Phys. 17:157; Wheeler & Feynman 1949\n * Rev. Mod. Phys. 21:425) uses TIME-SYMMETRIC electrodynamics:\n * radiation reaction arises from the half-retarded +\n * half-advanced potential combination\n *\n *   A_μ(x) = (1/2) [A_μ^ret(x) + A_μ^adv(x)].\n *\n * Under the absorber boundary condition (every emitted disturbance\n * is fully absorbed by future matter), this symmetric form is\n * physically equivalent to retarded-only Maxwell.\n *\n * Two primitives are provided:\n *\n *   1. `GaugeFieldNode` — tags an EM gauge field with its\n *      \"arrow of time\": retarded (Liénard-Wiechert advanced\n *      Green's function), advanced (retarded Green's function\n *      — past-directed), or symmetric (half-half combination).\n *      The consumer supplies the dimension (SI: V·s/m =\n *      { L:1, M:1, T:-2, I:-1 }) or works with the ratio which\n *      is dimensionless.\n *\n *   2. `TimeSymmetryPredicateNode` — asserts that the\n *      dimensionless time-symmetry residual\n *      |A_ret − A_adv| / |A_ret + A_adv| is bounded by ε.\n *      Identically 0 under the absorber boundary condition.\n *      This is a PREDICATE node (like `EinsteinFieldEquationNode`)\n *      — not a value-producing expression.\n *\n * Phase 1 demonstrator pattern: follows\n * `src/dimensional/klein-gordon-equation.ts` (field-equation-helpers\n * pattern, Phase 1 of TensorEquationNode generalization).\n *\n * @see docs/architecture/archive/v0.7-be-x-reencoding-design-note.md §BE-50\n * @module dimensional/gauge-field\n */\n\nimport type { Dimension } from './types.js';\nimport { validateComponentDimension } from './field-equation-helpers.js';\n\n// ---------------------------------------------------------------------------\n// GaugeFieldNode\n// ---------------------------------------------------------------------------\n\n/**\n * Arrow-of-time tag for an electromagnetic gauge potential.\n *\n * - `'retarded'`  — propagator uses the retarded Green's function\n *   (∝ Liénard-Wiechert advanced solution); causal, future-directed.\n * - `'advanced'`  — propagator uses the advanced Green's function\n *   (∝ Liénard-Wiechert retarded solution); anti-causal, past-directed.\n * - `'symmetric'` — half-retarded + half-advanced combination\n *   (Wheeler-Feynman's A_μ = (1/2)[A_μ^ret + A_μ^adv]).\n *\n * @public\n */\nexport type ArrowOfTime = 'retarded' | 'advanced' | 'symmetric';\n\n/**\n * AST node for an electromagnetic gauge potential A_μ with an explicit\n * arrow-of-time tag.\n *\n * The `dim` field carries the SI dimension of the gauge field. For the\n * Wheeler-Feynman time-symmetry ratio, the dimension of the numerator\n * and denominator cancel, yielding a dimensionless result — but the\n * `dim` field is required so the validator can confirm that both the\n * retarded and advanced fields in a `TimeSymmetryPredicateNode` share\n * the same dimension (the ratio is well-defined only if they do).\n *\n * Canonical SI dim of the magnetic vector potential A_μ:\n *   [A] = V·s/m = kg·m/(A·s²) = { L: 1, M: 1, T: -2, I: -1 }\n *\n * @public\n */\nexport interface GaugeFieldNode {\n  /** Discriminator: `'gauge-field'`. */\n  readonly kind: 'gauge-field';\n  /** Human-readable field name (e.g., `'A_ret'`, `'A_adv'`, `'A_mu'`). */\n  readonly name: string;\n  /**\n   * Arrow-of-time tag. Documents whether this field was computed using\n   * the retarded Green's function, the advanced Green's function, or\n   * the symmetric half-half combination.\n   */\n  readonly arrowOfTime: ArrowOfTime;\n  /**\n   * SI dimension of the gauge field. Both retarded and advanced fields\n   * must share the same dimension for the time-symmetry ratio to be\n   * well-defined (dimensionless by cancellation).\n   */\n  readonly dim: Dimension;\n}\n\n// ---------------------------------------------------------------------------\n// TimeSymmetryPredicateNode\n// ---------------------------------------------------------------------------\n\n/**\n * AST predicate node for the Wheeler-Feynman time-symmetry condition.\n *\n * Asserts that the dimensionless time-symmetry residual\n *\n *   |A_ret − A_adv| / |A_ret + A_adv| ≤ ε\n *\n * is bounded by `epsilon`. Under the absorber boundary condition\n * (Wheeler & Feynman 1945), this residual is identically 0 on\n * physical states. A non-zero `epsilon` documents the allowable\n * deviation (e.g., a Cramer 1986 experimental bound of 10⁻²).\n *\n * This is a PREDICATE node (like `EinsteinFieldEquationNode`) —\n * not a value-producing expression. Numerical evaluation of the\n * residual for specific field amplitudes is out of scope; the catalog\n * relation be-50 that consumes this node has no numerical evaluator.\n *\n * @public\n */\nexport interface TimeSymmetryPredicateNode {\n  /** Discriminator: `'time-symmetry-predicate'`. */\n  readonly kind: 'time-symmetry-predicate';\n  /**\n   * The retarded gauge potential A_μ^ret.\n   * Must have `arrowOfTime: 'retarded'`.\n   */\n  readonly retarded: GaugeFieldNode;\n  /**\n   * The advanced gauge potential A_μ^adv.\n   * Must have `arrowOfTime: 'advanced'`.\n   */\n  readonly advanced: GaugeFieldNode;\n  /**\n   * Bound on the time-symmetry residual: |A_ret − A_adv| / |A_ret + A_adv| ≤ epsilon.\n   * Must be strictly positive and finite.\n   * Set to a small value (e.g., 1e-3) to encode an experimental bound,\n   * or to `Number.EPSILON` to assert near-exact absorber-theory symmetry.\n   */\n  readonly epsilon: number;\n}\n\n// ---------------------------------------------------------------------------\n// Validators\n// ---------------------------------------------------------------------------\n\n/**\n * Validate a `GaugeFieldNode`.\n *\n * Three predicates:\n *   1. `name` must be a non-empty string.\n *   2. `arrowOfTime` must be one of `'retarded'`, `'advanced'`, `'symmetric'`.\n *   3. `dim` must be a valid `Dimension` object (all 7 SI exponents present\n *      as finite numbers).\n *\n * Throws `Error` with `'gauge-field'` in the message on any failure.\n *\n * @public\n */\nexport function validateGaugeField(node: GaugeFieldNode): void {\n  if (typeof node.name !== 'string' || node.name.trim().length === 0) {\n    throw new Error(\n      `GaugeFieldNode: gauge-field name must be a non-empty string ` +\n      `(got ${JSON.stringify(node.name)}).`,\n    );\n  }\n\n  const validArrows: ReadonlyArray<ArrowOfTime> = ['retarded', 'advanced', 'symmetric'];\n  if (!validArrows.includes(node.arrowOfTime)) {\n    throw new Error(\n      `GaugeFieldNode: gauge-field arrowOfTime must be 'retarded', 'advanced', ` +\n      `or 'symmetric' (got ${JSON.stringify(node.arrowOfTime)}).`,\n    );\n  }\n\n  const dim = node.dim;\n  const axes: ReadonlyArray<keyof Dimension> = ['L', 'M', 'T', 'I', 'Theta', 'N', 'J'];\n  for (const ax of axes) {\n    if (typeof dim[ax] !== 'number' || !Number.isFinite(dim[ax])) {\n      throw new Error(\n        `GaugeFieldNode: gauge-field dim.${ax} must be a finite number ` +\n        `(got ${JSON.stringify(dim[ax])} for field '${node.name}').`,\n      );\n    }\n  }\n}\n\n/**\n * Result of validating a `TimeSymmetryPredicateNode`.\n *\n * @public\n */\nexport interface TimeSymmetryPredicateValidationResult {\n  /**\n   * The shared dimension of the retarded and advanced gauge fields.\n   * The ratio |A_ret − A_adv| / |A_ret + A_adv| is dimensionless\n   * because this dimension cancels.\n   */\n  readonly fieldDim: Dimension;\n  /** The validated epsilon bound (> 0, finite). */\n  readonly epsilon: number;\n}\n\n/**\n * Validate a `TimeSymmetryPredicateNode`.\n *\n * Four predicates (following the field-equation-helpers pattern):\n *\n *   1. **Arrow-of-time tags** — `retarded.arrowOfTime` must be\n *      `'retarded'`; `advanced.arrowOfTime` must be `'advanced'`.\n *   2. **Per-field validity** — both `GaugeFieldNode`s pass\n *      `validateGaugeField`.\n *   3. **Dimension equality** — `retarded.dim` and `advanced.dim`\n *      must match (so the ratio is dimensionless by cancellation).\n *      Uses `validateComponentDimension` from field-equation-helpers.\n *   4. **Epsilon bound** — `epsilon` must be strictly positive and\n *      finite (`epsilon > 0` and `Number.isFinite(epsilon)`).\n *\n * Error messages contain `'symmetry'` for arrow-of-time mismatches\n * and `'dimension'` for dim-equality failures (error-keyword\n * discipline shared with EinsteinFieldEquationNode and\n * KleinGordonEquationNode).\n *\n * @public\n */\nexport function validateTimeSymmetryPredicate(\n  node: TimeSymmetryPredicateNode,\n): TimeSymmetryPredicateValidationResult {\n  // Predicate 1a: retarded field's arrow-of-time must be 'retarded'.\n  if (node.retarded.arrowOfTime !== 'retarded') {\n    throw new Error(\n      `TimeSymmetryPredicateNode: symmetry mismatch — retarded field ` +\n      `'${node.retarded.name}' must have arrowOfTime: 'retarded' ` +\n      `(got '${node.retarded.arrowOfTime}'). The time-symmetry predicate ` +\n      `requires A_ret to carry the retarded arrow-of-time tag.`,\n    );\n  }\n\n  // Predicate 1b: advanced field's arrow-of-time must be 'advanced'.\n  if (node.advanced.arrowOfTime !== 'advanced') {\n    throw new Error(\n      `TimeSymmetryPredicateNode: symmetry mismatch — advanced field ` +\n      `'${node.advanced.name}' must have arrowOfTime: 'advanced' ` +\n      `(got '${node.advanced.arrowOfTime}'). The time-symmetry predicate ` +\n      `requires A_adv to carry the advanced arrow-of-time tag.`,\n    );\n  }\n\n  // Predicate 2: both GaugeFieldNodes pass individual validation.\n  validateGaugeField(node.retarded);\n  validateGaugeField(node.advanced);\n\n  // Predicate 3: retarded.dim and advanced.dim must match.\n  // Uses validateComponentDimension from field-equation-helpers — same\n  // helper used by KleinGordonEquationNode and EinsteinFieldEquationNode.\n  validateComponentDimension(\n    'TimeSymmetryPredicateNode',\n    `advanced field '${node.advanced.name}' dim`,\n    node.advanced.dim,\n    node.retarded.dim,\n    `A_ret and A_adv must share the same dimension so that the ratio ` +\n    `|A_ret − A_adv| / |A_ret + A_adv| is dimensionless by cancellation.`,\n  );\n\n  // Predicate 4: epsilon must be strictly positive and finite.\n  if (!Number.isFinite(node.epsilon) || node.epsilon <= 0) {\n    throw new Error(\n      `TimeSymmetryPredicateNode: epsilon must be a strictly positive finite ` +\n      `number (got ${node.epsilon}). epsilon bounds the time-symmetry residual ` +\n      `|A_ret − A_adv| / |A_ret + A_adv| ≤ epsilon.`,\n    );\n  }\n\n  return {\n    fieldDim: node.retarded.dim,\n    epsilon: node.epsilon,\n  };\n}\n"]}
+{"version":3,"file":"gauge-field.js","sourceRoot":"","sources":["../../src/dimensional/gauge-field.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AAGH,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AACrC,OAAO,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AAoGzE,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAoB;IACrD,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CACb,8DAA8D;YAC9D,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CACtC,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAA+B,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IACtF,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CACb,0EAA0E;YAC1E,uBAAuB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAC5D,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IACrB,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,KAAK,CACb,mCAAmC,EAAE,2BAA2B;gBAChE,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,eAAe,IAAI,CAAC,IAAI,KAAK,CAC7D,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAkBD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,6BAA6B,CAC3C,IAA+B;IAE/B,mEAAmE;IACnE,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CACb,gEAAgE;YAChE,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,sCAAsC;YAC5D,SAAS,IAAI,CAAC,QAAQ,CAAC,WAAW,kCAAkC;YACpE,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IAED,mEAAmE;IACnE,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CACb,gEAAgE;YAChE,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,sCAAsC;YAC5D,SAAS,IAAI,CAAC,QAAQ,CAAC,WAAW,kCAAkC;YACpE,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IAED,gEAAgE;IAChE,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAElC,yDAAyD;IACzD,qEAAqE;IACrE,wEAAwE;IACxE,0BAA0B,CACxB,2BAA2B,EAC3B,mBAAmB,IAAI,CAAC,QAAQ,CAAC,IAAI,OAAO,EAC5C,IAAI,CAAC,QAAQ,CAAC,GAAG,EACjB,IAAI,CAAC,QAAQ,CAAC,GAAG,EACjB,kEAAkE;QAClE,qEAAqE,CACtE,CAAC;IAEF,6DAA6D;IAC7D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CACb,wEAAwE;YACxE,eAAe,IAAI,CAAC,OAAO,+CAA+C;YAC1E,8CAA8C,CAC/C,CAAC;IACJ,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG;QAC3B,OAAO,EAAE,IAAI,CAAC,OAAO;KACtB,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Gauge-field AST primitives for Wheeler-Feynman absorber-theory\n * time-symmetric electrodynamics.\n *\n * Wheeler-Feynman absorber theory (Wheeler & Feynman 1945\n * Rev. Mod. Phys. 17:157; Wheeler & Feynman 1949\n * Rev. Mod. Phys. 21:425) uses TIME-SYMMETRIC electrodynamics:\n * radiation reaction arises from the half-retarded +\n * half-advanced potential combination\n *\n *   A_μ(x) = (1/2) [A_μ^ret(x) + A_μ^adv(x)].\n *\n * Under the absorber boundary condition (every emitted disturbance\n * is fully absorbed by future matter), this symmetric form is\n * physically equivalent to retarded-only Maxwell.\n *\n * Two primitives are provided:\n *\n *   1. `GaugeFieldNode` — tags an EM gauge field with its\n *      \"arrow of time\": retarded (Liénard-Wiechert advanced\n *      Green's function), advanced (retarded Green's function\n *      — past-directed), or symmetric (half-half combination).\n *      The consumer supplies the dimension (SI: V·s/m =\n *      { L:1, M:1, T:-2, I:-1 }) or works with the ratio which\n *      is dimensionless.\n *\n *   2. `TimeSymmetryPredicateNode` — asserts that the\n *      dimensionless time-symmetry residual\n *      |A_ret − A_adv| / |A_ret + A_adv| is bounded by ε.\n *      Identically 0 under the absorber boundary condition.\n *      This is a PREDICATE node (like `EinsteinFieldEquationNode`)\n *      — not a value-producing expression.\n *\n * Phase 1 demonstrator pattern: follows\n * `src/dimensional/klein-gordon-equation.ts` (field-equation-helpers\n * pattern, Phase 1 of TensorEquationNode generalization).\n *\n * @see docs/architecture/archive/v0.7-be-x-reencoding-design-note.md §BE-50\n * @module dimensional/gauge-field\n */\n\nimport type { Dimension } from './types.js';\nimport { BASES } from './algebra.js';\nimport { validateComponentDimension } from './field-equation-helpers.js';\n\n// ---------------------------------------------------------------------------\n// GaugeFieldNode\n// ---------------------------------------------------------------------------\n\n/**\n * Arrow-of-time tag for an electromagnetic gauge potential.\n *\n * - `'retarded'`  — propagator uses the retarded Green's function\n *   (∝ Liénard-Wiechert advanced solution); causal, future-directed.\n * - `'advanced'`  — propagator uses the advanced Green's function\n *   (∝ Liénard-Wiechert retarded solution); anti-causal, past-directed.\n * - `'symmetric'` — half-retarded + half-advanced combination\n *   (Wheeler-Feynman's A_μ = (1/2)[A_μ^ret + A_μ^adv]).\n *\n * @public\n */\nexport type ArrowOfTime = 'retarded' | 'advanced' | 'symmetric';\n\n/**\n * AST node for an electromagnetic gauge potential A_μ with an explicit\n * arrow-of-time tag.\n *\n * The `dim` field carries the SI dimension of the gauge field. For the\n * Wheeler-Feynman time-symmetry ratio, the dimension of the numerator\n * and denominator cancel, yielding a dimensionless result — but the\n * `dim` field is required so the validator can confirm that both the\n * retarded and advanced fields in a `TimeSymmetryPredicateNode` share\n * the same dimension (the ratio is well-defined only if they do).\n *\n * Canonical SI dim of the magnetic vector potential A_μ:\n *   [A] = V·s/m = kg·m/(A·s²) = { L: 1, M: 1, T: -2, I: -1 }\n *\n * @public\n */\nexport interface GaugeFieldNode {\n  /** Discriminator: `'gauge-field'`. */\n  readonly kind: 'gauge-field';\n  /** Human-readable field name (e.g., `'A_ret'`, `'A_adv'`, `'A_mu'`). */\n  readonly name: string;\n  /**\n   * Arrow-of-time tag. Documents whether this field was computed using\n   * the retarded Green's function, the advanced Green's function, or\n   * the symmetric half-half combination.\n   */\n  readonly arrowOfTime: ArrowOfTime;\n  /**\n   * SI dimension of the gauge field. Both retarded and advanced fields\n   * must share the same dimension for the time-symmetry ratio to be\n   * well-defined (dimensionless by cancellation).\n   */\n  readonly dim: Dimension;\n}\n\n// ---------------------------------------------------------------------------\n// TimeSymmetryPredicateNode\n// ---------------------------------------------------------------------------\n\n/**\n * AST predicate node for the Wheeler-Feynman time-symmetry condition.\n *\n * Asserts that the dimensionless time-symmetry residual\n *\n *   |A_ret − A_adv| / |A_ret + A_adv| ≤ ε\n *\n * is bounded by `epsilon`. Under the absorber boundary condition\n * (Wheeler & Feynman 1945), this residual is identically 0 on\n * physical states. A non-zero `epsilon` documents the allowable\n * deviation (e.g., a Cramer 1986 experimental bound of 10⁻²).\n *\n * This is a PREDICATE node (like `EinsteinFieldEquationNode`) —\n * not a value-producing expression. Numerical evaluation of the\n * residual for specific field amplitudes is out of scope; the catalog\n * relation be-50 that consumes this node has no numerical evaluator.\n *\n * @public\n */\nexport interface TimeSymmetryPredicateNode {\n  /** Discriminator: `'time-symmetry-predicate'`. */\n  readonly kind: 'time-symmetry-predicate';\n  /**\n   * The retarded gauge potential A_μ^ret.\n   * Must have `arrowOfTime: 'retarded'`.\n   */\n  readonly retarded: GaugeFieldNode;\n  /**\n   * The advanced gauge potential A_μ^adv.\n   * Must have `arrowOfTime: 'advanced'`.\n   */\n  readonly advanced: GaugeFieldNode;\n  /**\n   * Bound on the time-symmetry residual: |A_ret − A_adv| / |A_ret + A_adv| ≤ epsilon.\n   * Must be strictly positive and finite.\n   * Set to a small value (e.g., 1e-3) to encode an experimental bound,\n   * or to `Number.EPSILON` to assert near-exact absorber-theory symmetry.\n   */\n  readonly epsilon: number;\n}\n\n// ---------------------------------------------------------------------------\n// Validators\n// ---------------------------------------------------------------------------\n\n/**\n * Validate a `GaugeFieldNode`.\n *\n * Three predicates:\n *   1. `name` must be a non-empty string.\n *   2. `arrowOfTime` must be one of `'retarded'`, `'advanced'`, `'symmetric'`.\n *   3. `dim` must be a valid `Dimension` object (all 7 SI exponents present\n *      as finite numbers).\n *\n * Throws `Error` with `'gauge-field'` in the message on any failure.\n *\n * @public\n */\nexport function validateGaugeField(node: GaugeFieldNode): void {\n  if (typeof node.name !== 'string' || node.name.trim().length === 0) {\n    throw new Error(\n      `GaugeFieldNode: gauge-field name must be a non-empty string ` +\n      `(got ${JSON.stringify(node.name)}).`,\n    );\n  }\n\n  const validArrows: ReadonlyArray<ArrowOfTime> = ['retarded', 'advanced', 'symmetric'];\n  if (!validArrows.includes(node.arrowOfTime)) {\n    throw new Error(\n      `GaugeFieldNode: gauge-field arrowOfTime must be 'retarded', 'advanced', ` +\n      `or 'symmetric' (got ${JSON.stringify(node.arrowOfTime)}).`,\n    );\n  }\n\n  const dim = node.dim;\n  for (const ax of BASES) {\n    if (typeof dim[ax] !== 'number' || !Number.isFinite(dim[ax])) {\n      throw new Error(\n        `GaugeFieldNode: gauge-field dim.${ax} must be a finite number ` +\n        `(got ${JSON.stringify(dim[ax])} for field '${node.name}').`,\n      );\n    }\n  }\n}\n\n/**\n * Result of validating a `TimeSymmetryPredicateNode`.\n *\n * @public\n */\nexport interface TimeSymmetryPredicateValidationResult {\n  /**\n   * The shared dimension of the retarded and advanced gauge fields.\n   * The ratio |A_ret − A_adv| / |A_ret + A_adv| is dimensionless\n   * because this dimension cancels.\n   */\n  readonly fieldDim: Dimension;\n  /** The validated epsilon bound (> 0, finite). */\n  readonly epsilon: number;\n}\n\n/**\n * Validate a `TimeSymmetryPredicateNode`.\n *\n * Four predicates (following the field-equation-helpers pattern):\n *\n *   1. **Arrow-of-time tags** — `retarded.arrowOfTime` must be\n *      `'retarded'`; `advanced.arrowOfTime` must be `'advanced'`.\n *   2. **Per-field validity** — both `GaugeFieldNode`s pass\n *      `validateGaugeField`.\n *   3. **Dimension equality** — `retarded.dim` and `advanced.dim`\n *      must match (so the ratio is dimensionless by cancellation).\n *      Uses `validateComponentDimension` from field-equation-helpers.\n *   4. **Epsilon bound** — `epsilon` must be strictly positive and\n *      finite (`epsilon > 0` and `Number.isFinite(epsilon)`).\n *\n * Error messages contain `'symmetry'` for arrow-of-time mismatches\n * and `'dimension'` for dim-equality failures (error-keyword\n * discipline shared with EinsteinFieldEquationNode and\n * KleinGordonEquationNode).\n *\n * @public\n */\nexport function validateTimeSymmetryPredicate(\n  node: TimeSymmetryPredicateNode,\n): TimeSymmetryPredicateValidationResult {\n  // Predicate 1a: retarded field's arrow-of-time must be 'retarded'.\n  if (node.retarded.arrowOfTime !== 'retarded') {\n    throw new Error(\n      `TimeSymmetryPredicateNode: symmetry mismatch — retarded field ` +\n      `'${node.retarded.name}' must have arrowOfTime: 'retarded' ` +\n      `(got '${node.retarded.arrowOfTime}'). The time-symmetry predicate ` +\n      `requires A_ret to carry the retarded arrow-of-time tag.`,\n    );\n  }\n\n  // Predicate 1b: advanced field's arrow-of-time must be 'advanced'.\n  if (node.advanced.arrowOfTime !== 'advanced') {\n    throw new Error(\n      `TimeSymmetryPredicateNode: symmetry mismatch — advanced field ` +\n      `'${node.advanced.name}' must have arrowOfTime: 'advanced' ` +\n      `(got '${node.advanced.arrowOfTime}'). The time-symmetry predicate ` +\n      `requires A_adv to carry the advanced arrow-of-time tag.`,\n    );\n  }\n\n  // Predicate 2: both GaugeFieldNodes pass individual validation.\n  validateGaugeField(node.retarded);\n  validateGaugeField(node.advanced);\n\n  // Predicate 3: retarded.dim and advanced.dim must match.\n  // Uses validateComponentDimension from field-equation-helpers — same\n  // helper used by KleinGordonEquationNode and EinsteinFieldEquationNode.\n  validateComponentDimension(\n    'TimeSymmetryPredicateNode',\n    `advanced field '${node.advanced.name}' dim`,\n    node.advanced.dim,\n    node.retarded.dim,\n    `A_ret and A_adv must share the same dimension so that the ratio ` +\n    `|A_ret − A_adv| / |A_ret + A_adv| is dimensionless by cancellation.`,\n  );\n\n  // Predicate 4: epsilon must be strictly positive and finite.\n  if (!Number.isFinite(node.epsilon) || node.epsilon <= 0) {\n    throw new Error(\n      `TimeSymmetryPredicateNode: epsilon must be a strictly positive finite ` +\n      `number (got ${node.epsilon}). epsilon bounds the time-symmetry residual ` +\n      `|A_ret − A_adv| / |A_ret + A_adv| ≤ epsilon.`,\n    );\n  }\n\n  return {\n    fieldDim: node.retarded.dim,\n    epsilon: node.epsilon,\n  };\n}\n"]}

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

@@ -1,13 +1,23 @@
 /**
  * Kebab catalog names are one token. A parser that treats `-` as subtraction
- * splits them. Longest match first, so a longer declared name wins over a
- * shorter one that is its suffix.
+ * splits them. Leftmost longest match, so a longer declared name or constant
+ * spelling wins over a shorter one inside it.
  *
  * @module dimensional/hyphen-names
  */
+/** `s` with every regular-expression metacharacter escaped, so it matches itself. @internal */
+export declare function escapeRegExp(s: string): string;
 /**
  * Rewrite declared kebab-case names to underscores. Names without a hyphen
  * stay. A hyphen that is not a declared name stays subtraction.
+ *
+ * Each hyphenated word is scanned left to right, segment by segment; at each
+ * segment the longest run of segments that is a declared name (written with
+ * underscores) or a registered constant's hyphenated spelling (written as the
+ * constant's primary name: `speed-of-light` is `c`) is taken, a declared name
+ * before a constant spelling of the same length. So a declared name inside a
+ * longer constant spelling does not win: `reduced-planck-constant` is `hbar`,
+ * not `reduced - planck_constant`.
  */
 export declare function rewriteCatalogHyphens(text: string, catalogNames: ReadonlySet<string> | Iterable<string>): string;
 //# sourceMappingURL=hyphen-names.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"hyphen-names.d.ts","sourceRoot":"","sources":["../../src/dimensional/hyphen-names.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAQH;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,GACnD,MAAM,CAkBR"}
+{"version":3,"file":"hyphen-names.d.ts","sourceRoot":"","sources":["../../src/dimensional/hyphen-names.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,+FAA+F;AAC/F,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAE9C;AAKD;;;;;;;;;;;GAWG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,GACnD,MAAM,CAGR"}

package/dist/dimensional/hyphen-names.js

@@ -1,35 +1,60 @@
 /**
  * Kebab catalog names are one token. A parser that treats `-` as subtraction
- * splits them. Longest match first, so a longer declared name wins over a
- * shorter one that is its suffix.
+ * splits them. Leftmost longest match, so a longer declared name or constant
+ * spelling wins over a shorter one inside it.
  *
  * @module dimensional/hyphen-names
  */
 import { constantRecord } from './symbolic-constants.js';
-function escapeRegExp(s) {
+/** `s` with every regular-expression metacharacter escaped, so it matches itself. @internal */
+export function escapeRegExp(s) {
     return s.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
 }
+/** A hyphenated spelling a registered constant could have: letters and digits, no underscore. */
+const CONSTANT_SPELLING = /^[A-Za-z][A-Za-z0-9]*(?:-[A-Za-z0-9]+)+$/;
 /**
  * Rewrite declared kebab-case names to underscores. Names without a hyphen
  * stay. A hyphen that is not a declared name stays subtraction.
+ *
+ * Each hyphenated word is scanned left to right, segment by segment; at each
+ * segment the longest run of segments that is a declared name (written with
+ * underscores) or a registered constant's hyphenated spelling (written as the
+ * constant's primary name: `speed-of-light` is `c`) is taken, a declared name
+ * before a constant spelling of the same length. So a declared name inside a
+ * longer constant spelling does not win: `reduced-planck-constant` is `hbar`,
+ * not `reduced - planck_constant`.
  */
 export function rewriteCatalogHyphens(text, catalogNames) {
-    const names = [...catalogNames]
-        .filter((n) => n.includes('-'))
-        .sort((a, b) => b.length - a.length || a.localeCompare(b));
-    let out = text;
-    for (const name of names) {
-        const underscored = name.replace(/-/g, '_');
-        const re = new RegExp(`(?<![A-Za-z0-9_])${escapeRegExp(name)}(?![A-Za-z0-9_])`, 'g');
-        out = out.replace(re, underscored);
+    const declared = new Set([...catalogNames].filter((n) => n.includes('-')));
+    return text.replace(/[A-Za-z0-9_]+(?:-[A-Za-z0-9_]+)+/g, (word) => rewriteWord(word, declared));
+}
+/** One hyphenated word, rewritten by the leftmost-longest segment scan. */
+function rewriteWord(word, declared) {
+    const segments = word.split('-');
+    const out = [];
+    let i = 0;
+    while (i < segments.length) {
+        let taken;
+        for (let end = segments.length; end > i + 1 && taken === undefined; end--) {
+            const candidate = segments.slice(i, end).join('-');
+            if (declared.has(candidate)) {
+                taken = { end, token: candidate.replace(/-/g, '_') };
+            }
+            else if (CONSTANT_SPELLING.test(candidate)) {
+                const record = constantRecord(candidate);
+                if (record !== undefined)
+                    taken = { end, token: record.name };
+            }
+        }
+        if (taken === undefined) {
+            out.push(segments[i]);
+            i += 1;
+        }
+        else {
+            out.push(taken.token);
+            i = taken.end;
+        }
     }
-    // A hyphenated spelling of a registered constant (`speed-of-light`) is that constant, by its
-    // primary name (`c`), whether or not the caller declared it: the formula then reads the baked
-    // value, and the hyphens are not subtractions.
-    out = out.replace(/(?<![A-Za-z0-9_])[A-Za-z][A-Za-z0-9]*(?:-[A-Za-z0-9]+)+(?![A-Za-z0-9_])/g, (word) => {
-        const record = constantRecord(word);
-        return record === undefined ? word : record.name;
-    });
-    return out;
+    return out.join('-');
 }
 //# sourceMappingURL=hyphen-names.js.map

package/dist/dimensional/hyphen-names.js.map

@@ -1 +1 @@
-{"version":3,"file":"hyphen-names.js","sourceRoot":"","sources":["../../src/dimensional/hyphen-names.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAEzD,SAAS,YAAY,CAAC,CAAS;IAC7B,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAY,EACZ,YAAoD;IAEpD,MAAM,KAAK,GAAG,CAAC,GAAG,YAAY,CAAC;SAC5B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;SAC9B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,IAAI,GAAG,GAAG,IAAI,CAAC;IACf,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,oBAAoB,YAAY,CAAC,IAAI,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC;QACrF,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IACrC,CAAC;IACD,6FAA6F;IAC7F,8FAA8F;IAC9F,+CAA+C;IAC/C,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,0EAA0E,EAAE,CAAC,IAAI,EAAE,EAAE;QACrG,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACpC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;IACnD,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC","sourcesContent":["/**\n * Kebab catalog names are one token. A parser that treats `-` as subtraction\n * splits them. Longest match first, so a longer declared name wins over a\n * shorter one that is its suffix.\n *\n * @module dimensional/hyphen-names\n */\n\nimport { constantRecord } from './symbolic-constants.js';\n\nfunction escapeRegExp(s: string): string {\n  return s.replace(/[.*+?^${}()|[\\]\\\\]/g, '\\\\$&');\n}\n\n/**\n * Rewrite declared kebab-case names to underscores. Names without a hyphen\n * stay. A hyphen that is not a declared name stays subtraction.\n */\nexport function rewriteCatalogHyphens(\n  text: string,\n  catalogNames: ReadonlySet<string> | Iterable<string>,\n): string {\n  const names = [...catalogNames]\n    .filter((n) => n.includes('-'))\n    .sort((a, b) => b.length - a.length || a.localeCompare(b));\n  let out = text;\n  for (const name of names) {\n    const underscored = name.replace(/-/g, '_');\n    const re = new RegExp(`(?<![A-Za-z0-9_])${escapeRegExp(name)}(?![A-Za-z0-9_])`, 'g');\n    out = out.replace(re, underscored);\n  }\n  // A hyphenated spelling of a registered constant (`speed-of-light`) is that constant, by its\n  // primary name (`c`), whether or not the caller declared it: the formula then reads the baked\n  // value, and the hyphens are not subtractions.\n  out = out.replace(/(?<![A-Za-z0-9_])[A-Za-z][A-Za-z0-9]*(?:-[A-Za-z0-9]+)+(?![A-Za-z0-9_])/g, (word) => {\n    const record = constantRecord(word);\n    return record === undefined ? word : record.name;\n  });\n  return out;\n}\n"]}
+{"version":3,"file":"hyphen-names.js","sourceRoot":"","sources":["../../src/dimensional/hyphen-names.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAEzD,+FAA+F;AAC/F,MAAM,UAAU,YAAY,CAAC,CAAS;IACpC,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED,iGAAiG;AACjG,MAAM,iBAAiB,GAAG,0CAA0C,CAAC;AAErE;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAY,EACZ,YAAoD;IAEpD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3E,OAAO,IAAI,CAAC,OAAO,CAAC,mCAAmC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;AAClG,CAAC;AAED,2EAA2E;AAC3E,SAAS,WAAW,CAAC,IAAY,EAAE,QAA6B;IAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAmE,CAAC;QACxE,KAAK,IAAI,GAAG,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,SAAS,EAAE,GAAG,EAAE,EAAE,CAAC;YAC1E,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnD,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC5B,KAAK,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;YACvD,CAAC;iBAAM,IAAI,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC7C,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;gBACzC,IAAI,MAAM,KAAK,SAAS;oBAAE,KAAK,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;YAChE,CAAC;QACH,CAAC;QACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;YACvB,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACvB,CAAC","sourcesContent":["/**\n * Kebab catalog names are one token. A parser that treats `-` as subtraction\n * splits them. Leftmost longest match, so a longer declared name or constant\n * spelling wins over a shorter one inside it.\n *\n * @module dimensional/hyphen-names\n */\n\nimport { constantRecord } from './symbolic-constants.js';\n\n/** `s` with every regular-expression metacharacter escaped, so it matches itself. @internal */\nexport function escapeRegExp(s: string): string {\n  return s.replace(/[.*+?^${}()|[\\]\\\\]/g, '\\\\$&');\n}\n\n/** A hyphenated spelling a registered constant could have: letters and digits, no underscore. */\nconst CONSTANT_SPELLING = /^[A-Za-z][A-Za-z0-9]*(?:-[A-Za-z0-9]+)+$/;\n\n/**\n * Rewrite declared kebab-case names to underscores. Names without a hyphen\n * stay. A hyphen that is not a declared name stays subtraction.\n *\n * Each hyphenated word is scanned left to right, segment by segment; at each\n * segment the longest run of segments that is a declared name (written with\n * underscores) or a registered constant's hyphenated spelling (written as the\n * constant's primary name: `speed-of-light` is `c`) is taken, a declared name\n * before a constant spelling of the same length. So a declared name inside a\n * longer constant spelling does not win: `reduced-planck-constant` is `hbar`,\n * not `reduced - planck_constant`.\n */\nexport function rewriteCatalogHyphens(\n  text: string,\n  catalogNames: ReadonlySet<string> | Iterable<string>,\n): string {\n  const declared = new Set([...catalogNames].filter((n) => n.includes('-')));\n  return text.replace(/[A-Za-z0-9_]+(?:-[A-Za-z0-9_]+)+/g, (word) => rewriteWord(word, declared));\n}\n\n/** One hyphenated word, rewritten by the leftmost-longest segment scan. */\nfunction rewriteWord(word: string, declared: ReadonlySet<string>): string {\n  const segments = word.split('-');\n  const out: string[] = [];\n  let i = 0;\n  while (i < segments.length) {\n    let taken: { readonly end: number; readonly token: string } | undefined;\n    for (let end = segments.length; end > i + 1 && taken === undefined; end--) {\n      const candidate = segments.slice(i, end).join('-');\n      if (declared.has(candidate)) {\n        taken = { end, token: candidate.replace(/-/g, '_') };\n      } else if (CONSTANT_SPELLING.test(candidate)) {\n        const record = constantRecord(candidate);\n        if (record !== undefined) taken = { end, token: record.name };\n      }\n    }\n    if (taken === undefined) {\n      out.push(segments[i]!);\n      i += 1;\n    } else {\n      out.push(taken.token);\n      i = taken.end;\n    }\n  }\n  return out.join('-');\n}\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"metric.d.ts","sourceRoot":"","sources":["../../src/dimensional/metric.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAG5C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,KAAK,EACV,gBAAgB,EAChB,kBAAkB,EAClB,2BAA2B,EAC3B,cAAc,EACf,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAI/C;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,MAAM,CACpB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,CAAC,WAAW,CAAC,EACnC,GAAG,EAAE,SAAS,EACd,SAAS,EAAE,MAAM,EACjB,kBAAkB,CAAC,EAAE,UAAU,GAAG,MAAM,GAAG,UAAU,GACpD,gBAAgB,CAWlB;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CACvB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,GAAG,GAAE,SAAyB,GAC7B,kBAAkB,CASpB;AAED;;;GAGG;AACH,wBAAgB,MAAM,CACpB,EAAE,EAAE,QAAQ,EACZ,GAAG,EAAE,QAAQ,EACb,QAAQ,EAAE,cAAc,GACvB,2BAA2B,CAE7B;AA6BD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,KAAK,CACnB,OAAO,EAAE,QAAQ,EACjB,QAAQ,EAAE,gBAAgB,EAC1B,KAAK,EAAE,MAAM,GACZ,iBAAiB,CA+CnB;AAED;;;;;;;GAOG;AACH,wBAAgB,KAAK,CACnB,OAAO,EAAE,QAAQ,EACjB,CAAC,EAAE,gBAAgB,EACnB,KAAK,EAAE,MAAM,GACZ,iBAAiB,CA6CnB"}
+{"version":3,"file":"metric.d.ts","sourceRoot":"","sources":["../../src/dimensional/metric.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAG5C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,KAAK,EACV,gBAAgB,EAChB,kBAAkB,EAClB,2BAA2B,EAC3B,cAAc,EACf,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAI/C;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,MAAM,CACpB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,CAAC,WAAW,CAAC,EACnC,GAAG,EAAE,SAAS,EACd,SAAS,EAAE,MAAM,EACjB,kBAAkB,CAAC,EAAE,UAAU,GAAG,MAAM,GAAG,UAAU,GACpD,gBAAgB,CAWlB;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CACvB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,GAAG,GAAE,SAAyB,GAC7B,kBAAkB,CASpB;AAED;;;GAGG;AACH,wBAAgB,MAAM,CACpB,EAAE,EAAE,QAAQ,EACZ,GAAG,EAAE,QAAQ,EACb,QAAQ,EAAE,cAAc,GACvB,2BAA2B,CAE7B;AA4BD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,KAAK,CACnB,OAAO,EAAE,QAAQ,EACjB,QAAQ,EAAE,gBAAgB,EAC1B,KAAK,EAAE,MAAM,GACZ,iBAAiB,CA+CnB;AAED;;;;;;;GAOG;AACH,wBAAgB,KAAK,CACnB,OAAO,EAAE,QAAQ,EACjB,CAAC,EAAE,gBAAgB,EACnB,KAAK,EAAE,MAAM,GACZ,iBAAiB,CA6CnB"}

package/dist/dimensional/metric.js

@@ -64,7 +64,6 @@ class RaiseLowerInvalidLabelError extends UPTError {
     constructor(message) {
         super(message);
         this.name = 'RaiseLowerInvalidLabelError';
-        Object.setPrototypeOf(this, RaiseLowerInvalidLabelError.prototype);
     }
 }
 /**

package/dist/dimensional/metric.js.map

@@ -1 +1 @@
-{"version":3,"file":"metric.js","sourceRoot":"","sources":["../../src/dimensional/metric.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAU9C,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE7D;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,MAAM,CACpB,IAAY,EACZ,OAAmC,EACnC,GAAc,EACd,SAAiB,EACjB,kBAAqD;IAErD,MAAM,IAAI,GAON,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;IAC7D,IAAI,kBAAkB,KAAK,SAAS;QAAE,IAAI,CAAC,kBAAkB,GAAG,kBAAkB,CAAC;IACnF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CACvB,UAAkB,EAClB,UAAkB,EAClB,GAAG,GAAc,aAAa;IAE9B,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE;YACxC,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE;SACzC;QACD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,MAAM,CACpB,EAAY,EACZ,GAAa,EACb,QAAwB;IAExB,OAAO,EAAE,IAAI,EAAE,2BAA2B,EAAE,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAClE,CAAC;AAED;;4DAE4D;AAC5D,MAAM,2BAA4B,SAAQ,QAAQ;IAChD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,6BAA6B,CAAC;QAC1C,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,2BAA2B,CAAC,SAAS,CAAC,CAAC;IACrE,CAAC;CACF;AAED;;;;;GAKG;AACH,SAAS,sBAAsB,CAAC,IAAc;IAC5C,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAC;IACpD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACjD,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;aAC5C,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,KAAK,CACnB,OAAiB,EACjB,QAA0B,EAC1B,KAAa;IAEb,IACE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QACxC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EACxC,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,QAAQ,CAAC,IAAI,EACb,8EAA8E,CAC/E,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IACtD,MAAM,eAAe,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,IAAI,2BAA2B,CACnC,mBAAmB,KAAK,wCAAwC;YAC9D,yBAAyB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,GAAG,CACtF,CAAC;IACJ,CAAC;IACD,IAAI,eAAe,KAAK,OAAO,EAAE,CAAC;QAChC,MAAM,IAAI,2BAA2B,CACnC,mBAAmB,KAAK,uCAAuC;YAC7D,qDAAqD,CACxD,CAAC;IACJ,CAAC;IAED,2EAA2E;IAC3E,oEAAoE;IACpE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5C,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjB,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAE7D,MAAM,eAAe,GAAqB;QACxC,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE;YAC5B,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE;SACtC;QACD,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,GAAG,EAAE,QAAQ,CAAC,GAAG;KAClB,CAAC;IACF,IAAI,QAAQ,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;QAC7C,eAA8E,CAAC,kBAAkB;YAChG,QAAQ,CAAC,kBAAkB,CAAC;IAChC,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,eAAe,EAAE,OAAO,CAAC,EAAE,CAAC;AACtE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,KAAK,CACnB,OAAiB,EACjB,CAAmB,EACnB,KAAa;IAEb,IACE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QACjC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EACjC,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,CAAC,CAAC,IAAI,EACN,sEAAsE,CACvE,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IACtD,MAAM,eAAe,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,IAAI,2BAA2B,CACnC,mBAAmB,KAAK,wCAAwC;YAC9D,yBAAyB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,GAAG,CACtF,CAAC;IACJ,CAAC;IACD,IAAI,eAAe,KAAK,OAAO,EAAE,CAAC;QAChC,MAAM,IAAI,2BAA2B,CACnC,mBAAmB,KAAK,uCAAuC;YAC7D,qDAAqD,CACxD,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5C,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjB,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAEtD,MAAM,QAAQ,GAAqB;QACjC,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE;YAC5B,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE;SACtC;QACD,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,GAAG,EAAE,CAAC,CAAC,GAAG;KACX,CAAC;IACF,IAAI,CAAC,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;QACtC,QAAgE,CAAC,kBAAkB;YAClF,CAAC,CAAC,kBAAkB,CAAC;IACzB,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;AAC/D,CAAC","sourcesContent":["/**\n * User-facing constructors and ergonomic helpers for v0.3.0 metric-layer\n * AST nodes. The substantive logic (alpha-conversion) lives in raise() /\n * lower() (added in Task 8 — this file's initial revision contains only\n * the trivial constructors).\n *\n * Per docs/specification/Part-VIII-Metric-Layer.md §VIII.5 (raise/lower\n * contract) and §VIII.1 (grammar).\n *\n * @module dimensional/metric\n */\n\nimport type { Dimension } from './types.js';\nimport { DIMENSIONLESS } from './types.js';\nimport { freshLabel } from './fresh-label.js';\nimport type { TensorIndex } from './tensor.js';\nimport type { TensorProductNode } from './tensor.js';\nimport type {\n  MetricTensorNode,\n  KroneckerDeltaNode,\n  TensorPartialDerivativeNode,\n  CovariantIndex,\n} from './metric-validators.js';\nimport type { ExprNode } from './validator.js';\nimport { validate } from './validator.js';\nimport { MetricSignatureError, UPTError } from './errors.js';\n\n/**\n * Construct a metric-tensor node.\n *\n * @param name       Symbolic name of the metric (e.g. `'g'`).\n * @param indices    Exactly two TensorIndex entries (rank-2 requirement).\n * @param dim        Physical dimension of the metric components.\n * @param signature  Comma-separated `'+'`/`'-'` signs (e.g. `'+,-,-,-'`).\n * @param derivativeStrategy  Optional hint for the numerical engine:\n *   how to compute ∂g for Christoffel / ∇_μ. `'zero'` = constant metric\n *   (∂g=0, Γ=0, ∇_μ=∂_μ); `'supplied'` = caller provides ∂g components;\n *   `'computed'` (the default) = the lowering treats a raw-tensor metric\n *   input as constant (∂g=0) — nothing is auto-differentiated. Metric\n *   closures in `inputs.fields` take the curvature paths, which\n *   finite-difference the closures.\n *   Omit to leave the field absent (engine defaults to `'computed'`).\n */\nexport function metric(\n  name: string,\n  indices: ReadonlyArray<TensorIndex>,\n  dim: Dimension,\n  signature: string,\n  derivativeStrategy?: 'computed' | 'zero' | 'supplied',\n): MetricTensorNode {\n  const node: {\n    kind: 'metric-tensor';\n    name: string;\n    indices: ReadonlyArray<TensorIndex>;\n    signature: string;\n    dim: Dimension;\n    derivativeStrategy?: 'computed' | 'zero' | 'supplied';\n  } = { kind: 'metric-tensor', name, indices, signature, dim };\n  if (derivativeStrategy !== undefined) node.derivativeStrategy = derivativeStrategy;\n  return node;\n}\n\n/**\n * Construct a Kronecker delta δ^upperLabel_lowerLabel.\n * Parameter order: upper first, lower second (canonical δ^μ_ν).\n * dim defaults to DIMENSIONLESS (Design §13 Q3 locked).\n */\nexport function kronecker(\n  upperLabel: string,\n  lowerLabel: string,\n  dim: Dimension = DIMENSIONLESS,\n): KroneckerDeltaNode {\n  return {\n    kind: 'kronecker-delta',\n    indices: [\n      { label: upperLabel, variance: 'upper' },\n      { label: lowerLabel, variance: 'lower' },\n    ],\n    dim,\n  };\n}\n\n/**\n * Construct a tensor-partial-derivative. wrtIndex.variance MUST be 'lower'\n * — TypeScript enforces this via the CovariantIndex type.\n */\nexport function pderiv(\n  of: ExprNode,\n  wrt: ExprNode,\n  wrtIndex: CovariantIndex,\n): TensorPartialDerivativeNode {\n  return { kind: 'tensor-partial-derivative', of, wrt, wrtIndex };\n}\n\n/** Thrown by raise() / lower() when the operand's label is absent or has\n *  the wrong variance for the requested operation. Private to this module\n *  (not part of the public error surface per Design §6). */\nclass RaiseLowerInvalidLabelError extends UPTError {\n  constructor(message: string) {\n    super(message);\n    this.name = 'RaiseLowerInvalidLabelError';\n    Object.setPrototypeOf(this, RaiseLowerInvalidLabelError.prototype);\n  }\n}\n\n/**\n * Collect free-index labels from an ExprNode by calling validate(). Returns\n * a map from label → variance (whichever side has count > 0). Note: this\n * performs a full subtree validation on `operand`; cost is acceptable for\n * typical raise/lower call sites (operand is a small subtree).\n */\nfunction collectFreeIndexLabels(node: ExprNode): Map<string, 'upper' | 'lower'> {\n  const result = validate(node);\n  const labels = new Map<string, 'upper' | 'lower'>();\n  for (const [label, counts] of result.freeIndices) {\n    if (counts.upper > 0) labels.set(label, 'upper');\n    else if (counts.lower > 0) labels.set(label, 'lower');\n  }\n  return labels;\n}\n\n/**\n * Raise an index of `operand` via the inverse metric `gInverse`.\n *\n * Internal alpha-conversion: one of `gInverse`'s labels is renamed to\n * match `label` (so the Einstein-summation contraction picks it up);\n * the other is renamed to a fresh label that doesn't collide with any\n * free index in `operand`. The fresh label becomes the resulting\n * tensor-product's only new free index.\n *\n * Per Part-VIII §VIII.5 (raise/lower contract).\n *\n * Throws:\n *   - MetricSignatureError if gInverse isn't both-upper\n *   - RaiseLowerInvalidLabelError if label is absent or already upper in operand\n */\nexport function raise(\n  operand: ExprNode,\n  gInverse: MetricTensorNode,\n  label: string,\n): TensorProductNode {\n  if (\n    gInverse.indices[0].variance !== 'upper' ||\n    gInverse.indices[1].variance !== 'upper'\n  ) {\n    throw new MetricSignatureError(\n      gInverse.name,\n      `raise() requires both indices of the inverse metric to have variance 'upper'`,\n    );\n  }\n  const operandLabels = collectFreeIndexLabels(operand);\n  const operandVariance = operandLabels.get(label);\n  if (operandVariance === undefined) {\n    throw new RaiseLowerInvalidLabelError(\n      `raise(): label '${label}' is not a free index of the operand. ` +\n        `Operand free indices: ${Array.from(operandLabels.keys()).join(', ') || '(none)'}.`,\n    );\n  }\n  if (operandVariance === 'upper') {\n    throw new RaiseLowerInvalidLabelError(\n      `raise(): label '${label}' is already 'upper' in the operand. ` +\n        `Use lower() to lower it, or pick a different label.`,\n    );\n  }\n\n  // Alpha-conversion: rename gInverse[0] → label (the dummy that contracts);\n  // gInverse[1] → freshLabel(gInverse[1].label, operand-free-labels).\n  const taken = new Set(operandLabels.keys());\n  taken.add(label);\n  const renamed = freshLabel(gInverse.indices[1].label, taken);\n\n  const renamedGInverse: MetricTensorNode = {\n    kind: 'metric-tensor',\n    name: gInverse.name,\n    indices: [\n      { label, variance: 'upper' },\n      { label: renamed, variance: 'upper' },\n    ],\n    signature: gInverse.signature,\n    dim: gInverse.dim,\n  };\n  if (gInverse.derivativeStrategy !== undefined) {\n    (renamedGInverse as { derivativeStrategy: typeof gInverse.derivativeStrategy }).derivativeStrategy =\n      gInverse.derivativeStrategy;\n  }\n\n  return { kind: 'tensor-product', args: [renamedGInverse, operand] };\n}\n\n/**\n * Lower an index of `operand` via the covariant metric `g`.\n * Symmetric to raise(). Per Part-VIII §VIII.5.\n *\n * Throws:\n *   - MetricSignatureError if g isn't both-lower\n *   - RaiseLowerInvalidLabelError if label is absent or already lower in operand\n */\nexport function lower(\n  operand: ExprNode,\n  g: MetricTensorNode,\n  label: string,\n): TensorProductNode {\n  if (\n    g.indices[0].variance !== 'lower' ||\n    g.indices[1].variance !== 'lower'\n  ) {\n    throw new MetricSignatureError(\n      g.name,\n      `lower() requires both indices of the metric to have variance 'lower'`,\n    );\n  }\n  const operandLabels = collectFreeIndexLabels(operand);\n  const operandVariance = operandLabels.get(label);\n  if (operandVariance === undefined) {\n    throw new RaiseLowerInvalidLabelError(\n      `lower(): label '${label}' is not a free index of the operand. ` +\n        `Operand free indices: ${Array.from(operandLabels.keys()).join(', ') || '(none)'}.`,\n    );\n  }\n  if (operandVariance === 'lower') {\n    throw new RaiseLowerInvalidLabelError(\n      `lower(): label '${label}' is already 'lower' in the operand. ` +\n        `Use raise() to raise it, or pick a different label.`,\n    );\n  }\n\n  const taken = new Set(operandLabels.keys());\n  taken.add(label);\n  const renamed = freshLabel(g.indices[1].label, taken);\n\n  const renamedG: MetricTensorNode = {\n    kind: 'metric-tensor',\n    name: g.name,\n    indices: [\n      { label, variance: 'lower' },\n      { label: renamed, variance: 'lower' },\n    ],\n    signature: g.signature,\n    dim: g.dim,\n  };\n  if (g.derivativeStrategy !== undefined) {\n    (renamedG as { derivativeStrategy: typeof g.derivativeStrategy }).derivativeStrategy =\n      g.derivativeStrategy;\n  }\n\n  return { kind: 'tensor-product', args: [renamedG, operand] };\n}\n"]}
+{"version":3,"file":"metric.js","sourceRoot":"","sources":["../../src/dimensional/metric.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAU9C,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE7D;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,MAAM,CACpB,IAAY,EACZ,OAAmC,EACnC,GAAc,EACd,SAAiB,EACjB,kBAAqD;IAErD,MAAM,IAAI,GAON,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;IAC7D,IAAI,kBAAkB,KAAK,SAAS;QAAE,IAAI,CAAC,kBAAkB,GAAG,kBAAkB,CAAC;IACnF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CACvB,UAAkB,EAClB,UAAkB,EAClB,GAAG,GAAc,aAAa;IAE9B,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE;YACxC,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE;SACzC;QACD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,MAAM,CACpB,EAAY,EACZ,GAAa,EACb,QAAwB;IAExB,OAAO,EAAE,IAAI,EAAE,2BAA2B,EAAE,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAClE,CAAC;AAED;;4DAE4D;AAC5D,MAAM,2BAA4B,SAAQ,QAAQ;IAChD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,6BAA6B,CAAC;IAC5C,CAAC;CACF;AAED;;;;;GAKG;AACH,SAAS,sBAAsB,CAAC,IAAc;IAC5C,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAC;IACpD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACjD,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;aAC5C,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,KAAK,CACnB,OAAiB,EACjB,QAA0B,EAC1B,KAAa;IAEb,IACE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QACxC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EACxC,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,QAAQ,CAAC,IAAI,EACb,8EAA8E,CAC/E,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IACtD,MAAM,eAAe,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,IAAI,2BAA2B,CACnC,mBAAmB,KAAK,wCAAwC;YAC9D,yBAAyB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,GAAG,CACtF,CAAC;IACJ,CAAC;IACD,IAAI,eAAe,KAAK,OAAO,EAAE,CAAC;QAChC,MAAM,IAAI,2BAA2B,CACnC,mBAAmB,KAAK,uCAAuC;YAC7D,qDAAqD,CACxD,CAAC;IACJ,CAAC;IAED,2EAA2E;IAC3E,oEAAoE;IACpE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5C,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjB,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAE7D,MAAM,eAAe,GAAqB;QACxC,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE;YAC5B,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE;SACtC;QACD,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,GAAG,EAAE,QAAQ,CAAC,GAAG;KAClB,CAAC;IACF,IAAI,QAAQ,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;QAC7C,eAA8E,CAAC,kBAAkB;YAChG,QAAQ,CAAC,kBAAkB,CAAC;IAChC,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,eAAe,EAAE,OAAO,CAAC,EAAE,CAAC;AACtE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,KAAK,CACnB,OAAiB,EACjB,CAAmB,EACnB,KAAa;IAEb,IACE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QACjC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EACjC,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,CAAC,CAAC,IAAI,EACN,sEAAsE,CACvE,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IACtD,MAAM,eAAe,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,IAAI,2BAA2B,CACnC,mBAAmB,KAAK,wCAAwC;YAC9D,yBAAyB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,GAAG,CACtF,CAAC;IACJ,CAAC;IACD,IAAI,eAAe,KAAK,OAAO,EAAE,CAAC;QAChC,MAAM,IAAI,2BAA2B,CACnC,mBAAmB,KAAK,uCAAuC;YAC7D,qDAAqD,CACxD,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5C,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjB,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAEtD,MAAM,QAAQ,GAAqB;QACjC,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE;YAC5B,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE;SACtC;QACD,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,GAAG,EAAE,CAAC,CAAC,GAAG;KACX,CAAC;IACF,IAAI,CAAC,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;QACtC,QAAgE,CAAC,kBAAkB;YAClF,CAAC,CAAC,kBAAkB,CAAC;IACzB,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;AAC/D,CAAC","sourcesContent":["/**\n * User-facing constructors and ergonomic helpers for v0.3.0 metric-layer\n * AST nodes. The substantive logic (alpha-conversion) lives in raise() /\n * lower() (added in Task 8 — this file's initial revision contains only\n * the trivial constructors).\n *\n * Per docs/specification/Part-VIII-Metric-Layer.md §VIII.5 (raise/lower\n * contract) and §VIII.1 (grammar).\n *\n * @module dimensional/metric\n */\n\nimport type { Dimension } from './types.js';\nimport { DIMENSIONLESS } from './types.js';\nimport { freshLabel } from './fresh-label.js';\nimport type { TensorIndex } from './tensor.js';\nimport type { TensorProductNode } from './tensor.js';\nimport type {\n  MetricTensorNode,\n  KroneckerDeltaNode,\n  TensorPartialDerivativeNode,\n  CovariantIndex,\n} from './metric-validators.js';\nimport type { ExprNode } from './validator.js';\nimport { validate } from './validator.js';\nimport { MetricSignatureError, UPTError } from './errors.js';\n\n/**\n * Construct a metric-tensor node.\n *\n * @param name       Symbolic name of the metric (e.g. `'g'`).\n * @param indices    Exactly two TensorIndex entries (rank-2 requirement).\n * @param dim        Physical dimension of the metric components.\n * @param signature  Comma-separated `'+'`/`'-'` signs (e.g. `'+,-,-,-'`).\n * @param derivativeStrategy  Optional hint for the numerical engine:\n *   how to compute ∂g for Christoffel / ∇_μ. `'zero'` = constant metric\n *   (∂g=0, Γ=0, ∇_μ=∂_μ); `'supplied'` = caller provides ∂g components;\n *   `'computed'` (the default) = the lowering treats a raw-tensor metric\n *   input as constant (∂g=0) — nothing is auto-differentiated. Metric\n *   closures in `inputs.fields` take the curvature paths, which\n *   finite-difference the closures.\n *   Omit to leave the field absent (engine defaults to `'computed'`).\n */\nexport function metric(\n  name: string,\n  indices: ReadonlyArray<TensorIndex>,\n  dim: Dimension,\n  signature: string,\n  derivativeStrategy?: 'computed' | 'zero' | 'supplied',\n): MetricTensorNode {\n  const node: {\n    kind: 'metric-tensor';\n    name: string;\n    indices: ReadonlyArray<TensorIndex>;\n    signature: string;\n    dim: Dimension;\n    derivativeStrategy?: 'computed' | 'zero' | 'supplied';\n  } = { kind: 'metric-tensor', name, indices, signature, dim };\n  if (derivativeStrategy !== undefined) node.derivativeStrategy = derivativeStrategy;\n  return node;\n}\n\n/**\n * Construct a Kronecker delta δ^upperLabel_lowerLabel.\n * Parameter order: upper first, lower second (canonical δ^μ_ν).\n * dim defaults to DIMENSIONLESS (Design §13 Q3 locked).\n */\nexport function kronecker(\n  upperLabel: string,\n  lowerLabel: string,\n  dim: Dimension = DIMENSIONLESS,\n): KroneckerDeltaNode {\n  return {\n    kind: 'kronecker-delta',\n    indices: [\n      { label: upperLabel, variance: 'upper' },\n      { label: lowerLabel, variance: 'lower' },\n    ],\n    dim,\n  };\n}\n\n/**\n * Construct a tensor-partial-derivative. wrtIndex.variance MUST be 'lower'\n * — TypeScript enforces this via the CovariantIndex type.\n */\nexport function pderiv(\n  of: ExprNode,\n  wrt: ExprNode,\n  wrtIndex: CovariantIndex,\n): TensorPartialDerivativeNode {\n  return { kind: 'tensor-partial-derivative', of, wrt, wrtIndex };\n}\n\n/** Thrown by raise() / lower() when the operand's label is absent or has\n *  the wrong variance for the requested operation. Private to this module\n *  (not part of the public error surface per Design §6). */\nclass RaiseLowerInvalidLabelError extends UPTError {\n  constructor(message: string) {\n    super(message);\n    this.name = 'RaiseLowerInvalidLabelError';\n  }\n}\n\n/**\n * Collect free-index labels from an ExprNode by calling validate(). Returns\n * a map from label → variance (whichever side has count > 0). Note: this\n * performs a full subtree validation on `operand`; cost is acceptable for\n * typical raise/lower call sites (operand is a small subtree).\n */\nfunction collectFreeIndexLabels(node: ExprNode): Map<string, 'upper' | 'lower'> {\n  const result = validate(node);\n  const labels = new Map<string, 'upper' | 'lower'>();\n  for (const [label, counts] of result.freeIndices) {\n    if (counts.upper > 0) labels.set(label, 'upper');\n    else if (counts.lower > 0) labels.set(label, 'lower');\n  }\n  return labels;\n}\n\n/**\n * Raise an index of `operand` via the inverse metric `gInverse`.\n *\n * Internal alpha-conversion: one of `gInverse`'s labels is renamed to\n * match `label` (so the Einstein-summation contraction picks it up);\n * the other is renamed to a fresh label that doesn't collide with any\n * free index in `operand`. The fresh label becomes the resulting\n * tensor-product's only new free index.\n *\n * Per Part-VIII §VIII.5 (raise/lower contract).\n *\n * Throws:\n *   - MetricSignatureError if gInverse isn't both-upper\n *   - RaiseLowerInvalidLabelError if label is absent or already upper in operand\n */\nexport function raise(\n  operand: ExprNode,\n  gInverse: MetricTensorNode,\n  label: string,\n): TensorProductNode {\n  if (\n    gInverse.indices[0].variance !== 'upper' ||\n    gInverse.indices[1].variance !== 'upper'\n  ) {\n    throw new MetricSignatureError(\n      gInverse.name,\n      `raise() requires both indices of the inverse metric to have variance 'upper'`,\n    );\n  }\n  const operandLabels = collectFreeIndexLabels(operand);\n  const operandVariance = operandLabels.get(label);\n  if (operandVariance === undefined) {\n    throw new RaiseLowerInvalidLabelError(\n      `raise(): label '${label}' is not a free index of the operand. ` +\n        `Operand free indices: ${Array.from(operandLabels.keys()).join(', ') || '(none)'}.`,\n    );\n  }\n  if (operandVariance === 'upper') {\n    throw new RaiseLowerInvalidLabelError(\n      `raise(): label '${label}' is already 'upper' in the operand. ` +\n        `Use lower() to lower it, or pick a different label.`,\n    );\n  }\n\n  // Alpha-conversion: rename gInverse[0] → label (the dummy that contracts);\n  // gInverse[1] → freshLabel(gInverse[1].label, operand-free-labels).\n  const taken = new Set(operandLabels.keys());\n  taken.add(label);\n  const renamed = freshLabel(gInverse.indices[1].label, taken);\n\n  const renamedGInverse: MetricTensorNode = {\n    kind: 'metric-tensor',\n    name: gInverse.name,\n    indices: [\n      { label, variance: 'upper' },\n      { label: renamed, variance: 'upper' },\n    ],\n    signature: gInverse.signature,\n    dim: gInverse.dim,\n  };\n  if (gInverse.derivativeStrategy !== undefined) {\n    (renamedGInverse as { derivativeStrategy: typeof gInverse.derivativeStrategy }).derivativeStrategy =\n      gInverse.derivativeStrategy;\n  }\n\n  return { kind: 'tensor-product', args: [renamedGInverse, operand] };\n}\n\n/**\n * Lower an index of `operand` via the covariant metric `g`.\n * Symmetric to raise(). Per Part-VIII §VIII.5.\n *\n * Throws:\n *   - MetricSignatureError if g isn't both-lower\n *   - RaiseLowerInvalidLabelError if label is absent or already lower in operand\n */\nexport function lower(\n  operand: ExprNode,\n  g: MetricTensorNode,\n  label: string,\n): TensorProductNode {\n  if (\n    g.indices[0].variance !== 'lower' ||\n    g.indices[1].variance !== 'lower'\n  ) {\n    throw new MetricSignatureError(\n      g.name,\n      `lower() requires both indices of the metric to have variance 'lower'`,\n    );\n  }\n  const operandLabels = collectFreeIndexLabels(operand);\n  const operandVariance = operandLabels.get(label);\n  if (operandVariance === undefined) {\n    throw new RaiseLowerInvalidLabelError(\n      `lower(): label '${label}' is not a free index of the operand. ` +\n        `Operand free indices: ${Array.from(operandLabels.keys()).join(', ') || '(none)'}.`,\n    );\n  }\n  if (operandVariance === 'lower') {\n    throw new RaiseLowerInvalidLabelError(\n      `lower(): label '${label}' is already 'lower' in the operand. ` +\n        `Use raise() to raise it, or pick a different label.`,\n    );\n  }\n\n  const taken = new Set(operandLabels.keys());\n  taken.add(label);\n  const renamed = freshLabel(g.indices[1].label, taken);\n\n  const renamedG: MetricTensorNode = {\n    kind: 'metric-tensor',\n    name: g.name,\n    indices: [\n      { label, variance: 'lower' },\n      { label: renamed, variance: 'lower' },\n    ],\n    signature: g.signature,\n    dim: g.dim,\n  };\n  if (g.derivativeStrategy !== undefined) {\n    (renamedG as { derivativeStrategy: typeof g.derivativeStrategy }).derivativeStrategy =\n      g.derivativeStrategy;\n  }\n\n  return { kind: 'tensor-product', args: [renamedG, operand] };\n}\n"]}

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

@@ -75,6 +75,15 @@ export interface NamedConstantValue {
  * (same IEEE-754 primitives).
  */
 export declare const CONSTANTS: Readonly<Record<string, NamedConstantValue>>;
+/**
+ * True when `name` is a key of {@link CONSTANTS} itself. `in` on that plain
+ * object is true for `constructor` and every other `Object.prototype` name,
+ * which once read a leaf spelled that way as a constant; this reads the own
+ * properties only, and is the one rule for "a registered constant".
+ *
+ * @internal
+ */
+export declare function isRegisteredConstant(name: string): boolean;
 /** What a registered constant is, its SI unit, and where its value comes from (audit I10). @internal */
 export interface ConstantProvenance {
     readonly meaning: string;

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

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

package/dist/dimensional/symbolic-constants.js

@@ -29,6 +29,7 @@
  *
  * @module dimensional/symbolic-constants
  */
+import { withinRel } from '../core/compare.js';
 import { parseUnit } from './units.js';
 import { CONSTANT_ROWS, constantRow } from './constant-rows.js';
 /**
@@ -86,7 +87,7 @@ export function constantAgreement(key, value) {
     const record = BY_SPELLING.get(key);
     if (record === undefined)
         return null;
-    if (Math.abs(value - record.value) > CONSTANT_AGREEMENT * Math.abs(record.value)) {
+    if (!withinRel(value, record.value, CONSTANT_AGREEMENT, 0)) {
         throw new ConstantDisagreementError(key, record.name, record.value, value);
     }
     return record.name;
@@ -118,6 +119,17 @@ export const CONSTANTS = Object.fromEntries(CONSTANT_REGISTRY.filter((record) =>
     record.name,
     { value: record.value, dim: record.dim },
 ]));
+/**
+ * True when `name` is a key of {@link CONSTANTS} itself. `in` on that plain
+ * object is true for `constructor` and every other `Object.prototype` name,
+ * which once read a leaf spelled that way as a constant; this reads the own
+ * properties only, and is the one rule for "a registered constant".
+ *
+ * @internal
+ */
+export function isRegisteredConstant(name) {
+    return Object.prototype.hasOwnProperty.call(CONSTANTS, name);
+}
 /** One row per {@link CONSTANT_REGISTRY} name. @internal */
 export const CONSTANT_PROVENANCE = Object.fromEntries(CONSTANT_REGISTRY.map((record) => [
     record.name,

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

@@ -1 +1 @@
-{"version":3,"file":"symbolic-constants.js","sourceRoot":"","sources":["../../src/dimensional/symbolic-constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAGH,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAoB,MAAM,oBAAoB,CAAC;AAOlF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA8B,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAC3F,GAAG,QAAQ;IACX,GAAG,EAAE,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG;CAClC,CAAC,CAAC,CAAC;AAEJ,MAAM,aAAa,GAAG,IAAI,GAAG,CAA8B,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC;AAElI;;;;;GAKG;AACH,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,iBAAiB,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CACjG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAU,CAC1C,CACF,CACF,CAAC;AAEF,wEAAwE;AACxE,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC7C,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACvC,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AAC1E,CAAC;AAED;;;;GAIG;AACH,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAEhC,8HAA8H;AAC9H,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IAEvC,GAAG;IACH,QAAQ;IACR,UAAU;IACV,KAAK;IAJhB,YACW,GAAW,EACX,QAAgB,EAChB,UAAkB,EAClB,KAAa;QAEtB,KAAK,CACH,IAAI,GAAG,gCAAgC,QAAQ,MAAM,UAAU,IAAI;YACjE,GAAG,KAAK,kFAAkF,CAC7F,CAAC;mBARO,GAAG;wBACH,QAAQ;0BACR,UAAU;qBACV,KAAK;QAMd,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;IAC1C,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAW,EAAE,KAAa;IAC1D,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,kBAAkB,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACjF,MAAM,IAAI,yBAAyB,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,aAAa,CAAC,KAAuB;IACnD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,MAAM,EAAE,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,iBAAiB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAK,CAAC,CAAC;AAC9F,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,aAAa;IAC3B,MAAM,KAAK,GAA2B,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC;IACxE,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,WAAW;QAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;IAC7E,OAAO,KAAK,CAAC;AACf,CAAC;AAQD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAiD,MAAM,CAAC,WAAW,CACvF,iBAAiB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACrE,MAAM,CAAC,IAAI;IACX,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE;CACzC,CAAC,CACH,CAAC;AAUF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,mBAAmB,GAAiD,MAAM,CAAC,WAAW,CACjG,iBAAiB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAChC,MAAM,CAAC,IAAI;IACX,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;CACtE,CAAC,CACH,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACpD,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;AACrB,CAAC","sourcesContent":["/**\n * The constant registry: one row per physical constant a formula may name.\n *\n * A row (written in `constant-rows.ts`) holds the formula name, its other\n * exact-case spellings, the SI value (imported from `core/constants.js`, the\n * one owner of every value), the SI unit in `parseUnit` syntax, the meaning\n * and the source. The dimension is derived from the unit once, here; no second\n * table states it. The rows sit in their own module because the unit table\n * names constants by these spellings, and this module imports the unit parser. Every other\n * constant table in the library ({@link CONSTANTS}, `FORMULA_NAMED`,\n * `CONSTANT_SPELLINGS`, {@link CONSTANT_PROVENANCE}, `CANONICAL_CONSTANTS`,\n * the `upt eval` scope, the binding scope, the gradient constants) is a\n * projection of this array, so a spelling, a value and a dimension cannot\n * disagree between two files. A constant that is also a quantity names its\n * `data/quantities.json` row in `quantity`; the quantity registry derives that\n * row's aliases from here, so the file states no constant spelling.\n *\n * `canonical` marks a universal constant a canonical equation's `governing`\n * list may bake as a leaf. A row that is an overlay for `upt eval` and the\n * dimensional assignment only (`m_p`, `N_A`, the GRW parameters) is not\n * canonical, so the canonical graph does not bake it.\n *\n * Numeric-literal leaves (`'2'`, `'3'`) are NOT registered — `evalExpr`\n * resolves them via `Number(name)` and they are implicitly dimensionless.\n * Non-base-10 tokens (`'8pi'`, `'4pi'`, `'ln2'`) MUST be here (`Number('8pi')`\n * is `NaN`).\n *\n * INTERNAL — not on the public surface.\n *\n * @module dimensional/symbolic-constants\n */\n\nimport type { Dimension } from './types.js';\nimport { parseUnit } from './units.js';\nimport { CONSTANT_ROWS, constantRow, type ConstantRow } from './constant-rows.js';\n\n/** One registered constant: its row, with the dimension derived from its unit. @internal */\nexport interface ConstantRecord extends ConstantRow {\n  readonly dim: Dimension;\n}\n\n/**\n * Every registered constant, the rows of `constant-rows.ts` with each\n * dimension derived once from its unit. Order is the order the tables print.\n * @internal\n */\nexport const CONSTANT_REGISTRY: readonly ConstantRecord[] = CONSTANT_ROWS.map((constant) => ({\n  ...constant,\n  dim: parseUnit(constant.unit).dim,\n}));\n\nconst RECORD_OF_ROW = new Map<ConstantRow, ConstantRecord>(CONSTANT_ROWS.map((constant, i) => [constant, CONSTANT_REGISTRY[i]!]));\n\n/**\n * Every spelling → its record; `constant-rows.ts` refuses a spelling written twice. A constant\n * that is also a quantity (`quantity`, e.g. `k_B` → `boltzmann-constant`) is reachable by that\n * quantity id too, so a user who writes the quantity's name states the constant, and the value\n * is checked against the registry rather than bound.\n */\nconst BY_SPELLING = new Map<string, ConstantRecord>(\n  CONSTANT_REGISTRY.flatMap((record) =>\n    [record.name, ...record.spellings, ...(record.quantity === undefined ? [] : [record.quantity])].map(\n      (spelling) => [spelling, record] as const,\n    ),\n  ),\n);\n\n/** The registered constant `spelling` names, or undefined. @internal */\nexport function constantRecord(spelling: string): ConstantRecord | undefined {\n  const constant = constantRow(spelling);\n  return constant === undefined ? undefined : RECORD_OF_ROW.get(constant);\n}\n\n/**\n * Relative tolerance within which a stated constant agrees with the registered\n * value. Textbook roundings such as `b = 2.9e-3` pass.\n * @internal\n */\nconst CONSTANT_AGREEMENT = 5e-3;\n\n/** A stated value for a registered constant disagrees with the registry. The equations use the registered value. @internal */\nexport class ConstantDisagreementError extends Error {\n  constructor(\n    readonly key: string,\n    readonly constant: string,\n    readonly registered: number,\n    readonly given: number,\n  ) {\n    super(\n      `'${key}' is the registered constant ${constant} = ${registered}; ` +\n        `${given} disagrees, and the equations use the registered value, so it cannot be rebound.`,\n    );\n    this.name = 'ConstantDisagreementError';\n  }\n}\n\n/**\n * The registered constant `key` names when `value` agrees with it within\n * {@link CONSTANT_AGREEMENT}, or null when `key` names no constant. A value\n * that disagrees throws {@link ConstantDisagreementError}: a constant is not\n * a graph quantity, so a stated value is checked, never bound.\n * @internal\n */\nexport function constantAgreement(key: string, value: number): string | null {\n  const record = BY_SPELLING.get(key);\n  if (record === undefined) return null;\n  if (Math.abs(value - record.value) > CONSTANT_AGREEMENT * Math.abs(record.value)) {\n    throw new ConstantDisagreementError(key, record.name, record.value, value);\n  }\n  return record.name;\n}\n\n/** The notes of the registered constants among `names`, each once, in registry order. @internal */\nexport function constantNotes(names: Iterable<string>): string[] {\n  const seen = new Set<ConstantRecord>();\n  for (const name of names) {\n    const record = BY_SPELLING.get(name);\n    if (record?.note !== undefined) seen.add(record);\n  }\n  return CONSTANT_REGISTRY.filter((record) => seen.has(record)).map((record) => record.note!);\n}\n\n/** Every spelling → SI value, for a numeric scope. `pi` and `tau` are added. @internal */\nexport function constantScope(): Record<string, number> {\n  const scope: Record<string, number> = { pi: Math.PI, tau: 2 * Math.PI };\n  for (const [spelling, record] of BY_SPELLING) scope[spelling] = record.value;\n  return scope;\n}\n\n/** A registered constant leaf: SI value + SI dimension. @internal */\nexport interface NamedConstantValue {\n  readonly value: number;\n  readonly dim: Dimension;\n}\n\n/**\n * Constant leaves a `symbolic` ExprNode may reference, keyed by formula name:\n * the canonical rows of {@link CONSTANT_REGISTRY}. `ln2`/`8pi`/`4pi`\n * reproduce the evaluators' `Math.LN2` / `8*Math.PI` / `4*Math.PI` exactly\n * (same IEEE-754 primitives).\n */\nexport const CONSTANTS: Readonly<Record<string, NamedConstantValue>> = Object.fromEntries(\n  CONSTANT_REGISTRY.filter((record) => record.canonical).map((record) => [\n    record.name,\n    { value: record.value, dim: record.dim },\n  ]),\n);\n\n/** What a registered constant is, its SI unit, and where its value comes from (audit I10). @internal */\nexport interface ConstantProvenance {\n  readonly meaning: string;\n  /** The SI unit, in the syntax `parseUnit` reads; the registered dimension is derived from it. */\n  readonly unit: string;\n  readonly source: string;\n}\n\n/** One row per {@link CONSTANT_REGISTRY} name. @internal */\nexport const CONSTANT_PROVENANCE: Readonly<Record<string, ConstantProvenance>> = Object.fromEntries(\n  CONSTANT_REGISTRY.map((record) => [\n    record.name,\n    { meaning: record.meaning, unit: record.unit, source: record.source },\n  ]),\n);\n\n/**\n * A spelled-out multiple of π written as one symbol (`pi`, `6pi`). `2pi`,\n * `4pi` and `8pi` are also registered in {@link CONSTANTS}; this covers the\n * multiples an encoder spelled out and did not register (`6pi` in\n * CE-perihelion-precession). The structural normal form already drops these.\n * The numeric evaluator has to resolve them too, or a comparison treats `6pi`\n * as a free symbol and never aligns the formula.\n * @internal\n */\nexport function piMultipleValue(name: string): number | undefined {\n  const m = /^(\\d*)pi$/.exec(name);\n  if (m === null) return undefined;\n  const n = m[1] === '' ? 1 : Number(m[1]);\n  if (!Number.isInteger(n) || n < 0) return undefined;\n  return n * Math.PI;\n}\n"]}
+{"version":3,"file":"symbolic-constants.js","sourceRoot":"","sources":["../../src/dimensional/symbolic-constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAoB,MAAM,oBAAoB,CAAC;AAOlF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA8B,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAC3F,GAAG,QAAQ;IACX,GAAG,EAAE,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG;CAClC,CAAC,CAAC,CAAC;AAEJ,MAAM,aAAa,GAAG,IAAI,GAAG,CAA8B,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC;AAElI;;;;;GAKG;AACH,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,iBAAiB,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CACjG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAU,CAC1C,CACF,CACF,CAAC;AAEF,wEAAwE;AACxE,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC7C,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACvC,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AAC1E,CAAC;AAED;;;;GAIG;AACH,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAEhC,8HAA8H;AAC9H,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IAEvC,GAAG;IACH,QAAQ;IACR,UAAU;IACV,KAAK;IAJhB,YACW,GAAW,EACX,QAAgB,EAChB,UAAkB,EAClB,KAAa;QAEtB,KAAK,CACH,IAAI,GAAG,gCAAgC,QAAQ,MAAM,UAAU,IAAI;YACjE,GAAG,KAAK,kFAAkF,CAC7F,CAAC;mBARO,GAAG;wBACH,QAAQ;0BACR,UAAU;qBACV,KAAK;QAMd,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;IAC1C,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAW,EAAE,KAAa;IAC1D,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,kBAAkB,EAAE,CAAC,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,yBAAyB,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,aAAa,CAAC,KAAuB;IACnD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,MAAM,EAAE,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,iBAAiB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAK,CAAC,CAAC;AAC9F,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,aAAa;IAC3B,MAAM,KAAK,GAA2B,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC;IACxE,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,WAAW;QAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;IAC7E,OAAO,KAAK,CAAC;AACf,CAAC;AAQD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAiD,MAAM,CAAC,WAAW,CACvF,iBAAiB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACrE,MAAM,CAAC,IAAI;IACX,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE;CACzC,CAAC,CACH,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,OAAO,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAC/D,CAAC;AAUD,4DAA4D;AAC5D,MAAM,CAAC,MAAM,mBAAmB,GAAiD,MAAM,CAAC,WAAW,CACjG,iBAAiB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAChC,MAAM,CAAC,IAAI;IACX,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;CACtE,CAAC,CACH,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACpD,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;AACrB,CAAC","sourcesContent":["/**\n * The constant registry: one row per physical constant a formula may name.\n *\n * A row (written in `constant-rows.ts`) holds the formula name, its other\n * exact-case spellings, the SI value (imported from `core/constants.js`, the\n * one owner of every value), the SI unit in `parseUnit` syntax, the meaning\n * and the source. The dimension is derived from the unit once, here; no second\n * table states it. The rows sit in their own module because the unit table\n * names constants by these spellings, and this module imports the unit parser. Every other\n * constant table in the library ({@link CONSTANTS}, `FORMULA_NAMED`,\n * `CONSTANT_SPELLINGS`, {@link CONSTANT_PROVENANCE}, `CANONICAL_CONSTANTS`,\n * the `upt eval` scope, the binding scope, the gradient constants) is a\n * projection of this array, so a spelling, a value and a dimension cannot\n * disagree between two files. A constant that is also a quantity names its\n * `data/quantities.json` row in `quantity`; the quantity registry derives that\n * row's aliases from here, so the file states no constant spelling.\n *\n * `canonical` marks a universal constant a canonical equation's `governing`\n * list may bake as a leaf. A row that is an overlay for `upt eval` and the\n * dimensional assignment only (`m_p`, `N_A`, the GRW parameters) is not\n * canonical, so the canonical graph does not bake it.\n *\n * Numeric-literal leaves (`'2'`, `'3'`) are NOT registered — `evalExpr`\n * resolves them via `Number(name)` and they are implicitly dimensionless.\n * Non-base-10 tokens (`'8pi'`, `'4pi'`, `'ln2'`) MUST be here (`Number('8pi')`\n * is `NaN`).\n *\n * INTERNAL — not on the public surface.\n *\n * @module dimensional/symbolic-constants\n */\n\nimport { withinRel } from '../core/compare.js';\nimport type { Dimension } from './types.js';\nimport { parseUnit } from './units.js';\nimport { CONSTANT_ROWS, constantRow, type ConstantRow } from './constant-rows.js';\n\n/** One registered constant: its row, with the dimension derived from its unit. @internal */\nexport interface ConstantRecord extends ConstantRow {\n  readonly dim: Dimension;\n}\n\n/**\n * Every registered constant, the rows of `constant-rows.ts` with each\n * dimension derived once from its unit. Order is the order the tables print.\n * @internal\n */\nexport const CONSTANT_REGISTRY: readonly ConstantRecord[] = CONSTANT_ROWS.map((constant) => ({\n  ...constant,\n  dim: parseUnit(constant.unit).dim,\n}));\n\nconst RECORD_OF_ROW = new Map<ConstantRow, ConstantRecord>(CONSTANT_ROWS.map((constant, i) => [constant, CONSTANT_REGISTRY[i]!]));\n\n/**\n * Every spelling → its record; `constant-rows.ts` refuses a spelling written twice. A constant\n * that is also a quantity (`quantity`, e.g. `k_B` → `boltzmann-constant`) is reachable by that\n * quantity id too, so a user who writes the quantity's name states the constant, and the value\n * is checked against the registry rather than bound.\n */\nconst BY_SPELLING = new Map<string, ConstantRecord>(\n  CONSTANT_REGISTRY.flatMap((record) =>\n    [record.name, ...record.spellings, ...(record.quantity === undefined ? [] : [record.quantity])].map(\n      (spelling) => [spelling, record] as const,\n    ),\n  ),\n);\n\n/** The registered constant `spelling` names, or undefined. @internal */\nexport function constantRecord(spelling: string): ConstantRecord | undefined {\n  const constant = constantRow(spelling);\n  return constant === undefined ? undefined : RECORD_OF_ROW.get(constant);\n}\n\n/**\n * Relative tolerance within which a stated constant agrees with the registered\n * value. Textbook roundings such as `b = 2.9e-3` pass.\n * @internal\n */\nconst CONSTANT_AGREEMENT = 5e-3;\n\n/** A stated value for a registered constant disagrees with the registry. The equations use the registered value. @internal */\nexport class ConstantDisagreementError extends Error {\n  constructor(\n    readonly key: string,\n    readonly constant: string,\n    readonly registered: number,\n    readonly given: number,\n  ) {\n    super(\n      `'${key}' is the registered constant ${constant} = ${registered}; ` +\n        `${given} disagrees, and the equations use the registered value, so it cannot be rebound.`,\n    );\n    this.name = 'ConstantDisagreementError';\n  }\n}\n\n/**\n * The registered constant `key` names when `value` agrees with it within\n * {@link CONSTANT_AGREEMENT}, or null when `key` names no constant. A value\n * that disagrees throws {@link ConstantDisagreementError}: a constant is not\n * a graph quantity, so a stated value is checked, never bound.\n * @internal\n */\nexport function constantAgreement(key: string, value: number): string | null {\n  const record = BY_SPELLING.get(key);\n  if (record === undefined) return null;\n  if (!withinRel(value, record.value, CONSTANT_AGREEMENT, 0)) {\n    throw new ConstantDisagreementError(key, record.name, record.value, value);\n  }\n  return record.name;\n}\n\n/** The notes of the registered constants among `names`, each once, in registry order. @internal */\nexport function constantNotes(names: Iterable<string>): string[] {\n  const seen = new Set<ConstantRecord>();\n  for (const name of names) {\n    const record = BY_SPELLING.get(name);\n    if (record?.note !== undefined) seen.add(record);\n  }\n  return CONSTANT_REGISTRY.filter((record) => seen.has(record)).map((record) => record.note!);\n}\n\n/** Every spelling → SI value, for a numeric scope. `pi` and `tau` are added. @internal */\nexport function constantScope(): Record<string, number> {\n  const scope: Record<string, number> = { pi: Math.PI, tau: 2 * Math.PI };\n  for (const [spelling, record] of BY_SPELLING) scope[spelling] = record.value;\n  return scope;\n}\n\n/** A registered constant leaf: SI value + SI dimension. @internal */\nexport interface NamedConstantValue {\n  readonly value: number;\n  readonly dim: Dimension;\n}\n\n/**\n * Constant leaves a `symbolic` ExprNode may reference, keyed by formula name:\n * the canonical rows of {@link CONSTANT_REGISTRY}. `ln2`/`8pi`/`4pi`\n * reproduce the evaluators' `Math.LN2` / `8*Math.PI` / `4*Math.PI` exactly\n * (same IEEE-754 primitives).\n */\nexport const CONSTANTS: Readonly<Record<string, NamedConstantValue>> = Object.fromEntries(\n  CONSTANT_REGISTRY.filter((record) => record.canonical).map((record) => [\n    record.name,\n    { value: record.value, dim: record.dim },\n  ]),\n);\n\n/**\n * True when `name` is a key of {@link CONSTANTS} itself. `in` on that plain\n * object is true for `constructor` and every other `Object.prototype` name,\n * which once read a leaf spelled that way as a constant; this reads the own\n * properties only, and is the one rule for \"a registered constant\".\n *\n * @internal\n */\nexport function isRegisteredConstant(name: string): boolean {\n  return Object.prototype.hasOwnProperty.call(CONSTANTS, name);\n}\n\n/** What a registered constant is, its SI unit, and where its value comes from (audit I10). @internal */\nexport interface ConstantProvenance {\n  readonly meaning: string;\n  /** The SI unit, in the syntax `parseUnit` reads; the registered dimension is derived from it. */\n  readonly unit: string;\n  readonly source: string;\n}\n\n/** One row per {@link CONSTANT_REGISTRY} name. @internal */\nexport const CONSTANT_PROVENANCE: Readonly<Record<string, ConstantProvenance>> = Object.fromEntries(\n  CONSTANT_REGISTRY.map((record) => [\n    record.name,\n    { meaning: record.meaning, unit: record.unit, source: record.source },\n  ]),\n);\n\n/**\n * A spelled-out multiple of π written as one symbol (`pi`, `6pi`). `2pi`,\n * `4pi` and `8pi` are also registered in {@link CONSTANTS}; this covers the\n * multiples an encoder spelled out and did not register (`6pi` in\n * CE-perihelion-precession). The structural normal form already drops these.\n * The numeric evaluator has to resolve them too, or a comparison treats `6pi`\n * as a free symbol and never aligns the formula.\n * @internal\n */\nexport function piMultipleValue(name: string): number | undefined {\n  const m = /^(\\d*)pi$/.exec(name);\n  if (m === null) return undefined;\n  const n = m[1] === '' ? 1 : Number(m[1]);\n  if (!Number.isInteger(n) || n < 0) return undefined;\n  return n * Math.PI;\n}\n"]}

package/dist/dimensional/types.d.ts

@@ -45,8 +45,44 @@ export declare const FORCE: Dimension;
 export declare const ENERGY: Dimension;
 export declare const POWER: Dimension;
 export declare const ACTION: Dimension;
+/** Volume, cubic metre. */
+export declare const VOLUME: Dimension;
+/** Momentum, kilogram metre per second. */
+export declare const MOMENTUM: Dimension;
+/** Pressure, pascal. */
+export declare const PRESSURE: Dimension;
+/** Spring constant, newton per metre. */
+export declare const SPRING_CONSTANT: Dimension;
+/** Dynamic viscosity, pascal second. */
+export declare const VISCOSITY: Dimension;
+/** Linear mass density, kilogram per metre. */
+export declare const LINEAR_DENSITY: Dimension;
+/** Wavenumber (any inverse length: a spatial frequency, a turn density), per metre. */
+export declare const WAVENUMBER: Dimension;
+/** Diffusivity (mass, thermal or momentum), square metre per second. */
+export declare const DIFFUSIVITY: Dimension;
+/** Energy flux density (power per area: intensity, a Poynting or radiative flux), watt per square metre. */
+export declare const ENERGY_FLUX: Dimension;
+/** The dimension of Newton's constant G, cubic metre per kilogram second squared. */
+export declare const GRAVITATIONAL_CONSTANT: Dimension;
 export declare const TEMPERATURE: Dimension;
 export declare const ENTROPY: Dimension;
+/** Thermal conductivity, watt per metre kelvin. */
+export declare const THERMAL_CONDUCTIVITY: Dimension;
+/** Specific heat capacity, joule per kilogram kelvin. */
+export declare const SPECIFIC_HEAT: Dimension;
 export declare const CHARGE: Dimension;
+/** Capacitance, farad. */
+export declare const CAPACITANCE: Dimension;
+/** Inductance, henry. */
+export declare const INDUCTANCE: Dimension;
+/** Resistance, ohm. */
+export declare const RESISTANCE: Dimension;
+/** Permittivity, farad per metre. */
+export declare const PERMITTIVITY: Dimension;
+/** Electric field, volt per metre. */
+export declare const ELECTRIC_FIELD: Dimension;
+/** Electrical resistivity, ohm metre. */
+export declare const RESISTIVITY: Dimension;
 export declare const NAMED_DIMENSIONS: ReadonlyArray<readonly [string, Dimension]>;
 //# sourceMappingURL=types.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/dimensional/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,MAAM,WAAW,SAAS;IACxB,yBAAyB;IACzB,CAAC,EAAE,MAAM,CAAC;IACV,2BAA2B;IAC3B,CAAC,EAAE,MAAM,CAAC;IACV,wBAAwB;IACxB,CAAC,EAAE,MAAM,CAAC;IACV,oCAAoC;IACpC,CAAC,EAAE,MAAM,CAAC;IACV,6CAA6C;IAC7C,KAAK,EAAE,MAAM,CAAC;IACd,uCAAuC;IACvC,CAAC,EAAE,MAAM,CAAC;IACV,wCAAwC;IACxC,CAAC,EAAE,MAAM,CAAC;CACX;AAED,eAAO,MAAM,aAAa,EAAE,SAA4D,CAAC;AAWzF,eAAO,MAAM,MAAM,EAAS,SAA4D,CAAC;AACzF,eAAO,MAAM,IAAI,EAAW,SAA4D,CAAC;AACzF,eAAO,MAAM,IAAI,EAAW,SAA4D,CAAC;AACzF,eAAO,MAAM,SAAS,EAAM,SAA6D,CAAC;AAC1F,eAAO,MAAM,IAAI,EAAW,SAA4D,CAAC;AACzF,8CAA8C;AAC9C,eAAO,MAAM,YAAY,EAAG,SAA6D,CAAC;AAC1F,eAAO,MAAM,QAAQ,EAAO,SAA6D,CAAC;AAC1F,eAAO,MAAM,YAAY,EAAG,SAA6D,CAAC;AAC1F,eAAO,MAAM,KAAK,EAAU,SAA6D,CAAC;AAC1F,eAAO,MAAM,MAAM,EAAS,SAA6D,CAAC;AAC1F,eAAO,MAAM,KAAK,EAAU,SAA6D,CAAC;AAC1F,eAAO,MAAM,MAAM,EAAS,SAA6D,CAAC;AAG1F,eAAO,MAAM,WAAW,EAAI,SAA4D,CAAC;AACzF,eAAO,MAAM,OAAO,EAAQ,SAA8D,CAAC;AAG3F,eAAO,MAAM,MAAM,EAAS,SAA4D,CAAC;AAIzF,eAAO,MAAM,gBAAgB,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAmBxE,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/dimensional/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,MAAM,WAAW,SAAS;IACxB,yBAAyB;IACzB,CAAC,EAAE,MAAM,CAAC;IACV,2BAA2B;IAC3B,CAAC,EAAE,MAAM,CAAC;IACV,wBAAwB;IACxB,CAAC,EAAE,MAAM,CAAC;IACV,oCAAoC;IACpC,CAAC,EAAE,MAAM,CAAC;IACV,6CAA6C;IAC7C,KAAK,EAAE,MAAM,CAAC;IACd,uCAAuC;IACvC,CAAC,EAAE,MAAM,CAAC;IACV,wCAAwC;IACxC,CAAC,EAAE,MAAM,CAAC;CACX;AAED,eAAO,MAAM,aAAa,EAAE,SAA4D,CAAC;AAazF,eAAO,MAAM,MAAM,EAAS,SAA4D,CAAC;AACzF,eAAO,MAAM,IAAI,EAAW,SAA4D,CAAC;AACzF,eAAO,MAAM,IAAI,EAAW,SAA4D,CAAC;AACzF,eAAO,MAAM,SAAS,EAAM,SAA6D,CAAC;AAC1F,eAAO,MAAM,IAAI,EAAW,SAA4D,CAAC;AACzF,8CAA8C;AAC9C,eAAO,MAAM,YAAY,EAAG,SAA6D,CAAC;AAC1F,eAAO,MAAM,QAAQ,EAAO,SAA6D,CAAC;AAC1F,eAAO,MAAM,YAAY,EAAG,SAA6D,CAAC;AAC1F,eAAO,MAAM,KAAK,EAAU,SAA6D,CAAC;AAC1F,eAAO,MAAM,MAAM,EAAS,SAA6D,CAAC;AAC1F,eAAO,MAAM,KAAK,EAAU,SAA6D,CAAC;AAC1F,eAAO,MAAM,MAAM,EAAS,SAA6D,CAAC;AAC1F,2BAA2B;AAC3B,eAAO,MAAM,MAAM,EAAS,SAA4D,CAAC;AACzF,2CAA2C;AAC3C,eAAO,MAAM,QAAQ,EAAO,SAA6D,CAAC;AAC1F,wBAAwB;AACxB,eAAO,MAAM,QAAQ,EAAO,SAA8D,CAAC;AAC3F,yCAAyC;AACzC,eAAO,MAAM,eAAe,EAAE,SAA6D,CAAC;AAC5F,wCAAwC;AACxC,eAAO,MAAM,SAAS,EAAM,SAA8D,CAAC;AAC3F,+CAA+C;AAC/C,eAAO,MAAM,cAAc,EAAE,SAA6D,CAAC;AAC3F,uFAAuF;AACvF,eAAO,MAAM,UAAU,EAAK,SAA6D,CAAC;AAC1F,wEAAwE;AACxE,eAAO,MAAM,WAAW,EAAI,SAA6D,CAAC;AAC1F,4GAA4G;AAC5G,eAAO,MAAM,WAAW,EAAI,SAA6D,CAAC;AAC1F,qFAAqF;AACrF,eAAO,MAAM,sBAAsB,EAAE,SAA8D,CAAC;AAGpG,eAAO,MAAM,WAAW,EAAI,SAA4D,CAAC;AACzF,eAAO,MAAM,OAAO,EAAQ,SAA8D,CAAC;AAC3F,mDAAmD;AACnD,eAAO,MAAM,oBAAoB,EAAE,SAA8D,CAAC;AAClG,yDAAyD;AACzD,eAAO,MAAM,aAAa,EAAE,SAA8D,CAAC;AAG3F,eAAO,MAAM,MAAM,EAAS,SAA4D,CAAC;AACzF,0BAA0B;AAC1B,eAAO,MAAM,WAAW,EAAI,SAA8D,CAAC;AAC3F,yBAAyB;AACzB,eAAO,MAAM,UAAU,EAAK,SAA8D,CAAC;AAC3F,uBAAuB;AACvB,eAAO,MAAM,UAAU,EAAK,SAA8D,CAAC;AAC3F,qCAAqC;AACrC,eAAO,MAAM,YAAY,EAAG,SAA8D,CAAC;AAC3F,sCAAsC;AACtC,eAAO,MAAM,cAAc,EAAE,SAA8D,CAAC;AAC5F,yCAAyC;AACzC,eAAO,MAAM,WAAW,EAAI,SAA8D,CAAC;AAI3F,eAAO,MAAM,gBAAgB,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAmBxE,CAAC"}

package/dist/dimensional/types.js

@@ -18,13 +18,15 @@
 export const DIMENSIONLESS = { L: 0, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
 // --- Mechanics ---
 //
-// Named-dimension constants are exported only when there is at least one
-// real consumer (a bridge encoding, a constant, or an active test). The
-// previously-exported VOLUME, MOMENTUM, ANGULAR_MOMENTUM, PRESSURE,
-// DENSITY, VOLTAGE, ELECTRIC_FIELD, MAGNETIC_FIELD were unreferenced and
-// were removed 2026-05-04 per simplifier F-01 (no flexibility/configura-
-// bility that wasn't requested). Re-add them precisely when a bridge
-// encoding or test references them.
+// Named-dimension constants: one owner for each shape. The atlas families and
+// the canonical entries each spelled PRESSURE, SPRING_CONSTANT, CAPACITANCE,
+// INDUCTANCE, RESISTANCE, THERMAL_CONDUCTIVITY, SPECIFIC_HEAT, VISCOSITY,
+// VOLUME, PERMITTIVITY, MOMENTUM and ELECTRIC_FIELD by exponents; those shapes
+// are named here, as are LINEAR_DENSITY, WAVENUMBER, DIFFUSIVITY, ENERGY_FLUX,
+// GRAVITATIONAL_CONSTANT and RESISTIVITY, each stated by exponents in two or
+// more of those modules. A shape named here is NOT a row of NAMED_DIMENSIONS unless
+// `format()` is meant to print its name: adding a row changes every printed
+// dimension of that shape.
 export const LENGTH = { L: 1, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
 export const AREA = { L: 2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
 export const TIME = { L: 0, M: 0, T: 1, I: 0, Theta: 0, N: 0, J: 0 };
@@ -38,11 +40,47 @@ export const FORCE = { L: 1, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 }; // newto
 export const ENERGY = { L: 2, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 }; // joule
 export const POWER = { L: 2, M: 1, T: -3, I: 0, Theta: 0, N: 0, J: 0 }; // watt
 export const ACTION = { L: 2, M: 1, T: -1, I: 0, Theta: 0, N: 0, J: 0 }; // J·s
+/** Volume, cubic metre. */
+export const VOLUME = { L: 3, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
+/** Momentum, kilogram metre per second. */
+export const MOMENTUM = { L: 1, M: 1, T: -1, I: 0, Theta: 0, N: 0, J: 0 };
+/** Pressure, pascal. */
+export const PRESSURE = { L: -1, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
+/** Spring constant, newton per metre. */
+export const SPRING_CONSTANT = { L: 0, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
+/** Dynamic viscosity, pascal second. */
+export const VISCOSITY = { L: -1, M: 1, T: -1, I: 0, Theta: 0, N: 0, J: 0 };
+/** Linear mass density, kilogram per metre. */
+export const LINEAR_DENSITY = { L: -1, M: 1, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
+/** Wavenumber (any inverse length: a spatial frequency, a turn density), per metre. */
+export const WAVENUMBER = { L: -1, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
+/** Diffusivity (mass, thermal or momentum), square metre per second. */
+export const DIFFUSIVITY = { L: 2, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 };
+/** Energy flux density (power per area: intensity, a Poynting or radiative flux), watt per square metre. */
+export const ENERGY_FLUX = { L: 0, M: 1, T: -3, I: 0, Theta: 0, N: 0, J: 0 };
+/** The dimension of Newton's constant G, cubic metre per kilogram second squared. */
+export const GRAVITATIONAL_CONSTANT = { L: 3, M: -1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
 // --- Thermodynamics ---
 export const TEMPERATURE = { L: 0, M: 0, T: 0, I: 0, Theta: 1, N: 0, J: 0 };
 export const ENTROPY = { L: 2, M: 1, T: -2, I: 0, Theta: -1, N: 0, J: 0 }; // J/K
+/** Thermal conductivity, watt per metre kelvin. */
+export const THERMAL_CONDUCTIVITY = { L: 1, M: 1, T: -3, I: 0, Theta: -1, N: 0, J: 0 };
+/** Specific heat capacity, joule per kilogram kelvin. */
+export const SPECIFIC_HEAT = { L: 2, M: 0, T: -2, I: 0, Theta: -1, N: 0, J: 0 };
 // --- Electromagnetism (SI) ---
 export const CHARGE = { L: 0, M: 0, T: 1, I: 1, Theta: 0, N: 0, J: 0 }; // coulomb = A·s
+/** Capacitance, farad. */
+export const CAPACITANCE = { L: -2, M: -1, T: 4, I: 2, Theta: 0, N: 0, J: 0 };
+/** Inductance, henry. */
+export const INDUCTANCE = { L: 2, M: 1, T: -2, I: -2, Theta: 0, N: 0, J: 0 };
+/** Resistance, ohm. */
+export const RESISTANCE = { L: 2, M: 1, T: -3, I: -2, Theta: 0, N: 0, J: 0 };
+/** Permittivity, farad per metre. */
+export const PERMITTIVITY = { L: -3, M: -1, T: 4, I: 2, Theta: 0, N: 0, J: 0 };
+/** Electric field, volt per metre. */
+export const ELECTRIC_FIELD = { L: 1, M: 1, T: -3, I: -1, Theta: 0, N: 0, J: 0 };
+/** Electrical resistivity, ohm metre. */
+export const RESISTIVITY = { L: 3, M: 1, T: -3, I: -2, Theta: 0, N: 0, J: 0 };
 // --- Curated lookup table for `format()` to recognize named SI dimensions. ---
 // Order matters only for tie-breaks; the first matching name wins.
 export const NAMED_DIMENSIONS = [

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","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"]}
+{"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,8EAA8E;AAC9E,6EAA6E;AAC7E,0EAA0E;AAC1E,+EAA+E;AAC/E,+EAA+E;AAC/E,6EAA6E;AAC7E,oFAAoF;AACpF,4EAA4E;AAC5E,2BAA2B;AAC3B,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;AACjG,2BAA2B;AAC3B,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,2CAA2C;AAC3C,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,wBAAwB;AACxB,MAAM,CAAC,MAAM,QAAQ,GAAmB,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;AAC3F,yCAAyC;AACzC,MAAM,CAAC,MAAM,eAAe,GAAc,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;AAC5F,wCAAwC;AACxC,MAAM,CAAC,MAAM,SAAS,GAAkB,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;AAC3F,+CAA+C;AAC/C,MAAM,CAAC,MAAM,cAAc,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;AAC3F,uFAAuF;AACvF,MAAM,CAAC,MAAM,UAAU,GAAiB,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,wEAAwE;AACxE,MAAM,CAAC,MAAM,WAAW,GAAgB,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,4GAA4G;AAC5G,MAAM,CAAC,MAAM,WAAW,GAAgB,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,qFAAqF;AACrF,MAAM,CAAC,MAAM,sBAAsB,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAEpG,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;AAClG,mDAAmD;AACnD,MAAM,CAAC,MAAM,oBAAoB,GAAc,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;AAClG,yDAAyD;AACzD,MAAM,CAAC,MAAM,aAAa,GAAc,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;AAE3F,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;AAC1G,0BAA0B;AAC1B,MAAM,CAAC,MAAM,WAAW,GAAgB,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAC3F,yBAAyB;AACzB,MAAM,CAAC,MAAM,UAAU,GAAiB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAC3F,uBAAuB;AACvB,MAAM,CAAC,MAAM,UAAU,GAAiB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAC3F,qCAAqC;AACrC,MAAM,CAAC,MAAM,YAAY,GAAe,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAC3F,sCAAsC;AACtC,MAAM,CAAC,MAAM,cAAc,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAC5F,yCAAyC;AACzC,MAAM,CAAC,MAAM,WAAW,GAAgB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAE3F,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: one owner for each shape. The atlas families and\n// the canonical entries each spelled PRESSURE, SPRING_CONSTANT, CAPACITANCE,\n// INDUCTANCE, RESISTANCE, THERMAL_CONDUCTIVITY, SPECIFIC_HEAT, VISCOSITY,\n// VOLUME, PERMITTIVITY, MOMENTUM and ELECTRIC_FIELD by exponents; those shapes\n// are named here, as are LINEAR_DENSITY, WAVENUMBER, DIFFUSIVITY, ENERGY_FLUX,\n// GRAVITATIONAL_CONSTANT and RESISTIVITY, each stated by exponents in two or\n// more of those modules. A shape named here is NOT a row of NAMED_DIMENSIONS unless\n// `format()` is meant to print its name: adding a row changes every printed\n// dimension of that shape.\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/** Volume, cubic metre. */\nexport const VOLUME:        Dimension = { L: 3, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };\n/** Momentum, kilogram metre per second. */\nexport const MOMENTUM:      Dimension = { L: 1, M: 1, T: -1, I: 0, Theta: 0, N: 0, J: 0 };\n/** Pressure, pascal. */\nexport const PRESSURE:      Dimension = { L: -1, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };\n/** Spring constant, newton per metre. */\nexport const SPRING_CONSTANT: Dimension = { L: 0, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };\n/** Dynamic viscosity, pascal second. */\nexport const VISCOSITY:     Dimension = { L: -1, M: 1, T: -1, I: 0, Theta: 0, N: 0, J: 0 };\n/** Linear mass density, kilogram per metre. */\nexport const LINEAR_DENSITY: Dimension = { L: -1, M: 1, T: 0, I: 0, Theta: 0, N: 0, J: 0 };\n/** Wavenumber (any inverse length: a spatial frequency, a turn density), per metre. */\nexport const WAVENUMBER:    Dimension = { L: -1, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };\n/** Diffusivity (mass, thermal or momentum), square metre per second. */\nexport const DIFFUSIVITY:   Dimension = { L: 2, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 };\n/** Energy flux density (power per area: intensity, a Poynting or radiative flux), watt per square metre. */\nexport const ENERGY_FLUX:   Dimension = { L: 0, M: 1, T: -3, I: 0, Theta: 0, N: 0, J: 0 };\n/** The dimension of Newton's constant G, cubic metre per kilogram second squared. */\nexport const GRAVITATIONAL_CONSTANT: Dimension = { L: 3, M: -1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };\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/** Thermal conductivity, watt per metre kelvin. */\nexport const THERMAL_CONDUCTIVITY: Dimension = { L: 1, M: 1, T: -3, I: 0, Theta: -1, N: 0, J: 0 };\n/** Specific heat capacity, joule per kilogram kelvin. */\nexport const SPECIFIC_HEAT: Dimension = { L: 2, M: 0, T: -2, I: 0, Theta: -1, N: 0, J: 0 };\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/** Capacitance, farad. */\nexport const CAPACITANCE:   Dimension = { L: -2, M: -1, T: 4, I: 2, Theta: 0, N: 0, J: 0 };\n/** Inductance, henry. */\nexport const INDUCTANCE:    Dimension = { L: 2, M: 1, T: -2, I: -2, Theta: 0, N: 0, J: 0 };\n/** Resistance, ohm. */\nexport const RESISTANCE:    Dimension = { L: 2, M: 1, T: -3, I: -2, Theta: 0, N: 0, J: 0 };\n/** Permittivity, farad per metre. */\nexport const PERMITTIVITY:  Dimension = { L: -3, M: -1, T: 4, I: 2, Theta: 0, N: 0, J: 0 };\n/** Electric field, volt per metre. */\nexport const ELECTRIC_FIELD: Dimension = { L: 1, M: 1, T: -3, I: -1, Theta: 0, N: 0, J: 0 };\n/** Electrical resistivity, ohm metre. */\nexport const RESISTIVITY:   Dimension = { L: 3, M: 1, T: -3, I: -2, Theta: 0, N: 0, J: 0 };\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"]}