universal-physics-tensor 0.4.5

package/dist/dimensional/tensor.js

@@ -0,0 +1,138 @@
+/**
+ * Tensor AST node types and helpers — v0.2.0 algebra layer.
+ *
+ * Adds the two new ExprNode discriminated-union variants:
+ *   - 'tensor-symbol': a named tensor with variance-typed indices
+ *   - 'tensor-product': Einstein-summation product over tensor and scalar operands
+ *
+ * Per docs/specification/Part-VII-Tensor-Algebra.md §VII.1 and §VII.4.
+ *
+ * @module dimensional/tensor
+ */
+import { DIMENSIONLESS } from './types.js';
+import { multiply } from './algebra.js';
+import { DuplicateIndexLabelError, IndexLabelCollisionError, VarianceMismatchError, } from './errors.js';
+/**
+ * Validate a tensor-symbol node. Builds the freeIndices map from the
+ * declared indices, with one upper / one lower count per label.
+ *
+ * Throws `DuplicateIndexLabelError` if the indices list contains the same
+ * label more than once (e.g., T^μ_μ_μ). Per Part-VII §VII.4
+ * (repeated-dummy-label-in-tensor-symbol-rejected TENSOR-RULE).
+ *
+ * The function is pure: no I/O, no shared state, total over its input
+ * (modulo the documented throw). Callers (validator.ts `infer()`) thread
+ * the returned freeIndices map up into their accumulator.
+ */
+export function validateTensorSymbol(node) {
+    const freeIndices = new Map();
+    for (const idx of node.indices) {
+        if (freeIndices.has(idx.label)) {
+            throw new DuplicateIndexLabelError(node.name, idx.label);
+        }
+        freeIndices.set(idx.label, {
+            upper: idx.variance === 'upper' ? 1 : 0,
+            lower: idx.variance === 'lower' ? 1 : 0,
+        });
+    }
+    return { dim: node.dim, freeIndices };
+}
+/**
+ * Pure function that computes the dimension, free-indices map, and
+ * contraction pairs for a tensor-product over the given operands.
+ *
+ * The function is pure and module-cycle-free: it does NOT import
+ * `validator.ts`. Recursion is injected via the `validateChild` callback
+ * — the caller (typically validator.ts's `infer()` dispatch) supplies a
+ * resolver that returns `{dim, freeIndices}` for each child node. The
+ * caller is responsible for handling all `ExprNode` kinds in its callback
+ * (scalars, tensor-symbols, nested tensor-products, etc.).
+ *
+ * Critically, the per-child freeIndices maps returned by `validateChild`
+ * MUST be local to that child (not shared mutable state). This is what
+ * makes nested tensor-products safe: an inner tensor-product reports its
+ * post-contraction residual free indices as a local map, and the outer
+ * call merges those without ever touching shared accumulator state.
+ *
+ * Re-exported for the future mathjs backend per v0.2.0-Design.md §14.2.
+ *
+ * **v0.2.0 limitation — implicit identity metric.** The contraction
+ * mechanism here assumes one upper index `μ` paired with one lower index
+ * `μ` annihilate (Kronecker delta convention). v0.3.0's metric layer
+ * will introduce explicit g_μν / g^μν for raising and lowering — at
+ * which point this function's hard-coded pairing rule must generalize
+ * to "find labels with mismatched variance, raise/lower via the metric,
+ * then contract." Forward-compat callers should NOT assume the v0.2.0
+ * rule is permanent.
+ *
+ * Throws:
+ *   - IndexLabelCollisionError if any label appears > 2 times total.
+ *   - VarianceMismatchError if a label appears twice with same variance.
+ */
+export function computeContraction(args, validateChild) {
+    // Step A: Recursively validate each arg via the injected callback,
+    // accumulating product-dimension and merging local freeIndices maps.
+    let dim = DIMENSIONLESS;
+    const merged = new Map();
+    for (const arg of args) {
+        const child = validateChild(arg);
+        dim = multiply(dim, child.dim);
+        for (const [label, counts] of child.freeIndices) {
+            const existing = merged.get(label) ?? { upper: 0, lower: 0 };
+            merged.set(label, {
+                upper: existing.upper + counts.upper,
+                lower: existing.lower + counts.lower,
+            });
+        }
+    }
+    // Step B: Validate label counts (≤2) and pair upper/lower for contraction.
+    const contractionPairs = [];
+    for (const [label, counts] of merged) {
+        const total = counts.upper + counts.lower;
+        if (total > 2) {
+            throw new IndexLabelCollisionError(label, total);
+        }
+        if (total === 2 && (counts.upper === 0 || counts.lower === 0)) {
+            const variance = counts.upper === 2 ? 'upper' : 'lower';
+            throw new VarianceMismatchError(label, variance);
+        }
+        if (counts.upper > 0 && counts.lower > 0) {
+            const pairs = Math.min(counts.upper, counts.lower);
+            for (let i = 0; i < pairs; i++)
+                contractionPairs.push({ label });
+            merged.set(label, {
+                upper: counts.upper - pairs,
+                lower: counts.lower - pairs,
+            });
+        }
+    }
+    // Step C: Drop fully-contracted labels (both counts zero) from the
+    // outgoing freeIndices map so callers don't see phantom dummies.
+    for (const [label, counts] of Array.from(merged.entries())) {
+        if (counts.upper === 0 && counts.lower === 0)
+            merged.delete(label);
+    }
+    return { dim, freeIndices: merged, contractionPairs };
+}
+/** Construct a tensor-symbol node. */
+export function tsym(name, indices, dim, role, numericalForm) {
+    const node = { kind: 'tensor-symbol', name, indices, dim };
+    if (role !== undefined)
+        node.role = role;
+    if (numericalForm !== undefined)
+        node.numericalForm = numericalForm;
+    return node;
+}
+/** Scale a tensor by a scalar coefficient. Returns a tensor-product. */
+export function scale(scalar, tensor) {
+    return { kind: 'tensor-product', args: [scalar, tensor] };
+}
+/** Contract any number of operands. Returns a tensor-product. */
+export function contract(...args) {
+    return { kind: 'tensor-product', args };
+}
+/** Tensor sum via op '+'. Validator enforces matching free indices. */
+export function tsum(...args) {
+    return { kind: 'op', op: '+', args };
+}
+//# sourceMappingURL=tensor.js.map

