universal-physics-tensor 0.4.5

package/dist/bridges/equations/be-17-einstein-cartan.js

@@ -0,0 +1,304 @@
+/**
+ * Bridge Equation 17 — Einstein-Cartan torsion-spin coupling
+ * (squared-invariant scalar reduction).
+ *
+ * **Original (full Einstein-Cartan field equations).**
+ *
+ *   R_μν − (1/2) R g_μν + Λ g_μν = (8πG/c⁴) T_μν
+ *   T^λ_μν = (8πG/c⁴) S^λ_μν
+ *
+ * The full EC system is **operator-valued tensor equations** — the LHS of
+ * the Einstein equation contains the Ricci tensor R_μν, the Ricci scalar
+ * R, the metric g_μν, and the cosmological constant Λ; the algebraic
+ * torsion-spin equation involves the rank-3 torsion tensor T^λ_μν
+ * (antisymmetric in lower indices) and the rank-3 spin angular momentum
+ * density tensor S^λ_μν. The full curvature side of the Einstein
+ * equation (Ricci, metric, cosmological term) lies outside the UPT AST
+ * grammar even with v0.2.0's tensor-symbol / tensor-product primitives,
+ * because the grammar has no Christoffel-symbol / Riemann-curvature
+ * operator. The algebraic torsion-spin half, however, IS structurally
+ * encodable in v0.2.0 — see "Structural encoding" below.
+ *
+ * **Encoded reduction (squared-invariant scalar form).** Wave Z-C applies
+ * OpenAI's scalar reduction: contract both sides of the algebraic torsion-
+ * spin equation with its dual to obtain a scalar invariant. Inverting
+ * `T^λ_μν = (8πG/c⁴) S^λ_μν` gives `S^λ_μν = (c⁴/(8πG)) T^λ_μν`, and
+ * squaring (contracting against the conjugate index structure):
+ *
+ *   S²_spin = (c⁴/(8πG))² · T_λμν T^λμν
+ *
+ * where:
+ *   - S²_spin is the squared norm of the spin angular momentum density
+ *     tensor (a SCALAR; dim [M²·L⁻²·T⁻²]);
+ *   - (c⁴/(8πG))² is a coupling prefactor with dim [M²·L²·T⁻⁴]
+ *     (the squared inverse of the Einstein coupling 8πG/c⁴);
+ *   - T_λμν T^λμν is the Einstein contraction of the rank-3 torsion
+ *     tensor against its dual — encoded structurally in v0.2.0 as a
+ *     `tensor-product` over two `tensor-symbol` nodes — yielding a
+ *     scalar with dim [T²·L⁻⁴].
+ *
+ * **Dimensional bookkeeping (verified by hand):**
+ *   - G ~ [L³ M⁻¹ T⁻²], c⁴ ~ [L⁴ T⁻⁴].
+ *   - 8πG/c⁴ ~ [T²·M⁻¹·L⁻¹]; (c⁴/(8πG)) ~ [M·L·T⁻²] = [force].
+ *   - (c⁴/(8πG))² ~ [M²·L²·T⁻⁴].
+ *   - S^λ_μν has dim [angular momentum / volume] = [M·L⁻¹·T⁻¹], so
+ *     S² ~ [M²·L⁻²·T⁻²].
+ *   - T^λ_μν = (8πG/c⁴) S^λ_μν has dim [T²·M⁻¹·L⁻¹] · [M·L⁻¹·T⁻¹] =
+ *     [T·L⁻²]; contraction T_λμν T^λμν ~ [T²·L⁻⁴].
+ *   - Cross-check: (c⁴/(8πG))² · (T·T) ~ [M²·L²·T⁻⁴] · [T²·L⁻⁴] =
+ *     [M²·L⁻²·T⁻²] ✓ matches S²_spin.
+ *
+ * **Structural encoding (v0.2.0).** The torsion contraction
+ * `T_λμν T^λμν` is now encoded as a structural `tensor-product` over
+ * two `tensor-symbol` nodes:
+ *   - `T_lower`: tensor-symbol named `T_torsion` with three lower
+ *     indices (λ, μ, ν), per-component dim `[T·L⁻²]`.
+ *   - `T_upper`: tensor-symbol named `T_torsion` with three upper
+ *     indices (λ, μ, ν), per-component dim `[T·L⁻²]`.
+ *   - `contract(T_lower, T_upper)` yields a `tensor-product` node that
+ *     the validator structurally verifies: each index label appears
+ *     exactly twice (once upper, once lower), so all three indices are
+ *     fully contracted and the result is a scalar with dim
+ *     `[T·L⁻²] · [T·L⁻²] = [T²·L⁻⁴]`. The validator emits no violations
+ *     and reports an empty `freeIndices` map.
+ *
+ * **All-lower / all-upper representational choice.** The canonical
+ * literature form of the rank-3 torsion tensor is the mixed-variance
+ * `T^λ_μν` (one upper index, two lower indices, antisymmetric in the
+ * lower pair). The v0.2.0 encoding instead represents the contraction
+ * using an "all-lower" `T_λμν` and an "all-upper" `T^λμν` and contracts
+ * the matching label pairs. This is **mathematically valid**: the
+ * scalar invariant `T_λμν T^λμν` is the same scalar whether you write
+ * it as `T^λ_μν · T_λ^μν`, `T_λ^μν · T^λ_μν`, or as the all-lower /
+ * all-upper product used here — Einstein summation over each
+ * upper-lower pair produces the same number, because raising or lowering
+ * an index with the metric just shuffles which factor carries the upper
+ * variant. The all-lower / all-upper split was chosen because v0.2.0's
+ * algebra layer matches contraction pairs by `(label, variance)` and
+ * does not yet model the metric tensor that would convert between
+ * mixed-variance representations. Readers translating to the canonical
+ * `T^λ_μν` form should note that the structural verdict (rank-3,
+ * fully contracted, scalar) is preserved across the choice — only the
+ * surface variance labeling differs.
+ *
+ * **Implicit dimensionless-metric assumption.** v0.2.0 treats
+ * `T_lower` and `T_upper` as having the **same per-component
+ * dimension** (`[T·L⁻²]`). This is mathematically equivalent to
+ * assuming the metric tensor `g_μν` is dimensionless — the standard
+ * convention in the (-,+,+,+) signature used throughout the UPT
+ * catalog. Under that convention raising an index via
+ * `T^λ_μν = g_μα g_νβ T^λαβ` (or its rank-3 analog) preserves the
+ * per-component dimension because `g` contributes a dimensionless
+ * factor per index raised. In geometrized units (where `g` carries
+ * `[L²]` per index pair) or in any convention where the metric is
+ * not dimensionless, the raising / lowering operation would multiply
+ * the per-component dimension by `g.dim` per index pair, and the
+ * `[T·L⁻²] === [T·L⁻²]` equality between `T_lower.dim` and
+ * `T_upper.dim` would no longer hold. v0.3.0 introduces the metric
+ * tensor as an explicit AST primitive (per v0.2.0-Design.md §2 / §12
+ * "metric layer") and will revisit this case with explicit dimension
+ * tracking through raise/lower operations.
+ *
+ * The squared coupling prefactor `(c⁴/(8πG))²` remains a typed-stub
+ * symbol — encoding it structurally adds no validation value because
+ * it is a fixed constant of nature (not an indexed tensor). Per the
+ * same idiom BE-26 uses for the WKB prefactor.
+ *
+ * **v0.1.0 → v0.2.0 migration.** v0.1.0 used a single typed-stub
+ * `T_torsion_squared` (a scalar `symbol` with hand-computed dim
+ * `[T²·L⁻⁴]`). v0.2.0 removes that stub and replaces it with the
+ * structural form. The dimensional verdict on `BE17_SPIN_DENSITY_SQUARED_RHS`
+ * is unchanged ([M²·L⁻²·T⁻²]); the AST shape is the only change. Per
+ * v0.2.0-Design.md §14.5, stub removals are technically BREAKING per
+ * SemVer (downstream consumers importing `BE17_TORSION_SQUARED_STUB`
+ * by name will no longer compile), even though v0.2.0 is pre-1.0 and
+ * a minor bump is permitted.
+ *
+ * References:
+ *   - Cartan 1922 *C. R. Acad. Sci.* 174:593 (original torsion paper).
+ *   - Hehl-vonderHeyde-Kerlick-Nester 1976 *Rev. Mod. Phys.* 48:393
+ *     (canonical Einstein-Cartan review).
+ *   - Shapiro 2002 *Phys. Rep.* 357:113 (arXiv:hep-th/0103093, torsion
+ *     in physics — comprehensive review).
+ *   - Trautman 2006 in *Encyclopedia of Mathematical Physics*
+ *     (arXiv:gr-qc/0606062, modern Einstein-Cartan introduction).
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - The **original** BE-17 formula is the **full EC system** (Einstein
+ *     equation + algebraic torsion-spin equation). The Einstein-equation
+ *     half (Ricci, metric, cosmological term) **CANNOT be encoded** in
+ *     the UPT AST grammar even with v0.2.0's tensor-symbol /
+ *     tensor-product primitives — the grammar has no Christoffel-symbol
+ *     / Riemann-curvature operator. This module encodes a
+ *     **squared-invariant scalar reduction** of the torsion-spin half,
+ *     NOT the full field equations.
+ *   - The reduction `S²_spin = (c⁴/(8πG))² · T_λμν T^λμν` is a
+ *     **contracted scalar**, not a full algebraic relation. It captures
+ *     **one invariant** of the EC torsion-spin coupling (the squared
+ *     norm) but does not encode the field equations themselves — the
+ *     Einstein equation, the metric, and the cosmological term are
+ *     absent.
+ *   - In v0.2.0 the rank-3 index structure of `T_λμν T^λμν` IS
+ *     encoded structurally (three explicit indices in upper and lower
+ *     variance, contracted by the algebra layer). The antisymmetry of
+ *     `T^λ_μν` in its lower indices is NOT enforced — the v0.2.0
+ *     algebra layer is a Tier-1 "type-checker for tensor algebra,"
+ *     not a full symbolic tensor calculator. Antisymmetry would be
+ *     enforced by a future symmetry-tag system (out of scope for
+ *     v0.2.0).
+ *   - `c4_over_8piG_squared` remains a typed-stub for the squared
+ *     coupling prefactor (a constant of nature; no index structure to
+ *     encode). Same idiom BE-26 uses for the WKB prefactor.
+ *   - Status 'speculative' is **not lifted by this encoding**. The
+ *     bridge-framing of EC as a cross-categorical bridge between fields
+ *     A and B in UPT's catalog is the speculative element (the EC
+ *     equations themselves are canonical literature); pinning a Tier-5
+ *     structurally-encoded AST does not promote the bridge framing.
+ *     Promoting 'speculative' → 'established' would require deleting
+ *     the status-pin test in `tests/bridges/be-17-encoding.test.ts`
+ *     deliberately.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 17: Einstein-Cartan torsion-spin coupling")
+ * @see docs/specification/Part-VII-Tensor-Algebra.md (v0.2.0 tensor algebra layer)
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 17)
+ * @module bridges/equations/be-17-einstein-cartan
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { tsym, contract } from '../../dimensional/tensor.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+// --- Dimensions ---
+/**
+ * Per-component dimension of the rank-3 torsion tensor `T^λ_μν`: [T·L⁻²].
+ *
+ * Derived from the algebraic torsion-spin equation
+ * `T^λ_μν = (8πG/c⁴) S^λ_μν`:
+ *   - 8πG/c⁴ ~ [T²·M⁻¹·L⁻¹];
+ *   - S^λ_μν ~ [M·L⁻¹·T⁻¹] (angular momentum per volume);
+ *   - product ~ [T·L⁻²].
+ *
+ * The contraction `T_λμν T^λμν` is then a SCALAR with dim
+ * [T·L⁻²] · [T·L⁻²] = [T²·L⁻⁴], verified structurally by the v0.2.0
+ * algebra layer.
+ */
+const TORSION_COMPONENT_DIM = {
+    L: -2, M: 0, T: 1, I: 0, Theta: 0, N: 0, J: 0,
+};
+/**
+ * Dimension of (c⁴/(8πG))²: [M²·L²·T⁻⁴].
+ *
+ * (c⁴/(8πG)) ~ [M·L·T⁻²] = [force]; its square ~ [M²·L²·T⁻⁴].
+ */
+const COUPLING_PREFACTOR_SQUARED_DIM = {
+    L: 2, M: 2, T: -4, I: 0, Theta: 0, N: 0, J: 0,
+};
+/**
+ * Dimension of S²_spin: [M²·L⁻²·T⁻²].
+ *
+ * Spin angular momentum density S^λ_μν ~ [M·L⁻¹·T⁻¹] (angular momentum
+ * per volume); its square ~ [M²·L⁻²·T⁻²].
+ */
+const SPIN_DENSITY_SQUARED_DIM = {
+    L: -2, M: 2, T: -2, I: 0, Theta: 0, N: 0, J: 0,
+};
+// --- Symbolic AST ---
+/**
+ * Tensor-symbol node for the rank-3 torsion tensor with three LOWER
+ * indices: `T_λμν`. Per-component dim `[T·L⁻²]`.
+ */
+const T_lower = tsym('T_torsion', [
+    { label: 'λ', variance: 'lower' },
+    { label: 'μ', variance: 'lower' },
+    { label: 'ν', variance: 'lower' },
+], TORSION_COMPONENT_DIM);
+/**
+ * Tensor-symbol node for the rank-3 torsion tensor with three UPPER
+ * indices: `T^λμν`. Per-component dim `[T·L⁻²]`.
+ */
+const T_upper = tsym('T_torsion', [
+    { label: 'λ', variance: 'upper' },
+    { label: 'μ', variance: 'upper' },
+    { label: 'ν', variance: 'upper' },
+], TORSION_COMPONENT_DIM);
+/**
+ * Structural encoding of the torsion-tensor contraction `T_λμν T^λμν`
+ * as a `tensor-product` over `T_lower` and `T_upper`. Each index label
+ * (λ, μ, ν) appears exactly twice — once upper, once lower — so the
+ * v0.2.0 algebra layer fully contracts all three and emits a SCALAR
+ * with dim `[T·L⁻²] · [T·L⁻²] = [T²·L⁻⁴]` and empty `freeIndices` map.
+ *
+ * Replaces the v0.1.0 `T_torsion_squared` typed-stub (a scalar `symbol`
+ * with hand-computed dim).
+ */
+export const BE17_TORSION_CONTRACTION = contract(T_lower, T_upper);
+/**
+ * Typed-stub for the squared coupling prefactor `(c⁴/(8πG))²`.
+ *
+ * Encoded as a single typed symbol with dim `[M²·L²·T⁻⁴]`; encoding
+ * `(c⁴ / G)²` symbolically and dividing by `(8π)²` would clutter the
+ * AST without adding validation value (the prefactor is a constant of
+ * nature; it has no index structure to encode structurally). Same idiom
+ * BE-26 uses for the WKB-prefactor stub.
+ */
+export const BE17_COUPLING_PREFACTOR_SQUARED = sym('c4_over_8piG_squared', COUPLING_PREFACTOR_SQUARED_DIM);
+/**
+ * RHS of `S²_spin = (c⁴/(8πG))² · T_λμν T^λμν` as a structural
+ * `tensor-product` over the scalar prefactor and the fully-contracted
+ * torsion scalar:
+ *
+ *   contract(c4_over_8piG_squared, contract(T_lower, T_upper))
+ *
+ * Inferred dim: `[M²·L²·T⁻⁴] · [T²·L⁻⁴] = [M²·L⁻²·T⁻²]`. Both factors
+ * are scalars at the outer contraction (the inner contract reduces to
+ * a scalar), so the outer `tensor-product` is dimensionally equivalent
+ * to a scalar product. Encoding it as a `tensor-product` (not a scalar
+ * `op '*'`) keeps the RHS structurally consistent with v0.2.0's tensor
+ * algebra layer.
+ */
+export const BE17_SPIN_DENSITY_SQUARED_RHS = contract(BE17_COUPLING_PREFACTOR_SQUARED, BE17_TORSION_CONTRACTION);
+/**
+ * LHS: S²_spin is the squared norm of the spin angular momentum
+ * density tensor. Dim [M²·L⁻²·T⁻²].
+ */
+export const BE17_SPIN_DENSITY_SQUARED_LHS = sym('S_spin_squared', SPIN_DENSITY_SQUARED_DIM);
+/**
+ * Evaluate the squared-invariant scalar reduction of the EC torsion-
+ * spin coupling:
+ *
+ *   S²_spin = (c⁴/(8πG))² · T_λμν T^λμν
+ *
+ * The structural change introduced in v0.2.0 lives in the AST, not in
+ * the evaluator — the input interface is unchanged from v0.1.0.
+ *
+ * @returns Squared spin density in SI units [M²·L⁻²·T⁻²].
+ */
+export function evaluateBE17SpinDensitySquared(input) {
+    const { coupling_prefactor_squared, torsion_squared } = input;
+    if (!Number.isFinite(coupling_prefactor_squared)) {
+        throw new RangeError(`evaluateBE17SpinDensitySquared: coupling_prefactor_squared must be finite, got ${coupling_prefactor_squared}`);
+    }
+    if (!Number.isFinite(torsion_squared)) {
+        throw new RangeError(`evaluateBE17SpinDensitySquared: torsion_squared must be finite, got ${torsion_squared}`);
+    }
+    if (torsion_squared < 0) {
+        throw new RangeError(`evaluateBE17SpinDensitySquared: torsion_squared must be non-negative (it is a sum of squares), got ${torsion_squared}`);
+    }
+    return coupling_prefactor_squared * torsion_squared;
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; LHS and RHS should
+ * both be [M²·L⁻²·T⁻²].
+ */
+export function validateBE17Dimensions() {
+    const eq = validateEquation(BE17_SPIN_DENSITY_SQUARED_LHS, BE17_SPIN_DENSITY_SQUARED_RHS);
+    const lhs = validate(BE17_SPIN_DENSITY_SQUARED_LHS);
+    const rhs = validate(BE17_SPIN_DENSITY_SQUARED_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-17-einstein-cartan.js.map

package/dist/bridges/equations/be-17-einstein-cartan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-17-einstein-cartan.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-17-einstein-cartan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsKG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAE5E,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAE7D,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,qBAAqB;AAErB;;;;;;;;;;;;GAYG;AACH,MAAM,qBAAqB,GAAc;IACvC,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;;;;GAIG;AACH,MAAM,8BAA8B,GAAc;IAChD,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;;;;;GAKG;AACH,MAAM,wBAAwB,GAAc;IAC1C,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,uBAAuB;AAEvB;;;GAGG;AACH,MAAM,OAAO,GAAG,IAAI,CAClB,WAAW,EACX;IACE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;IACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;IACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;CAClC,EACD,qBAAqB,CACtB,CAAC;AAEF;;;GAGG;AACH,MAAM,OAAO,GAAG,IAAI,CAClB,WAAW,EACX;IACE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;IACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;IACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;CAClC,EACD,qBAAqB,CACtB,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAa,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAE7E;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAa,GAAG,CAC1D,sBAAsB,EACtB,8BAA8B,CAC/B,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAa,QAAQ,CAC7D,+BAA+B,EAC/B,wBAAwB,CACzB,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAa,GAAG,CACxD,gBAAgB,EAChB,wBAAwB,CACzB,CAAC;AAuBF;;;;;;;;;;GAUG;AACH,MAAM,UAAU,8BAA8B,CAAC,KAAiB;IAC9D,MAAM,EAAE,0BAA0B,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC;IAC9D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,UAAU,CAClB,kFAAkF,0BAA0B,EAAE,CAC/G,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,uEAAuE,eAAe,EAAE,CACzF,CAAC;IACJ,CAAC;IACD,IAAI,eAAe,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,UAAU,CAClB,sGAAsG,eAAe,EAAE,CACxH,CAAC;IACJ,CAAC;IACD,OAAO,0BAA0B,GAAG,eAAe,CAAC;AACtD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CACzB,6BAA6B,EAC7B,6BAA6B,CAC9B,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,6BAA6B,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,QAAQ,CAAC,6BAA6B,CAAC,CAAC;IACpD,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-18-higgs-mass.d.ts

@@ -0,0 +1,65 @@
+/**
+ * Bridge Equation 18 — Higgs-like dark-fermion mass generation
+ * (post Wave Y reformulation).
+ *
+ *   m_dark = g_dark · v_dark
+ *
+ * Yukawa-coupling-times-VEV mass-generation relation, in natural units
+ * (ℏ = c = 1) where masses are quoted as energies. Standard Model
+ * analog: m_top ≈ y_t · v_EW with v_EW = 246 GeV / √2 = 174 GeV.
+ *
+ * Reference: Peskin & Schroeder 1995 *An Introduction to Quantum Field
+ * Theory* §20.1 (canonical non-Abelian + complex-scalar SSB Lagrangian
+ * giving fermion-mass generation via Yukawa-VEV coupling).
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - Encoded in **natural units** (mass-as-energy convention; particle-
+ *     physics standard). The full SI conversion would be m_dark · c² =
+ *     g_dark · v_dark; the natural-units form `m = g·v` is the canonical
+ *     particle-physics statement.
+ *   - The full BE-18 Lagrangian (gauge kinetic term, |D_μΦ|², fermion
+ *     bilinear, scalar potential) is the bridge framing; the scalar
+ *     mass-generation relation is the AST-encoded bridge content.
+ *   - SM bracket: top-quark mass m_t ≈ 173 GeV with y_t ≈ 0.99,
+ *     v_EW = 246 GeV / √2 ≈ 174 GeV → m_t = 0.99 · 174 ≈ 172 GeV ✓
+ *     within 1% of measured value.
+ *   - Dim: [g_dark] dimensionless; [v_dark] = energy (in natural units;
+ *     SI: [v] = energy = [M L² T⁻²]); [m_dark] = energy. ✓
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 18")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 18)
+ * @module bridges/equations/be-18-higgs-mass
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+/**
+ * RHS of the Higgs-like mass-generation relation:
+ *   m_dark = g_dark · v_dark
+ *
+ * In natural units, [v_dark] = energy and [g_dark] is dimensionless,
+ * so the product has dim [energy].
+ */
+export declare const BE18_HIGGS_MASS_RHS: ExprNode;
+/** LHS: m_dark has dimension [energy] in natural units. */
+export declare const BE18_HIGGS_MASS_LHS: ExprNode;
+export interface HiggsMassInputs {
+    /** Dimensionless Yukawa coupling g_dark (= y in SM convention). Must be finite. */
+    g_dark: number;
+    /** VEV v_dark in GeV (or any consistent energy unit). Must be finite. */
+    v_dark_GeV: number;
+}
+/**
+ * Evaluate the Higgs-like mass-generation relation
+ *
+ *   m_dark = g_dark · v_dark
+ *
+ * @returns Dark-fermion mass in GeV (same unit as v_dark).
+ */
+export declare function evaluateHiggsMass(input: HiggsMassInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [energy] (natural-units mass-as-energy convention).
+ */
+export declare function validateBE18Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-18-higgs-mass.d.ts.map

package/dist/bridges/equations/be-18-higgs-mass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-18-higgs-mass.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-18-higgs-mass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAU1F;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,EAAE,QAMjC,CAAC;AAEF,2DAA2D;AAC3D,eAAO,MAAM,mBAAmB,EAAE,QAAgC,CAAC;AAInE,MAAM,WAAW,eAAe;IAC9B,mFAAmF;IACnF,MAAM,EAAE,MAAM,CAAC;IACf,yEAAyE;IACzE,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAahE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}

package/dist/bridges/equations/be-18-higgs-mass.js

@@ -0,0 +1,86 @@
+/**
+ * Bridge Equation 18 — Higgs-like dark-fermion mass generation
+ * (post Wave Y reformulation).
+ *
+ *   m_dark = g_dark · v_dark
+ *
+ * Yukawa-coupling-times-VEV mass-generation relation, in natural units
+ * (ℏ = c = 1) where masses are quoted as energies. Standard Model
+ * analog: m_top ≈ y_t · v_EW with v_EW = 246 GeV / √2 = 174 GeV.
+ *
+ * Reference: Peskin & Schroeder 1995 *An Introduction to Quantum Field
+ * Theory* §20.1 (canonical non-Abelian + complex-scalar SSB Lagrangian
+ * giving fermion-mass generation via Yukawa-VEV coupling).
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - Encoded in **natural units** (mass-as-energy convention; particle-
+ *     physics standard). The full SI conversion would be m_dark · c² =
+ *     g_dark · v_dark; the natural-units form `m = g·v` is the canonical
+ *     particle-physics statement.
+ *   - The full BE-18 Lagrangian (gauge kinetic term, |D_μΦ|², fermion
+ *     bilinear, scalar potential) is the bridge framing; the scalar
+ *     mass-generation relation is the AST-encoded bridge content.
+ *   - SM bracket: top-quark mass m_t ≈ 173 GeV with y_t ≈ 0.99,
+ *     v_EW = 246 GeV / √2 ≈ 174 GeV → m_t = 0.99 · 174 ≈ 172 GeV ✓
+ *     within 1% of measured value.
+ *   - Dim: [g_dark] dimensionless; [v_dark] = energy (in natural units;
+ *     SI: [v] = energy = [M L² T⁻²]); [m_dark] = energy. ✓
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 18")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 18)
+ * @module bridges/equations/be-18-higgs-mass
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, ENERGY, } from '../../dimensional/types.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/**
+ * RHS of the Higgs-like mass-generation relation:
+ *   m_dark = g_dark · v_dark
+ *
+ * In natural units, [v_dark] = energy and [g_dark] is dimensionless,
+ * so the product has dim [energy].
+ */
+export const BE18_HIGGS_MASS_RHS = {
+    kind: 'op', op: '*',
+    args: [
+        sym('g_dark', DIMENSIONLESS),
+        sym('v_dark', ENERGY),
+    ],
+};
+/** LHS: m_dark has dimension [energy] in natural units. */
+export const BE18_HIGGS_MASS_LHS = sym('m_dark', ENERGY);
+/**
+ * Evaluate the Higgs-like mass-generation relation
+ *
+ *   m_dark = g_dark · v_dark
+ *
+ * @returns Dark-fermion mass in GeV (same unit as v_dark).
+ */
+export function evaluateHiggsMass(input) {
+    const { g_dark, v_dark_GeV } = input;
+    if (!Number.isFinite(g_dark)) {
+        throw new RangeError(`evaluateHiggsMass: g_dark must be finite, got ${g_dark}`);
+    }
+    if (!Number.isFinite(v_dark_GeV)) {
+        throw new RangeError(`evaluateHiggsMass: v_dark_GeV must be finite, got ${v_dark_GeV}`);
+    }
+    return g_dark * v_dark_GeV;
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [energy] (natural-units mass-as-energy convention).
+ */
+export function validateBE18Dimensions() {
+    const eq = validateEquation(BE18_HIGGS_MASS_LHS, BE18_HIGGS_MASS_RHS);
+    const lhs = validate(BE18_HIGGS_MASS_LHS);
+    const rhs = validate(BE18_HIGGS_MASS_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-18-higgs-mass.js.map

package/dist/bridges/equations/be-18-higgs-mass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-18-higgs-mass.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-18-higgs-mass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AAEpC,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC;QAC5B,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;KACtB;CACF,CAAC;AAEF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,mBAAmB,GAAa,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAWnE;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB;IACtD,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IACrC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,UAAU,CAClB,iDAAiD,MAAM,EAAE,CAC1D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,UAAU,CAClB,qDAAqD,UAAU,EAAE,CAClE,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,GAAG,UAAU,CAAC;AAC7B,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAC;IACtE,MAAM,GAAG,GAAG,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IAC1C,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-19-quantum-bounce.d.ts

@@ -0,0 +1,72 @@
+/**
+ * Bridge Equation 19 — Quantum Bounce (LQC modified Friedmann).
+ *
+ *   H² = (8πG/3) ρ (1 − ρ/ρ_crit) + Λ/3
+ *
+ * H is the Hubble parameter [T^-1], ρ is energy/mass density [M L^-3],
+ * ρ_crit is the LQC bounce critical density [M L^-3], and Λ is the
+ * cosmological constant expressed in [T^-2] form (i.e. c² · Λ_[L^-2]).
+ *
+ * Reference: Ashtekar-Singh 2011 review "Loop Quantum Cosmology: A
+ * Status Report" (arXiv:1108.0893). The (1 − ρ/ρ_crit) bounce factor is
+ * the LQC correction to standard Friedmann; at ρ = ρ_crit, H² = Λ/3 and
+ * the universe momentarily halts before re-expanding.
+ *
+ * Status: speculative — LQC-inspired. Reformulated 2026-05-05 (Wave I.B C1)
+ * to the canonical Ashtekar-Pawlowski-Singh γ-dependent form:
+ *   ρ_crit = (√3 / (32π² γ³ ℓ_P²)) · (c²/G),   γ ≈ 0.2375
+ * which yields ρ_crit ≈ 0.41 ρ_Planck ≈ 2.1×10⁹⁶ kg/m³ (Ashtekar-Pawlowski-
+ * Singh 2006 *Phys. Rev. D* 74:084003, arXiv:gr-qc/0607039; Ashtekar-Singh
+ * review arXiv:1108.0893; Meissner 2004 γ-fix gr-qc/0407052). The earlier
+ * dimensional-estimate ρ_crit = 3c²/(8πGℓ_P²) (~6.2×10⁹⁵ kg/m³) was off
+ * by ~3.4× because it omitted the γ³ Barbero-Immirzi factor.
+ *
+ * Reformulated 2026-05-06 (Wave P-A Tier 0-2, per Math iter-5 CRIT-2):
+ * docstring prefactor synced from "16π²" to "32π²" to match Part-I §6
+ * (Wave N Tier B reconciliation) and the formula_latex in
+ * src/bridges/index.ts BE-19. The "16π²" form yielded ~0.82 ρ_Planck
+ * (factor-of-2 off the canonical 0.41 ρ_Planck literature value).
+ *
+ * The AST takes ρ_crit as a free numerical input — the formula change in
+ * the spec/index does NOT require re-encoding here. Tests pinning the
+ * old "spec form" numerical value have been updated alongside this fix.
+ *
+ * Honest-claude scope notes:
+ *   - We model Λ as a symbol in [T^-2]. The standard GR `Λ` has SI
+ *     dimension [L^-2]; the rescaling `Λ_[T^-2] = c² Λ_[L^-2]` is the
+ *     natural convention when writing `H² = ... + Λ/3` (compare Ryden,
+ *     "Introduction to Cosmology" 2nd ed., §6, Eq. 6.32).
+ *   - The bounce factor `1 - ρ/ρ_crit` is encoded as `(1 [dimensionless])
+ *     - (ρ/ρ_crit)` so the AST '+/-' rule is satisfied.
+ *
+ * @see docs/specification/Part-I.md ("Bridge Equation 19: Quantum Bounce Equation")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 19)
+ * @module bridges/equations/be-19-quantum-bounce
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+/**
+ * RHS of `H² = (8πG/3) ρ (1 - ρ/ρ_crit) + Λ/3` as a typed ExprNode tree.
+ */
+export declare const QUANTUM_BOUNCE_RHS: ExprNode;
+/** LHS: H² has dimension [T^-2]. */
+export declare const QUANTUM_BOUNCE_LHS: ExprNode;
+export interface QuantumBounceInputs {
+    /** Mass-energy density ρ in kg/m³. Must be ≥ 0. */
+    rho: number;
+    /** LQC bounce critical density ρ_crit in kg/m³. Must be > 0. */
+    rho_crit: number;
+    /** Cosmological constant Λ in [T^-2] (= c² Λ_[L^-2]). */
+    Lambda_Tinv2: number;
+}
+/**
+ * Evaluate H² = (8πG/3) ρ (1 − ρ/ρ_crit) + Λ/3.
+ *
+ * @returns H² in [s^-2].
+ */
+export declare function evaluateQuantumBounce(input: QuantumBounceInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; LHS = H² and RHS together
+ * should both be [T^-2].
+ */
+export declare function validateQuantumBounceDimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-19-quantum-bounce.d.ts.map

package/dist/bridges/equations/be-19-quantum-bounce.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-19-quantum-bounce.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-19-quantum-bounce.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AA6B1F;;GAEG;AACH,eAAO,MAAM,kBAAkB,EAAE,QA0ChC,CAAC;AAEF,oCAAoC;AACpC,eAAO,MAAM,kBAAkB,EAAE,QAGhC,CAAC;AAIF,MAAM,WAAW,mBAAmB;IAClC,mDAAmD;IACnD,GAAG,EAAE,MAAM,CAAC;IACZ,gEAAgE;IAChE,QAAQ,EAAE,MAAM,CAAC;IACjB,yDAAyD;IACzD,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAoBxE;AAID;;;GAGG;AACH,wBAAgB,+BAA+B,IAAI,yBAAyB,CAS3E"}