universal-physics-tensor 7.0.0 → 9.0.0

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"}

package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts

@@ -1,181 +0,0 @@
-/**
- * Bridge Equation 28 — Maximum Entropy Production Principle
- * (Onsager linear-response entropy-production scalar reformulation).
- *
- * **Original (un-encodable) form.** The Dewar 2003/2005 variational
- * formulation of MEPP:
- *
- *   δ ∫ [dS/dt - λ Σᵢ Jᵢ Xᵢ - μ(∇·v)] dt = 0
- *
- * is not AST-encodable. It requires three grammar extensions: (1)
- * variational δ-operator over functionals; (2) Lagrange multipliers
- * λ, μ for constraint enforcement; (3) discrete-index sum primitive
- * over species. MEPP itself is also a **contested principle** —
- * Grinstein-Linsker 2007 *J. Phys. A* 40:9717 produced counterexamples
- * to Dewar's information-theoretic derivation, and the principle
- * conflicts with Prigogine's *minimum* entropy production principle
- * for near-equilibrium systems.
- *
- * **Encoded reformulation (Onsager linear-response entropy production).**
- * Wave Z-G (2026-05-11): per user-confirmed design choice after
- * surfacing the relabeling concern, replace the MEPP variational
- * formulation with the canonical **Onsager linear-response
- * entropy-production scalar**:
- *
- *   **σ = Σᵢ Jᵢ Xᵢ**     (typed scalar with dim [entropy/time])
- *
- * where Jᵢ are generalized fluxes (heat, particle, charge) and Xᵢ
- * are their conjugate generalized forces (∇T/T², chemical-potential
- * gradients, electric field, etc.). The discrete index sum is
- * collapsed into a single typed-stub symbol `force_flux_product` —
- * the AST has no discrete-index sum primitive, so the sum-collapsed
- * stub absorbs the multi-species content. Dim `[entropy / time]`
- * = `[L² M T⁻³ Θ⁻¹]` = `[W/K]` (power per kelvin).
- *
- * **⚠ CRITICAL WARNING — Definiendum vs. principle (honest-claude
- * scope, REQUIRED reading).** This reformulation **does NOT encode
- * the Maximum Entropy Production Principle (MEPP).** The original
- * MEPP is a contested **variational principle** asserting that
- * non-equilibrium systems organize to *maximize* entropy production
- * subject to constraints. Due to AST grammar limitations (no
- * variational δ, no Lagrange multiplier, no discrete-index sum),
- * that principle cannot be represented. This equation instead
- * encodes the foundational Onsager / Prigogine **definition** of the
- * entropy production rate (σ) as a sum of flux-force products. This
- * bridge is retained under the BE-28 label for historical continuity,
- * but it represents the *definiendum* of MEPP (the quantity MEPP
- * makes a claim about), NOT the maximization conjecture itself.
- *
- * Wording owed to the Gemini Pro Wave-Z cross-validation
- * consultation (2026-05-11), which independently confirmed the
- * "DEFENSIBLE-WITH-CAVEATS" verdict and recommended this stronger
- * warning prefix. Both OpenAI o3 and Gemini Pro agreed: the
- * relabeling is acceptable *only* because the user explicitly
- * accepted the trade-off via `AskUserQuestion` and the warning is
- * prominent. See Wave Z-G notes in `src/bridges/index.ts` for the
- * full discussion.
- *
- * The reformulation is closer in spirit to a **renaming** of BE-28
- * (from MEPP → Onsager entropy production) than to the BE-25 /
- * BE-16 / BE-37 reformulations, which preserved their bridge labels
- * (consciousness ↔ information; information ↔ thermodynamics;
- * modified light propagation). MEPP's bridge label "Why nature
- * chooses specific NESS" is NOT preserved by Onsager. Wave Z-G is
- * a project-internal decision to "close" BE-28 at the cost of the
- * MEPP semantic content.
- *
- * **AST encoding pattern.** Single typed-stub for the force-flux
- * sum. Dim: `[L² M T⁻³ Θ⁻¹]` (entropy per time, equivalently W/K).
- *
- * Bracket-checks (numerical evaluator):
- *   - σ = 1 W/K: entropy production at the rate of 1 joule of heat
- *     per second per kelvin. Typical of a small heat engine or
- *     dissipative process at room temperature.
- *   - σ ≥ 0: the Second Law in differential form (entropy
- *     production is non-negative for any irreversible process).
- *     The numerical evaluator enforces this with a RangeError.
- *
- * References:
- *   - Onsager 1931 *Phys. Rev.* 37:405 and 38:2265 (reciprocal
- *     relations — the foundational paper).
- *   - de Groot & Mazur 1962 *Non-Equilibrium Thermodynamics*
- *     (canonical textbook).
- *   - Dewar 2003 *J. Phys. A* 36:631 (MEPP information-theoretic
- *     derivation — the original-BE-28 source, now dropped).
- *   - Dewar 2005 *J. Phys. A* 38:L371 (MEPP follow-up).
- *   - Grinstein & Linsker 2007 *J. Phys. A* 40:9717 (MEPP
- *     rebuttal — counterexamples to Dewar's derivation; one of the
- *     reasons MEPP-as-variational-principle is contested).
- *   - Prigogine 1947 *Étude thermodynamique des phénomènes
- *     irréversibles* (minimum-entropy-production for near-
- *     equilibrium — the contrasting principle that conflicts with
- *     MEPP in the linear regime).
- *
- * Status: speculative.
- *
- * Honest-claude scope notes (extended):
- *   - Onsager linear-response is **already implicitly used** by
- *     BE-21 (KSS η/s bound), BE-23 (SYK Planckian resistivity), and
- *     BE-29 (Jarzynski free-energy equality). Encoding BE-28 as
- *     "Onsager force-flux entropy production" creates some content
- *     overlap with those bridges; the distinguishing feature is
- *     that BE-28 encodes the σ scalar itself, not a derived
- *     quantity (transport coefficient or fluctuation theorem).
- *   - The MEPP variational principle is NOT captured. Anyone reading
- *     the encoded scalar should understand that the encoding answers
- *     "what is the entropy production rate?" but NOT "why does
- *     nature select this rate?" — the latter is the actual MEPP
- *     content and remains an open research question (Dewar 2003,
- *     Grinstein-Linsker 2007 rebuttal, Endres 2017 follow-ups).
- *   - The discrete index sum Σᵢ over species is collapsed into a
- *     single typed-stub `force_flux_product`. A future grammar
- *     extension with explicit discrete-index sum primitive could
- *     unfold this stub into an explicit `J_heat·X_heat +
- *     J_particle·X_particle + J_charge·X_charge` expression.
- *   - σ ≥ 0 (Second Law) is enforced by the numerical evaluator but
- *     not by the AST type system — the dimension allows negative
- *     values; the non-negativity is a semantic property.
- *   - The dim [entropy/time] = [L² M T⁻³ Θ⁻¹] = [W/K] is the
- *     **total** entropy production rate (extensive quantity). The
- *     local entropy production density σ_local with dim
- *     [entropy/(volume · time)] = [L⁻¹ M T⁻³ Θ⁻¹] is a different
- *     scalar; the encoding choice is the **total** rate, consistent
- *     with the integral form ∫ J·X d³x = σ_total over the system.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 28")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 28)
- * @module bridges/equations/be-28-onsager-entropy-production
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * Symbol for the index-collapsed force-flux product Σᵢ Jᵢ Xᵢ.
- *
- * The AST has no discrete-index sum primitive, so the multi-species
- * sum is encoded as a single typed-stub with the dim of σ itself.
- * Same idiom as BE-17 `T_torsion_squared` (typed-stub for a tensor
- * contraction the AST cannot expand) and BE-46 `exp_factor` (typed-
- * stub for an unexpressible transcendental subexpression).
- *
- * Dim `[entropy/time]` = `[W/K]`.
- */
-export declare const BE28_FORCE_FLUX_PRODUCT: ExprNode;
-/**
- * RHS of `σ = Σᵢ Jᵢ Xᵢ`:
- *
- *   force_flux_product
- *
- * Encoded as a single typed-stub (no internal expansion in the AST).
- * Dim `[entropy/time]`.
- */
-export declare const BE28_ENTROPY_PRODUCTION_RHS: ExprNode;
-/** LHS: σ (total entropy production rate). Dim `[entropy/time]`. */
-/** @internal */
-export declare const BE28_ENTROPY_PRODUCTION_LHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateOnsagerEntropy` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface OnsagerEntropyInputs {
-    /** Sum of force-flux products Σᵢ Jᵢ Xᵢ in SI units [W/K]. Must be finite and ≥ 0 (Second Law). */
-    force_flux_product_W_per_K: number;
-}
-/**
- * Evaluate the Onsager linear-response entropy production rate:
- *
- *   σ = Σᵢ Jᵢ Xᵢ
- *
- * The caller supplies the already-summed force-flux product as a
- * scalar; the AST cannot expand the discrete-index sum, so the
- * evaluator takes the sum as input.
- *
- * @returns σ in W/K (joule per second per kelvin). Must be ≥ 0
- *   by the Second Law.
- */
-export declare function evaluateOnsagerEntropyProduction(input: OnsagerEntropyInputs): number;
-/**
- * Run the AST through the dimensional analyzer; LHS and RHS should
- * both be `[entropy/time]`.
- */
-/** @internal */
-export declare function validateBE28Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-28-onsager-entropy-production.d.ts.map

package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-28-onsager-entropy-production.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-28-onsager-entropy-production.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+HG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAmB1F;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,EAAE,QAGrC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,EAAE,QAAkC,CAAC;AAE7E,oEAAoE;AACpE,gBAAgB;AAChB,eAAO,MAAM,2BAA2B,EAAE,QAAqC,CAAC;AAIhF;;GAEG;AACH,UAAU,oBAAoB;IAC5B,kGAAkG;IAClG,0BAA0B,EAAE,MAAM,CAAC;CACpC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CAmBpF;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}