package/dist/dimensional/tensor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tensor.js","sourceRoot":"","sources":["../../src/dimensional/tensor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAMxC,OAAO,EACL,wBAAwB,EACxB,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,aAAa,CAAC;AAsDrB;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAsB;IAEtB,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/B,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE;YACzB,KAAK,EAAE,GAAG,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,KAAK,EAAE,GAAG,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACxC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC;AACxC,CAAC;AAgCD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAA6B,EAC7B,aAAwD;IAExD,mEAAmE;IACnE,qEAAqE;IACrE,IAAI,GAAG,GAAc,aAAa,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4C,CAAC;IAEnE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QACjC,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QAC/B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YAC7D,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE;gBAChB,KAAK,EAAE,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK;gBACpC,KAAK,EAAE,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK;aACrC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,MAAM,gBAAgB,GAAwB,EAAE,CAAC;IACjD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;QAC1C,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,IAAI,wBAAwB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YAC9D,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;YACxD,MAAM,IAAI,qBAAqB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;gBAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YACjE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE;gBAChB,KAAK,EAAE,MAAM,CAAC,KAAK,GAAG,KAAK;gBAC3B,KAAK,EAAE,MAAM,CAAC,KAAK,GAAG,KAAK;aAC5B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,iEAAiE;IACjE,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QAC3D,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC;YAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;AACxD,CAAC;AAED,sCAAsC;AACtC,MAAM,UAAU,IAAI,CAClB,IAAY,EACZ,OAAmC,EACnC,GAAc,EACd,IAAW,EACX,aAAoD;IAEpD,MAAM,IAAI,GAON,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAClD,IAAI,IAAI,KAAK,SAAS;QAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS;QAAE,IAAI,CAAC,aAAa,GAAG,aAAa,CAAC;IACpE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,KAAK,CAAC,MAAgB,EAAE,MAAgB;IACtD,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,QAAQ,CAAC,GAAG,IAAgB;IAC1C,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;AAC1C,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,IAAI,CAAC,GAAG,IAAgB;IACtC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;AACvC,CAAC"}

package/dist/dimensional/types.d.ts

