universal-physics-tensor 0.7.3 → 0.14.0

package/dist/dimensional/buckingham.js

@@ -0,0 +1,284 @@
+/**
+ * Buckingham-π enumerator (build target 1 of
+ * docs/planning/Bridge-Inference-Epistemics-Note.md — the principled
+ * primitive for the classifier's EXACTLY-DETERMINED case).
+ *
+ * Given a set of dimensional variables presumed to obey one
+ * dimensionally-homogeneous relation, the Buckingham-π theorem says that
+ * relation re-expresses as F(π₁,…,π_{n−r}) = 0, where each πᵢ is a
+ * dimensionless power-product of the variables and there are exactly
+ * n − r of them (n = variables, r = rank of the dimension matrix). The
+ * π-groups are a basis of the NULL SPACE of the dimension matrix.
+ *
+ * THE HONEST BOUNDARY (enforced by the result types — there is no value
+ * or constant field anywhere): this returns the FORM only. It yields the
+ * π-groups and, for a target, the monomial that determines it UP TO A
+ * DIMENSIONLESS CONSTANT (the 2π, the ½, α). It does NOT and cannot
+ * supply that constant, nor the function F. That boundary is exactly what
+ * separates dimensional analysis from numerology — see the epistemics
+ * note.
+ *
+ * Computation is EXACT (rational arithmetic), not floating Gaussian
+ * elimination: physics dimension exponents are small rationals, and the
+ * null-space basis must be exact to be trustworthy.
+ *
+ * @module dimensional/buckingham
+ */
+const BASES = ['L', 'M', 'T', 'I', 'Theta', 'N', 'J'];
+/** Rationalization failed: a dimension exponent is not a small rational.
+ *  @public */
+export class RationalizationError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'RationalizationError';
+    }
+}
+function gcd(a, b) {
+    a = Math.abs(a);
+    b = Math.abs(b);
+    while (b) {
+        [a, b] = [b, a % b];
+    }
+    return a || 1;
+}
+function frac(n, d) {
+    if (d === 0)
+        throw new RationalizationError('zero denominator');
+    if (d < 0) {
+        n = -n;
+        d = -d;
+    }
+    const g = gcd(n, d);
+    return { n: n / g, d: d / g };
+}
+const MAX_DEN = 720;
+/** Convert a (possibly rational) exponent to an exact fraction by scanning
+ *  small denominators; throws if none matches within tolerance. */
+function toFrac(x) {
+    if (Number.isInteger(x))
+        return { n: x, d: 1 };
+    for (let d = 2; d <= MAX_DEN; d++) {
+        const n = x * d;
+        if (Math.abs(n - Math.round(n)) < 1e-9 * Math.max(1, Math.abs(n))) {
+            return frac(Math.round(n), d);
+        }
+    }
+    throw new RationalizationError(`dimension exponent ${x} is not a rational with denominator ≤ ${MAX_DEN}`);
+}
+const fAdd = (a, b) => frac(a.n * b.d + b.n * a.d, a.d * b.d);
+const fSub = (a, b) => frac(a.n * b.d - b.n * a.d, a.d * b.d);
+const fMul = (a, b) => frac(a.n * b.n, a.d * b.d);
+const fDiv = (a, b) => {
+    if (b.n === 0)
+        throw new RationalizationError('division by zero fraction');
+    return frac(a.n * b.d, a.d * b.n);
+};
+const fZero = (a) => a.n === 0;
+function lcm(a, b) {
+    return Math.abs(a * b) / gcd(a, b);
+}
+// ---------------------------------------------------------------------------
+// Linear algebra: RREF + null-space basis over exact fractions.
+// ---------------------------------------------------------------------------
+/** Reduce `M` (rows × cols of Frac) to RREF in place; return pivot columns. */
+function rref(M, rows, cols) {
+    const pivotCols = [];
+    let r = 0;
+    for (let c = 0; c < cols && r < rows; c++) {
+        let p = -1;
+        for (let i = r; i < rows; i++) {
+            if (!fZero(M[i][c])) {
+                p = i;
+                break;
+            }
+        }
+        if (p === -1)
+            continue;
+        [M[r], M[p]] = [M[p], M[r]];
+        const pivot = M[r][c];
+        for (let j = 0; j < cols; j++)
+            M[r][j] = fDiv(M[r][j], pivot);
+        for (let i = 0; i < rows; i++) {
+            if (i === r || fZero(M[i][c]))
+                continue;
+            const factor = M[i][c];
+            for (let j = 0; j < cols; j++) {
+                M[i][j] = fSub(M[i][j], fMul(factor, M[r][j]));
+            }
+        }
+        pivotCols.push(c);
+        r++;
+    }
+    return pivotCols;
+}
+/** Integerize a fraction vector: scale by the LCM of denominators, then
+ *  normalize the sign so the first nonzero entry is positive. */
+function integerize(vec) {
+    let L = 1;
+    for (const f of vec)
+        if (!fZero(f))
+            L = lcm(L, f.d);
+    // exact integer: L is a multiple of every denominator.
+    const out = vec.map((f) => f.n * (L / f.d));
+    const g = out.reduce((acc, x) => (x ? gcd(acc, x) : acc), 0) || 1;
+    for (let i = 0; i < out.length; i++)
+        out[i] = out[i] / g;
+    const firstNonZero = out.find((x) => x !== 0) ?? 0;
+    if (firstNonZero < 0)
+        for (let i = 0; i < out.length; i++)
+            out[i] = -out[i];
+    return out;
+}
+/** Null-space basis of the dimension matrix as integer exponent vectors,
+ *  one per free column (variable). */
+function nullSpace(matrix, rows, cols) {
+    const M = matrix.map((row) => row.slice());
+    const pivotCols = rref(M, rows, cols);
+    const pivotSet = new Set(pivotCols);
+    const freeCols = [];
+    for (let c = 0; c < cols; c++)
+        if (!pivotSet.has(c))
+            freeCols.push(c);
+    const basis = [];
+    for (const f of freeCols) {
+        const vec = Array.from({ length: cols }, () => ({ n: 0, d: 1 }));
+        vec[f] = { n: 1, d: 1 };
+        for (let i = 0; i < pivotCols.length; i++) {
+            vec[pivotCols[i]] = fSub({ n: 0, d: 1 }, M[i][f]); // -M[pivotRow_i][f]
+        }
+        basis.push(integerize(vec));
+    }
+    return basis;
+}
+function buildMatrix(variables) {
+    const spannedBases = [];
+    const matrix = [];
+    for (const base of BASES) {
+        const row = variables.map((v) => toFrac(v.dim[base]));
+        if (row.some((f) => !fZero(f))) {
+            spannedBases.push(base);
+            matrix.push(row);
+        }
+    }
+    return { matrix, spannedBases };
+}
+function formatPiGroup(exponents, order) {
+    const parts = [];
+    for (const name of order) {
+        const e = exponents[name];
+        if (e === 0)
+            continue;
+        parts.push(e === 1 ? name : `${name}^${e}`);
+    }
+    return parts.join(' · ') || '1';
+}
+/**
+ * Enumerate the Buckingham-π groups of a dimensional variable set. Returns
+ * the rank, the count n − r, and a null-space basis of dimensionless
+ * groups. FORM only — no constants (see module docs).
+ *
+ * @public
+ */
+export function buckinghamPi(variables) {
+    if (variables.length === 0) {
+        throw new RationalizationError('buckinghamPi requires at least one variable');
+    }
+    const names = variables.map((v) => v.name);
+    if (new Set(names).size !== names.length) {
+        throw new RationalizationError(`buckinghamPi requires unique variable names; got [${names.join(', ')}]`);
+    }
+    const n = variables.length;
+    const { matrix, spannedBases } = buildMatrix(variables);
+    const rows = matrix.length;
+    // Rank via RREF on a copy.
+    const rank = rref(matrix.map((r) => r.slice()), rows, n).length;
+    const basis = nullSpace(matrix, rows, n);
+    const piGroups = basis.map((vec) => {
+        const exponents = {};
+        for (let j = 0; j < n; j++)
+            exponents[names[j]] = vec[j];
+        return { exponents, formula: formatPiGroup(exponents, names) };
+    });
+    const piGroupCount = n - rank;
+    const verdict = piGroupCount === 0
+        ? 'dimensionally-independent'
+        : piGroupCount === 1
+            ? 'single-invariant'
+            : 'multiple-invariants';
+    return {
+        variables: names,
+        baseDimensions: spannedBases,
+        variableCount: n,
+        rank,
+        piGroupCount,
+        piGroups,
+        verdict,
+    };
+}
+/**
+ * Does the governing set fix the target UP TO A DIMENSIONLESS CONSTANT?
+ *
+ * True iff the governing variables are dimensionally independent and the
+ * target's dimension lies in their span — equivalently, the full set has
+ * exactly one π-group and the governing set has none. When determined,
+ * returns the (possibly rational) monomial exponents such that
+ * target = const · Π(governingⱼ ^ monomial[j]). The constant is NOT
+ * supplied — dimensional analysis cannot.
+ *
+ * @public
+ */
+export function dimensionallyDetermines(target, governing) {
+    const governingNames = governing.map((v) => v.name);
+    const governingPi = buckinghamPi(governing.length > 0 ? governing : [target]);
+    // A redundancy among the governing variables means the monomial is not
+    // unique (any dimensionless governing combo can be folded into the
+    // constant) → not determined.
+    if (governing.length > 0 && governingPi.piGroupCount > 0) {
+        return {
+            target: target.name,
+            governing: governingNames,
+            determined: false,
+            reason: 'governing variables are dimensionally dependent ' +
+                `(${governingPi.piGroupCount} dimensionless combination(s) among them); ` +
+                'the determining monomial is not unique',
+        };
+    }
+    const full = buckinghamPi([target, ...governing]);
+    if (full.piGroupCount !== 1) {
+        return {
+            target: target.name,
+            governing: governingNames,
+            determined: false,
+            reason: full.piGroupCount === 0
+                ? "the target's dimension is not in the span of the governing " +
+                    'variables — no dimensionless group exists, so no monomial determines it'
+                : `${full.piGroupCount} independent π-groups — the target is fixed ` +
+                    'only as a function of several dimensionless ratios (under-constrained)',
+        };
+    }
+    // The single π-group involves the target; solve it for the target.
+    const group = full.piGroups[0].exponents;
+    const targetExp = group[target.name];
+    if (!targetExp) {
+        return {
+            target: target.name,
+            governing: governingNames,
+            determined: false,
+            reason: 'the sole dimensionless group does not involve the target ' +
+                '(the target is dimensionally redundant with the governing set)',
+        };
+    }
+    const monomial = {};
+    for (const name of governingNames) {
+        monomial[name] = -(group[name] ?? 0) / targetExp;
+    }
+    return {
+        target: target.name,
+        governing: governingNames,
+        determined: true,
+        monomial,
+        upToDimensionlessConstant: true,
+        reason: 'unique dimensionless group fixes the target up to a dimensionless constant',
+    };
+}
+//# sourceMappingURL=buckingham.js.map

