universal-physics-tensor 7.0.0 → 8.0.0

package/dist/bridges/equations/be-25-orch-or.js

@@ -1,124 +0,0 @@
-/**
- * @deprecated ARCHIVED IN PLACE (2026-06-11, v0.8.0 P-4 archive policy —
- * closes the v0.7.3-deferred "BE-25 archive-or-delete" decision).
- * BE-25's catalog entry was reformulated to IIT Φ_max
- * (`be-25-iit-phi.ts`) after the Tegmark decoherence falsification of
- * Orch-OR (Tegmark 2000 PRE 61:4194). This module is retained as the
- * historical record of the superseded encoding — the same
- * overlay-not-deletion principle as `src/bridges/rejected.ts` — and is
- * exercised only by its legacy pin tests. Do NOT extend it; new BE-25
- * work belongs in the IIT module.
- *
- * ---- original module docs below ----
-
- * ============================================================================
- *  ARCHIVED MODULE — DO NOT USE FOR BE-25 DIMENSIONAL CLAIMS
- *  Archived 2026-05-06 (Wave Q B2, per CS iter-6 C2).
- *
- *  This module encodes the dropped Penrose-Hameroff `t_OR` collapse-time
- *  form. BE-25 was reformulated to canonical IIT Φ_max in Wave P-D R-D2
- *  (2026-05-06). The IIT form is substrate-agnostic and Φ has no SI
- *  dimension (units are bits when log₂ is used), so this AST is no
- *  longer load-bearing for any bridge-equation claim.
- *
- *  The module is preserved for historical traceability and for
- *  regression-testing the dimensional analyzer (via
- *  `tests/bridges/be-25-encoding.test.ts`). It has been removed from
- *  `EXPECTED_DIMENSION_BY_BRIDGE` (`src/dimensional/bridge-check.ts`)
- *  and from the round-trip `dimensional-signature-catalog.test.ts`.
- * ============================================================================
- *
- * Bridge Equation 25 — Penrose-Hameroff Orch-OR Collapse Time (DROPPED).
- *
- *   t_OR = ℏ / E_G = ℏ / (Δm c² Δx / ℓ_P) = ℏ ℓ_P / (Δm c² Δx)
- *
- * Where Δm is the mass difference between the superposed states and Δx
- * is their separation. The denominator quantity E_G is interpreted as
- * a gravitational self-energy.
- *
- * Reference: Penrose 1996 Gen. Rel. Grav. 28:581; Hameroff-Penrose 1996.
- *
- * Status: archived (was 'highly-speculative' before Wave L Tier E3
- * 'invalid' before Wave P-D R-D2 IIT reformulation).
- *
- * Honest-claude scope notes:
- *   - The spec's E_G = Δm c² Δx / ℓ_P contains a Δx/ℓ_P factor not
- *     present in Penrose's original gravitational self-energy
- *     E_G ~ G(Δm)²/Δx — see the BE-25 known_issues entry. We encode
- *     the spec-as-written; the bracket-check therefore gives a
- *     sub-Planckian collapse time, NOT Penrose's ms-order prediction.
- *     This is faithful to the spec and consistent with the documented
- *     issue.
- *   - Mainstream Tegmark 2000 (arXiv:quant-ph/9907009) decoherence
- *     analysis is also preserved as a known_issue on the entry; this
- *     module does not address that critique.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 25: Consciousness - Quantum Information Bridge")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 25)
- * @module bridges/equations/be-25-orch-or
- */
-import { TIME, MASS, LENGTH, } from '../../dimensional/types.js';
-import { hbar as DIM_hbar, c as DIM_c, l_P as DIM_lP, } from '../../dimensional/constants.js';
-import { PhysicalConstants } from '../../core/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-// --- Symbolic AST: t_OR = ℏ ℓ_P / (Δm c² Δx) ---
-/**
- * RHS of the Orch-OR collapse-time formula as a typed ExprNode tree.
- *
- * t_OR = (ℏ · ℓ_P) / (Δm · c² · Δx)
- *
- * This is the algebraic re-arrangement of `ℏ / (Δm c² Δx / ℓ_P)`; the
- * spec-form is preserved in the encoding but written with the inverse
- * brought out so the AST has a clean numerator / denominator structure.
- */
-export const ORCH_OR_RHS = {
-    kind: 'op', op: '/',
-    args: [
-        {
-            // numerator: ℏ · ℓ_P
-            kind: 'op', op: '*',
-            args: [
-                sym('hbar', DIM_hbar),
-                sym('l_P', DIM_lP),
-            ],
-        },
-        {
-            // denominator: Δm · c² · Δx
-            kind: 'op', op: '*',
-            args: [
-                sym('Delta_m', MASS),
-                {
-                    kind: 'op', op: '^',
-                    args: [sym('c', DIM_c), sym('2', { L: 0, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 })],
-                },
-                sym('Delta_x', LENGTH),
-            ],
-        },
-    ],
-};
-/** LHS: t_OR has dimension [time]. */
-const ORCH_OR_LHS = sym('t_OR', TIME);
-/**
- * Evaluate t_OR = ℏ ℓ_P / (Δm c² Δx).
- *
- * @returns Orch-OR collapse time in seconds.
- */
-export function evaluateOrchOR(input) {
-    validateFiniteInputs(input, [
-        { name: 'delta_m', min: 0, excludeMin: true },
-        { name: 'delta_x', min: 0, excludeMin: true },
-    ], 'evaluateOrchOR');
-    const { delta_m, delta_x } = input;
-    const { hbar, c, lP } = PhysicalConstants;
-    return (hbar * lP) / (delta_m * c * c * delta_x);
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [time].
- */
-/** @internal */
-export function validateOrchORDimensions() {
-    return validateBEDimensions(ORCH_OR_LHS, ORCH_OR_RHS, 'BE25_OrchOR');
-}
-//# sourceMappingURL=be-25-orch-or.js.map

package/dist/bridges/equations/be-25-orch-or.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-25-orch-or.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-orch-or.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AAGH,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,IAAI,IAAI,QAAQ,EAChB,CAAC,IAAI,KAAK,EACV,GAAG,IAAI,MAAM,GACd,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,kDAAkD;AAElD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,WAAW,GAAa;IACnC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,qBAAqB;YACrB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBACrB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;QACD;YACE,4BAA4B;YAC5B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC;gBACpB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;iBACpF;gBACD,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC;aACvB;SACF;KACF;CACF,CAAC;AAEF,sCAAsC;AACtC,MAAM,WAAW,GAAa,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAchD;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,KAAmB;IAChD,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC7C,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC9C,EACD,gBAAgB,CACjB,CAAC;IACF,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IACnC,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IAC1C,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;AACnD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,wBAAwB;IACtC,OAAO,oBAAoB,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;AACvE,CAAC"}

package/dist/bridges/equations/be-26-dna-tunneling.d.ts

@@ -1,88 +0,0 @@
-/**
- * Bridge Equation 26 — DNA Mutation Quantum Tunneling Rate.
- *
- *   Γ_mutation = ν₀ exp[−(2/ℏ) ∫_{x₁}^{x₂} √(2m(V(x)−E)) dx] · f(T, pH, EM)
- *
- * Standard WKB tunneling rate (Gamow 1928; Landau-Lifshitz QM §50)
- * applied to DNA base-pair tautomerization via proton tunneling
- * (Löwdin 1963 Adv. Quantum Chem. 2:213).
- *
- * Status: speculative (downgraded from 'established' Wave S — this line previously drifted from the registry; src/bridges/index.ts is authoritative).
- *
- * Honest-claude scope notes:
- *   - The Gamow exponential is encoded faithfully (v0.21) as
- *     `transcendental(exp, −WKB_arg)`, with the WKB argument
- *     `(2/ℏ)∫√(2m(V−E))dx` exposed as a separate ExprNode
- *     `DNA_TUNNELING_WKB_ARG`, so the barrier parameters (m, V−E, x₁, x₂) are
- *     visible to differentiation and the dimensionless-ness of the exp
- *     argument can be verified directly. (Same pattern as BE-41 / BE-34.)
- *   - The integrand √(2m(V−E)) is encoded with `^` of 0.5 (the
- *     validator accepts non-integer numeric exponents). Result is
- *     [M^{1/2}(M L² T^-2)^{1/2}] = [M L T^-1] (momentum), as expected.
- *   - f(T, pH, EM) is encoded as a dimensionless symbol; in the
- *     literature this is a Q10-temperature factor times pH-dependent
- *     rate ratio times EM-field-induced perturbation, all dimensionless.
- *   - **Known issue (Wave I.B C6, 2026-05-05, registered 2026-05-05):**
- *     the bare WKB rate overshoots observed mutation rates (~10⁻⁸-10⁻¹⁰
- *     /bp/replication) by 2-4 orders. The f(T, pH, EM) prefactor as
- *     labeled does NOT include the dominant biological-mechanism
- *     factors (polymerase proofreading ~10⁻⁵, mismatch repair ~10²);
- *     see BE-26 known_issues entry in src/bridges/index.ts.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 26: DNA Mutation - Quantum Tunneling Rate")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 26)
- * @module bridges/equations/be-26-dna-tunneling
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * Lemma AST: the WKB exponent (2/ℏ) · ∫_{x₁}^{x₂} √(2m(V−E)) dx, dimensionless.
- *
- * v0.21: the integral carries explicit barrier-endpoint bounds x₁, x₂ (a definite
- * integral) — faithful to this bridge's rectangular-barrier model, since the
- * integrand √(2m(V−E)) is constant in x (V_minus_E is a constant ENERGY symbol,
- * not V(x)), so 16-pt Gauss–Legendre is EXACT and equals √(2m(V−E))·(x₂−x₁).
- * This exposes m, V_minus_E, x₁, x₂ to differentiation (Adam+Eve GREEN). Domain
- * guards (caller's): V_minus_E ≥ 0, m > 0, x₂ ≥ x₁.
- */
-export declare const DNA_TUNNELING_WKB_ARG: ExprNode;
-/**
- * RHS of the WKB tunneling rate: `ν₀ · exp(−WKB) · f`. The Gamow exponential is
- * encoded faithfully (v0.21) as `transcendental(exp, −1 · DNA_TUNNELING_WKB_ARG)`
- * — a definite integral under the exp — so m, V_minus_E, and the barrier
- * endpoints x₁, x₂ are visible to differentiation. `exp` of the DIMENSIONLESS
- * WKB exponent is DIMENSIONLESS, so the round-trip dimensional_signature
- * ([frequency]) is unchanged from the former symbol stub. The f(T, pH, EM)
- * prefactor remains an opaque interpolation stub (no closed form).
- */
-export declare const DNA_TUNNELING_RHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateDNATunneling` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface DNATunnelingInputs {
-    /** Attempt frequency ν₀ (s^-1). Must be ≥ 0. */
-    nu_0: number;
-    /** Tunneling-particle mass m (kg). Must be > 0. */
-    m: number;
-    /** Effective barrier height V−E (J). Must be ≥ 0; assumes constant V. */
-    V_minus_E: number;
-    /** Barrier width x₂−x₁ (m). Must be > 0. */
-    barrier_width: number;
-    /** Dimensionless f(T,pH,EM) prefactor. Must be finite. */
-    f_correction: number;
-}
-/**
- * Evaluate Γ = ν₀ exp[−(2/ℏ) · √(2m(V−E)) · L] · f, assuming a
- * rectangular barrier of width L (so the integral collapses to
- * √(2m(V−E)) · L).
- *
- * @returns Tunneling rate in s^-1.
- */
-export declare function evaluateDNATunneling(input: DNATunnelingInputs): number;
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [frequency].
- */
-/** @internal */
-export declare function validateDNATunnelingDimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-26-dna-tunneling.d.ts.map

package/dist/bridges/equations/be-26-dna-tunneling.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-26-dna-tunneling.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-26-dna-tunneling.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAY1F;;;;;;;;;GASG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAkCnC,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAc/B,CAAC;AAOF;;GAEG;AACH,UAAU,kBAAkB;IAC1B,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,CAAC,EAAE,MAAM,CAAC;IACV,yEAAyE;IACzE,SAAS,EAAE,MAAM,CAAC;IAClB,4CAA4C;IAC5C,aAAa,EAAE,MAAM,CAAC;IACtB,0DAA0D;IAC1D,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAkBtE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,8BAA8B,IAAI,yBAAyB,CAE1E"}

package/dist/bridges/equations/be-26-dna-tunneling.js

@@ -1,142 +0,0 @@
-/**
- * Bridge Equation 26 — DNA Mutation Quantum Tunneling Rate.
- *
- *   Γ_mutation = ν₀ exp[−(2/ℏ) ∫_{x₁}^{x₂} √(2m(V(x)−E)) dx] · f(T, pH, EM)
- *
- * Standard WKB tunneling rate (Gamow 1928; Landau-Lifshitz QM §50)
- * applied to DNA base-pair tautomerization via proton tunneling
- * (Löwdin 1963 Adv. Quantum Chem. 2:213).
- *
- * Status: speculative (downgraded from 'established' Wave S — this line previously drifted from the registry; src/bridges/index.ts is authoritative).
- *
- * Honest-claude scope notes:
- *   - The Gamow exponential is encoded faithfully (v0.21) as
- *     `transcendental(exp, −WKB_arg)`, with the WKB argument
- *     `(2/ℏ)∫√(2m(V−E))dx` exposed as a separate ExprNode
- *     `DNA_TUNNELING_WKB_ARG`, so the barrier parameters (m, V−E, x₁, x₂) are
- *     visible to differentiation and the dimensionless-ness of the exp
- *     argument can be verified directly. (Same pattern as BE-41 / BE-34.)
- *   - The integrand √(2m(V−E)) is encoded with `^` of 0.5 (the
- *     validator accepts non-integer numeric exponents). Result is
- *     [M^{1/2}(M L² T^-2)^{1/2}] = [M L T^-1] (momentum), as expected.
- *   - f(T, pH, EM) is encoded as a dimensionless symbol; in the
- *     literature this is a Q10-temperature factor times pH-dependent
- *     rate ratio times EM-field-induced perturbation, all dimensionless.
- *   - **Known issue (Wave I.B C6, 2026-05-05, registered 2026-05-05):**
- *     the bare WKB rate overshoots observed mutation rates (~10⁻⁸-10⁻¹⁰
- *     /bp/replication) by 2-4 orders. The f(T, pH, EM) prefactor as
- *     labeled does NOT include the dominant biological-mechanism
- *     factors (polymerase proofreading ~10⁻⁵, mismatch repair ~10²);
- *     see BE-26 known_issues entry in src/bridges/index.ts.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 26: DNA Mutation - Quantum Tunneling Rate")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 26)
- * @module bridges/equations/be-26-dna-tunneling
- */
-import { DIMENSIONLESS, FREQUENCY, MASS, LENGTH, ENERGY, } from '../../dimensional/types.js';
-import { hbar as DIM_hbar } from '../../dimensional/constants.js';
-import { PhysicalConstants } from '../../core/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-/**
- * Lemma AST: the WKB exponent (2/ℏ) · ∫_{x₁}^{x₂} √(2m(V−E)) dx, dimensionless.
- *
- * v0.21: the integral carries explicit barrier-endpoint bounds x₁, x₂ (a definite
- * integral) — faithful to this bridge's rectangular-barrier model, since the
- * integrand √(2m(V−E)) is constant in x (V_minus_E is a constant ENERGY symbol,
- * not V(x)), so 16-pt Gauss–Legendre is EXACT and equals √(2m(V−E))·(x₂−x₁).
- * This exposes m, V_minus_E, x₁, x₂ to differentiation (Adam+Eve GREEN). Domain
- * guards (caller's): V_minus_E ≥ 0, m > 0, x₂ ≥ x₁.
- */
-export const DNA_TUNNELING_WKB_ARG = {
-    kind: 'op', op: '*',
-    args: [
-        {
-            // (2/ℏ)
-            kind: 'op', op: '/',
-            args: [
-                sym('2', DIMENSIONLESS),
-                sym('hbar', DIM_hbar),
-            ],
-        },
-        {
-            // ∫_{x₁}^{x₂} √(2m(V−E)) dx
-            kind: 'integral',
-            over: sym('x', LENGTH),
-            lower: sym('x_1', LENGTH),
-            upper: sym('x_2', LENGTH),
-            integrand: {
-                // √(2m(V−E)) = (2m(V−E))^{1/2}
-                kind: 'op', op: '^',
-                args: [
-                    {
-                        kind: 'op', op: '*',
-                        args: [
-                            sym('2', DIMENSIONLESS),
-                            sym('m', MASS),
-                            sym('V_minus_E', ENERGY),
-                        ],
-                    },
-                    sym('0.5', DIMENSIONLESS),
-                ],
-            },
-        },
-    ],
-};
-/**
- * RHS of the WKB tunneling rate: `ν₀ · exp(−WKB) · f`. The Gamow exponential is
- * encoded faithfully (v0.21) as `transcendental(exp, −1 · DNA_TUNNELING_WKB_ARG)`
- * — a definite integral under the exp — so m, V_minus_E, and the barrier
- * endpoints x₁, x₂ are visible to differentiation. `exp` of the DIMENSIONLESS
- * WKB exponent is DIMENSIONLESS, so the round-trip dimensional_signature
- * ([frequency]) is unchanged from the former symbol stub. The f(T, pH, EM)
- * prefactor remains an opaque interpolation stub (no closed form).
- */
-export const DNA_TUNNELING_RHS = {
-    kind: 'op', op: '*',
-    args: [
-        sym('nu_0', FREQUENCY),
-        {
-            kind: 'transcendental',
-            fn: 'exp',
-            arg: {
-                kind: 'op', op: '*',
-                args: [sym('-1', DIMENSIONLESS), DNA_TUNNELING_WKB_ARG],
-            },
-        },
-        sym('f(T,pH,EM)', DIMENSIONLESS),
-    ],
-};
-/** LHS: Γ has dimension [frequency]. */
-const DNA_TUNNELING_LHS = sym('Gamma_mutation', FREQUENCY);
-/**
- * Evaluate Γ = ν₀ exp[−(2/ℏ) · √(2m(V−E)) · L] · f, assuming a
- * rectangular barrier of width L (so the integral collapses to
- * √(2m(V−E)) · L).
- *
- * @returns Tunneling rate in s^-1.
- */
-export function evaluateDNATunneling(input) {
-    validateFiniteInputs(input, [
-        { name: 'nu_0', min: 0 },
-        { name: 'm', min: 0, excludeMin: true },
-        { name: 'V_minus_E', min: 0 },
-        { name: 'barrier_width', min: 0, excludeMin: true },
-        { name: 'f_correction' },
-    ], 'evaluateDNATunneling');
-    const { nu_0, m, V_minus_E, barrier_width, f_correction } = input;
-    const { hbar } = PhysicalConstants;
-    const p = Math.sqrt(2 * m * V_minus_E); // momentum-like
-    const action = p * barrier_width; // [J·s]
-    const wkb = (2 / hbar) * action; // dimensionless
-    return nu_0 * Math.exp(-wkb) * f_correction;
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [frequency].
- */
-/** @internal */
-export function validateDNATunnelingDimensions() {
-    return validateBEDimensions(DNA_TUNNELING_LHS, DNA_TUNNELING_RHS, 'BE26');
-}
-//# sourceMappingURL=be-26-dna-tunneling.js.map

package/dist/bridges/equations/be-26-dna-tunneling.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-26-dna-tunneling.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-26-dna-tunneling.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EACL,aAAa,EACb,SAAS,EACT,IAAI,EACJ,MAAM,EACN,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,QAAQ;YACR,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;aACtB;SACF;QACD;YACE,4BAA4B;YAC5B,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;YACtB,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;YACzB,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;YACzB,SAAS,EAAE;gBACT,+BAA+B;gBAC/B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;gBACnB,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;wBACnB,IAAI,EAAE;4BACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;4BACvB,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;4BACd,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC;yBACzB;qBACF;oBACD,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;iBAC1B;aACF;SACF;KACF;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC;QACtB;YACE,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,KAAK;YACT,GAAG,EAAE;gBACH,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;gBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,qBAAqB,CAAC;aACxD;SACF;QACD,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;KACjC;CACF,CAAC;AAEF,wCAAwC;AACxC,MAAM,iBAAiB,GAAa,GAAG,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;AAoBrE;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAyB;IAC5D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE;QACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACvC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE;QAC7B,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACnD,EAAE,IAAI,EAAE,cAAc,EAAE;KACzB,EACD,sBAAsB,CACvB,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAClE,MAAM,EAAE,IAAI,EAAE,GAAG,iBAAiB,CAAC;IACnC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAG,gBAAgB;IAC1D,MAAM,MAAM,GAAG,CAAC,GAAG,aAAa,CAAC,CAAS,QAAQ;IAClD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,MAAM,CAAC,CAAU,gBAAgB;IAC1D,OAAO,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC;AAC9C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,8BAA8B;IAC5C,OAAO,oBAAoB,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;AAC5E,CAAC"}

package/dist/bridges/equations/be-27-effective-temperature.d.ts

@@ -1,87 +0,0 @@
-/**
- * Bridge Equation 27 — Cugliandolo-Kurchan effective temperature
- * (active-noise-corrected scalar form, post Wave Y reformulation).
- *
- *   T_eff = T · (1 + Σ_active / (k_B T))
- *
- * The effective temperature in non-equilibrium / active-matter systems
- * (Cugliandolo-Kurchan 1993 *J. Phys. A* 26:L401; Cugliandolo 2011
- * *J. Phys. A* 44:483001 review). For systems driven by an active
- * noise source, the Fluctuation-Dissipation Theorem (FDT) is violated;
- * the effective temperature `T_eff(ω)` rescales T to recover an FDT-
- * like relation `χ''(ω) = (ω/2 k_B T_eff) S(ω)`. The encoded scalar
- * form linearizes the active-noise correction as `T · Σ_active/(k_B T)`,
- * which captures the leading-order FDT violation amplitude.
- *
- * References:
- *   - Cugliandolo & Kurchan 1993 *J. Phys. A* 26:L401 (canonical
- *     fluctuation-dissipation in glasses; effective-temperature
- *     framework).
- *   - Cugliandolo 2011 *J. Phys. A* 44:483001 (review).
- *   - Marchetti et al. 2013 *Rev. Mod. Phys.* 85:1143 (active-matter
- *     hydrodynamics; canonical reference for active-noise-driven
- *     T_eff).
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The CK effective-temperature framework is canonical for glasses
- *     and slow-relaxation systems; the *bridge framing* — applying it
- *     as a UPT non-equilibrium-statmech bridge — is the speculative
- *     element.
- *   - The encoded scalar form `T_eff = T(1 + Σ_active/(k_B T))` is a
- *     leading-order linearization of the full Cugliandolo-Kurchan FDT
- *     violation. It collapses to T_eff = T when Σ_active = 0 (passive
- *     equilibrium); it grows linearly with Σ_active for fixed T.
- *   - Σ_active represents the active-noise contribution in
- *     active-matter systems (e.g., self-propelled colloids, swimming
- *     bacteria). Energy dimension follows from the requirement that
- *     Σ_active/(k_B T) be dimensionless.
- *   - Dim: [T_eff] = Θ; [T] = Θ; [Σ_active/(k_B T)] = energy/energy
- *     = [1]; product T · [1] = [Θ]. ✓
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 27")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 27)
- * @module bridges/equations/be-27-effective-temperature
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * RHS of the Cugliandolo-Kurchan effective-temperature scalar form:
- *   T_eff = T · (1 + Σ_active / (k_B T))
- *
- * Encoded as `T · (1 + Σ_active/(k_B T))`. The `1` and `Σ_active/(k_BT)`
- * are both dimensionless, so their sum is dimensionless; multiplying by
- * T yields [Θ].
- */
-export declare const BE27_TEFF_RHS: ExprNode;
-/** LHS: T_eff has dimension [temperature]. */
-/** @internal */
-export declare const BE27_TEFF_LHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateEffectiveTemperature` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface EffectiveTemperatureInputs {
-    /** Bath temperature T (K). Must be > 0 and finite. */
-    T_K: number;
-    /**
-     * Active-noise contribution Σ_active (J). May be 0 (passive
-     * equilibrium) or positive (driven active matter). Must be finite.
-     */
-    Sigma_active_J: number;
-}
-/**
- * Evaluate the effective temperature
- *
- *   T_eff = T · (1 + Σ_active / (k_B T))
- *
- * @returns Effective temperature in K.
- */
-export declare function evaluateEffectiveTemperature(input: EffectiveTemperatureInputs): number;
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [temperature].
- */
-/** @internal */
-export declare function validateBE27Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-27-effective-temperature.d.ts.map

package/dist/bridges/equations/be-27-effective-temperature.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-27-effective-temperature.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-27-effective-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAU1F;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,EAAE,QAwB3B,CAAC;AAEF,8CAA8C;AAC9C,gBAAgB;AAChB,eAAO,MAAM,aAAa,EAAE,QAAoC,CAAC;AAIjE;;GAEG;AACH,UAAU,0BAA0B;IAClC,sDAAsD;IACtD,GAAG,EAAE,MAAM,CAAC;IACZ;;;OAGG;IACH,cAAc,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,0BAA0B,GAChC,MAAM,CAYR;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-27-effective-temperature.js

@@ -1,112 +0,0 @@
-/**
- * Bridge Equation 27 — Cugliandolo-Kurchan effective temperature
- * (active-noise-corrected scalar form, post Wave Y reformulation).
- *
- *   T_eff = T · (1 + Σ_active / (k_B T))
- *
- * The effective temperature in non-equilibrium / active-matter systems
- * (Cugliandolo-Kurchan 1993 *J. Phys. A* 26:L401; Cugliandolo 2011
- * *J. Phys. A* 44:483001 review). For systems driven by an active
- * noise source, the Fluctuation-Dissipation Theorem (FDT) is violated;
- * the effective temperature `T_eff(ω)` rescales T to recover an FDT-
- * like relation `χ''(ω) = (ω/2 k_B T_eff) S(ω)`. The encoded scalar
- * form linearizes the active-noise correction as `T · Σ_active/(k_B T)`,
- * which captures the leading-order FDT violation amplitude.
- *
- * References:
- *   - Cugliandolo & Kurchan 1993 *J. Phys. A* 26:L401 (canonical
- *     fluctuation-dissipation in glasses; effective-temperature
- *     framework).
- *   - Cugliandolo 2011 *J. Phys. A* 44:483001 (review).
- *   - Marchetti et al. 2013 *Rev. Mod. Phys.* 85:1143 (active-matter
- *     hydrodynamics; canonical reference for active-noise-driven
- *     T_eff).
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The CK effective-temperature framework is canonical for glasses
- *     and slow-relaxation systems; the *bridge framing* — applying it
- *     as a UPT non-equilibrium-statmech bridge — is the speculative
- *     element.
- *   - The encoded scalar form `T_eff = T(1 + Σ_active/(k_B T))` is a
- *     leading-order linearization of the full Cugliandolo-Kurchan FDT
- *     violation. It collapses to T_eff = T when Σ_active = 0 (passive
- *     equilibrium); it grows linearly with Σ_active for fixed T.
- *   - Σ_active represents the active-noise contribution in
- *     active-matter systems (e.g., self-propelled colloids, swimming
- *     bacteria). Energy dimension follows from the requirement that
- *     Σ_active/(k_B T) be dimensionless.
- *   - Dim: [T_eff] = Θ; [T] = Θ; [Σ_active/(k_B T)] = energy/energy
- *     = [1]; product T · [1] = [Θ]. ✓
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 27")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 27)
- * @module bridges/equations/be-27-effective-temperature
- */
-import { DIMENSIONLESS, ENERGY, TEMPERATURE, } from '../../dimensional/types.js';
-import { k_B as DIM_kB } from '../../dimensional/constants.js';
-import { PhysicalConstants } from '../../core/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-/**
- * RHS of the Cugliandolo-Kurchan effective-temperature scalar form:
- *   T_eff = T · (1 + Σ_active / (k_B T))
- *
- * Encoded as `T · (1 + Σ_active/(k_B T))`. The `1` and `Σ_active/(k_BT)`
- * are both dimensionless, so their sum is dimensionless; multiplying by
- * T yields [Θ].
- */
-export const BE27_TEFF_RHS = {
-    kind: 'op', op: '*',
-    args: [
-        sym('T', TEMPERATURE),
-        {
-            kind: 'op', op: '+',
-            args: [
-                sym('1', DIMENSIONLESS),
-                {
-                    kind: 'op', op: '/',
-                    args: [
-                        sym('Sigma_active', ENERGY),
-                        {
-                            kind: 'op', op: '*',
-                            args: [
-                                sym('k_B', DIM_kB),
-                                sym('T', TEMPERATURE),
-                            ],
-                        },
-                    ],
-                },
-            ],
-        },
-    ],
-};
-/** LHS: T_eff has dimension [temperature]. */
-/** @internal */
-export const BE27_TEFF_LHS = sym('T_eff', TEMPERATURE);
-/**
- * Evaluate the effective temperature
- *
- *   T_eff = T · (1 + Σ_active / (k_B T))
- *
- * @returns Effective temperature in K.
- */
-export function evaluateEffectiveTemperature(input) {
-    validateFiniteInputs(input, [
-        { name: 'T_K', min: 0, excludeMin: true },
-        { name: 'Sigma_active_J' },
-    ], 'evaluateEffectiveTemperature');
-    const { T_K, Sigma_active_J } = input;
-    const { kB } = PhysicalConstants;
-    return T_K * (1 + Sigma_active_J / (kB * T_K));
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [temperature].
- */
-/** @internal */
-export function validateBE27Dimensions() {
-    return validateBEDimensions(BE27_TEFF_LHS, BE27_TEFF_RHS, 'BE27');
-}
-//# sourceMappingURL=be-27-effective-temperature.js.map

package/dist/bridges/equations/be-27-effective-temperature.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-27-effective-temperature.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-27-effective-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAGH,OAAO,EACL,aAAa,EACb,MAAM,EACN,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,IAAI,MAAM,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;QACrB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;wBAC3B;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE;gCACJ,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;gCAClB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;6BACtB;yBACF;qBACF;iBACF;aACF;SACF;KACF;CACF,CAAC;AAEF,8CAA8C;AAC9C,gBAAgB;AAChB,MAAM,CAAC,MAAM,aAAa,GAAa,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;AAiBjE;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAC1C,KAAiC;IAEjC,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACzC,EAAE,IAAI,EAAE,gBAAgB,EAAE;KAC3B,EACD,8BAA8B,CAC/B,CAAC;IACF,MAAM,EAAE,GAAG,EAAE,cAAc,EAAE,GAAG,KAAK,CAAC;IACtC,MAAM,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IACjC,OAAO,GAAG,GAAG,CAAC,CAAC,GAAG,cAAc,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,aAAa,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;AACpE,CAAC"}