universal-physics-tensor 0.4.5

package/dist/bridges/equations/be-16-landauer.js

@@ -0,0 +1,206 @@
+/**
+ * Bridge Equation 16 — Complexity-Entropy Production Relation
+ * (Landauer's principle reformulation).
+ *
+ * **Original (self-refuting) form.** Wave L Tier E1 marked BE-16
+ * `status='invalid'` because the ansatz
+ *
+ *   dS/dt = k_B · C(ρ) · ∂I/∂t
+ *
+ * is algebraically self-refuting: combining the von Neumann
+ * identification `I = -S_vN` with the master relation gives
+ * `dS/dt · (1 + k_B C(ρ)) = 0`, forcing `dS/dt = 0` for any
+ * `C(ρ) > -1/k_B`. The circuit complexity `C(ρ)` is also not
+ * independently defined; the equation is effectively a definition
+ * of complexity in terms of an entropy-to-information ratio rather
+ * than a falsifiable physical relation.
+ *
+ * **Encoded reformulation (Landauer's principle).** Wave Z-E applies
+ * the canonical literature replacement identified by OpenAI o3 in
+ * the Wave-Z-E consultation (2026-05-11): drop the broken `C(ρ)`
+ * ansatz in favor of **Landauer's principle**, the canonical
+ * information-↔-thermodynamics bridge:
+ *
+ *   **E_min = k_B · T · ln(2)**
+ *
+ * the minimum thermodynamic energy required to erase one bit of
+ * information at temperature T. Landauer 1961 derived this from the
+ * Second Law as a fundamental thermodynamic cost of *logical
+ * irreversibility*; Bérut 2012 experimentally confirmed the relation
+ * in single-particle (colloidal-bead) erasure consistent with the
+ * k_BT·ln(2) bound, and Jun-Gavrilov-Bechhoefer 2014 achieved ~3%
+ * precision in a follow-up single-electron experiment.
+ *
+ * The bridge label `microscale → emergent` (computational complexity
+ * ↔ thermodynamic entropy production) is captured directly: at the
+ * microscale, bits are abstract logical quantities; at the emergent
+ * thermodynamic scale, bit erasure has a definite, measurable energy
+ * cost set by k_BT. The connection is unambiguous (unlike the broken
+ * `C(ρ)` form) and well-tested experimentally.
+ *
+ * **Dimensional analysis.**
+ *   - k_B has dim `[energy/temperature]` = `[L² M T⁻² Θ⁻¹]`.
+ *   - T has dim `[temperature]` = `[Θ]`.
+ *   - ln(2) is dimensionless (the natural log of a dimensionless
+ *     numerical constant ≈ 0.693).
+ *   - Product: `[L² M T⁻² Θ⁻¹] · [Θ] · [1] = [L² M T⁻²]` = `[energy]`.
+ *
+ * **AST encoding pattern (no log-stub needed).** Unlike BE-25 (log₂
+ * of a ratio of probabilities) or BE-45 (log of a ratio of energies),
+ * the Landauer formula has `ln(2)` where 2 is a CONCRETE numerical
+ * constant. ln(2) ≈ 0.693 is a pure dimensionless number — encoded
+ * as a single DIMENSIONLESS symbol `ln_2_constant`. No inner-argument
+ * lemma test is needed because the argument is a literal number, not
+ * a dimensionful ratio.
+ *
+ * Bracket-checks (numerical evaluator):
+ *   - T = 300 K (room temperature): E_min ≈ 2.87 × 10⁻²¹ J ≈
+ *     1.79 × 10⁻² eV per bit ≈ 18 meV/bit. Bérut 2012 confirmed
+ *     this scale.
+ *   - T = 0: E_min = 0 (thermal noise floor vanishes).
+ *   - T → ∞: E_min → ∞ (consistent with thermal-noise dominance).
+ *
+ * References:
+ *   - Landauer 1961 *IBM J. Res. Dev.* 5:183 (original principle).
+ *   - Bennett 1973 *IBM J. Res. Dev.* 17:525 (reversible
+ *     computation; complementary).
+ *   - Bennett 1982 *Int. J. Theor. Phys.* 21:905 (review of the
+ *     thermodynamics of computation).
+ *   - Bérut, Arakelyan, Petrosyan, Ciliberto, Dillenschneider, Lutz
+ *     2012 *Nature* 483:187 (first experimental confirmation —
+ *     single colloidal-bead bit erasure).
+ *   - Jun, Gavrilov, Bechhoefer 2014 *Phys. Rev. Lett.* 113:190601
+ *     (precision test, ~3% accuracy).
+ *   - Yan, Sagawa, Murch, Quan 2018 *Phys. Rev. Lett.* 120:080507
+ *     (quantum extension).
+ *
+ * Status: speculative — REFORMULATED from 'invalid'.
+ *
+ * Honest-claude scope notes:
+ *   - The reformulation REPLACES the broken `dS/dt = k_B·C(ρ)·∂I/∂t`
+ *     ansatz with Landauer's principle. This is the same precedent as
+ *     BE-25 (Penrose-Hameroff Orch-OR → IIT Φ_max, Wave P-D R-D2):
+ *     drop the broken formulation, replace with a canonical
+ *     literature form that addresses the same bridge label
+ *     (`microscale → emergent`).
+ *   - The Landauer principle is canonical and experimentally tested
+ *     physics; status `'speculative'` is for the **bridge framing**
+ *     (treating Landauer's energy bound as the UPT microscale-↔-
+ *     emergent bridge), NOT for Landauer's principle itself.
+ *     Landauer is well-established; the UPT bridge claim is the
+ *     speculative element.
+ *   - The previous BE-16 ansatz attempted to bridge *computational
+ *     complexity* `C(ρ)` to entropy. Landauer bridges *information
+ *     erasure* (one bit) to energy. These are related but different:
+ *     Landauer is a *lower bound* on a *minimum* energy, not a
+ *     proportionality between *complexity* and *entropy production
+ *     rate*. The reformulation captures the spirit of the bridge
+ *     label (information ↔ thermodynamics) but not the original
+ *     formula's intended structure.
+ *   - The full Margolus-Levitin time bound (`τ_min ≥ πℏ/(2E)`),
+ *     Bremermann's limit, and Bennett's reversible-computation
+ *     bound are alternative canonical bridges with different scope.
+ *     Landauer is the simplest and most-cited; reformulating to
+ *     Landauer is the most parsimonious move. Future BE entries
+ *     could encode the Margolus-Levitin and Bremermann bounds as
+ *     separate bridges.
+ *   - Quantum extensions of Landauer (Reeb-Wolf 2014; Yan et al.
+ *     2018) refine the bound for non-Markovian / coherent erasure
+ *     processes. The encoded form is the **classical Landauer
+ *     bound**; quantum corrections (Δ(quantum coherence)) are not
+ *     in scope.
+ *   - **Gemini Pro cross-validation note (2026-05-11):** the encoded
+ *     `E_min = k_B T ln(2)` is a fundamental *lower bound* on the
+ *     energy dissipated — equivalently, on the entropy generated in
+ *     the environment via `ΔS_env = E_min / T = k_B · ln(2)` — during
+ *     the irreversible act of **erasing one bit** of information.
+ *     It correctly captures the thermodynamic cost of information
+ *     *erasure* specifically; it is NOT a general proportionality for
+ *     arbitrary information change, NOT an equality for non-erasure
+ *     operations (computation, copying, measurement-without-reset),
+ *     and NOT an upper bound or a typical value. Both OpenAI o3 and
+ *     Gemini Pro verdicted this reformulation STRONGLY-DEFENSIBLE.
+ *
+ * @see docs/specification/Part-I.md ("Bridge Equation 16")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 16)
+ * @module bridges/equations/be-16-landauer
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, ENERGY, TEMPERATURE, } from '../../dimensional/types.js';
+import { k_B } from '../../dimensional/constants.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+// --- Symbolic AST ---
+/**
+ * Symbol for Boltzmann's constant k_B. Dim `[energy/temperature]`.
+ *
+ * Imported from `src/dimensional/constants.ts` rather than declared
+ * here so the dim follows the project-wide convention.
+ */
+export const BE16_BOLTZMANN = sym('k_B', k_B);
+/**
+ * Symbol for thermodynamic temperature T. Dim `[temperature]`.
+ */
+export const BE16_TEMPERATURE = sym('T', TEMPERATURE);
+/**
+ * Symbol for the dimensionless constant ln(2) ≈ 0.693.
+ *
+ * Encoded as a single DIMENSIONLESS symbol with literal value (the
+ * argument is a concrete number, not a dimensionful ratio, so no
+ * inner-argument lemma test is needed — unlike BE-25's log of
+ * `p_cond/p_marg` or BE-45's log of `M_P/H_inf`).
+ */
+export const BE16_LN2 = sym('ln_2_constant', DIMENSIONLESS);
+/**
+ * RHS of `E_min = k_B · T · ln(2)` as a typed ExprNode tree:
+ *
+ *   k_B · T · ln(2)
+ *
+ * Dim: `[energy/temperature] · [temperature] · [1] = [energy]`.
+ */
+export const BE16_LANDAUER_RHS = {
+    kind: 'op', op: '*',
+    args: [
+        {
+            kind: 'op', op: '*',
+            args: [BE16_BOLTZMANN, BE16_TEMPERATURE],
+        },
+        BE16_LN2,
+    ],
+};
+/**
+ * LHS: E_min is the minimum thermodynamic energy per bit erased.
+ * Dim `[energy]`.
+ */
+export const BE16_LANDAUER_LHS = sym('E_min', ENERGY);
+/**
+ * Evaluate the Landauer minimum energy per bit erased:
+ *
+ *   E_min = k_B · T · ln(2)
+ *
+ * @returns Minimum energy in joules per bit. For T = 300 K (room
+ *   temperature) this gives approximately 2.87 × 10⁻²¹ J ≈ 18 meV.
+ */
+export function evaluateLandauerEnergy(input) {
+    const { temperature_K } = input;
+    if (!Number.isFinite(temperature_K) || temperature_K < 0) {
+        throw new RangeError(`evaluateLandauerEnergy: temperature_K must be a finite non-negative number, got ${temperature_K}`);
+    }
+    const k_B_SI = 1.380649e-23; // J/K (exact SI definition, 2019 redefinition)
+    return k_B_SI * temperature_K * Math.LN2;
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; LHS and RHS should
+ * both be `[energy]`.
+ */
+export function validateBE16Dimensions() {
+    const eq = validateEquation(BE16_LANDAUER_LHS, BE16_LANDAUER_RHS);
+    const lhs = validate(BE16_LANDAUER_LHS);
+    const rhs = validate(BE16_LANDAUER_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-16-landauer.js.map

package/dist/bridges/equations/be-16-landauer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-16-landauer.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-16-landauer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8HG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,MAAM,EACN,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AAErD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,uBAAuB;AAEvB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAa,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAExD;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;AAEhE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAa,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;AAEtE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,cAAc,EAAE,gBAAgB,CAAC;SACzC;QACD,QAAQ;KACT;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAShE;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAqB;IAC1D,MAAM,EAAE,aAAa,EAAE,GAAG,KAAK,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,UAAU,CAClB,mFAAmF,aAAa,EAAE,CACnG,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,+CAA+C;IAC5E,OAAO,MAAM,GAAG,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC;AAC3C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;IAClE,MAAM,GAAG,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;IACxC,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-17-einstein-cartan.d.ts

@@ -0,0 +1,245 @@
+/**
+ * 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 type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+/**
+ * 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 declare const BE17_TORSION_CONTRACTION: ExprNode;
+/**
+ * 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 declare const BE17_COUPLING_PREFACTOR_SQUARED: ExprNode;
+/**
+ * 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 declare const BE17_SPIN_DENSITY_SQUARED_RHS: ExprNode;
+/**
+ * LHS: S²_spin is the squared norm of the spin angular momentum
+ * density tensor. Dim [M²·L⁻²·T⁻²].
+ */
+export declare const BE17_SPIN_DENSITY_SQUARED_LHS: ExprNode;
+export interface BE17Inputs {
+    /**
+     * Squared coupling prefactor (c⁴/(8πG))² in SI units [M²·L²·T⁻⁴].
+     * Numerically ≈ (1.21×10⁴⁴ N)² ≈ 1.46×10⁸⁸ N² for the SI value
+     * of c⁴/(8πG). Must be finite.
+     */
+    coupling_prefactor_squared: number;
+    /**
+     * Numerical value of the contracted scalar `T_λμν T^λμν` in SI units
+     * [T²·L⁻⁴]. Must be finite and non-negative (it is a sum of squares).
+     *
+     * The structural encoding lives in the AST
+     * (`BE17_TORSION_CONTRACTION`, a `tensor-product` over `T_lower` and
+     * `T_upper`); the evaluator accepts the contracted-scalar value as a
+     * single number, identical to the v0.1.0 interface.
+     */
+    torsion_squared: number;
+}
+/**
+ * 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 declare function evaluateBE17SpinDensitySquared(input: BE17Inputs): number;
+/**
+ * Run the AST through the dimensional analyzer; LHS and RHS should
+ * both be [M²·L⁻²·T⁻²].
+ */
+export declare function validateBE17Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-17-einstein-cartan.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"be-17-einstein-cartan.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-17-einstein-cartan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsKG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AA2E1F;;;;;;;;;GASG;AACH,eAAO,MAAM,wBAAwB,EAAE,QAAqC,CAAC;AAE7E;;;;;;;;GAQG;AACH,eAAO,MAAM,+BAA+B,EAAE,QAG7C,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,6BAA6B,EAAE,QAG3C,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,6BAA6B,EAAE,QAG3C,CAAC;AAIF,MAAM,WAAW,UAAU;IACzB;;;;OAIG;IACH,0BAA0B,EAAE,MAAM,CAAC;IACnC;;;;;;;;OAQG;IACH,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAkBxE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CAYlE"}