package/dist/dimensional/buckingham.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"buckingham.js","sourceRoot":"","sources":["../../src/dimensional/buckingham.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAIH,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAU,CAAC;AA2D/D;cACc;AACd,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAYD,SAAS,GAAG,CAAC,CAAS,EAAE,CAAS;IAC/B,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAChB,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAChB,OAAO,CAAC,EAAE,CAAC;QACT,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,IAAI,CAAC,CAAS,EAAE,CAAS;IAChC,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,kBAAkB,CAAC,CAAC;IAChE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACV,CAAC,GAAG,CAAC,CAAC,CAAC;QACP,CAAC,GAAG,CAAC,CAAC,CAAC;IACT,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpB,OAAO,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;AAChC,CAAC;AAED,MAAM,OAAO,GAAG,GAAG,CAAC;AAEpB;mEACmE;AACnE,SAAS,MAAM,CAAC,CAAS;IACvB,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IACD,MAAM,IAAI,oBAAoB,CAC5B,sBAAsB,CAAC,yCAAyC,OAAO,EAAE,CAC1E,CAAC;AACJ,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,CAAO,EAAE,CAAO,EAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAChF,MAAM,IAAI,GAAG,CAAC,CAAO,EAAE,CAAO,EAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAChF,MAAM,IAAI,GAAG,CAAC,CAAO,EAAE,CAAO,EAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACpE,MAAM,IAAI,GAAG,CAAC,CAAO,EAAE,CAAO,EAAQ,EAAE;IACtC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,2BAA2B,CAAC,CAAC;IAC3E,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC,CAAC;AACF,MAAM,KAAK,GAAG,CAAC,CAAO,EAAW,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAE9C,SAAS,GAAG,CAAC,CAAS,EAAE,CAAS;IAC/B,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,8EAA8E;AAC9E,gEAAgE;AAChE,8EAA8E;AAE9E,+EAA+E;AAC/E,SAAS,IAAI,CAAC,CAAW,EAAE,IAAY,EAAE,IAAY;IACnD,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACX,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9B,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpB,CAAC,GAAG,CAAC,CAAC;gBACN,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,CAAC;YAAE,SAAS;QACvB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE;YAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC9D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9B,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAE,SAAS;YACxC,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC9B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC,EAAE,CAAC;IACN,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;iEACiE;AACjE,SAAS,UAAU,CAAC,GAAW;IAC7B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,GAAG;QAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACpD,uDAAuD;IACvD,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAClE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACzD,MAAM,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,YAAY,GAAG,CAAC;QAAE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5E,OAAO,GAAG,CAAC;AACb,CAAC;AAED;sCACsC;AACtC,SAAS,SAAS,CAChB,MAAgB,EAChB,IAAY,EACZ,IAAY;IAEZ,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,EAAE,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE;QAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEtE,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,GAAG,GAAW,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACzE,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;QACzE,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,SAAyC;IAI5D,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/B,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,aAAa,CACpB,SAAiC,EACjC,KAAwB;IAExB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK,CAAC;YAAE,SAAS;QACtB,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC;AAClC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,SAAyC;IAEzC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,oBAAoB,CAAC,6CAA6C,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACzC,MAAM,IAAI,oBAAoB,CAC5B,qDAAqD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACzE,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC;IAC3B,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;IAE3B,2BAA2B;IAC3B,MAAM,IAAI,GAAG,IAAI,CACf,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,EAC5B,IAAI,EACJ,CAAC,CACF,CAAC,MAAM,CAAC;IAET,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAc,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC5C,MAAM,SAAS,GAA2B,EAAE,CAAC;QAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACzD,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,CAAC;IAC9B,MAAM,OAAO,GACX,YAAY,KAAK,CAAC;QAChB,CAAC,CAAC,2BAA2B;QAC7B,CAAC,CAAC,YAAY,KAAK,CAAC;YAClB,CAAC,CAAC,kBAAkB;YACpB,CAAC,CAAC,qBAAqB,CAAC;IAE9B,OAAO;QACL,SAAS,EAAE,KAAK;QAChB,cAAc,EAAE,YAAY;QAC5B,aAAa,EAAE,CAAC;QAChB,IAAI;QACJ,YAAY;QACZ,QAAQ;QACR,OAAO;KACR,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAA2B,EAC3B,SAAyC;IAEzC,MAAM,cAAc,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAEpD,MAAM,WAAW,GAAG,YAAY,CAC9B,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAC5C,CAAC;IACF,uEAAuE;IACvE,mEAAmE;IACnE,8BAA8B;IAC9B,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,YAAY,GAAG,CAAC,EAAE,CAAC;QACzD,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,SAAS,EAAE,cAAc;YACzB,UAAU,EAAE,KAAK;YACjB,MAAM,EACJ,kDAAkD;gBAClD,IAAI,WAAW,CAAC,YAAY,6CAA6C;gBACzE,wCAAwC;SAC3C,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;IAClD,IAAI,IAAI,CAAC,YAAY,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,SAAS,EAAE,cAAc;YACzB,UAAU,EAAE,KAAK;YACjB,MAAM,EACJ,IAAI,CAAC,YAAY,KAAK,CAAC;gBACrB,CAAC,CAAC,6DAA6D;oBAC7D,yEAAyE;gBAC3E,CAAC,CAAC,GAAG,IAAI,CAAC,YAAY,8CAA8C;oBAClE,wEAAwE;SAC/E,CAAC;IACJ,CAAC;IAED,mEAAmE;IACnE,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzC,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,SAAS,EAAE,cAAc;YACzB,UAAU,EAAE,KAAK;YACjB,MAAM,EACJ,2DAA2D;gBAC3D,gEAAgE;SACnE,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,SAAS,CAAC;IACnD,CAAC;IAED,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,IAAI;QACnB,SAAS,EAAE,cAAc;QACzB,UAAU,EAAE,IAAI;QAChB,QAAQ;QACR,yBAAyB,EAAE,IAAI;QAC/B,MAAM,EACJ,4EAA4E;KAC/E,CAAC;AACJ,CAAC"}

