universal-physics-tensor 6.1.0 → 8.0.0

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

@@ -1,198 +0,0 @@
-/**
- * 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 { DIMENSIONLESS, ENERGY, TEMPERATURE, } from '../../dimensional/types.js';
-import { k_B } from '../../dimensional/constants.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-// --- 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]`.
- */
-/** @internal */
-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) {
-    validateFiniteInputs(input, [{ name: 'temperature_K', min: 0 }], 'evaluateLandauerEnergy');
-    const { temperature_K } = input;
-    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]`.
- */
-/** @internal */
-export function validateBE16Dimensions() {
-    return validateBEDimensions(BE16_LANDAUER_LHS, BE16_LANDAUER_RHS, 'BE16');
-}
-//# sourceMappingURL=be-16-landauer.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"be-16-landauer.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-16-landauer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8HG;AAGH,OAAO,EACL,aAAa,EACb,MAAM,EACN,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,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,gBAAgB;AAChB,MAAM,CAAC,MAAM,iBAAiB,GAAa,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAYhE;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAqB;IAC1D,oBAAoB,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,CAAC;IAC3F,MAAM,EAAE,aAAa,EAAE,GAAG,KAAK,CAAC;IAChC,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,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;AAC5E,CAAC"}

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

@@ -1,258 +0,0 @@
-/**
- * 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 algebraic torsion-spin half IS structurally
- * encodable — see "Structural encoding" below.
- *
- * **v0.6.0 note:** The Einstein-equation half is now also structurally
- * encodable via `EinsteinFieldEquationNode` (Phase 2 Task 2.3). This
- * module encodes the torsion-spin scalar reduction (the algebraically
- * tractable half of the EC system); the EFE half is not re-encoded here
- * because the bridge's dimensional verdict and status live on the
- * torsion-spin invariant, not on the EFE. Decision #9 (v0.6.0-Design.md)
- * pins the status unchanged: AST closure ≠ physics validation.
- *
- * **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). This module encodes a
- *     **squared-invariant scalar reduction** of the torsion-spin half,
- *     NOT the full field equations. The Einstein-equation half, which
- *     previously could not be encoded (v0.2.0 lacked curvature/Riemann
- *     primitives), CAN now be expressed structurally via
- *     `EinsteinFieldEquationNode` (v0.6.0 Phase 2 Task 2.3). The bridge
- *     still encodes the torsion-spin scalar reduction because that is the
- *     dimensionally tractable half; the EFE half is not added here (it
- *     would require constructing a full Riemann + metric sub-tree with no
- *     numerical evaluator attached to this module).
- *   - 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⁻²].
- */
-/** @internal */
-export declare const BE17_SPIN_DENSITY_SQUARED_LHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateBE17` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-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⁻²].
- */
-/** @internal */
-export declare function validateBE17Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-17-einstein-cartan.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"be-17-einstein-cartan.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-17-einstein-cartan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6KG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAyE1F;;;;;;;;;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,gBAAgB;AAChB,eAAO,MAAM,6BAA6B,EAAE,QAG3C,CAAC;AAIF;;GAEG;AACH,UAAU,UAAU;IAClB;;;;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,CAYxE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}