universal-physics-tensor 10.0.0 → 12.0.0

package/dist/dimensional/mathts-unit-wrapper.js

@@ -0,0 +1,190 @@
+/**
+ * UPT unit wrapper policy on top of MathTS (Part A steps A8, A11, A12 partial).
+ *
+ * Admission, refusal policy, and cycle counting stay here even when parsing and
+ * scales delegate to MathTS. Four deliberate overrides of MathTS defaults are
+ * layered here, each pinned by a test that reads both sides:
+ *
+ * 1. `ton` and `tons` — MathTS names them ambiguous; UPT refuses them with its own
+ *    message (`data/units.json`, `tests/dimensional/unit-wrapper-refusal.test.ts`).
+ * 2. An affine temperature inside a compound — MathTS refuses `degC/s` but parses the
+ *    spaced `deg C/s`; UPT refuses both (`localUnitReadings`,
+ *    `tests/dimensional/mathts-unit-gaps.test.ts`).
+ * 3. `pc` prefixes — MathTS admits only k and up (`SHORT_UP_ONLY`); UPT's
+ *    prefix table applies to every prefixable row, so `mpc` stays on the local
+ *    grammar (`isSubKiloParsec`, `tests/dimensional/unit-override-parsec.test.ts`).
+ * 4. `bit` — MathTS reports scale 1 on its bit axis; UPT keeps ln 2 nat
+ *    (`applyBitScaleOverride`, `tests/dimensional/unit-wrapper-bit.test.ts`).
+ *
+ * The refusal *definitions* for `dB`, `dBm`, `dBW`, `Np`, `Mach` and `mach` are
+ * MathTS's `REFUSED_UNIT_SPELLINGS` (0.21.0); `data/units.json` no longer
+ * repeats them. The wrapper turns a MathTS refusal into `UnitRefusedError`
+ * before any parse, compounds included.
+ *
+ * @module dimensional/mathts-unit-wrapper
+ * @internal
+ */
+import { REFUSED_UNIT_SPELLINGS, Unit, exactScaleToNumber } from '@danielsimonjr/mathts-core';
+import { scaleToNumber, solidusSides, uptExactScaleFromCore } from './exact-scale.js';
+import { isSubKiloParsec, mathtsParsedDimension } from './mathts-unit-delegation.js';
+import { UNIT_DATA } from './unit-data.js';
+const DIMENSIONLESS = { L: 0, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
+const REFUSED = UNIT_DATA.refused;
+const UNITS = UNIT_DATA.units;
+/** Agreed spellings that fully parse through MathTS (Part A step A5). The 0.21.0
+ * core adds the day symbol, the angstrom spellings, and SI prefixes on `psi` and
+ * `torr`; the k-and-up parsec spellings agree with the table double for double.
+ * The 0.22.0 core adds the glued products `m2K`, `Vs`, `cm^2/Vs` and `W/m2K`. */
+export const A5_DELEGATED_TEXTS = [
+    'km',
+    'degC',
+    'g/cm^3',
+    'mN/m',
+    'kohm',
+    'GeV',
+    'km/s/Mpc',
+    'd',
+    'day',
+    'Angstrom',
+    'angstrom',
+    'Å',
+    'psi',
+    'torr',
+    'kpsi',
+    'Mpsi',
+    'mtorr',
+    'utorr',
+    'kpc',
+    'Mpc',
+    'Gpc',
+    'm2K',
+    'Vs',
+    'cm^2/Vs',
+    'W/m2K',
+];
+const A5_DELEGATED = new Set(A5_DELEGATED_TEXTS);
+const SUPERSCRIPT = { '¹': 1, '²': 2, '³': 3, '⁻¹': -1, '⁻²': -2, '⁻³': -3 };
+function sideTokens(text) {
+    return text.split(/[*·\s]+|(?<=[A-Za-zµμΩ])\.(?=[A-Za-zµμΩ])/).filter((part) => part.length > 0);
+}
+function trySymbolBase(token) {
+    if (UNITS.has(token))
+        return token;
+    for (const [prefix] of UNIT_DATA.prefixes) {
+        if (!token.startsWith(prefix) || token.length === prefix.length)
+            continue;
+        const base = token.slice(prefix.length);
+        const row = UNITS.get(base);
+        if (row !== undefined && row.prefixable)
+            return base;
+    }
+    return null;
+}
+function factorBase(token) {
+    let base = token;
+    const caret = /^(.+)\^([+-]?\d+)$/.exec(token);
+    if (caret !== null)
+        base = caret[1];
+    else {
+        const uni = /^(.*?)(⁻?[¹²³])$/.exec(token);
+        if (uni !== null && SUPERSCRIPT[uni[2]] !== undefined && uni[1].length > 0)
+            base = uni[1];
+        else {
+            const glued = /^(.*?)([1-9]\d*)$/.exec(token);
+            if (glued !== null && glued[1].length > 0 && trySymbolBase(glued[1]) !== null)
+                base = glued[1];
+        }
+    }
+    return trySymbolBase(base);
+}
+/** A token MathTS refuses by name: UPT policy rows first, then the MathTS registry. */
+function refusalReasonFor(token) {
+    return REFUSED.get(token) ?? REFUSED_UNIT_SPELLINGS[token];
+}
+/** Tokens whose spelling carries a refusal reason: UPT policy rows first, then MathTS's registry. */
+export function refusedTokensIn(text) {
+    const t = text.trim();
+    if (t === '' || t === '1')
+        return [];
+    const whole = refusalReasonFor(t);
+    if (whole !== undefined)
+        return [t];
+    const { numerator, denominator } = solidusSides(t);
+    const tokens = [...sideTokens(numerator), ...sideTokens(denominator)];
+    const hits = [];
+    for (const token of tokens) {
+        if (token === '1')
+            continue;
+        if (refusalReasonFor(token) !== undefined)
+            hits.push(token);
+        else {
+            const base = factorBase(token);
+            if (base !== null && refusalReasonFor(base) !== undefined)
+                hits.push(base);
+        }
+    }
+    return hits;
+}
+/** Refusal message: UPT policy (`ton`) first, then the MathTS registry (`dB` and friends). Null when the text is not denied. */
+export function uptRefusalReason(text) {
+    const hits = refusedTokensIn(text);
+    if (hits.length === 0)
+        return null;
+    const token = hits[0];
+    return refusalReasonFor(token) ?? null;
+}
+/** Whether `text` is on the Part A step A5 delegated spelling list. */
+export function isA5DelegatedText(text) {
+    return A5_DELEGATED.has(text.trim());
+}
+/** Whether MathTS `Unit.parse` accepts `text`. */
+export function mathtsWouldParse(text) {
+    try {
+        Unit.parse(text.trim());
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+/** Keep `bit` at ln 2 nat on the 7-vector (A11a). */
+export function applyBitScaleOverride(text, exact, scale) {
+    if (text.trim() !== 'bit')
+        return { exact, scale };
+    const row = UNITS.get('bit');
+    if (row === undefined)
+        return { exact, scale };
+    const localScale = scaleToNumber(row.scale);
+    return { exact: row.scale, scale: localScale };
+}
+function affineDim(text) {
+    const row = UNIT_DATA.affine.find((candidate) => candidate.symbols.includes(text));
+    return row === undefined ? null : { ...DIMENSIONLESS, Theta: 1 };
+}
+/**
+ * Scale and dimension for an A5 in-set text through MathTS only (A12 partial).
+ * Returns null when the text is not on the A5 list or MathTS rejects it.
+ */
+export function tryMathtsA5Reading(text) {
+    const t = text.trim();
+    if (isSubKiloParsec(t))
+        return null;
+    if (!isA5DelegatedText(t))
+        return null;
+    const affineDimHint = affineDim(t);
+    try {
+        Unit.parse(t);
+    }
+    catch {
+        return null;
+    }
+    const core = Unit.exactScale(t);
+    if (core === null)
+        return null;
+    const scale = exactScaleToNumber(core);
+    const dim = mathtsParsedDimension(t, affineDimHint ?? DIMENSIONLESS);
+    const exact = UNITS.get(t)?.scale ?? uptExactScaleFromCore(core);
+    const overridden = applyBitScaleOverride(t, exact, scale);
+    return { exact: overridden.exact, scale: overridden.scale, dim, cycles: 0 };
+}
+//# sourceMappingURL=mathts-unit-wrapper.js.map

package/dist/dimensional/mathts-unit-wrapper.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mathts-unit-wrapper.js","sourceRoot":"","sources":["../../src/dimensional/mathts-unit-wrapper.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,EAAE,sBAAsB,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC9F,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,qBAAqB,EAAmB,MAAM,kBAAkB,CAAC;AACvG,OAAO,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACrF,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAG3C,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;AAElF,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC;AAClC,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC;AAE9B;;;iFAGiF;AACjF,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,IAAI;IACJ,MAAM;IACN,QAAQ;IACR,MAAM;IACN,MAAM;IACN,KAAK;IACL,UAAU;IACV,GAAG;IACH,KAAK;IACL,UAAU;IACV,UAAU;IACV,GAAG;IACH,KAAK;IACL,MAAM;IACN,MAAM;IACN,MAAM;IACN,OAAO;IACP,OAAO;IACP,KAAK;IACL,KAAK;IACL,KAAK;IACL,KAAK;IACL,IAAI;IACJ,SAAS;IACT,OAAO;CACC,CAAC;AAEX,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS,kBAAkB,CAAC,CAAC;AAEzD,MAAM,WAAW,GAAqC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;AAE/G,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,2CAA2C,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;QAC1C,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;YAAE,SAAS;QAC1E,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC;IACvD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAC/B,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,KAAK,KAAK,IAAI;QAAE,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;SAChC,CAAC;QACJ,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,GAAG,KAAK,IAAI,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC;YAAE,IAAI,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;aACxF,CAAC;YACJ,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,IAAI;gBAAE,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACpG,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED,uFAAuF;AACvF,SAAS,gBAAgB,CAAC,KAAa;IACrC,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,sBAAsB,CAAC,KAAK,CAAC,CAAC;AAC7D,CAAC;AAED,qGAAqG;AACrG,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;IACtE,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,KAAK,GAAG;YAAE,SAAS;QAC5B,IAAI,gBAAgB,CAAC,KAAK,CAAC,KAAK,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;aACvD,CAAC;YACJ,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAC/B,IAAI,IAAI,KAAK,IAAI,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gIAAgI;AAChI,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;IACvB,OAAO,gBAAgB,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC;AACzC,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AACvC,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,IAAI,CAAC;QACH,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACxB,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,qBAAqB,CAAC,IAAY,EAAE,KAAiB,EAAE,KAAa;IAClF,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,KAAK;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACnD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC/C,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5C,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AACjD,CAAC;AAUD,SAAS,SAAS,CAAC,IAAY;IAC7B,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACnF,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,aAAa,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACnE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,IAAI,eAAe,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,aAAa,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC;QACH,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,qBAAqB,CAAC,CAAC,EAAE,aAAa,IAAI,aAAa,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG,qBAAqB,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1D,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;AAC9E,CAAC","sourcesContent":["/**\n * UPT unit wrapper policy on top of MathTS (Part A steps A8, A11, A12 partial).\n *\n * Admission, refusal policy, and cycle counting stay here even when parsing and\n * scales delegate to MathTS. Four deliberate overrides of MathTS defaults are\n * layered here, each pinned by a test that reads both sides:\n *\n * 1. `ton` and `tons` — MathTS names them ambiguous; UPT refuses them with its own\n *    message (`data/units.json`, `tests/dimensional/unit-wrapper-refusal.test.ts`).\n * 2. An affine temperature inside a compound — MathTS refuses `degC/s` but parses the\n *    spaced `deg C/s`; UPT refuses both (`localUnitReadings`,\n *    `tests/dimensional/mathts-unit-gaps.test.ts`).\n * 3. `pc` prefixes — MathTS admits only k and up (`SHORT_UP_ONLY`); UPT's\n *    prefix table applies to every prefixable row, so `mpc` stays on the local\n *    grammar (`isSubKiloParsec`, `tests/dimensional/unit-override-parsec.test.ts`).\n * 4. `bit` — MathTS reports scale 1 on its bit axis; UPT keeps ln 2 nat\n *    (`applyBitScaleOverride`, `tests/dimensional/unit-wrapper-bit.test.ts`).\n *\n * The refusal *definitions* for `dB`, `dBm`, `dBW`, `Np`, `Mach` and `mach` are\n * MathTS's `REFUSED_UNIT_SPELLINGS` (0.21.0); `data/units.json` no longer\n * repeats them. The wrapper turns a MathTS refusal into `UnitRefusedError`\n * before any parse, compounds included.\n *\n * @module dimensional/mathts-unit-wrapper\n * @internal\n */\nimport { REFUSED_UNIT_SPELLINGS, Unit, exactScaleToNumber } from '@danielsimonjr/mathts-core';\nimport { scaleToNumber, solidusSides, uptExactScaleFromCore, type ExactScale } from './exact-scale.js';\nimport { isSubKiloParsec, mathtsParsedDimension } from './mathts-unit-delegation.js';\nimport { UNIT_DATA } from './unit-data.js';\nimport type { Dimension } from './types.js';\n\nconst DIMENSIONLESS: Dimension = { L: 0, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };\n\nconst REFUSED = UNIT_DATA.refused;\nconst UNITS = UNIT_DATA.units;\n\n/** Agreed spellings that fully parse through MathTS (Part A step A5). The 0.21.0\n * core adds the day symbol, the angstrom spellings, and SI prefixes on `psi` and\n * `torr`; the k-and-up parsec spellings agree with the table double for double.\n * The 0.22.0 core adds the glued products `m2K`, `Vs`, `cm^2/Vs` and `W/m2K`. */\nexport const A5_DELEGATED_TEXTS = [\n  'km',\n  'degC',\n  'g/cm^3',\n  'mN/m',\n  'kohm',\n  'GeV',\n  'km/s/Mpc',\n  'd',\n  'day',\n  'Angstrom',\n  'angstrom',\n  'Å',\n  'psi',\n  'torr',\n  'kpsi',\n  'Mpsi',\n  'mtorr',\n  'utorr',\n  'kpc',\n  'Mpc',\n  'Gpc',\n  'm2K',\n  'Vs',\n  'cm^2/Vs',\n  'W/m2K',\n] as const;\n\nconst A5_DELEGATED = new Set<string>(A5_DELEGATED_TEXTS);\n\nconst SUPERSCRIPT: Readonly<Record<string, number>> = { '¹': 1, '²': 2, '³': 3, '⁻¹': -1, '⁻²': -2, '⁻³': -3 };\n\nfunction sideTokens(text: string): string[] {\n  return text.split(/[*·\\s]+|(?<=[A-Za-zµμΩ])\\.(?=[A-Za-zµμΩ])/).filter((part) => part.length > 0);\n}\n\nfunction trySymbolBase(token: string): string | null {\n  if (UNITS.has(token)) return token;\n  for (const [prefix] of UNIT_DATA.prefixes) {\n    if (!token.startsWith(prefix) || token.length === prefix.length) continue;\n    const base = token.slice(prefix.length);\n    const row = UNITS.get(base);\n    if (row !== undefined && row.prefixable) return base;\n  }\n  return null;\n}\n\nfunction factorBase(token: string): string | null {\n  let base = token;\n  const caret = /^(.+)\\^([+-]?\\d+)$/.exec(token);\n  if (caret !== null) base = caret[1]!;\n  else {\n    const uni = /^(.*?)(⁻?[¹²³])$/.exec(token);\n    if (uni !== null && SUPERSCRIPT[uni[2]!] !== undefined && uni[1]!.length > 0) base = uni[1]!;\n    else {\n      const glued = /^(.*?)([1-9]\\d*)$/.exec(token);\n      if (glued !== null && glued[1]!.length > 0 && trySymbolBase(glued[1]!) !== null) base = glued[1]!;\n    }\n  }\n  return trySymbolBase(base);\n}\n\n/** A token MathTS refuses by name: UPT policy rows first, then the MathTS registry. */\nfunction refusalReasonFor(token: string): string | undefined {\n  return REFUSED.get(token) ?? REFUSED_UNIT_SPELLINGS[token];\n}\n\n/** Tokens whose spelling carries a refusal reason: UPT policy rows first, then MathTS's registry. */\nexport function refusedTokensIn(text: string): readonly string[] {\n  const t = text.trim();\n  if (t === '' || t === '1') return [];\n  const whole = refusalReasonFor(t);\n  if (whole !== undefined) return [t];\n  const { numerator, denominator } = solidusSides(t);\n  const tokens = [...sideTokens(numerator), ...sideTokens(denominator)];\n  const hits: string[] = [];\n  for (const token of tokens) {\n    if (token === '1') continue;\n    if (refusalReasonFor(token) !== undefined) hits.push(token);\n    else {\n      const base = factorBase(token);\n      if (base !== null && refusalReasonFor(base) !== undefined) hits.push(base);\n    }\n  }\n  return hits;\n}\n\n/** Refusal message: UPT policy (`ton`) first, then the MathTS registry (`dB` and friends). Null when the text is not denied. */\nexport function uptRefusalReason(text: string): string | null {\n  const hits = refusedTokensIn(text);\n  if (hits.length === 0) return null;\n  const token = hits[0]!;\n  return refusalReasonFor(token) ?? null;\n}\n\n/** Whether `text` is on the Part A step A5 delegated spelling list. */\nexport function isA5DelegatedText(text: string): boolean {\n  return A5_DELEGATED.has(text.trim());\n}\n\n/** Whether MathTS `Unit.parse` accepts `text`. */\nexport function mathtsWouldParse(text: string): boolean {\n  try {\n    Unit.parse(text.trim());\n    return true;\n  } catch {\n    return false;\n  }\n}\n\n/** Keep `bit` at ln 2 nat on the 7-vector (A11a). */\nexport function applyBitScaleOverride(text: string, exact: ExactScale, scale: number): { readonly exact: ExactScale; readonly scale: number } {\n  if (text.trim() !== 'bit') return { exact, scale };\n  const row = UNITS.get('bit');\n  if (row === undefined) return { exact, scale };\n  const localScale = scaleToNumber(row.scale);\n  return { exact: row.scale, scale: localScale };\n}\n\n/** Scale, dimension, and cycles for one A5 in-set text read through MathTS. */\nexport interface MathtsDelegatedReading {\n  readonly exact: ExactScale;\n  readonly scale: number;\n  readonly dim: Dimension;\n  readonly cycles: number;\n}\n\nfunction affineDim(text: string): Dimension | null {\n  const row = UNIT_DATA.affine.find((candidate) => candidate.symbols.includes(text));\n  return row === undefined ? null : { ...DIMENSIONLESS, Theta: 1 };\n}\n\n/**\n * Scale and dimension for an A5 in-set text through MathTS only (A12 partial).\n * Returns null when the text is not on the A5 list or MathTS rejects it.\n */\nexport function tryMathtsA5Reading(text: string): MathtsDelegatedReading | null {\n  const t = text.trim();\n  if (isSubKiloParsec(t)) return null;\n  if (!isA5DelegatedText(t)) return null;\n  const affineDimHint = affineDim(t);\n  try {\n    Unit.parse(t);\n  } catch {\n    return null;\n  }\n  const core = Unit.exactScale(t);\n  if (core === null) return null;\n  const scale = exactScaleToNumber(core);\n  const dim = mathtsParsedDimension(t, affineDimHint ?? DIMENSIONLESS);\n  const exact = UNITS.get(t)?.scale ?? uptExactScaleFromCore(core);\n  const overridden = applyBitScaleOverride(t, exact, scale);\n  return { exact: overridden.exact, scale: overridden.scale, dim, cycles: 0 };\n}\n"]}

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

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

package/dist/dimensional/metric.js

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

package/dist/dimensional/metric.js.map

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

package/dist/dimensional/scalar-lowering.d.ts

@@ -0,0 +1,21 @@
+/**
+ * The one lowering of a UPT scalar `ExprNode` to a MathTS `ScalarNode`.
+ *
+ * MathTS `evaluateScalar` and `compileScalarGradient` read a one-argument `-`
+ * as the identity: `op('-', [x])` at x = 3 evaluates to 3. This module writes
+ * `−x` as `(−1)·x` and `+x` as `x` before the MathTS scalar builder reads the
+ * tree. Every other node goes to the builder unchanged. `composition/expr-eval`
+ * and `diff/bridge-ast-gradient` both call this function.
+ *
+ * @module dimensional/scalar-lowering
+ */
+import { type ScalarNode } from '@danielsimonjr/mathts-expression';
+import type { ExprNode } from './validator.js';
+/**
+ * A scalar `ExprNode` as a MathTS `ScalarNode`, with each one-argument sign
+ * rewritten first.
+ * @throws ScalarBuildError (MathTS) on a node kind outside symbol, op, transcendental and abs.
+ * @internal
+ */
+export declare function toScalarNode(node: ExprNode): ScalarNode;
+//# sourceMappingURL=scalar-lowering.d.ts.map

package/dist/dimensional/scalar-lowering.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scalar-lowering.d.ts","sourceRoot":"","sources":["../../src/dimensional/scalar-lowering.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAuB,KAAK,UAAU,EAAE,MAAM,kCAAkC,CAAC;AACxF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AA0B/C;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,QAAQ,GAAG,UAAU,CAEvD"}

package/dist/dimensional/scalar-lowering.js

@@ -0,0 +1,45 @@
+/**
+ * The one lowering of a UPT scalar `ExprNode` to a MathTS `ScalarNode`.
+ *
+ * MathTS `evaluateScalar` and `compileScalarGradient` read a one-argument `-`
+ * as the identity: `op('-', [x])` at x = 3 evaluates to 3. This module writes
+ * `−x` as `(−1)·x` and `+x` as `x` before the MathTS scalar builder reads the
+ * tree. Every other node goes to the builder unchanged. `composition/expr-eval`
+ * and `diff/bridge-ast-gradient` both call this function.
+ *
+ * @module dimensional/scalar-lowering
+ */
+import { createScalarBuilder } from '@danielsimonjr/mathts-expression';
+import { DIMENSIONLESS } from './types.js';
+const builder = createScalarBuilder();
+const MINUS_ONE = { kind: 'symbol', name: '-1', dim: DIMENSIONLESS };
+/** Rewrite every one-argument sign on the scalar arms. Return every other node unchanged. */
+function rewriteSigns(node) {
+    switch (node.kind) {
+        case 'op': {
+            const args = node.args.map(rewriteSigns);
+            if (args.length === 1) {
+                if (node.op === '-')
+                    return { kind: 'op', op: '*', args: [MINUS_ONE, args[0]] };
+                if (node.op === '+')
+                    return args[0];
+            }
+            return { ...node, args };
+        }
+        case 'transcendental':
+        case 'abs':
+            return { ...node, arg: rewriteSigns(node.arg) };
+        default:
+            return node;
+    }
+}
+/**
+ * A scalar `ExprNode` as a MathTS `ScalarNode`, with each one-argument sign
+ * rewritten first.
+ * @throws ScalarBuildError (MathTS) on a node kind outside symbol, op, transcendental and abs.
+ * @internal
+ */
+export function toScalarNode(node) {
+    return builder.from(rewriteSigns(node));
+}
+//# sourceMappingURL=scalar-lowering.js.map

package/dist/dimensional/scalar-lowering.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scalar-lowering.js","sourceRoot":"","sources":["../../src/dimensional/scalar-lowering.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,mBAAmB,EAAmB,MAAM,kCAAkC,CAAC;AAExF,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,MAAM,OAAO,GAAG,mBAAmB,EAAE,CAAC;AAEtC,MAAM,SAAS,GAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;AAE/E,6FAA6F;AAC7F,SAAS,YAAY,CAAC,IAAc;IAClC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YACzC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACtB,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;oBAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;gBACjF,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;oBAAE,OAAO,IAAI,CAAC,CAAC,CAAE,CAAC;YACvC,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC;QAC3B,CAAC;QACD,KAAK,gBAAgB,CAAC;QACtB,KAAK,KAAK;YACR,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAClD;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,IAAc;IACzC,OAAO,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1C,CAAC","sourcesContent":["/**\n * The one lowering of a UPT scalar `ExprNode` to a MathTS `ScalarNode`.\n *\n * MathTS `evaluateScalar` and `compileScalarGradient` read a one-argument `-`\n * as the identity: `op('-', [x])` at x = 3 evaluates to 3. This module writes\n * `−x` as `(−1)·x` and `+x` as `x` before the MathTS scalar builder reads the\n * tree. Every other node goes to the builder unchanged. `composition/expr-eval`\n * and `diff/bridge-ast-gradient` both call this function.\n *\n * @module dimensional/scalar-lowering\n */\n\nimport { createScalarBuilder, type ScalarNode } from '@danielsimonjr/mathts-expression';\nimport type { ExprNode } from './validator.js';\nimport { DIMENSIONLESS } from './types.js';\n\nconst builder = createScalarBuilder();\n\nconst MINUS_ONE: ExprNode = { kind: 'symbol', name: '-1', dim: DIMENSIONLESS };\n\n/** Rewrite every one-argument sign on the scalar arms. Return every other node unchanged. */\nfunction rewriteSigns(node: ExprNode): ExprNode {\n  switch (node.kind) {\n    case 'op': {\n      const args = node.args.map(rewriteSigns);\n      if (args.length === 1) {\n        if (node.op === '-') return { kind: 'op', op: '*', args: [MINUS_ONE, args[0]!] };\n        if (node.op === '+') return args[0]!;\n      }\n      return { ...node, args };\n    }\n    case 'transcendental':\n    case 'abs':\n      return { ...node, arg: rewriteSigns(node.arg) };\n    default:\n      return node;\n  }\n}\n\n/**\n * A scalar `ExprNode` as a MathTS `ScalarNode`, with each one-argument sign\n * rewritten first.\n * @throws ScalarBuildError (MathTS) on a node kind outside symbol, op, transcendental and abs.\n * @internal\n */\nexport function toScalarNode(node: ExprNode): ScalarNode {\n  return builder.from(rewriteSigns(node));\n}\n"]}

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

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

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

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

package/dist/dimensional/symbolic-constants.js

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

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

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

package/dist/dimensional/types.d.ts

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

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

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