package/dist/dimensional/dimension-spec.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Dimension-spec parser — turns a human string into a {@link Dimension},
+ * so CLI users can declare a quantity's dimensions without TypeScript.
+ *
+ * Accepts (in priority order):
+ *   1. a named dimension — `length`, `time`, `mass`, `velocity`,
+ *      `acceleration`, `force`, `energy`, `power`, `action`, `frequency`,
+ *      `temperature`, `entropy`, `charge`, `area`, `dimensionless`;
+ *   2. a fundamental constant by name — `hbar`/`ℏ`, `c`, `G`, `k_B`/`kB`,
+ *      `e` (its SI dimension);
+ *   3. explicit base exponents — `L^3.M^-1.T^-2` (bases L M T I Theta/Θ N J,
+ *      separated by `.`, `*`, or spaces; `^` optional; fractional exponents
+ *      like `T^1/2` allowed).
+ *
+ * @module dimensional/dimension-spec
+ */
+import type { Dimension } from './types.js';
+/** A bad dimension spec. */
+export declare class DimensionSpecError extends Error {
+    constructor(message: string);
+}
+/** Parse a dimension spec string into a {@link Dimension}. @internal */
+export declare function parseDimensionSpec(spec: string): Dimension;
+//# sourceMappingURL=dimension-spec.d.ts.map

