universal-physics-tensor 0.4.5

package/dist/dimensional/algebra.js

@@ -0,0 +1,90 @@
+/**
+ * Dimensional algebra: per-base-exponent arithmetic.
+ *
+ * Operations follow standard dimensional analysis (Bridgman, "Dimensional Analysis", 1922):
+ *   - multiply: add exponents per base
+ *   - divide:   subtract exponents per base
+ *   - power:    scale exponents by the scalar `n`
+ *   - add/sub:  permitted only when both operands have the same dimension
+ *
+ * @module dimensional/algebra
+ */
+import { NAMED_DIMENSIONS } from './types.js';
+import { DimensionMismatchError } from './errors.js';
+/** Re-exported for backward compatibility with consumers that import
+ *  `DimensionMismatchError` from `algebra.js`. The canonical definition
+ *  now lives in `errors.ts` alongside the new `UPTError` base class. */
+export { DimensionMismatchError };
+const BASES = ['L', 'M', 'T', 'I', 'Theta', 'N', 'J'];
+export function multiply(a, b) {
+    const out = {};
+    for (const base of BASES) {
+        out[base] = a[base] + b[base];
+    }
+    return out;
+}
+export function divide(a, b) {
+    const out = {};
+    for (const base of BASES) {
+        out[base] = a[base] - b[base];
+    }
+    return out;
+}
+export function power(a, n) {
+    const out = {};
+    for (const base of BASES) {
+        out[base] = a[base] * n;
+    }
+    return out;
+}
+export function equals(a, b) {
+    for (const base of BASES) {
+        if (a[base] !== b[base])
+            return false;
+    }
+    return true;
+}
+export function add(a, b) {
+    if (!equals(a, b)) {
+        throw new DimensionMismatchError(`Cannot add unlike dimensions: ${format(a)} + ${format(b)}`, a, b);
+    }
+    return { ...a };
+}
+export function subtract(a, b) {
+    if (!equals(a, b)) {
+        throw new DimensionMismatchError(`Cannot subtract unlike dimensions: ${format(a)} - ${format(b)}`, a, b);
+    }
+    return { ...a };
+}
+/**
+ * Format a `Dimension` for human display.
+ *
+ * Strategy:
+ *   1. If `d` matches a named SI dimension exactly, return e.g. "[energy]".
+ *      "dimensionless" is rendered as "[1]" for compactness.
+ *   2. Otherwise emit the bracketed product form, e.g. "[M L^2 T^-2]".
+ *      Bases with exponent 0 are omitted; exponent 1 is written without "^1".
+ */
+export function format(d) {
+    for (const [name, ref] of NAMED_DIMENSIONS) {
+        if (equals(d, ref)) {
+            if (name === 'dimensionless')
+                return '[1]';
+            return `[${name}]`;
+        }
+    }
+    const parts = [];
+    for (const base of BASES) {
+        const exp = d[base];
+        if (exp === 0)
+            continue;
+        if (exp === 1)
+            parts.push(base);
+        else
+            parts.push(`${base}^${exp}`);
+    }
+    if (parts.length === 0)
+        return '[1]';
+    return `[${parts.join(' ')}]`;
+}
+//# sourceMappingURL=algebra.js.map

package/dist/dimensional/algebra.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"algebra.js","sourceRoot":"","sources":["../../src/dimensional/algebra.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAa,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAErD;;wEAEwE;AACxE,OAAO,EAAE,sBAAsB,EAAE,CAAC;AAElC,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAU,CAAC;AAG/D,MAAM,UAAU,QAAQ,CAAC,CAAY,EAAE,CAAY;IACjD,MAAM,GAAG,GAAG,EAAe,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,GAAG,CAAC,IAAY,CAAC,GAAG,CAAC,CAAC,IAAY,CAAC,GAAG,CAAC,CAAC,IAAY,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,CAAY,EAAE,CAAY;IAC/C,MAAM,GAAG,GAAG,EAAe,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,GAAG,CAAC,IAAY,CAAC,GAAG,CAAC,CAAC,IAAY,CAAC,GAAG,CAAC,CAAC,IAAY,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,CAAY,EAAE,CAAS;IAC3C,MAAM,GAAG,GAAG,EAAe,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,GAAG,CAAC,IAAY,CAAC,GAAG,CAAC,CAAC,IAAY,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,CAAY,EAAE,CAAY;IAC/C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,IAAY,CAAC,KAAK,CAAC,CAAC,IAAY,CAAC;YAAE,OAAO,KAAK,CAAC;IACxD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,CAAY,EAAE,CAAY;IAC5C,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAClB,MAAM,IAAI,sBAAsB,CAC9B,iCAAiC,MAAM,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,CAAC,EAAE,EAC3D,CAAC,EACD,CAAC,CACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,CAAY,EAAE,CAAY;IACjD,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAClB,MAAM,IAAI,sBAAsB,CAC9B,sCAAsC,MAAM,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,CAAC,EAAE,EAChE,CAAC,EACD,CAAC,CACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC;AAClB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,MAAM,CAAC,CAAY;IACjC,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,gBAAgB,EAAE,CAAC;QAC3C,IAAI,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YACnB,IAAI,IAAI,KAAK,eAAe;gBAAE,OAAO,KAAK,CAAC;YAC3C,OAAO,IAAI,IAAI,GAAG,CAAC;QACrB,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,CAAC,CAAC,IAAY,CAAC,CAAC;QAC5B,IAAI,GAAG,KAAK,CAAC;YAAE,SAAS;QACxB,IAAI,GAAG,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;YAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACrC,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAChC,CAAC"}

package/dist/dimensional/bridge-check.d.ts

