universal-physics-tensor 0.4.5

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

@@ -0,0 +1,121 @@
+/**
+ * ============================================================================
+ *  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 { validate, validateEquation } from '../../dimensional/validator.js';
+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';
+// --- Symbolic AST: t_OR = ℏ ℓ_P / (Δm c² Δx) ---
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/**
+ * 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]. */
+export 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) {
+    const { delta_m, delta_x } = input;
+    if (!Number.isFinite(delta_m) || delta_m <= 0) {
+        throw new RangeError(`evaluateOrchOR: delta_m must be a finite positive number, got ${delta_m}`);
+    }
+    if (!Number.isFinite(delta_x) || delta_x <= 0) {
+        throw new RangeError(`evaluateOrchOR: delta_x must be a finite positive number, got ${delta_x}`);
+    }
+    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].
+ */
+export function validateOrchORDimensions() {
+    const eq = validateEquation(ORCH_OR_LHS, ORCH_OR_RHS);
+    const lhs = validate(ORCH_OR_LHS);
+    const rhs = validate(ORCH_OR_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-25-orch-or.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"be-25-orch-or.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-orch-or.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,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;AAExD,kDAAkD;AAElD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;;;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,CAAC,MAAM,WAAW,GAAa,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAWvD;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,KAAmB;IAChD,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IACnC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,UAAU,CAClB,iEAAiE,OAAO,EAAE,CAC3E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,UAAU,CAClB,iEAAiE,OAAO,EAAE,CAC3E,CAAC;IACJ,CAAC;IACD,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,MAAM,UAAU,wBAAwB;IACtC,MAAM,EAAE,GAAG,gBAAgB,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACtD,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;IAClC,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-26-dna-tunneling.d.ts

@@ -0,0 +1,75 @@
+/**
+ * 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: established.
+ *
+ * Honest-claude scope notes:
+ *   - The AST has no `exp` primitive; we encode the relation as
+ *     `ν₀ · ε · f` where ε is a dimensionless symbol stub for
+ *     `exp(-WKB_arg)`, and we expose the WKB argument
+ *     `(2/ℏ)∫√(2m(V−E))dx` as a separate ExprNode `DNA_TUNNELING_WKB_ARG`
+ *     so 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/ℏ) · ∫ √(2m(V−E)) dx, exposed for
+ * verification that it is dimensionless.
+ */
+export declare const DNA_TUNNELING_WKB_ARG: ExprNode;
+/**
+ * RHS of the WKB tunneling rate: `ν₀ · ε · f`, where ε is a
+ * dimensionless symbol stub for exp(-DNA_TUNNELING_WKB_ARG) and f is the
+ * dimensionless f(T, pH, EM) prefactor.
+ */
+export declare const DNA_TUNNELING_RHS: ExprNode;
+/** LHS: Γ has dimension [frequency]. */
+export declare const DNA_TUNNELING_LHS: ExprNode;
+export 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].
+ */
+export declare function validateDNATunnelingDimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-26-dna-tunneling.d.ts.map

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

@@ -0,0 +1 @@
+{"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;AAe1F;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAgCnC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAO/B,CAAC;AAEF,wCAAwC;AACxC,eAAO,MAAM,iBAAiB,EAAE,QAA2C,CAAC;AAI5E,MAAM,WAAW,kBAAkB;IACjC,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,CAgCtE;AAID;;;GAGG;AACH,wBAAgB,8BAA8B,IAAI,yBAAyB,CAS1E"}

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

@@ -0,0 +1,138 @@
+/**
+ * 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: established.
+ *
+ * Honest-claude scope notes:
+ *   - The AST has no `exp` primitive; we encode the relation as
+ *     `ν₀ · ε · f` where ε is a dimensionless symbol stub for
+ *     `exp(-WKB_arg)`, and we expose the WKB argument
+ *     `(2/ℏ)∫√(2m(V−E))dx` as a separate ExprNode `DNA_TUNNELING_WKB_ARG`
+ *     so 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 { validate, validateEquation } from '../../dimensional/validator.js';
+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';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/**
+ * Lemma AST: the WKB exponent (2/ℏ) · ∫ √(2m(V−E)) dx, exposed for
+ * verification that it is dimensionless.
+ */
+export const DNA_TUNNELING_WKB_ARG = {
+    kind: 'op', op: '*',
+    args: [
+        {
+            // (2/ℏ)
+            kind: 'op', op: '/',
+            args: [
+                sym('2', DIMENSIONLESS),
+                sym('hbar', DIM_hbar),
+            ],
+        },
+        {
+            // ∫ √(2m(V−E)) dx
+            kind: 'integral',
+            over: sym('x', 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: `ν₀ · ε · f`, where ε is a
+ * dimensionless symbol stub for exp(-DNA_TUNNELING_WKB_ARG) and f is the
+ * dimensionless f(T, pH, EM) prefactor.
+ */
+export const DNA_TUNNELING_RHS = {
+    kind: 'op', op: '*',
+    args: [
+        sym('nu_0', FREQUENCY),
+        sym('exp(-WKB_arg)', DIMENSIONLESS),
+        sym('f(T,pH,EM)', DIMENSIONLESS),
+    ],
+};
+/** LHS: Γ has dimension [frequency]. */
+export 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) {
+    const { nu_0, m, V_minus_E, barrier_width, f_correction } = input;
+    if (!Number.isFinite(nu_0) || nu_0 < 0) {
+        throw new RangeError(`evaluateDNATunneling: nu_0 must be a finite non-negative number, got ${nu_0}`);
+    }
+    if (!Number.isFinite(m) || m <= 0) {
+        throw new RangeError(`evaluateDNATunneling: m must be a finite positive number, got ${m}`);
+    }
+    if (!Number.isFinite(V_minus_E) || V_minus_E < 0) {
+        throw new RangeError(`evaluateDNATunneling: V_minus_E must be a finite non-negative number, got ${V_minus_E}`);
+    }
+    if (!Number.isFinite(barrier_width) || barrier_width <= 0) {
+        throw new RangeError(`evaluateDNATunneling: barrier_width must be a finite positive number, got ${barrier_width}`);
+    }
+    if (!Number.isFinite(f_correction)) {
+        throw new RangeError(`evaluateDNATunneling: f_correction must be finite, got ${f_correction}`);
+    }
+    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].
+ */
+export function validateDNATunnelingDimensions() {
+    const eq = validateEquation(DNA_TUNNELING_LHS, DNA_TUNNELING_RHS);
+    const lhs = validate(DNA_TUNNELING_LHS);
+    const rhs = validate(DNA_TUNNELING_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-26-dna-tunneling.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"be-26-dna-tunneling.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-26-dna-tunneling.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,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;AAExD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;GAGG;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,kBAAkB;YAClB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;YACtB,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;;;;GAIG;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,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC;QACnC,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;KACjC;CACF,CAAC;AAEF,wCAAwC;AACxC,MAAM,CAAC,MAAM,iBAAiB,GAAa,GAAG,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;AAiB5E;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAyB;IAC5D,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAClE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,UAAU,CAClB,wEAAwE,IAAI,EAAE,CAC/E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,UAAU,CAClB,iEAAiE,CAAC,EAAE,CACrE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,UAAU,CAClB,6EAA6E,SAAS,EAAE,CACzF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,aAAa,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,UAAU,CAClB,6EAA6E,aAAa,EAAE,CAC7F,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,UAAU,CAClB,0DAA0D,YAAY,EAAE,CACzE,CAAC;IACJ,CAAC;IACD,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,MAAM,UAAU,8BAA8B;IAC5C,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-27-effective-temperature.d.ts

@@ -0,0 +1,81 @@
+/**
+ * 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]. */
+export declare const BE27_TEFF_LHS: ExprNode;
+export 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].
+ */
+export declare function validateBE27Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-27-effective-temperature.d.ts.map

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

@@ -0,0 +1 @@
+{"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;AAa1F;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,EAAE,QAwB3B,CAAC;AAEF,8CAA8C;AAC9C,eAAO,MAAM,aAAa,EAAE,QAAoC,CAAC;AAIjE,MAAM,WAAW,0BAA0B;IACzC,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,CAcR;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}

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

@@ -0,0 +1,120 @@
+/**
+ * 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 { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, ENERGY, TEMPERATURE, } from '../../dimensional/types.js';
+import { k_B as DIM_kB } from '../../dimensional/constants.js';
+import { PhysicalConstants } from '../../core/types.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/**
+ * 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]. */
+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) {
+    const { T_K, Sigma_active_J } = input;
+    if (!Number.isFinite(T_K) || T_K <= 0) {
+        throw new RangeError(`evaluateEffectiveTemperature: T_K must be a finite positive number, got ${T_K}`);
+    }
+    if (!Number.isFinite(Sigma_active_J)) {
+        throw new RangeError(`evaluateEffectiveTemperature: Sigma_active_J must be finite, got ${Sigma_active_J}`);
+    }
+    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].
+ */
+export function validateBE27Dimensions() {
+    const eq = validateEquation(BE27_TEFF_LHS, BE27_TEFF_RHS);
+    const lhs = validate(BE27_TEFF_LHS);
+    const rhs = validate(BE27_TEFF_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-27-effective-temperature.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"be-27-effective-temperature.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-27-effective-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;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,IAAI,MAAM,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;;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,MAAM,CAAC,MAAM,aAAa,GAAa,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;AAcjE;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAC1C,KAAiC;IAEjC,MAAM,EAAE,GAAG,EAAE,cAAc,EAAE,GAAG,KAAK,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,2EAA2E,GAAG,EAAE,CACjF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,UAAU,CAClB,oEAAoE,cAAc,EAAE,CACrF,CAAC;IACJ,CAAC;IACD,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,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAC1D,MAAM,GAAG,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC;IACpC,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}