package/dist/dimensional/dimension-spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dimension-spec.d.ts","sourceRoot":"","sources":["../../src/dimensional/dimension-spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAmB5C,4BAA4B;AAC5B,qBAAa,kBAAmB,SAAQ,KAAK;gBAC/B,OAAO,EAAE,MAAM;CAI5B;AAoED,wEAAwE;AACxE,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CA0B1D"}

package/dist/dimensional/dimension-spec.js

@@ -0,0 +1,110 @@
+/**
+ * Dimension-spec parser — turns a human string into a {@link Dimension},
+ * so CLI users can declare a quantity's dimensions without TypeScript.
+ *
+ * Accepts (in priority order):
+ *   1. a named dimension — `length`, `time`, `mass`, `velocity`,
+ *      `acceleration`, `force`, `energy`, `power`, `action`, `frequency`,
+ *      `temperature`, `entropy`, `charge`, `area`, `dimensionless`;
+ *   2. a fundamental constant by name — `hbar`/`ℏ`, `c`, `G`, `k_B`/`kB`,
+ *      `e` (its SI dimension);
+ *   3. explicit base exponents — `L^3.M^-1.T^-2` (bases L M T I Theta/Θ N J,
+ *      separated by `.`, `*`, or spaces; `^` optional; fractional exponents
+ *      like `T^1/2` allowed).
+ *
+ * @module dimensional/dimension-spec
+ */
+import { DIMENSIONLESS, LENGTH, AREA, TIME, FREQUENCY, MASS, VELOCITY, ACCELERATION, FORCE, ENERGY, POWER, ACTION, TEMPERATURE, ENTROPY, CHARGE, } from './types.js';
+/** A bad dimension spec. */
+export class DimensionSpecError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'DimensionSpecError';
+    }
+}
+const d = (L = 0, M = 0, T = 0, Theta = 0, I = 0) => ({ L, M, T, I, Theta, N: 0, J: 0 });
+/** Named dimensions — matched case-insensitively. */
+const NAMED_DIMS = {
+    dimensionless: DIMENSIONLESS,
+    length: LENGTH,
+    area: AREA,
+    time: TIME,
+    frequency: FREQUENCY,
+    mass: MASS,
+    velocity: VELOCITY,
+    acceleration: ACCELERATION,
+    force: FORCE,
+    energy: ENERGY,
+    power: POWER,
+    action: ACTION,
+    temperature: TEMPERATURE,
+    entropy: ENTROPY,
+    charge: CHARGE,
+};
+/** Fundamental constants by their SI dimension — matched EXACT-case, so
+ *  `G` (Newton's constant) is never confused with `g` (acceleration). */
+const CONST_DIMS = {
+    hbar: ACTION,
+    'ℏ': ACTION,
+    c: VELOCITY,
+    G: d(3, -1, -2),
+    k_B: ENTROPY, // Boltzmann (J/K)
+    kB: ENTROPY,
+    e: CHARGE, // elementary charge (A·s)
+};
+const BASES = {
+    L: 'L',
+    M: 'M',
+    T: 'T',
+    I: 'I',
+    THETA: 'Theta',
+    'Θ': 'Theta',
+    N: 'N',
+    J: 'J',
+};
+function parseExponent(raw) {
+    if (raw === '')
+        return 1;
+    if (raw.includes('/')) {
+        const [n, den] = raw.split('/');
+        const num = Number(n);
+        const dd = Number(den);
+        if (!Number.isFinite(num) || !Number.isFinite(dd) || dd === 0) {
+            throw new DimensionSpecError(`bad exponent '${raw}'`);
+        }
+        return num / dd;
+    }
+    const v = Number(raw);
+    if (!Number.isFinite(v))
+        throw new DimensionSpecError(`bad exponent '${raw}'`);
+    return v;
+}
+/** Parse a dimension spec string into a {@link Dimension}. @internal */
+export function parseDimensionSpec(spec) {
+    const s = spec.trim();
+    if (!s)
+        throw new DimensionSpecError('empty dimension spec');
+    // (1) fundamental constant — EXACT case (G ≠ g).
+    if (CONST_DIMS[s])
+        return CONST_DIMS[s];
+    // (2) named dimension — case-insensitive.
+    const named = NAMED_DIMS[s.toLowerCase()];
+    if (named)
+        return named;
+    // (3) explicit base exponents.
+    const out = d();
+    const parts = s.split(/[.*\s]+/).filter(Boolean);
+    for (const part of parts) {
+        const m = /^([A-Za-zΘ]+)\^?(-?\d+(?:\/\d+)?)?$/.exec(part);
+        if (!m)
+            throw new DimensionSpecError(`unrecognized dimension term '${part}'`);
+        const baseKey = BASES[m[1].toUpperCase()] ?? BASES[m[1]];
+        if (!baseKey) {
+            throw new DimensionSpecError(`unknown base dimension '${m[1]}' (use L M T I Theta N J, a named ` +
+                `dimension, or a constant name)`);
+        }
+        out[baseKey] += parseExponent(m[2] ?? '');
+    }
+    return out;
+}
+//# sourceMappingURL=dimension-spec.js.map