@@ -0,0 +1,48 @@
+/**
+ * Bridge-index integration scaffold.
+ *
+ * The 40 bridges in `src/bridges/index.ts` carry `formula_latex` strings
+ * but only a handful (BE-11, BE-14 today) have a machine-evaluable AST.
+ * The encoding is Tier 5 work, one bridge at a time.
+ *
+ * `inferDimensionForBridge(id, expr)` runs `validate()` on the AST. If
+ * the supplied `id` is registered in `EXPECTED_DIMENSION_BY_BRIDGE`, the
+ * inferred dim is also cross-checked against the expected one — a
+ * mismatch returns `null` (a real "bridge expected ENTROPY but got
+ * AREA" error). If the id is not registered, the inferred dim is
+ * returned unchanged (current MVP behaviour for entries with no
+ * dimensional_signature yet).
+ *
+ * @module dimensional/bridge-check
+ */
+import { Dimension } from './types.js';
+import { ExprNode } from './validator.js';
+/**
+ * Per-bridge expected SI dimension lookup. Seeded with every entry that
+ * has an AST encoding registered in `src/bridges/equations/`. Add a new
+ * row whenever a new Tier-5 AST encoding lands; the
+ * `dimensional-signature-catalog` round-trip test plus the
+ * `Wave-G expected-dimension entries` size guard in
+ * `tests/dimensional/bridge-check.test.ts` enforce that this map stays
+ * in sync with the encoded modules.
+ *
+ * Entries with bracketed-product signatures (e.g. BE-19 `[T^-2]`,
+ * BE-47 `[L^-3 T^-1]`) require a constructed `Dimension` literal — see
+ * `T_INV2` and `INV_VOLUME_PER_TIME` above for the pattern.
+ */
+export declare const EXPECTED_DIMENSION_BY_BRIDGE: ReadonlyMap<number, Dimension>;
+/**
+ * Infer the SI dimensional signature of a bridge equation expression.
+ *
+ * @param bridgeId  The id from `BRIDGE_EQUATIONS` (11..50). If present
+ *                  in `EXPECTED_DIMENSION_BY_BRIDGE` the inferred dim
+ *                  is cross-checked against the expected; mismatch =>
+ *                  null. If absent, the inferred dim is returned as-is.
+ * @param expr      Hand-encoded ExprNode AST for the equation's RHS
+ *                  (or LHS).
+ * @returns The inferred SI dimension, or `null` if the expression is
+ *          dimensionally inconsistent or fails the per-bridge expected
+ *          dimension check.
+ */
+export declare function inferDimensionForBridge(bridgeId: number, expr: ExprNode): Dimension | null;
+//# sourceMappingURL=bridge-check.d.ts.map

package/dist/dimensional/bridge-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridge-check.d.ts","sourceRoot":"","sources":["../../src/dimensional/bridge-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EACL,SAAS,EAWV,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,QAAQ,EAAY,MAAM,gBAAgB,CAAC;AAqDpD;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAyCtE,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,QAAQ,GACb,SAAS,GAAG,IAAI,CAQlB"}

package/dist/dimensional/bridge-check.js