@@ -0,0 +1,50 @@
+/**
+ * SI dimensional types.
+ *
+ * Base dimensions per BIPM SI Brochure, 9th edition (2019), Table 3:
+ *   length L, mass M, time T, electric current I, thermodynamic temperature Theta,
+ *   amount of substance N, luminous intensity J.
+ *
+ * Named-dimension constants below are derived per NIST SP 811 (2008) §4
+ * (derived SI units) and standard physics references:
+ *   - Goldstein, "Classical Mechanics" 3rd ed.
+ *   - Sakurai, "Modern Quantum Mechanics" 2nd ed.
+ *   - Wald, "General Relativity" (1984)
+ *
+ * All exponents are stored as `number` (allowing rational e.g. 1/2 if needed).
+ *
+ * @module dimensional/types
+ */
+export interface Dimension {
+    /** Length (metre, m). */
+    L: number;
+    /** Mass (kilogram, kg). */
+    M: number;
+    /** Time (second, s). */
+    T: number;
+    /** Electric current (ampere, A). */
+    I: number;
+    /** Thermodynamic temperature (kelvin, K). */
+    Theta: number;
+    /** Amount of substance (mole, mol). */
+    N: number;
+    /** Luminous intensity (candela, cd). */
+    J: number;
+}
+export declare const DIMENSIONLESS: Dimension;
+export declare const LENGTH: Dimension;
+export declare const AREA: Dimension;
+export declare const TIME: Dimension;
+export declare const FREQUENCY: Dimension;
+export declare const MASS: Dimension;
+export declare const VELOCITY: Dimension;
+export declare const ACCELERATION: Dimension;
+export declare const FORCE: Dimension;
+export declare const ENERGY: Dimension;
+export declare const POWER: Dimension;
+export declare const ACTION: Dimension;
+export declare const TEMPERATURE: Dimension;
+export declare const ENTROPY: Dimension;
+export declare const CHARGE: Dimension;
+export declare const NAMED_DIMENSIONS: ReadonlyArray<readonly [string, Dimension]>;
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +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,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"}

package/dist/dimensional/types.js