package/dist/dimensional/dimension-spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dimension-spec.js","sourceRoot":"","sources":["../../src/dimensional/dimension-spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,KAAK,EACL,MAAM,EACN,WAAW,EACX,OAAO,EACP,MAAM,GACP,MAAM,YAAY,CAAC;AAEpB,4BAA4B;AAC5B,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAC3C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF;AAED,MAAM,CAAC,GAAG,CACR,CAAC,GAAG,CAAC,EACL,CAAC,GAAG,CAAC,EACL,CAAC,GAAG,CAAC,EACL,KAAK,GAAG,CAAC,EACT,CAAC,GAAG,CAAC,EACM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAEpD,qDAAqD;AACrD,MAAM,UAAU,GAAwC;IACtD,aAAa,EAAE,aAAa;IAC5B,MAAM,EAAE,MAAM;IACd,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,SAAS,EAAE,SAAS;IACpB,IAAI,EAAE,IAAI;IACV,QAAQ,EAAE,QAAQ;IAClB,YAAY,EAAE,YAAY;IAC1B,KAAK,EAAE,KAAK;IACZ,MAAM,EAAE,MAAM;IACd,KAAK,EAAE,KAAK;IACZ,MAAM,EAAE,MAAM;IACd,WAAW,EAAE,WAAW;IACxB,OAAO,EAAE,OAAO;IAChB,MAAM,EAAE,MAAM;CACf,CAAC;AAEF;yEACyE;AACzE,MAAM,UAAU,GAAwC;IACtD,IAAI,EAAE,MAAM;IACZ,GAAG,EAAE,MAAM;IACX,CAAC,EAAE,QAAQ;IACX,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACf,GAAG,EAAE,OAAO,EAAE,kBAAkB;IAChC,EAAE,EAAE,OAAO;IACX,CAAC,EAAE,MAAM,EAAE,0BAA0B;CACtC,CAAC;AAEF,MAAM,KAAK,GAAoC;IAC7C,CAAC,EAAE,GAAG;IACN,CAAC,EAAE,GAAG;IACN,CAAC,EAAE,GAAG;IACN,CAAC,EAAE,GAAG;IACN,KAAK,EAAE,OAAO;IACd,GAAG,EAAE,OAAO;IACZ,CAAC,EAAE,GAAG;IACN,CAAC,EAAE,GAAG;CACP,CAAC;AAEF,SAAS,aAAa,CAAC,GAAW;IAChC,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,CAAC,CAAC;IACzB,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAC9D,MAAM,IAAI,kBAAkB,CAAC,iBAAiB,GAAG,GAAG,CAAC,CAAC;QACxD,CAAC;QACD,OAAO,GAAG,GAAG,EAAE,CAAC;IAClB,CAAC;IACD,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,kBAAkB,CAAC,iBAAiB,GAAG,GAAG,CAAC,CAAC;IAC/E,OAAO,CAAC,CAAC;AACX,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,kBAAkB,CAAC,sBAAsB,CAAC,CAAC;IAE7D,iDAAiD;IACjD,IAAI,UAAU,CAAC,CAAC,CAAC;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IACxC,0CAA0C;IAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IAC1C,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IAExB,+BAA+B;IAC/B,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC;IAChB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,qCAAqC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,kBAAkB,CAAC,gCAAgC,IAAI,GAAG,CAAC,CAAC;QAC9E,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,MAAM,IAAI,kBAAkB,CAC1B,2BAA2B,CAAC,CAAC,CAAC,CAAC,oCAAoC;gBACjE,gCAAgC,CACnC,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,OAAO,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/dimensional/field-equation-helpers.d.ts