@@ -0,0 +1,137 @@
+/**
+ * Bridge-index integration scaffold.
+ *
+ * The 40 bridges in `src/bridges/index.ts` carry `formula_latex` strings
+ * but only a handful (BE-11, BE-14 today) have a machine-evaluable AST.
+ * The encoding is Tier 5 work, one bridge at a time.
+ *
+ * `inferDimensionForBridge(id, expr)` runs `validate()` on the AST. If
+ * the supplied `id` is registered in `EXPECTED_DIMENSION_BY_BRIDGE`, the
+ * inferred dim is also cross-checked against the expected one — a
+ * mismatch returns `null` (a real "bridge expected ENTROPY but got
+ * AREA" error). If the id is not registered, the inferred dim is
+ * returned unchanged (current MVP behaviour for entries with no
+ * dimensional_signature yet).
+ *
+ * @module dimensional/bridge-check
+ */
+import { DIMENSIONLESS, ENERGY, ENTROPY, FREQUENCY, TIME, MASS, LENGTH, AREA, FORCE, TEMPERATURE, } from './types.js';
+import { validate } from './validator.js';
+import { equals, multiply, power } from './algebra.js';
+/** [T^-2] — bracketed-product literal for BE-19's H² Friedmann RHS. */
+const T_INV2 = { L: 0, M: 0, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
+/** [L^-3 T^-1] — bracketed-product literal for BE-47's BBN-dark dY/dt RHS. */
+const INV_VOLUME_PER_TIME = multiply(power(LENGTH, -3), { L: 0, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 });
+/** [L^3 M T^-3 I^-2] — bracketed-product literal for BE-23's resistivity (Ω·m). */
+const RESISTIVITY = {
+    L: 3, M: 1, T: -3, I: -2, Theta: 0, N: 0, J: 0,
+};
+/** [energy^4] = [L^8 M^4 T^-8] — bracketed-product literal for BE-40's composite Higgs V(h). */
+const ENERGY_4 = power(ENERGY, 4);
+/** [L^-2] — bracketed-product literal for BE-31's Benincasa-Dowker discrete Ricci scalar. */
+const INV_LENGTH_2 = power(LENGTH, -2);
+/** [T Θ] — bracketed-product literal for BE-21's KSS viscosity-to-entropy ratio. */
+const TIME_TIMES_TEMPERATURE = {
+    L: 0, M: 0, T: 1, I: 0, Theta: 1, N: 0, J: 0,
+};
+/** [L^-3 M] — bracketed-product literal for BE-20's cosmological-constant mass density. */
+const MASS_DENSITY = {
+    L: -3, M: 1, T: 0, I: 0, Theta: 0, N: 0, J: 0,
+};
+/**
+ * [L^-2 M^2 T^-2] — bracketed-product literal for BE-17's squared-
+ * invariant scalar reduction S²_spin = (c⁴/(8πG))² · T_λμν T^λμν
+ * (Wave Z-C 2026-05-07). Spin-density-squared = (angular-momentum-
+ * density)² is a custom dim not in NAMED_DIMENSIONS.
+ */
+const SPIN_DENSITY_SQUARED = {
+    L: -2, M: 2, T: -2, I: 0, Theta: 0, N: 0, J: 0,
+};
+/**
+ * [L^2 T^-1] — bracketed-product literal for BE-44's soft-hair squared-
+ * norm Q_soft² = ∫(∂_u C)² du. News [velocity] = [L T^-1], squared
+ * [L^2 T^-2], integral times measure [T] gives [L^2 T^-1]. Wave Z-C
+ * 2026-05-07.
+ */
+const SOFT_HAIR_L2_SQUARED = {
+    L: 2, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0,
+};
+/**
+ * Per-bridge expected SI dimension lookup. Seeded with every entry that
+ * has an AST encoding registered in `src/bridges/equations/`. Add a new
+ * row whenever a new Tier-5 AST encoding lands; the
+ * `dimensional-signature-catalog` round-trip test plus the
+ * `Wave-G expected-dimension entries` size guard in
+ * `tests/dimensional/bridge-check.test.ts` enforce that this map stays
+ * in sync with the encoded modules.
+ *
+ * Entries with bracketed-product signatures (e.g. BE-19 `[T^-2]`,
+ * BE-47 `[L^-3 T^-1]`) require a constructed `Dimension` literal — see
+ * `T_INV2` and `INV_VOLUME_PER_TIME` above for the pattern.
+ */
+export const EXPECTED_DIMENSION_BY_BRIDGE = new Map([
+    [11, FREQUENCY],
+    [12, LENGTH], // BE-12 thermal de Broglie wavelength λ_T = √(2π ℏ²/(m k_B T)) — Wave T 2026-05-06.
+    [13, INV_LENGTH_2], // BE-13 trace of Einstein equations R = 4Λ - (8πG/c⁴)T — Wave Y 2026-05-07.
+    [18, ENERGY], // BE-18 Higgs-like dark-fermion mass m_dark = g·v — Wave Y 2026-05-07.
+    [14, ENTROPY],
+    [15, AREA], // BE-15 Model A Kawasaki-Gunton coarsening L(t)² = Γ·t — Wave Z-D 2026-05-11. Late-stage coarsening length-scale; full Langevin equation requires δ-correlator + functional-derivative + functional-integral grammar extensions (out of scope).
+    [16, ENERGY], // BE-16 Landauer's principle E_min = k_B · T · ln(2) — Wave Z-E 2026-05-11. Reformulated from 'invalid' (broken C(ρ) ansatz, Wave P-D-style replacement per OpenAI o3 consultation). Canonical information-↔-thermodynamics bridge per Landauer 1961, experimentally tested by Bérut 2012 and Jun 2014.
+    [17, SPIN_DENSITY_SQUARED], // BE-17 Einstein-Cartan squared-invariant reduction S²_spin = (c⁴/(8πG))² · T_λμν T^λμν — Wave Z-C 2026-05-07.
+    [19, T_INV2],
+    [20, MASS_DENSITY], // BE-20 observed cosmological-constant mass density ρ_Λ = c²Λ/(8πG) — Wave Y 2026-05-07.
+    [21, TIME_TIMES_TEMPERATURE], // BE-21 KSS viscosity-to-entropy bound η/s = ℏ/(4π k_B) — Wave Y 2026-05-07.
+    [22, DIMENSIONLESS],
+    [23, RESISTIVITY], // BE-23 SYK Planckian resistivity ρ(T) = ρ_0 + (m* k_B T)/(n_e e² ℏ)·α_SYK — Wave V 2026-05-07.
+    [24, DIMENSIONLESS], // BE-24 Förster FRET efficiency η = R_0⁶/(R_0⁶ + R⁶) — Wave V 2026-05-07.
+    [25, DIMENSIONLESS], // BE-25 IIT inner intrinsic information ii(s,s̃) = p(s̃|s)·log₂[p(s̃|s)/p(s̃)] — Wave Z-B 2026-05-07. Re-added under the IIT reformulation (Wave P-D R-D2); legacy Penrose-Hameroff `be-25-orch-or.ts` AST remains archived (Wave Q B2). ii has units of bits (pseudo-unit; not in SI 7-base) and types DIMENSIONLESS. Outer MIP min over partitions is deferred grammar-extension.
+    [26, FREQUENCY],
+    [27, TEMPERATURE], // BE-27 Cugliandolo-Kurchan effective temperature T_eff = T(1+Σ_active/(k_BT)) — Wave Y 2026-05-07.
+    [28, { L: 2, M: 1, T: -3, I: 0, Theta: -1, N: 0, J: 0 }], // BE-28 Onsager linear-response entropy production σ = Σ J·X — Wave Z-G 2026-05-11. **User-confirmed relabeling** from MEPP variational principle (which would require variational-δ + Lagrange + discrete-sum grammar extensions). Honest-claude: does NOT capture MEPP's variational maximization claim; see module docstring.
+    [29, ENERGY], // BE-29 Jarzynski free-energy equality ΔF = -k_B T ln⟨exp(-βW)⟩ — Wave Y 2026-05-07.
+    [30, DIMENSIONLESS], // BE-30 FLM first law δS_EE = δ⟨H_R⟩ — Wave Y 2026-05-07.
+    [31, INV_LENGTH_2], // BE-31 Benincasa-Dowker discrete Ricci scalar R(p) = (4/√6) ℓ_P^-2 [1 + N_0 - 9N_1 + 16N_2 - 8N_3] — Wave W 2026-05-07.
+    [32, DIMENSIONLESS], // BE-32 QRF Born-rule overlap probability P = |⟨ψ_A|U(g)|ψ_B⟩|² = c² + s² — Wave Z 2026-05-07.
+    [33, LENGTH], // BE-33 Hertz-Millis ξ(T) = ξ_0 · (T/T_0)^(-ν/z) — Wave V 2026-05-07.
+    [34, DIMENSIONLESS],
+    [35, DIMENSIONLESS], // BE-35 CFT bootstrap crossing residual R_cross = C²·[g_block(u,v) - g_block(v,u)] — Wave Z 2026-05-07.
+    [36, DIMENSIONLESS], // BE-36 GW170817 graviton-speed bound |c_GW-c|/c ≤ 10⁻¹⁵ — Wave Y 2026-05-07.
+    [37, TIME], // BE-37 Shapiro gravitational time-delay Δt = (2GM/c³)·ln(R_far/R_near) — Wave Z-F 2026-05-11. Reformulated from 'invalid' (operationally-meaningless vacuum c(t,x)≠const per Ellis-Uzan 2005) to the canonical operationally-meaningful gravitational time-delay (Shapiro 1964, Cassini 2003).
+    [38, FORCE], // BE-38 Milgrom MOND F = F_N · ν(z) — Wave U 2026-05-06.
+    [39, DIMENSIONLESS], // BE-39 asymptotic-safety β_g (canonical EH-truncation; β_λ has same dim) — Wave X 2026-05-07.
+    [40, ENERGY_4], // BE-40 Composite Higgs V(h) = -α f⁴ sin² + β f⁴ [sin⁴ - sin²cos²] — Wave V 2026-05-07.
+    [41, MASS],
+    [42, TEMPERATURE], // BE-42 Hawking temperature T_H = ℏc³/(8π G M k_B) — Wave Y 2026-05-07.
+    [43, ENTROPY], // BE-43 ER=EPR S = k_B · A_wormhole / (4 ℓ_P²) — Wave V 2026-05-07.
+    [44, SOFT_HAIR_L2_SQUARED], // BE-44 Soft-hair L²-norm Q_soft² = ∫(∂_u C)² du — Wave Z-C 2026-05-07. Squared-norm scalar reduction of BMS supertranslation charge; integral primitive over u-direction at null infinity (celestial 2-sphere absorbed).
+    [45, DIMENSIONLESS], // BE-45 TCC e-fold bound N_e_max = log(M_P/H_inf) - γ log(r/0.01) — Wave W 2026-05-07.
+    [46, DIMENSIONLESS], // BE-46 Weinberg-Vilenkin anthropic probability P(Λ) = A·exp(-α/Λ) — Wave Z 2026-05-07.
+    [47, INV_VOLUME_PER_TIME],
+    [48, FREQUENCY], // BE-48 GRW mass-amplified localization rate λ_GRW(m) = λ_0 (m/m_0) — Wave Y 2026-05-07.
+    [49, DIMENSIONLESS], // BE-49 Quantum Darwinism I(S:F_k) = I(S:E) - α k^(-β) — Wave W 2026-05-07.
+    [50, DIMENSIONLESS], // BE-50 Wheeler-Feynman time-symmetry residual r_TS = (A_ret-A_adv)/(A_ret+A_adv) — Wave Z 2026-05-07.
+]);
+/**
+ * Infer the SI dimensional signature of a bridge equation expression.
+ *
+ * @param bridgeId  The id from `BRIDGE_EQUATIONS` (11..50). If present
+ *                  in `EXPECTED_DIMENSION_BY_BRIDGE` the inferred dim
+ *                  is cross-checked against the expected; mismatch =>
+ *                  null. If absent, the inferred dim is returned as-is.
+ * @param expr      Hand-encoded ExprNode AST for the equation's RHS
+ *                  (or LHS).
+ * @returns The inferred SI dimension, or `null` if the expression is
+ *          dimensionally inconsistent or fails the per-bridge expected
+ *          dimension check.
+ */
+export function inferDimensionForBridge(bridgeId, expr) {
+    const r = validate(expr);
+    if (!r.ok || r.inferredDimension === null)
+        return null;
+    const expected = EXPECTED_DIMENSION_BY_BRIDGE.get(bridgeId);
+    if (expected !== undefined && !equals(r.inferredDimension, expected)) {
+        return null;
+    }
+    return r.inferredDimension;
+}
+//# sourceMappingURL=bridge-check.js.map

package/dist/dimensional/bridge-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridge-check.js","sourceRoot":"","sources":["../../src/dimensional/bridge-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAEL,aAAa,EACb,MAAM,EACN,OAAO,EACP,SAAS,EACT,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,IAAI,EACJ,KAAK,EACL,WAAW,GACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAAY,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAEvD,uEAAuE;AACvE,MAAM,MAAM,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAE5E,8EAA8E;AAC9E,MAAM,mBAAmB,GAAc,QAAQ,CAC7C,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EACjB,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,CAClD,CAAC;AAEF,mFAAmF;AACnF,MAAM,WAAW,GAAc;IAC7B,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF,gGAAgG;AAChG,MAAM,QAAQ,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAE7C,6FAA6F;AAC7F,MAAM,YAAY,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD,oFAAoF;AACpF,MAAM,sBAAsB,GAAc;IACxC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC7C,CAAC;AAEF,2FAA2F;AAC3F,MAAM,YAAY,GAAc;IAC9B,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;;;;;GAKG;AACH,MAAM,oBAAoB,GAAc;IACtC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,oBAAoB,GAAc;IACtC,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;CAC9C,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAmC,IAAI,GAAG,CAAoB;IACrG,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,oFAAoF;IAClG,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,4EAA4E;IAChG,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,uEAAuE;IACrF,CAAC,EAAE,EAAE,OAAO,CAAC;IACb,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,gPAAgP;IAC5P,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,wSAAwS;IACtT,CAAC,EAAE,EAAE,oBAAoB,CAAC,EAAE,+GAA+G;IAC3I,CAAC,EAAE,EAAE,MAAM,CAAC;IACZ,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,yFAAyF;IAC7G,CAAC,EAAE,EAAE,sBAAsB,CAAC,EAAE,6EAA6E;IAC3G,CAAC,EAAE,EAAE,aAAa,CAAC;IACnB,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,gGAAgG;IACnH,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,0EAA0E;IAC/F,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,oXAAoX;IACzY,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,oGAAoG;IACvH,CAAC,EAAE,EAAE,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,EAAE,iUAAiU;IAC3X,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,qFAAqF;IACnG,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,0DAA0D;IAC/E,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,yHAAyH;IAC7I,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,+FAA+F;IACpH,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,sEAAsE;IACpF,CAAC,EAAE,EAAE,aAAa,CAAC;IACnB,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,wGAAwG;IAC7H,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,8EAA8E;IACnG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,gSAAgS;IAC5S,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,yDAAyD;IACtE,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,+FAA+F;IACpH,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,wFAAwF;IACxG,CAAC,EAAE,EAAE,IAAI,CAAC;IACV,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,wEAAwE;IAC3F,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,oEAAoE;IACnF,CAAC,EAAE,EAAE,oBAAoB,CAAC,EAAE,0NAA0N;IACtP,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,uFAAuF;IAC5G,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,wFAAwF;IAC7G,CAAC,EAAE,EAAE,mBAAmB,CAAC;IACzB,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,yFAAyF;IAC1G,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,4EAA4E;IACjG,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,uGAAuG;CAC7H,CAAC,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,uBAAuB,CACrC,QAAgB,EAChB,IAAc;IAEd,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,iBAAiB,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,QAAQ,GAAG,4BAA4B,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,EAAE,QAAQ,CAAC,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CAAC,CAAC,iBAAiB,CAAC;AAC7B,CAAC"}

package/dist/dimensional/connection-validators.d.ts

@@ -0,0 +1,53 @@
+/**
+ * Per-kind validation for v0.4.0 connection-layer AST nodes.
+ *
+ * Mirrors the pattern of `metric-validators.ts`: each validator is a pure
+ * function returning a local `{dim, freeIndices, role?}` carrier that
+ * validator.ts merges into its InferContext accumulator.
+ *
+ * Per docs/specification/Part-IX-Connection-Layer.md (to be written in
+ * Task 18) and v0.4.0-Design.md §4 + §7.
+ *
+ * @module dimensional/connection-validators
+ */
+import type { Dimension } from './types.js';
+import type { Role } from './tensor.js';
+import type { MetricTensorNode, CovariantIndex, PartialDerivativeChildResult } from './metric-validators.js';
+/**
+ * ExprNode-like — uses `unknown` for `of`/`wrt` because connection-validators.ts
+ * MUST NOT import from validator.ts (module cycle). The validator's case arm
+ * threads a callback that knows the real ExprNode type.
+ */
+export interface CovariantDerivativeNode {
+    readonly kind: 'covariant-derivative';
+    readonly of: unknown;
+    readonly wrt: unknown;
+    readonly wrtIndex: CovariantIndex;
+    readonly gLower: MetricTensorNode;
+    readonly gInverse: MetricTensorNode;
+}
+export interface CovariantDerivativeValidationResult {
+    readonly dim: Dimension;
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+    readonly role?: Role;
+}
+/**
+ * Validate a covariant-derivative node. Pure-function module-cycle-free
+ * pattern (matches validatePartialDerivative). Recursion via the
+ * `validateChild` callback supplied by the caller (validator.ts's
+ * `infer()` dispatch).
+ *
+ * Throws:
+ *   - PartialDerivativeIndexVarianceError if wrtIndex.variance !== 'lower'
+ *   - MetricSignatureError if gLower is not both-lower or gInverse is not both-upper
+ *
+ * Note: the gLower / gInverse free indices are CONSUMED INTERNALLY by the
+ * Christoffel formula's contractions and do NOT propagate upward. The
+ * output freeIndices is just `of.freeIndices ∪ {wrtIndex.label: lower}`
+ * (same structural rule as tensor-partial-derivative).
+ */
+export declare function validateCovariantDerivative(node: CovariantDerivativeNode, validateChild: (child: unknown) => PartialDerivativeChildResult): CovariantDerivativeValidationResult;
+//# sourceMappingURL=connection-validators.d.ts.map

package/dist/dimensional/connection-validators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"connection-validators.d.ts","sourceRoot":"","sources":["../../src/dimensional/connection-validators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAExC,OAAO,KAAK,EACV,gBAAgB,EAChB,cAAc,EACd,4BAA4B,EAC7B,MAAM,wBAAwB,CAAC;AAOhC;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;CACrC;AAED,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;CACtB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,uBAAuB,EAC7B,aAAa,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,4BAA4B,GAC9D,mCAAmC,CAsErC"}

package/dist/dimensional/connection-validators.js

@@ -0,0 +1,84 @@
+/**
+ * Per-kind validation for v0.4.0 connection-layer AST nodes.
+ *
+ * Mirrors the pattern of `metric-validators.ts`: each validator is a pure
+ * function returning a local `{dim, freeIndices, role?}` carrier that
+ * validator.ts merges into its InferContext accumulator.
+ *
+ * Per docs/specification/Part-IX-Connection-Layer.md (to be written in
+ * Task 18) and v0.4.0-Design.md §4 + §7.
+ *
+ * @module dimensional/connection-validators
+ */
+import { divide } from './algebra.js';
+import { PartialDerivativeIndexVarianceError, MetricSignatureError, DuplicateCoordinateWarning, } from './errors.js';
+/**
+ * Validate a covariant-derivative node. Pure-function module-cycle-free
+ * pattern (matches validatePartialDerivative). Recursion via the
+ * `validateChild` callback supplied by the caller (validator.ts's
+ * `infer()` dispatch).
+ *
+ * Throws:
+ *   - PartialDerivativeIndexVarianceError if wrtIndex.variance !== 'lower'
+ *   - MetricSignatureError if gLower is not both-lower or gInverse is not both-upper
+ *
+ * Note: the gLower / gInverse free indices are CONSUMED INTERNALLY by the
+ * Christoffel formula's contractions and do NOT propagate upward. The
+ * output freeIndices is just `of.freeIndices ∪ {wrtIndex.label: lower}`
+ * (same structural rule as tensor-partial-derivative).
+ */
+export function validateCovariantDerivative(node, validateChild) {
+    if (node.wrtIndex.variance !== 'lower') {
+        throw new PartialDerivativeIndexVarianceError(node.wrtIndex.label);
+    }
+    if (node.gLower.indices[0].variance !== 'lower' ||
+        node.gLower.indices[1].variance !== 'lower') {
+        throw new MetricSignatureError(node.gLower.name, `covariant-derivative requires gLower to be both-lower (got ` +
+            `[${node.gLower.indices[0].variance}, ${node.gLower.indices[1].variance}])`);
+    }
+    if (node.gInverse.indices[0].variance !== 'upper' ||
+        node.gInverse.indices[1].variance !== 'upper') {
+        throw new MetricSignatureError(node.gInverse.name, `covariant-derivative requires gInverse to be both-upper (got ` +
+            `[${node.gInverse.indices[0].variance}, ${node.gInverse.indices[1].variance}])`);
+    }
+    const ofResult = validateChild(node.of);
+    const wrtResult = validateChild(node.wrt);
+    // gLower and gInverse are validated via validateChild ONLY for their dim
+    // sanity-check; their free indices are deliberately discarded — the
+    // Christoffel contractions inside ∇_μ consume them internally.
+    // (We don't even need to call validateChild on them; their dims are
+    // structurally known and any malformed metric would have failed the
+    // signature checks above.)
+    // Per §VIII.4 (pderiv-label-collision-rejected analog):
+    // wrtIndex.label must not collide with of.freeIndices.
+    //
+    // I1 HYBRID DECISION: throw by default (soundness > friendliness);
+    // env var UPT_ALLOW_COORD_SHADOW=1 downgrades to process.emitWarning.
+    // Task 13 covers BOTH paths (default throws; env=1 warns).
+    if (ofResult.freeIndices.has(node.wrtIndex.label)) {
+        const conflict = node.wrtIndex.label;
+        if (typeof process !== 'undefined' && process.env?.UPT_ALLOW_COORD_SHADOW === '1') {
+            process.emitWarning(new DuplicateCoordinateWarning(conflict, conflict));
+        }
+        else {
+            throw new MetricSignatureError(`covariant-derivative`, `wrt='${conflict}' shadows an existing free index '${conflict}'. ` +
+                `Rename the operand's free index or set UPT_ALLOW_COORD_SHADOW=1 to ` +
+                `downgrade to a warning.`);
+        }
+    }
+    // Output freeIndices = of.freeIndices ∪ {wrtIndex.label: lower}.
+    const freeIndices = new Map();
+    for (const [label, counts] of ofResult.freeIndices)
+        freeIndices.set(label, counts);
+    freeIndices.set(node.wrtIndex.label, { upper: 0, lower: 1 });
+    // Output dim = divide(of.dim, wrt.dim) — same as pderiv.
+    const dim = divide(ofResult.dim, wrtResult.dim);
+    // Role passthrough: propagate of.role only when the child has one; omit
+    // otherwise. Mirrors the `role?: Role` optional declaration on
+    // CovariantDerivativeValidationResult — don't force a 'field' default when
+    // the child has no role (e.g. a plain scalar operand).
+    return ofResult.role !== undefined
+        ? { dim, freeIndices, role: ofResult.role }
+        : { dim, freeIndices };
+}
+//# sourceMappingURL=connection-validators.js.map

package/dist/dimensional/connection-validators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"connection-validators.js","sourceRoot":"","sources":["../../src/dimensional/connection-validators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAMtC,OAAO,EACL,mCAAmC,EACnC,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,aAAa,CAAC;AAsBrB;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,2BAA2B,CACzC,IAA6B,EAC7B,aAA+D;IAE/D,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACvC,MAAM,IAAI,mCAAmC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC;IACD,IACE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QAC3C,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EAC3C,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,MAAM,CAAC,IAAI,EAChB,6DAA6D;YAC7D,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAC5E,CAAC;IACJ,CAAC;IACD,IACE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QAC7C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EAC7C,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,QAAQ,CAAC,IAAI,EAClB,+DAA+D;YAC/D,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAChF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAE1C,yEAAyE;IACzE,oEAAoE;IACpE,+DAA+D;IAC/D,oEAAoE;IACpE,oEAAoE;IACpE,2BAA2B;IAE3B,wDAAwD;IACxD,uDAAuD;IACvD,EAAE;IACF,mEAAmE;IACnE,sEAAsE;IACtE,2DAA2D;IAC3D,IAAI,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QACrC,IAAI,OAAO,OAAO,KAAK,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,sBAAsB,KAAK,GAAG,EAAE,CAAC;YAClF,OAAO,CAAC,WAAW,CAAC,IAAI,0BAA0B,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1E,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,oBAAoB,CAC5B,sBAAsB,EACtB,QAAQ,QAAQ,qCAAqC,QAAQ,KAAK;gBAClE,qEAAqE;gBACrE,yBAAyB,CAC1B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,WAAW;QAAE,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACnF,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAE7D,yDAAyD;IACzD,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;IAEhD,wEAAwE;IACxE,+DAA+D;IAC/D,2EAA2E;IAC3E,uDAAuD;IACvD,OAAO,QAAQ,CAAC,IAAI,KAAK,SAAS;QAChC,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;QAC3C,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC3B,CAAC"}

package/dist/dimensional/connection.d.ts

@@ -0,0 +1,40 @@
+/**
+ * v0.4.0 connection-layer helpers (composite-formula builders that produce
+ * trees of v0.3.0 AST nodes). The substantive new operator (∇_μ) is a
+ * dedicated ExprNode kind defined in connection-validators.ts; this module
+ * holds the Christoffel formula builder (a composite, like raise/lower).
+ *
+ * Per docs/specification/Part-IX-Connection-Layer.md (Task 18) and
+ * v0.4.0-Design.md §5.
+ *
+ * @module dimensional/connection
+ */
+import type { TensorSymbolNode } from './tensor.js';
+import type { MetricTensorNode } from './metric-validators.js';
+import type { ExprNode } from './validator.js';
+/**
+ * Christoffel symbol Γ^λ_μν = (1/2) g^λρ (∂_μ g_ρν + ∂_ν g_ρμ − ∂_ρ g_μν).
+ *
+ * Builds a composite tree of v0.3.0 nodes. The negation is encoded as binary
+ * subtraction at the outer level: (∂_μ g_ρν + ∂_ν g_ρμ) − ∂_ρ g_μν.
+ * Unary minus is NOT supported in v0.4.0 (validator special-cases '-' as
+ * binary-only).
+ *
+ * The fresh dummy label ρ is generated via the deterministic freshLabel scheme
+ * (Part-VIII §VIII.5 TENSOR-RULE raise-lower-fresh-label-deterministic):
+ * tries 'ρ' first; falls back to 'ρ_1', 'ρ_2', … until non-colliding.
+ *
+ * Per v0.4.0-Design.md §5; Levi-Civita connection only.
+ *
+ * @param gLower   Covariant metric g_ab (both indices lower).
+ * @param gInverse Contravariant inverse metric g^ab (both indices upper).
+ * @param upper    Free upper index label λ.
+ * @param lowerA   First free lower index label μ.
+ * @param lowerB   Second free lower index label ν.
+ * @param xCoord   Coordinate tensor x^α — used as the wrt argument for pderiv.
+ */
+export declare function christoffel(gLower: MetricTensorNode, gInverse: MetricTensorNode, upper: string, // λ
+lowerA: string, // μ
+lowerB: string, // ν
+xCoord: TensorSymbolNode): ExprNode;
+//# sourceMappingURL=connection.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"connection.d.ts","sourceRoot":"","sources":["../../src/dimensional/connection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAEpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG/C;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,gBAAgB,EACxB,QAAQ,EAAE,gBAAgB,EAC1B,KAAK,EAAE,MAAM,EAAU,IAAI;AAC3B,MAAM,EAAE,MAAM,EAAS,IAAI;AAC3B,MAAM,EAAE,MAAM,EAAS,IAAI;AAC3B,MAAM,EAAE,gBAAgB,GACvB,QAAQ,CAuDV"}

package/dist/dimensional/connection.js

@@ -0,0 +1,81 @@
+/**
+ * v0.4.0 connection-layer helpers (composite-formula builders that produce
+ * trees of v0.3.0 AST nodes). The substantive new operator (∇_μ) is a
+ * dedicated ExprNode kind defined in connection-validators.ts; this module
+ * holds the Christoffel formula builder (a composite, like raise/lower).
+ *
+ * Per docs/specification/Part-IX-Connection-Layer.md (Task 18) and
+ * v0.4.0-Design.md §5.
+ *
+ * @module dimensional/connection
+ */
+import { DIMENSIONLESS } from './types.js';
+import { contract } from './tensor.js';
+import { metric, pderiv } from './metric.js';
+import { freshLabel } from './fresh-label.js';
+/**
+ * Christoffel symbol Γ^λ_μν = (1/2) g^λρ (∂_μ g_ρν + ∂_ν g_ρμ − ∂_ρ g_μν).
+ *
+ * Builds a composite tree of v0.3.0 nodes. The negation is encoded as binary
+ * subtraction at the outer level: (∂_μ g_ρν + ∂_ν g_ρμ) − ∂_ρ g_μν.
+ * Unary minus is NOT supported in v0.4.0 (validator special-cases '-' as
+ * binary-only).
+ *
+ * The fresh dummy label ρ is generated via the deterministic freshLabel scheme
+ * (Part-VIII §VIII.5 TENSOR-RULE raise-lower-fresh-label-deterministic):
+ * tries 'ρ' first; falls back to 'ρ_1', 'ρ_2', … until non-colliding.
+ *
+ * Per v0.4.0-Design.md §5; Levi-Civita connection only.
+ *
+ * @param gLower   Covariant metric g_ab (both indices lower).
+ * @param gInverse Contravariant inverse metric g^ab (both indices upper).
+ * @param upper    Free upper index label λ.
+ * @param lowerA   First free lower index label μ.
+ * @param lowerB   Second free lower index label ν.
+ * @param xCoord   Coordinate tensor x^α — used as the wrt argument for pderiv.
+ */
+export function christoffel(gLower, gInverse, upper, // λ
+lowerA, // μ
+lowerB, // ν
+xCoord) {
+    // Collect labels in use to generate a fresh dummy.
+    const taken = new Set([upper, lowerA, lowerB]);
+    for (const idx of gLower.indices)
+        taken.add(idx.label);
+    for (const idx of gInverse.indices)
+        taken.add(idx.label);
+    // Finding #2 fix: include xCoord's own index labels so the fresh dummy
+    // cannot alias a coordinate-tensor index (e.g. xCoord with label 'ρ').
+    for (const idx of xCoord.indices)
+        taken.add(idx.label);
+    const rho = freshLabel('ρ', taken);
+    // Renamed inverse metric so its indices match: g^{λ rho}.
+    const gInverseRenamed = metric(gInverse.name, [
+        { label: upper, variance: 'upper' },
+        { label: rho, variance: 'upper' },
+    ], gInverse.dim, gInverse.signature, gInverse.derivativeStrategy);
+    // The three lowered metrics: g_{ρ ν}, g_{ρ μ}, g_{μ ν}.
+    const gRho_nu = metric(gLower.name, [{ label: rho, variance: 'lower' }, { label: lowerB, variance: 'lower' }], gLower.dim, gLower.signature, gLower.derivativeStrategy);
+    const gRho_mu = metric(gLower.name, [{ label: rho, variance: 'lower' }, { label: lowerA, variance: 'lower' }], gLower.dim, gLower.signature, gLower.derivativeStrategy);
+    const gMu_nu = metric(gLower.name, [{ label: lowerA, variance: 'lower' }, { label: lowerB, variance: 'lower' }], gLower.dim, gLower.signature, gLower.derivativeStrategy);
+    // The three pderiv terms: ∂_μ g_{ρν}, ∂_ν g_{ρμ}, ∂_ρ g_{μν}.
+    const dmu_gRhoNu = pderiv(gRho_nu, xCoord, { label: lowerA, variance: 'lower' });
+    const dnu_gRhoMu = pderiv(gRho_mu, xCoord, { label: lowerB, variance: 'lower' });
+    const drho_gMuNu = pderiv(gMu_nu, xCoord, { label: rho, variance: 'lower' });
+    // Sum: (∂_μ g_{ρν} + ∂_ν g_{ρμ}) − ∂_ρ g_{μν}.
+    // Binary subtraction — unary minus is NOT supported in v0.4.0.
+    const innerSum = {
+        kind: 'op', op: '+',
+        args: [dmu_gRhoNu, dnu_gRhoMu],
+    };
+    const sumExpr = {
+        kind: 'op', op: '-',
+        args: [innerSum, drho_gMuNu], // binary subtraction
+    };
+    // Half-factor: dimensionless scalar.
+    const half = { kind: 'symbol', name: '(1/2)', dim: DIMENSIONLESS };
+    // Final: (1/2) · g^{λρ} · sumExpr
+    // Γ has units 1/LENGTH (geometrized DIMENSIONLESS metric).
+    return contract(half, gInverseRenamed, sumExpr);
+}
+//# sourceMappingURL=connection.js.map

package/dist/dimensional/connection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"connection.js","sourceRoot":"","sources":["../../src/dimensional/connection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAQ,MAAM,aAAa,CAAC;AAE7C,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAG7C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,WAAW,CACzB,MAAwB,EACxB,QAA0B,EAC1B,KAAa,EAAU,IAAI;AAC3B,MAAc,EAAS,IAAI;AAC3B,MAAc,EAAS,IAAI;AAC3B,MAAwB;IAExB,mDAAmD;IACnD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACvD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO;QAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACvD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,OAAO;QAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACzD,uEAAuE;IACvE,uEAAuE;IACvE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO;QAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACvD,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAEnC,0DAA0D;IAC1D,MAAM,eAAe,GAAqB,MAAM,CAC9C,QAAQ,CAAC,IAAI,EACb;QACE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE;QACnC,EAAE,KAAK,EAAE,GAAG,EAAI,QAAQ,EAAE,OAAO,EAAE;KACpC,EACD,QAAQ,CAAC,GAAG,EACZ,QAAQ,CAAC,SAAS,EAClB,QAAQ,CAAC,kBAAkB,CAC5B,CAAC;IAEF,wDAAwD;IACxD,MAAM,OAAO,GAAqB,MAAM,CAAC,MAAM,CAAC,IAAI,EAClD,CAAC,EAAE,KAAK,EAAE,GAAG,EAAK,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAC5E,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAqB,MAAM,CAAC,MAAM,CAAC,IAAI,EAClD,CAAC,EAAE,KAAK,EAAE,GAAG,EAAK,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAC5E,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAsB,MAAM,CAAC,MAAM,CAAC,IAAI,EAClD,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAC5E,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAE3D,8DAA8D;IAC9D,MAAM,UAAU,GAAI,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;IAClF,MAAM,UAAU,GAAI,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;IAClF,MAAM,UAAU,GAAI,MAAM,CAAC,MAAM,EAAG,MAAM,EAAE,EAAE,KAAK,EAAE,GAAG,EAAK,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;IAElF,+CAA+C;IAC/C,+DAA+D;IAC/D,MAAM,QAAQ,GAAa;QACzB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;QACnB,IAAI,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;KAC/B,CAAC;IACF,MAAM,OAAO,GAAa;QACxB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;QACnB,IAAI,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAG,qBAAqB;KACrD,CAAC;IAEF,qCAAqC;IACrC,MAAM,IAAI,GAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;IAE7E,kCAAkC;IAClC,2DAA2D;IAC3D,OAAO,QAAQ,CAAC,IAAI,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;AAClD,CAAC"}

package/dist/dimensional/constants.d.ts

@@ -0,0 +1,30 @@
+/**
+ * SI dimensional signatures of fundamental physical constants.
+ *
+ * These are *dimensions only* — numerical values for the constants themselves
+ * live in `src/core/types.ts` (`PhysicalConstants`). The split is intentional:
+ *   - `core/types.ts` owns numeric values (CODATA 2018) for runtime computation.
+ *   - this module owns the SI dimensional signatures for the validator.
+ *
+ * Sources for the dimensional signatures:
+ *   - CODATA 2018 / NIST CODATA values: https://physics.nist.gov/cuu/Constants/
+ *   - BIPM SI Brochure 9th ed. (2019)
+ *   - Planck-unit derivations: Planck (1899); see Wald, "General Relativity"
+ *     (1984), §G for the canonical Planck-length / Planck-time relations.
+ *
+ * @module dimensional/constants
+ */
+import { Dimension } from './types.js';
+/** Reduced Planck constant ℏ — action [M L^2 T^-1]. */
+export declare const hbar: Dimension;
+/** Speed of light c — velocity [L T^-1]. */
+export declare const c: Dimension;
+/** Newton's gravitational constant G — [L^3 M^-1 T^-2]. */
+export declare const G: Dimension;
+/** Boltzmann constant k_B — energy / temperature [M L^2 T^-2 Θ^-1]. */
+export declare const k_B: Dimension;
+/** Elementary charge e — [T I] (coulombs). */
+export declare const e: Dimension;
+/** Planck length ℓ_P — [L]. */
+export declare const l_P: Dimension;
+//# sourceMappingURL=constants.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../src/dimensional/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EACL,SAAS,EAKV,MAAM,YAAY,CAAC;AAEpB,uDAAuD;AACvD,eAAO,MAAM,IAAI,EAAE,SAAkB,CAAC;AAEtC,4CAA4C;AAC5C,eAAO,MAAM,CAAC,EAAE,SAAoB,CAAC;AAErC,2DAA2D;AAC3D,eAAO,MAAM,CAAC,EAAE,SAA8D,CAAC;AAE/E,uEAAuE;AACvE,eAAO,MAAM,GAAG,EAAE,SAA8D,CAAC;AAEjF,8CAA8C;AAC9C,eAAO,MAAM,CAAC,EAAE,SAAkB,CAAC;AAInC,+BAA+B;AAC/B,eAAO,MAAM,GAAG,EAAE,SAAkB,CAAC"}