@@ -0,0 +1,66 @@
+/**
+ * SI dimensional types.
+ *
+ * Base dimensions per BIPM SI Brochure, 9th edition (2019), Table 3:
+ *   length L, mass M, time T, electric current I, thermodynamic temperature Theta,
+ *   amount of substance N, luminous intensity J.
+ *
+ * Named-dimension constants below are derived per NIST SP 811 (2008) §4
+ * (derived SI units) and standard physics references:
+ *   - Goldstein, "Classical Mechanics" 3rd ed.
+ *   - Sakurai, "Modern Quantum Mechanics" 2nd ed.
+ *   - Wald, "General Relativity" (1984)
+ *
+ * All exponents are stored as `number` (allowing rational e.g. 1/2 if needed).
+ *
+ * @module dimensional/types
+ */
+export const DIMENSIONLESS = { L: 0, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
+// --- Mechanics ---
+//
+// Named-dimension constants are exported only when there is at least one
+// real consumer (a bridge encoding, a constant, or an active test). The
+// previously-exported VOLUME, MOMENTUM, ANGULAR_MOMENTUM, PRESSURE,
+// DENSITY, VOLTAGE, ELECTRIC_FIELD, MAGNETIC_FIELD were unreferenced and
+// were removed 2026-05-04 per simplifier F-01 (no flexibility/configura-
+// bility that wasn't requested). Re-add them precisely when a bridge
+// encoding or test references them.
+export const LENGTH = { L: 1, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
+export const AREA = { L: 2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
+export const TIME = { L: 0, M: 0, T: 1, I: 0, Theta: 0, N: 0, J: 0 };
+export const FREQUENCY = { L: 0, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 };
+export const MASS = { L: 0, M: 1, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
+export const VELOCITY = { L: 1, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 };
+export const ACCELERATION = { L: 1, M: 0, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
+export const FORCE = { L: 1, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 }; // newton
+export const ENERGY = { L: 2, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 }; // joule
+export const POWER = { L: 2, M: 1, T: -3, I: 0, Theta: 0, N: 0, J: 0 }; // watt
+export const ACTION = { L: 2, M: 1, T: -1, I: 0, Theta: 0, N: 0, J: 0 }; // J·s
+// --- Thermodynamics ---
+export const TEMPERATURE = { L: 0, M: 0, T: 0, I: 0, Theta: 1, N: 0, J: 0 };
+export const ENTROPY = { L: 2, M: 1, T: -2, I: 0, Theta: -1, N: 0, J: 0 }; // J/K
+// --- Electromagnetism (SI) ---
+export const CHARGE = { L: 0, M: 0, T: 1, I: 1, Theta: 0, N: 0, J: 0 }; // coulomb = A·s
+// --- Curated lookup table for `format()` to recognize named SI dimensions. ---
+// Order matters only for tie-breaks; the first matching name wins.
+export const NAMED_DIMENSIONS = [
+    ['dimensionless', DIMENSIONLESS],
+    ['length', LENGTH],
+    ['area', AREA],
+    ['time', TIME],
+    ['frequency', FREQUENCY],
+    ['mass', MASS],
+    ['velocity', VELOCITY],
+    ['acceleration', ACCELERATION],
+    // action carries the same SI shape (J·s) as angular momentum; we keep
+    // 'action' as the canonical name since hbar (the only consumer today)
+    // is action-typed.
+    ['action', ACTION],
+    ['force', FORCE],
+    ['energy', ENERGY],
+    ['power', POWER],
+    ['temperature', TEMPERATURE],
+    ['entropy', ENTROPY],
+    ['charge', CHARGE],
+];
+//# sourceMappingURL=types.js.map

package/dist/dimensional/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/dimensional/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAmBH,MAAM,CAAC,MAAM,aAAa,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAEzF,oBAAoB;AACpB,EAAE;AACF,yEAAyE;AACzE,wEAAwE;AACxE,oEAAoE;AACpE,yEAAyE;AACzE,yEAAyE;AACzE,qEAAqE;AACrE,oCAAoC;AACpC,MAAM,CAAC,MAAM,MAAM,GAAqB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACzF,MAAM,CAAC,MAAM,IAAI,GAAuB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACzF,MAAM,CAAC,MAAM,IAAI,GAAuB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACzF,MAAM,CAAC,MAAM,SAAS,GAAkB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAC1F,MAAM,CAAC,MAAM,IAAI,GAAuB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACzF,MAAM,CAAC,MAAM,QAAQ,GAAmB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAC1F,MAAM,CAAC,MAAM,YAAY,GAAe,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAC1F,MAAM,CAAC,MAAM,KAAK,GAAsB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS;AACpG,MAAM,CAAC,MAAM,MAAM,GAAqB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,QAAQ;AACnG,MAAM,CAAC,MAAM,KAAK,GAAsB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO;AAClG,MAAM,CAAC,MAAM,MAAM,GAAqB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM;AAEjG,yBAAyB;AACzB,MAAM,CAAC,MAAM,WAAW,GAAgB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACzF,MAAM,CAAC,MAAM,OAAO,GAAoB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM;AAElG,gCAAgC;AAChC,MAAM,CAAC,MAAM,MAAM,GAAqB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,gBAAgB;AAE1G,gFAAgF;AAChF,mEAAmE;AACnE,MAAM,CAAC,MAAM,gBAAgB,GAAgD;IAC3E,CAAC,eAAe,EAAE,aAAa,CAAC;IAChC,CAAC,QAAQ,EAAE,MAAM,CAAC;IAClB,CAAC,MAAM,EAAE,IAAI,CAAC;IACd,CAAC,MAAM,EAAE,IAAI,CAAC;IACd,CAAC,WAAW,EAAE,SAAS,CAAC;IACxB,CAAC,MAAM,EAAE,IAAI,CAAC;IACd,CAAC,UAAU,EAAE,QAAQ,CAAC;IACtB,CAAC,cAAc,EAAE,YAAY,CAAC;IAC9B,sEAAsE;IACtE,sEAAsE;IACtE,mBAAmB;IACnB,CAAC,QAAQ,EAAE,MAAM,CAAC;IAClB,CAAC,OAAO,EAAE,KAAK,CAAC;IAChB,CAAC,QAAQ,EAAE,MAAM,CAAC;IAClB,CAAC,OAAO,EAAE,KAAK,CAAC;IAChB,CAAC,aAAa,EAAE,WAAW,CAAC;IAC5B,CAAC,SAAS,EAAE,OAAO,CAAC;IACpB,CAAC,QAAQ,EAAE,MAAM,CAAC;CACnB,CAAC"}

package/dist/dimensional/validator.d.ts

@@ -0,0 +1,84 @@
+/**
+ * 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.
+ *   - Special functions (log, exp, trig) are out of scope; their arguments
+ *     must be dimensionless but the validator does not yet enforce that.
+ *
+ * @module dimensional/validator
+ */
+import { Dimension } from './types.js';
+import type { TensorSymbolNode, TensorProductNode } from './tensor.js';
+import type { MetricTensorNode, KroneckerDeltaNode, TensorPartialDerivativeNode } from './metric-validators.js';
+import type { CovariantDerivativeNode } from './connection-validators.js';
+export type ExprNode = {
+    kind: 'symbol';
+    name: string;
+    dim: Dimension;
+} | {
+    kind: 'op';
+    op: '+' | '-' | '*' | '/' | '^';
+    args: ExprNode[];
+} | {
+    kind: 'integral';
+    over: ExprNode;
+    integrand: ExprNode;
+} | {
+    kind: 'derivative';
+    of: ExprNode;
+    wrt: ExprNode;
+} | TensorSymbolNode | TensorProductNode | MetricTensorNode | KroneckerDeltaNode | TensorPartialDerivativeNode | CovariantDerivativeNode;
+export type { TensorSymbolNode, TensorProductNode, TensorExprNode } from './tensor.js';
+export type { MetricTensorNode, KroneckerDeltaNode, TensorPartialDerivativeNode, } from './metric-validators.js';
+export type { CovariantDerivativeNode } from './connection-validators.js';
+export interface Violation {
+    /** Tree path, e.g. "args[1].args[0]". Empty string for the root. */
+    location: string;
+    expected: Dimension;
+    actual: Dimension;
+    note: string;
+    /** v0.3.5: absent ⇒ 'error'. 'warning'-severity violations do not fail
+     *  validation (ValidationResult.ok stays true) but are still reported. */
+    severity?: 'error' | 'warning';
+}
+export interface ValidationResult {
+    ok: boolean;
+    inferredDimension: Dimension | null;
+    /** Map of free (uncontracted) index labels to their upper/lower counts.
+     *  Empty for scalar expressions. Populated by tensor-symbol /
+     *  tensor-product validation (Tasks 5 and 6). */
+    freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+    violations: Violation[];
+}
+/**
+ * Per-bridge dimensional self-check report. Each `src/bridges/equations/`
+ * module exports a `validate*Dimensions(): DimensionValidationReport` helper
+ * that runs `validateEquation(LHS, RHS)` and returns LHS/RHS inferred dims
+ * alongside the homogeneity verdict. Lifted here so the 9+ bridge modules
+ * import a single shared shape rather than redeclaring it byte-for-byte.
+ *
+ * Source: simplifier F2 (Wave G), confidence 88. The interface satisfies
+ * Karpathy's three extraction criteria — single semantic meaning, ≥9
+ * consumers, future encodings will use it.
+ */
+export interface DimensionValidationReport {
+    ok: boolean;
+    lhsDim: Dimension | null;
+    rhsDim: Dimension | null;
+}
+export declare function validate(expr: ExprNode): ValidationResult;
+/**
+ * Opt-in symbolic InverseMetricInconsistencyWarning check. Given a
+ * lower/upper metric pair, returns a deduplicated (at most one) warning-
+ * severity Violation set. v0.3.5 §7. (Deliberately not folded into
+ * validate() — that is the hot path for the whole test suite.)
+ */
+export declare function validateInverseMetricPair(gLower: MetricTensorNode, gUpper: MetricTensorNode): Violation[];
+export declare function validateEquation(lhs: ExprNode, rhs: ExprNode): ValidationResult;
+//# sourceMappingURL=validator.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/dimensional/validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EACL,SAAS,EAEV,MAAM,YAAY,CAAC;AAgBpB,OAAO,KAAK,EAAE,gBAAgB,EAAE,iBAAiB,EAAyB,MAAM,aAAa,CAAC;AAE9F,OAAO,KAAK,EACV,gBAAgB,EAChB,kBAAkB,EAClB,2BAA2B,EAE5B,MAAM,wBAAwB,CAAC;AAOhC,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAG1E,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,SAAS,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,EAAE,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;IAAC,IAAI,EAAE,QAAQ,EAAE,CAAA;CAAE,GACjE;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,QAAQ,CAAA;CAAE,GACzD;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GACnD,gBAAgB,GAChB,iBAAiB,GACjB,gBAAgB,GAChB,kBAAkB,GAClB,2BAA2B,GAC3B,uBAAuB,CAAC;AAG5B,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AACvF,YAAY,EACV,gBAAgB,EAChB,kBAAkB,EAClB,2BAA2B,GAC5B,MAAM,wBAAwB,CAAC;AAChC,YAAY,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAE1E,MAAM,WAAW,SAAS;IACxB,oEAAoE;IACpE,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,SAAS,CAAC;IACpB,MAAM,EAAE,SAAS,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb;8EAC0E;IAC1E,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CAChC;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,OAAO,CAAC;IACZ,iBAAiB,EAAE,SAAS,GAAG,IAAI,CAAC;IACpC;;qDAEiD;IACjD,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC3D,UAAU,EAAE,SAAS,EAAE,CAAC;CACzB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,yBAAyB;IACxC,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;CAC1B;AAmeD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,gBAAgB,CASzD;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,GACvB,SAAS,EAAE,CAUb;AAED,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,GAAG,gBAAgB,CAyB/E"}