@@ -3,7 +3,7 @@
  * (`EinsteinFieldEquationNode`, and future `MaxwellEquationNode`,
  * `KleinGordonEquationNode`, etc.).
  *
- * Per `docs/architecture/v0.7-tensor-equation-node-design-note.md`
+ * Per `docs/architecture/archive/v0.7-tensor-equation-node-design-note.md`
  * Phase 0 — extract the 3 invariant checks from
  * `validateEinsteinFieldEquation` so future field equations get
  * them for free, instead of copy-pasting the predicate bodies.

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

@@ -3,7 +3,7 @@
  * (`EinsteinFieldEquationNode`, and future `MaxwellEquationNode`,
  * `KleinGordonEquationNode`, etc.).
  *
- * Per `docs/architecture/v0.7-tensor-equation-node-design-note.md`
+ * Per `docs/architecture/archive/v0.7-tensor-equation-node-design-note.md`
  * Phase 0 — extract the 3 invariant checks from
  * `validateEinsteinFieldEquation` so future field equations get
  * them for free, instead of copy-pasting the predicate bodies.

package/dist/dimensional/friedmann-equation.d.ts

@@ -1,7 +1,7 @@
 /**
  * Friedmann equation AST node — modified-cosmology predicate.
  *
- * Per `docs/architecture/v0.7-be-x-reencoding-design-note.md`
+ * Per `docs/architecture/archive/v0.7-be-x-reencoding-design-note.md`
  * §"BE-19 — `FriedmannEquationNode` for modified-Friedmann
  * predicates". Fourth of four BE-X structural re-encodings in the
  * v0.7-series follow-up to the v0.6.0 deferred-bridges list.

package/dist/dimensional/friedmann-equation.js

@@ -1,7 +1,7 @@
 /**
  * Friedmann equation AST node — modified-cosmology predicate.
  *
- * Per `docs/architecture/v0.7-be-x-reencoding-design-note.md`
+ * Per `docs/architecture/archive/v0.7-be-x-reencoding-design-note.md`
  * §"BE-19 — `FriedmannEquationNode` for modified-Friedmann
  * predicates". Fourth of four BE-X structural re-encodings in the
  * v0.7-series follow-up to the v0.6.0 deferred-bridges list.

package/dist/dimensional/gauge-field.d.ts

@@ -35,7 +35,7 @@
  * `src/dimensional/klein-gordon-equation.ts` (field-equation-helpers
  * pattern, Phase 1 of TensorEquationNode generalization).
  *
- * @see docs/architecture/v0.7-be-x-reencoding-design-note.md §BE-50
+ * @see docs/architecture/archive/v0.7-be-x-reencoding-design-note.md §BE-50
  * @see src/bridges/equations/be-50-wheeler-feynman.ts
  * @module dimensional/gauge-field
  */

package/dist/dimensional/gauge-field.js

@@ -35,7 +35,7 @@
  * `src/dimensional/klein-gordon-equation.ts` (field-equation-helpers
  * pattern, Phase 1 of TensorEquationNode generalization).
  *
- * @see docs/architecture/v0.7-be-x-reencoding-design-note.md §BE-50
+ * @see docs/architecture/archive/v0.7-be-x-reencoding-design-note.md §BE-50
  * @see src/bridges/equations/be-50-wheeler-feynman.ts
  * @module dimensional/gauge-field
  */

package/dist/dimensional/klein-gordon-equation.d.ts

@@ -2,7 +2,7 @@
  * Klein-Gordon scalar field equation AST node.
  *
  * Phase 1 of the TensorEquationNode<LHS, RHS> generalization
- * (`docs/architecture/v0.7-tensor-equation-node-design-note.md`).
+ * (`docs/architecture/archive/v0.7-tensor-equation-node-design-note.md`).
  * First new field-equation node to use the Phase 0 field-equation
  * helpers shipped in commit `5cd860a`.
  *
@@ -28,10 +28,13 @@
  *      structure; both sides carry the trivial `'scalar'` marker.
  *
  * Note: this is a PREDICATE node like EinsteinFieldEquationNode —
- * not a value-producing expression. Numerical evaluation of the
- * wave-operator action on a specific field is out of scope
- * (would require a separate `lowerKleinGordon` step like the
- * curvature pipeline).
+ * not a value-producing expression. Numerical content for the free-
+ * field plane-wave sector lives in `src/numerical/klein-gordon.ts`
+ * (`evaluateKGDispersionResidual`, `verifyKleinGordonPlaneWave` —
+ * the SI dispersion relation ω² = c²k² + (mc²/ℏ)²). A full FD
+ * wave-operator evaluator `□φ` on coordinate grids (a separate
+ * `lowerKleinGordon` step like the curvature pipeline) remains
+ * out of scope / future work.
  *
  * @module dimensional/klein-gordon-equation
  */

