universal-physics-tensor 9.0.0 → 11.0.0

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';
 /**
@@ -41,8 +42,13 @@ export const CONSTANT_REGISTRY = CONSTANT_ROWS.map((constant) => ({
     dim: parseUnit(constant.unit).dim,
 }));
 const RECORD_OF_ROW = new Map(CONSTANT_ROWS.map((constant, i) => [constant, CONSTANT_REGISTRY[i]]));
-/** Every spelling → its record; `constant-rows.ts` refuses a spelling written twice. */
-const BY_SPELLING = new Map(CONSTANT_REGISTRY.flatMap((record) => [record.name, ...record.spellings].map((spelling) => [spelling, record])));
+/**
+ * Every spelling → its record; `constant-rows.ts` refuses a spelling written twice. A constant
+ * that is also a quantity (`quantity`, e.g. `k_B` → `boltzmann-constant`) is reachable by that
+ * quantity id too, so a user who writes the quantity's name states the constant, and the value
+ * is checked against the registry rather than bound.
+ */
+const BY_SPELLING = new Map(CONSTANT_REGISTRY.flatMap((record) => [record.name, ...record.spellings, ...(record.quantity === undefined ? [] : [record.quantity])].map((spelling) => [spelling, record])));
 /** The registered constant `spelling` names, or undefined. @internal */
 export function constantRecord(spelling) {
     const constant = constantRow(spelling);
@@ -81,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;
@@ -113,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,wFAAwF;AACxF,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,iBAAiB,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAU,CAAC,CAAC,CACzH,CAAC;AAEF,wEAAwE;AACxE,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC7C,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACvC,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AAC1E,CAAC;AAED;;;;GAIG;AACH,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAEhC,8HAA8H;AAC9H,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IAEvC,GAAG;IACH,QAAQ;IACR,UAAU;IACV,KAAK;IAJhB,YACW,GAAW,EACX,QAAgB,EAChB,UAAkB,EAClB,KAAa;QAEtB,KAAK,CACH,IAAI,GAAG,gCAAgC,QAAQ,MAAM,UAAU,IAAI;YACjE,GAAG,KAAK,kFAAkF,CAC7F,CAAC;mBARO,GAAG;wBACH,QAAQ;0BACR,UAAU;qBACV,KAAK;QAMd,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;IAC1C,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAW,EAAE,KAAa;IAC1D,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,kBAAkB,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACjF,MAAM,IAAI,yBAAyB,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,aAAa,CAAC,KAAuB;IACnD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,MAAM,EAAE,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,iBAAiB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAK,CAAC,CAAC;AAC9F,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,aAAa;IAC3B,MAAM,KAAK,GAA2B,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC;IACxE,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,WAAW;QAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;IAC7E,OAAO,KAAK,CAAC;AACf,CAAC;AAQD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAiD,MAAM,CAAC,WAAW,CACvF,iBAAiB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACrE,MAAM,CAAC,IAAI;IACX,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE;CACzC,CAAC,CACH,CAAC;AAUF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,mBAAmB,GAAiD,MAAM,CAAC,WAAW,CACjG,iBAAiB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAChC,MAAM,CAAC,IAAI;IACX,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;CACtE,CAAC,CACH,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACpD,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;AACrB,CAAC"}
+{"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/tensor-trace.js.map

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

package/dist/dimensional/tensor.js.map

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

package/dist/dimensional/types.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"}
+{"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"]}

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

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

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

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

package/dist/dimensional/unit-convention.js

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

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

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

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

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

package/dist/dimensional/unit-data.js

@@ -19,11 +19,10 @@
  *
  * @module dimensional/unit-data
  */
-import { createHash } from 'node:crypto';
+import { sha256Hex } from '../core/hash.js';
 import { dataSchema, dataText, parseDataFile } from '../core/data-file.js';
 import { constantRow } from './constant-rows.js';
 import { decimalScale, irrationalScale, readScaleExpression, scaleOf } from './exact-scale.js';
-const BASES = ['L', 'M', 'T', 'I', 'Theta', 'N', 'J'];
 /** π, which the registry does not spell (a formula scope adds `pi` itself), as the irrational factor. */
 const PI = 'pi';
 const PI_SCALE = irrationalScale(Math.PI);
@@ -35,10 +34,15 @@ function constantScale(name) {
     return constant.irrational === true ? irrationalScale(constant.value) : scaleOf(constant.value);
 }
 function dimension(d) {
-    const out = {};
-    for (const base of BASES)
-        out[base] = d[base] ?? 0;
-    return out;
+    return {
+        L: d.L ?? 0,
+        M: d.M ?? 0,
+        T: d.T ?? 0,
+        I: d.I ?? 0,
+        Theta: d.Theta ?? 0,
+        N: d.N ?? 0,
+        J: d.J ?? 0,
+    };
 }
 /**
  * Validate and read `text`, the contents of `data/units.json`, against `schema`.
@@ -127,7 +131,7 @@ export function readUnitFile(text, schema) {
         iceKelvin: read(file.affine.iceKelvin, 'affine iceKelvin'),
         affine,
         spellingNotes,
-        sha256: createHash('sha256').update(text.replace(/\r\n/g, '\n')).digest('hex'),
+        sha256: sha256Hex(text.replace(/\r\n/g, '\n')),
     };
 }
 /** The unit table, read once from `data/units.json`. @internal */

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

@@ -1 +1 @@
-{"version":3,"file":"unit-data.js","sourceRoot":"","sources":["../../src/dimensional/unit-data.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE3E,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,mBAAmB,EAAE,OAAO,EAAmB,MAAM,kBAAkB,CAAC;AAqEhH,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAU,CAAC;AAC/D,yGAAyG;AACzG,MAAM,EAAE,GAAG,IAAI,CAAC;AAChB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAE1C,mJAAmJ;AACnJ,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,OAAO,QAAQ,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,SAAS,CAAC,CAAgB;IACjC,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,OAAO,GAA2B,CAAC;AACrC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,MAAkB;IAC3D,MAAM,IAAI,GAAG,aAAa,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,CAAa,CAAC;IACnE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5C,IAAI,IAAI,KAAK,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACnD,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,aAAa,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,uBAAuB,0BAA0B,CAAC,CAAC;QAC5I,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,OAAO,GAAG,CAAC,IAAY,EAA0B,EAAE;QACvD,IAAI,IAAI,KAAK,EAAE;YAAE,OAAO,QAAQ,CAAC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACpC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,IAAI,iCAAiC,CAAC,CAAC;YACzG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACnD,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACrB,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,KAAa,EAAc,EAAE;QACvD,IAAI,CAAC;YACH,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,KAAM,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAE,CAAU,CAAC,CAAC,CAAC;IACxH,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxD,MAAM,IAAI,GAAY,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAC7I,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,MAAM,0BAA0B,CAAC,CAAC;YACnG,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC9C,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,MAAM,mCAAmC,CAAC,CAAC;QACtI,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC;QACpD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,mCAAmC,MAAM,mCAAmC,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC5C,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,MAAM,6BAA6B,CAAC,CAAC;QACjI,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;IAC5I,CAAC,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,+BAA+B,EAAE,CAAC,CAAC,EAAE,IAAY,EAAE,EAAE;YAC/E,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,QAAQ,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,YAAY,IAAI,uCAAuC,CAAC,CAAC;YAC3I,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QACH,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC;IACD,OAAO;QACL,KAAK;QACL,QAAQ;QACR,OAAO;QACP,iBAAiB,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC;QAC1D,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC;QAC1D,MAAM;QACN,aAAa;QACb,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;KAC/E,CAAC;AACJ,CAAC;AAED,kEAAkE;AAClE,MAAM,CAAC,MAAM,SAAS,GAAkB,YAAY,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC"}
+{"version":3,"file":"unit-data.js","sourceRoot":"","sources":["../../src/dimensional/unit-data.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE3E,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,mBAAmB,EAAE,OAAO,EAAmB,MAAM,kBAAkB,CAAC;AAqEhH,yGAAyG;AACzG,MAAM,EAAE,GAAG,IAAI,CAAC;AAChB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAE1C,mJAAmJ;AACnJ,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,OAAO,QAAQ,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,SAAS,CAAC,CAAgB;IACjC,OAAO;QACL,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;QACnB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KACZ,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,MAAkB;IAC3D,MAAM,IAAI,GAAG,aAAa,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,CAAa,CAAC;IACnE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5C,IAAI,IAAI,KAAK,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACnD,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,aAAa,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,uBAAuB,0BAA0B,CAAC,CAAC;QAC5I,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,OAAO,GAAG,CAAC,IAAY,EAA0B,EAAE;QACvD,IAAI,IAAI,KAAK,EAAE;YAAE,OAAO,QAAQ,CAAC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACpC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,IAAI,iCAAiC,CAAC,CAAC;YACzG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACnD,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACrB,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,KAAa,EAAc,EAAE;QACvD,IAAI,CAAC;YACH,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,KAAM,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAE,CAAU,CAAC,CAAC,CAAC;IACxH,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxD,MAAM,IAAI,GAAY,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAC7I,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,MAAM,0BAA0B,CAAC,CAAC;YACnG,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC9C,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,MAAM,mCAAmC,CAAC,CAAC;QACtI,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC;QACpD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,mCAAmC,MAAM,mCAAmC,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC5C,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,MAAM,6BAA6B,CAAC,CAAC;QACjI,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;IAC5I,CAAC,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,+BAA+B,EAAE,CAAC,CAAC,EAAE,IAAY,EAAE,EAAE;YAC/E,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,QAAQ,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,YAAY,IAAI,uCAAuC,CAAC,CAAC;YAC3I,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QACH,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC;IACD,OAAO;QACL,KAAK;QACL,QAAQ;QACR,OAAO;QACP,iBAAiB,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC;QAC1D,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC;QAC1D,MAAM;QACN,aAAa;QACb,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED,kEAAkE;AAClE,MAAM,CAAC,MAAM,SAAS,GAAkB,YAAY,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC","sourcesContent":["/**\n * The unit table, loaded from `data/units.json` and validated once.\n *\n * The file is checked against `data/units.schema.json` when this module\n * loads (`core/data-file`), then against the rules a schema cannot state:\n * every scale expression reads, a symbol is spelled by one row, a refused\n * spelling and an affine spelling are not also a unit, every prefix letter is\n * both a prefix and a unit, and every `{NAME}` in a note is a constant. A\n * file that breaks one throws here, so `units.ts` never reads a half-valid table.\n *\n * A scale is an exact expression, read by `exact-scale.ts`. A name in it is a\n * shared scale from the file's `scales`, `pi`, or a constant under its registry\n * spelling (`c`, `e`, `m_u`, `M_sun`, `Msun_iau`, `ln2`; `constant-rows.ts`),\n * the same spelling a `{NAME}` note placeholder uses. A constant is read through\n * its shortest decimal (`scaleOf`), or as the irrational factor when its row is\n * `irrational`. A shared scale may not reuse a constant's spelling, so a name\n * has one meaning. The raw rows are strings and integer exponents, so another\n * exact reader (MathTS) replaces this loader without touching the file.\n *\n * @module dimensional/unit-data\n */\n\nimport { sha256Hex } from '../core/hash.js';\nimport { dataSchema, dataText, parseDataFile } from '../core/data-file.js';\nimport type { JsonSchema } from '../core/json-schema.js';\nimport { constantRow } from './constant-rows.js';\nimport type { Dimension } from './types.js';\nimport { decimalScale, irrationalScale, readScaleExpression, scaleOf, type ExactScale } from './exact-scale.js';\n\ntype DimensionFile = Partial<Record<keyof Dimension, number>>;\n\ninterface UnitFileRow {\n  readonly symbols: readonly string[];\n  readonly scale: string;\n  readonly dimension: DimensionFile;\n  readonly prefixable: boolean;\n  readonly cycles?: true;\n}\n\ninterface AffineFileRow {\n  readonly id: string;\n  readonly scale: string;\n  readonly icePoint: string;\n  readonly symbols: readonly string[];\n}\n\ninterface UnitFile {\n  readonly scales: Readonly<Record<string, string>>;\n  readonly prefixes: Readonly<Record<string, string>>;\n  readonly units: readonly UnitFileRow[];\n  readonly refused: readonly { readonly symbol: string; readonly reason: string }[];\n  readonly prefixLetterUnits: { readonly letters: readonly string[] };\n  readonly affine: { readonly iceKelvin: string; readonly scales: readonly AffineFileRow[] };\n  readonly spellingNotes: readonly { readonly spelling: string; readonly note: string }[];\n}\n\n/** One unit symbol, read exactly. @internal */\nexport interface UnitRow {\n  /** Exact scale to SI base units. */\n  readonly scale: ExactScale;\n  readonly dim: Dimension;\n  /** Takes an SI prefix. */\n  readonly prefixable: boolean;\n  /**\n   * The unit counts cycles (turns), not radians. An angular-frequency input in\n   * rad/s takes 2π per cycle; the radian itself does not.\n   */\n  readonly cycles?: true;\n}\n\n/** One affine temperature scale, read exactly. @internal */\nexport interface AffineRow {\n  readonly id: string;\n  /** Kelvin per degree, exactly. */\n  readonly scale: ExactScale;\n  /** The reading at the ice point (0 °C, 273.15 K), exactly. */\n  readonly icePoint: ExactScale;\n  readonly symbols: readonly string[];\n}\n\n/** The unit table `units.ts` reads. @internal */\nexport interface UnitTableData {\n  readonly units: ReadonlyMap<string, UnitRow>;\n  readonly prefixes: ReadonlyMap<string, ExactScale>;\n  /** Refused spelling → the message it prints. */\n  readonly refused: ReadonlyMap<string, string>;\n  readonly prefixLetterUnits: ReadonlySet<string>;\n  /** Kelvin at 0 °C, exactly. */\n  readonly iceKelvin: ExactScale;\n  readonly affine: readonly AffineRow[];\n  /** Spelling → its note, with every `{NAME}` replaced by that constant. */\n  readonly spellingNotes: ReadonlyMap<string, string>;\n  /** SHA-256 of `data/units.json` with line endings as LF, for the CLI record fingerprint. */\n  readonly sha256: string;\n}\n\n/** π, which the registry does not spell (a formula scope adds `pi` itself), as the irrational factor. */\nconst PI = 'pi';\nconst PI_SCALE = irrationalScale(Math.PI);\n\n/** The registered constant `name` spells, exactly: its irrational factor or its shortest decimal; undefined when no constant has that spelling. */\nfunction constantScale(name: string): ExactScale | undefined {\n  const constant = constantRow(name);\n  if (constant === undefined) return undefined;\n  return constant.irrational === true ? irrationalScale(constant.value) : scaleOf(constant.value);\n}\n\nfunction dimension(d: DimensionFile): Dimension {\n  return {\n    L: d.L ?? 0,\n    M: d.M ?? 0,\n    T: d.T ?? 0,\n    I: d.I ?? 0,\n    Theta: d.Theta ?? 0,\n    N: d.N ?? 0,\n    J: d.J ?? 0,\n  };\n}\n\n/**\n * Validate and read `text`, the contents of `data/units.json`, against `schema`.\n * Throws on a file the schema or the table rules reject. A test passes a broken copy.\n * @internal\n */\nexport function readUnitFile(text: string, schema: JsonSchema): UnitTableData {\n  const file = parseDataFile('units.json', text, schema) as UnitFile;\n  for (const name of Object.keys(file.scales)) {\n    if (name === PI || constantRow(name) !== undefined) {\n      throw new Error(`data/units.json: shared scale '${name}' is also ${name === PI ? 'π' : 'a registered constant'}; a name has one meaning`);\n    }\n  }\n\n  const named = new Map<string, ExactScale>();\n  const reading = new Set<string>();\n  const resolve = (name: string): ExactScale | undefined => {\n    if (name === PI) return PI_SCALE;\n    const shared = file.scales[name];\n    if (shared !== undefined) {\n      const done = named.get(name);\n      if (done !== undefined) return done;\n      if (reading.has(name)) throw new Error(`data/units.json: scale '${name}' is defined in terms of itself`);\n      reading.add(name);\n      const scale = readScaleExpression(shared, resolve);\n      reading.delete(name);\n      named.set(name, scale);\n      return scale;\n    }\n    return constantScale(name);\n  };\n  const read = (text: string, where: string): ExactScale => {\n    try {\n      return readScaleExpression(text, resolve);\n    } catch (error) {\n      throw new Error(`data/units.json ${where}: ${(error as Error).message}`);\n    }\n  };\n\n  const prefixes = new Map(Object.entries(file.prefixes).map(([prefix, text]) => [prefix, decimalScale(text)!] as const));\n  const units = new Map<string, UnitRow>();\n  for (const row of file.units) {\n    const scale = read(row.scale, `unit ${row.symbols[0]}`);\n    const unit: UnitRow = { scale, dim: dimension(row.dimension), prefixable: row.prefixable, ...(row.cycles ? { cycles: true as const } : {}) };\n    for (const symbol of row.symbols) {\n      if (units.has(symbol)) throw new Error(`data/units.json: unit '${symbol}' is spelled by two rows`);\n      units.set(symbol, unit);\n    }\n  }\n  const refused = new Map<string, string>();\n  for (const { symbol, reason } of file.refused) {\n    if (units.has(symbol) || refused.has(symbol)) throw new Error(`data/units.json: refused '${symbol}' is also a unit or refused twice`);\n    refused.set(symbol, reason);\n  }\n  for (const letter of file.prefixLetterUnits.letters) {\n    if (!prefixes.has(letter) || !units.has(letter)) {\n      throw new Error(`data/units.json: prefix letter '${letter}' is not both a prefix and a unit`);\n    }\n  }\n  const affine = file.affine.scales.map((row) => {\n    for (const symbol of row.symbols) {\n      if (units.has(symbol) || refused.has(symbol)) throw new Error(`data/units.json: affine '${symbol}' is also a unit or refused`);\n    }\n    return { id: row.id, scale: read(row.scale, `affine ${row.id}`), icePoint: read(row.icePoint, `affine ${row.id}`), symbols: row.symbols };\n  });\n  const spellingNotes = new Map<string, string>();\n  for (const { spelling, note } of file.spellingNotes) {\n    const filled = note.replace(/\\{([A-Za-z_][A-Za-z0-9_]*)\\}/g, (_, name: string) => {\n      const constant = constantRow(name);\n      if (constant === undefined) throw new Error(`data/units.json: note for '${spelling}' names '${name}', which is not a registered constant`);\n      return String(constant.value);\n    });\n    spellingNotes.set(spelling, filled);\n  }\n  return {\n    units,\n    prefixes,\n    refused,\n    prefixLetterUnits: new Set(file.prefixLetterUnits.letters),\n    iceKelvin: read(file.affine.iceKelvin, 'affine iceKelvin'),\n    affine,\n    spellingNotes,\n    sha256: sha256Hex(text.replace(/\\r\\n/g, '\\n')),\n  };\n}\n\n/** The unit table, read once from `data/units.json`. @internal */\nexport const UNIT_DATA: UnitTableData = readUnitFile(dataText('units.json'), dataSchema('units.json'));\n"]}

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

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