package/dist/dimensional/klein-gordon-equation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"klein-gordon-equation.d.ts","sourceRoot":"","sources":["../../src/dimensional/klein-gordon-equation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAO5C;;;;;;;GAOG;AACH,MAAM,WAAW,eAAe;IAC9B,qCAAqC;IACrC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,wDAAwD;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8CAA8C;IAC9C,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,4DAA4D;IAC5D,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;CAC7B;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,eAAe,GAAG,IAAI,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;CACnC;AAED;;;;;GAKG;AACH,MAAM,WAAW,mCAAmC;IAClD,yDAAyD;IACzD,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,gDAAgD;IAChD,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrE;AAsBD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,uBAAuB,GAC5B,mCAAmC,CAgErC"}
+{"version":3,"file":"klein-gordon-equation.d.ts","sourceRoot":"","sources":["../../src/dimensional/klein-gordon-equation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAO5C;;;;;;;GAOG;AACH,MAAM,WAAW,eAAe;IAC9B,qCAAqC;IACrC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,wDAAwD;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8CAA8C;IAC9C,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,4DAA4D;IAC5D,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;CAC7B;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,eAAe,GAAG,IAAI,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;CACnC;AAED;;;;;GAKG;AACH,MAAM,WAAW,mCAAmC;IAClD,yDAAyD;IACzD,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,gDAAgD;IAChD,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrE;AAsBD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,uBAAuB,GAC5B,mCAAmC,CAgErC"}

package/dist/dimensional/klein-gordon-equation.js

@@ -2,7 +2,7 @@
  * Klein-Gordon scalar field equation AST node.
  *
  * Phase 1 of the TensorEquationNode<LHS, RHS> generalization
- * (`docs/architecture/v0.7-tensor-equation-node-design-note.md`).
+ * (`docs/architecture/archive/v0.7-tensor-equation-node-design-note.md`).
  * First new field-equation node to use the Phase 0 field-equation
  * helpers shipped in commit `5cd860a`.
  *
@@ -28,10 +28,13 @@
  *      structure; both sides carry the trivial `'scalar'` marker.
  *
  * Note: this is a PREDICATE node like EinsteinFieldEquationNode —
- * not a value-producing expression. Numerical evaluation of the
- * wave-operator action on a specific field is out of scope
- * (would require a separate `lowerKleinGordon` step like the
- * curvature pipeline).
+ * not a value-producing expression. Numerical content for the free-
+ * field plane-wave sector lives in `src/numerical/klein-gordon.ts`
+ * (`evaluateKGDispersionResidual`, `verifyKleinGordonPlaneWave` —
+ * the SI dispersion relation ω² = c²k² + (mc²/ℏ)²). A full FD
+ * wave-operator evaluator `□φ` on coordinate grids (a separate
+ * `lowerKleinGordon` step like the curvature pipeline) remains
+ * out of scope / future work.
  *
  * @module dimensional/klein-gordon-equation
  */

package/dist/dimensional/klein-gordon-equation.js.map

@@ -1 +1 @@
-{"version":3,"file":"klein-gordon-equation.js","sourceRoot":"","sources":["../../src/dimensional/klein-gordon-equation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AAGH,OAAO,EACL,2BAA2B,EAC3B,0BAA0B,EAC1B,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AA0DrC,0DAA0D;AAC1D,MAAM,wBAAwB,GAAc;IAC1C,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;CAC9C,CAAC;AAEF;;GAEG;AACH,SAAS,sBAAsB,CAAC,QAAmB;IACjD,OAAO;QACL,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC;QAC1C,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC;QAC1C,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC;QAC1C,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC;QAC1C,KAAK,EAAE,QAAQ,CAAC,KAAK,GAAG,wBAAwB,CAAC,KAAK;QACtD,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC;QAC1C,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,2BAA2B,CACzC,IAA6B;IAE7B,MAAM,WAAW,GAAG,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAE3D,8DAA8D;IAC9D,2BAA2B,CACzB,yBAAyB,EACzB,SAAS,EACT,EAAE,EACF,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EACvB,EAAE,CACH,CAAC;IAEF,+DAA+D;IAC/D,wCAAwC;IACxC,0BAA0B,CACxB,yBAAyB,EACzB,kBAAkB,EAClB,IAAI,CAAC,IAAI,CAAC,GAAG,EACb,wBAAwB,EACxB,iGAAiG,CAClG,CAAC;IAEF,2DAA2D;IAC3D,+DAA+D;IAC/D,sBAAsB;IACtB,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QACzB,0BAA0B,CACxB,yBAAyB,EACzB,cAAc,EACd,IAAI,CAAC,MAAM,CAAC,GAAG,EACf,WAAW,EACX,oEAAoE,CACrE,CAAC;IACJ,CAAC;IAED,kDAAkD;IAClD,sBAAsB,CACpB,yBAAyB,EACzB,SAAS,EACT,IAAI,CAAC,KAAK,CAAC,QAAQ,EACnB,QAAQ,EACR,0CAA0C,CAC3C,CAAC;IACF,sBAAsB,CACpB,yBAAyB,EACzB,SAAS,EACT,IAAI,CAAC,IAAI,CAAC,QAAQ,EAClB,QAAQ,EACR,2BAA2B,CAC5B,CAAC;IACF,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QACzB,sBAAsB,CACpB,yBAAyB,EACzB,UAAU,EACV,IAAI,CAAC,MAAM,CAAC,QAAQ,EACpB,QAAQ,EACR,oCAAoC,CACrC,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,EAAE,WAAW;QAChB,WAAW,EAAE,IAAI,GAAG,EAAE;KACvB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"klein-gordon-equation.js","sourceRoot":"","sources":["../../src/dimensional/klein-gordon-equation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AAGH,OAAO,EACL,2BAA2B,EAC3B,0BAA0B,EAC1B,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AA0DrC,0DAA0D;AAC1D,MAAM,wBAAwB,GAAc;IAC1C,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;CAC9C,CAAC;AAEF;;GAEG;AACH,SAAS,sBAAsB,CAAC,QAAmB;IACjD,OAAO;QACL,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC;QAC1C,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC;QAC1C,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC;QAC1C,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC;QAC1C,KAAK,EAAE,QAAQ,CAAC,KAAK,GAAG,wBAAwB,CAAC,KAAK;QACtD,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC;QAC1C,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,2BAA2B,CACzC,IAA6B;IAE7B,MAAM,WAAW,GAAG,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAE3D,8DAA8D;IAC9D,2BAA2B,CACzB,yBAAyB,EACzB,SAAS,EACT,EAAE,EACF,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EACvB,EAAE,CACH,CAAC;IAEF,+DAA+D;IAC/D,wCAAwC;IACxC,0BAA0B,CACxB,yBAAyB,EACzB,kBAAkB,EAClB,IAAI,CAAC,IAAI,CAAC,GAAG,EACb,wBAAwB,EACxB,iGAAiG,CAClG,CAAC;IAEF,2DAA2D;IAC3D,+DAA+D;IAC/D,sBAAsB;IACtB,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QACzB,0BAA0B,CACxB,yBAAyB,EACzB,cAAc,EACd,IAAI,CAAC,MAAM,CAAC,GAAG,EACf,WAAW,EACX,oEAAoE,CACrE,CAAC;IACJ,CAAC;IAED,kDAAkD;IAClD,sBAAsB,CACpB,yBAAyB,EACzB,SAAS,EACT,IAAI,CAAC,KAAK,CAAC,QAAQ,EACnB,QAAQ,EACR,0CAA0C,CAC3C,CAAC;IACF,sBAAsB,CACpB,yBAAyB,EACzB,SAAS,EACT,IAAI,CAAC,IAAI,CAAC,QAAQ,EAClB,QAAQ,EACR,2BAA2B,CAC5B,CAAC;IACF,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QACzB,sBAAsB,CACpB,yBAAyB,EACzB,UAAU,EACV,IAAI,CAAC,MAAM,CAAC,QAAQ,EACpB,QAAQ,EACR,oCAAoC,CACrC,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,EAAE,WAAW;QAChB,WAAW,EAAE,IAAI,GAAG,EAAE;KACvB,CAAC;AACJ,CAAC"}

package/dist/dimensional/tensor-trace.d.ts

@@ -1,7 +1,7 @@
 /**
  * TensorTraceNode — structural tensor-trace operator for rank-2 tensors.
  *
- * Per `docs/architecture/v0.7-be-x-reencoding-design-note.md` §"BE-13 —
+ * Per `docs/architecture/archive/v0.7-be-x-reencoding-design-note.md` §"BE-13 —
  * TensorTraceNode for the Einstein trace". First of four BE-X re-encoding
  * primitives planned for the v0.7 sprint.
  *

package/dist/dimensional/tensor-trace.js

@@ -1,7 +1,7 @@
 /**
  * TensorTraceNode — structural tensor-trace operator for rank-2 tensors.
  *
- * Per `docs/architecture/v0.7-be-x-reencoding-design-note.md` §"BE-13 —
+ * Per `docs/architecture/archive/v0.7-be-x-reencoding-design-note.md` §"BE-13 —
  * TensorTraceNode for the Einstein trace". First of four BE-X re-encoding
  * primitives planned for the v0.7 sprint.
  *

package/dist/dimensional/validator.d.ts

@@ -2,9 +2,11 @@
  * Validator: walks an ExprNode tree and infers / checks SI dimensions.
  *
  * Honest-claude scope notes:
- *   - This MVP does NOT track tensor index structure (rank, contractions).
- *     Bridge Eq 17's index-rank mismatch from the spec cannot be caught here.
- *     Tier 4.5 follow-up — see README.
+ *   - Tensor index structure IS tracked: tensor-symbol / tensor-product
+ *     nodes carry free-index (upper/lower) signatures, contraction is
+ *     enforced, and `validateEquation` now checks valence homogeneity
+ *     across '=' (so the spec's Bridge Eq 17 rank mismatch — a tensor
+ *     equated to a scalar — is caught even when the SI dimensions agree).
  *   - Special functions (log, exp, trig) are out of scope; their arguments
  *     must be dimensionless but the validator does not yet enforce that.
  *
@@ -36,6 +38,14 @@ export type ExprNode = {
     kind: 'derivative';
     of: ExprNode;
     wrt: ExprNode;
+} | {
+    kind: 'dirac-delta';
+    arg: ExprNode;
+} | {
+    kind: 'variational-derivative';
+    functional: ExprNode;
+    field: ExprNode;
+    over: ExprNode;
 } | TensorSymbolNode | TensorProductNode | MetricTensorNode | KroneckerDeltaNode | TensorPartialDerivativeNode | CovariantDerivativeNode | RiemannTensorNode | RicciTensorNode | EinsteinTensorNode | BianchiResidualNode | KillingVectorNode | ConservedChargeNode | StressEnergyTensorNode | CosmologicalConstantNode | EinsteinFieldEquationNode | WeylTensorNode | KretschmannScalarNode;
 export type { TensorSymbolNode, TensorProductNode } from './tensor.js';
 export type { MetricTensorNode, KroneckerDeltaNode, TensorPartialDerivativeNode, } from './metric-validators.js';