universal-physics-tensor 0.4.5

package/dist/bridges/equations/be-15-emergence.d.ts

@@ -0,0 +1,164 @@
+/**
+ * Bridge Equation 15 — Universal Emergence Equation (Hohenberg-Halperin
+ * Model A, Kawasaki-Gunton coarsening scaling-law reduction).
+ *
+ * **Original (un-encodable) form.** Canonical Model A gradient flow:
+ *
+ *   ∂φ/∂t = -Γ δH/δφ + ζ(x,t)
+ *   ⟨ζ(x,t) ζ(x',t')⟩ = 2 Γ k_B T δ(x-x') δ(t-t')
+ *   H[φ] = ∫ d³x [½(∇φ)² + V(φ)]
+ *
+ * Three grammar barriers: (1) Dirac-delta correlators for ⟨ζζ⟩;
+ * (2) functional derivative δH/δφ; (3) functional integration `H[φ]`
+ * over field configurations. The UPT AST grammar
+ * (`symbol | op (* / + - ^) | integral | derivative`) provides none of
+ * these primitives. The full Model A Langevin equation therefore
+ * cannot be encoded as a closed-form scalar relation.
+ *
+ * **Encoded reduction (Kawasaki-Gunton coarsening scaling law).**
+ * Wave Z-D applies OpenAI's scalar reduction: the late-stage
+ * Kawasaki-Gunton coarsening length-scale of Model A satisfies
+ *
+ *   **L(t)² = Γ · t**     (equivalently L(t) = √(Γ t))
+ *
+ * a closed-form algebraic relation that IS expressible in the AST
+ * grammar. This is the canonical z = 2 dynamic-critical-exponent
+ * scaling for non-conserved order parameters — the signature
+ * dynamical content that distinguishes Model A from Model B
+ * (conserved density, z ≈ 3, L(t) ~ (Γt)^{1/3}) and from Model H
+ * (fluid, z ≈ 3 with additional flow corrections).
+ *
+ * The bridge label `microscale → emergent` is captured directly: at
+ * the microscale Γ is a kinetic coefficient with dim [L²/T] (set by
+ * the local relaxation dynamics); at the emergent scale L(t) is the
+ * characteristic correlation length grown by domain-wall annihilation
+ * over time t. Kawasaki-Gunton (1976) derived this scaling from the
+ * Allen-Cahn equation; it is reproduced by the linear Model A
+ * relaxation of long-wavelength modes.
+ *
+ * **Squared-form encoding.** We encode `L² = Γ · t` rather than
+ * `L = √(Γ t)` because the AST's `^` operator requires dimensionless
+ * exponents, and a non-integer power-1/2 on a dimensionful base
+ * (`(Γt)^{1/2}`) would require a `sqrt` primitive the grammar does
+ * not provide. The squared form is an exact algebraic equality whose
+ * dimensions check directly: Γ [L²/T] · t [T] = [L²] = dim(L²).
+ * Same pattern as BE-17 (Einstein-Cartan): the squared invariant
+ * lives in the AST; the root lives in the numerical evaluator.
+ *
+ * Bracket-checks (numerical evaluator computes L(t) = √(Γt)):
+ *   - Γ = 1 m²/s, t = 1 s: L = 1 m.
+ *   - Γ = 1 m²/s, t = 100 s: L = 10 m.
+ *   - Γ scaling: doubling Γ at fixed t scales L by √2.
+ *   - t scaling: doubling t at fixed Γ scales L by √2.
+ *
+ * References:
+ *   - Hohenberg & Halperin 1977 *Rev. Mod. Phys.* 49:435 (canonical
+ *     critical-dynamics classification: Model A purely-dissipative).
+ *   - Kawasaki & Gunton 1976 *Phys. Rev. A* 13:2294 (coarsening
+ *     theory of non-conserved order parameter; original L(t) ~ √(Γt)
+ *     derivation).
+ *   - Allen & Cahn 1979 *Acta Metall.* 27:1085 (Allen-Cahn equation
+ *     and motion-by-mean-curvature derivation of L(t) ~ √(Γt)).
+ *   - Bray 1994 *Adv. Phys.* 43:357 (canonical review of coarsening
+ *     dynamics; comprehensive treatment of all Hohenberg-Halperin
+ *     models and their scaling laws).
+ *   - Chaikin & Lubensky 1995 *Principles of Condensed Matter
+ *     Physics* Ch. 8 (standard textbook reference).
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - This module encodes ONE scalar invariant of Model A — the
+ *     late-stage coarsening length-scale. The full Langevin equation
+ *     (gradient flow + FDT-balanced noise), the field-space
+ *     Hamiltonian H[φ], the functional derivative δH/δφ, and the
+ *     δ-correlated noise structure are all OUTSIDE the encoding.
+ *   - The relation `L² = Γt` is the **late-stage asymptotic** scaling
+ *     of the correlation length for non-conserved order parameters.
+ *     It is exact in the linear (Allen-Cahn) regime and in the
+ *     scaling regime of the nonlinear theory; for early-time
+ *     transients and near-critical behavior it is corrected by
+ *     logarithms and renormalization-group factors (Bray 1994 §3).
+ *     The encoding does NOT capture these corrections.
+ *   - Status 'speculative' is **not lifted by this encoding**. Model
+ *     A itself is canonical condensed-matter physics; the *bridge
+ *     framing* — committing to Model A's specific coarse-graining as
+ *     the UPT microscale-↔-emergent bridge — remains the speculative
+ *     element. The original UPT "Universal Emergence" claim is
+ *     explicitly dropped (Wave P-D R-D1): Model B, C, H each require
+ *     their own bridge entry.
+ *   - Other Model-A scalars considered but NOT chosen (per OpenAI o3
+ *     Wave Z-D consultation 2026-05-11):
+ *     * Zero-mode equipartition `⟨|φ_k|²⟩ = k_BT / (Γ ω_k)` is
+ *       generic statistical mechanics (applies to any linearized
+ *       field theory at equilibrium) and does not encode Model A's
+ *       dynamics specifically. Rejected as physics-losing /
+ *       mislabeling.
+ *     * Fluctuation-dissipation amplitude `D = 2Γk_BT` is the FDT
+ *       coefficient but loses all dynamical content. Rejected.
+ *     * Equal-time spatial correlation `C(r) ~ exp(-r/ξ)` would
+ *       require an `exp` stub and a typed ξ symbol; less direct
+ *       coverage of the dynamics than L(t). Acceptable alternative
+ *       but Kawasaki-Gunton is more diagnostic of the z=2 dynamic
+ *       critical exponent.
+ *
+ * @see docs/specification/Part-I.md ("Bridge Equation 15: Universal Emergence Equation")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 15)
+ * @module bridges/equations/be-15-emergence
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+/**
+ * Symbol for the Model A kinetic coefficient Γ. Dim [L²/T].
+ *
+ * Exposed for the lemma test that verifies the typed dim.
+ */
+export declare const BE15_MOBILITY: ExprNode;
+/**
+ * Symbol for time t. Dim [T].
+ *
+ * Exposed for the lemma test that verifies the typed dim.
+ */
+export declare const BE15_TIME: ExprNode;
+/**
+ * RHS of `L(t)² = Γ · t` as a typed ExprNode tree:
+ *
+ *   Γ · t
+ *
+ * Dim: [L²/T] · [T] = [L²] = [AREA]. The squared-length form is the
+ * AST-encodable algebraic relation; the root `L(t) = √(Γt)` is
+ * computed in the numerical evaluator.
+ */
+export declare const BE15_COARSENING_LENGTH_SQUARED_RHS: ExprNode;
+/**
+ * LHS: `L(t)²` is the squared coarsening length, dim [L²] = [AREA].
+ */
+export declare const BE15_COARSENING_LENGTH_SQUARED_LHS: ExprNode;
+export interface CoarseningInputs {
+    /** Model A kinetic coefficient Γ in [m²/s]. Must be finite and > 0. */
+    gamma: number;
+    /** Time t in [s]. Must be finite and > 0. */
+    t: number;
+}
+/**
+ * Evaluate the Kawasaki-Gunton coarsening length:
+ *
+ *   L(t) = √(Γ · t)
+ *
+ * @returns Coarsening length L(t) in [m] (SI). For Γ in m²/s and t in
+ *   seconds, the result is in meters.
+ */
+export declare function evaluateCoarseningLength(input: CoarseningInputs): number;
+/**
+ * Evaluate the squared coarsening length:
+ *
+ *   L(t)² = Γ · t
+ *
+ * Useful for AST round-trip checks and avoiding the square-root step.
+ */
+export declare function evaluateCoarseningLengthSquared(input: CoarseningInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; LHS and RHS should
+ * both be [AREA] = [L²].
+ */
+export declare function validateBE15Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-15-emergence.d.ts.map

package/dist/bridges/equations/be-15-emergence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-15-emergence.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-15-emergence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2GG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAuB1F;;;;GAIG;AACH,eAAO,MAAM,aAAa,EAAE,QAAiC,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,QAAyB,CAAC;AAElD;;;;;;;;GAQG;AACH,eAAO,MAAM,kCAAkC,EAAE,QAMhD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kCAAkC,EAAE,QAGhD,CAAC;AAIF,MAAM,WAAW,gBAAgB;IAC/B,uEAAuE;IACvE,KAAK,EAAE,MAAM,CAAC;IACd,6CAA6C;IAC7C,CAAC,EAAE,MAAM,CAAC;CACX;AAED;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAaxE;AAED;;;;;;GAMG;AACH,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAa/E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CAYlE"}

package/dist/bridges/equations/be-15-emergence.js

@@ -0,0 +1,204 @@
+/**
+ * Bridge Equation 15 — Universal Emergence Equation (Hohenberg-Halperin
+ * Model A, Kawasaki-Gunton coarsening scaling-law reduction).
+ *
+ * **Original (un-encodable) form.** Canonical Model A gradient flow:
+ *
+ *   ∂φ/∂t = -Γ δH/δφ + ζ(x,t)
+ *   ⟨ζ(x,t) ζ(x',t')⟩ = 2 Γ k_B T δ(x-x') δ(t-t')
+ *   H[φ] = ∫ d³x [½(∇φ)² + V(φ)]
+ *
+ * Three grammar barriers: (1) Dirac-delta correlators for ⟨ζζ⟩;
+ * (2) functional derivative δH/δφ; (3) functional integration `H[φ]`
+ * over field configurations. The UPT AST grammar
+ * (`symbol | op (* / + - ^) | integral | derivative`) provides none of
+ * these primitives. The full Model A Langevin equation therefore
+ * cannot be encoded as a closed-form scalar relation.
+ *
+ * **Encoded reduction (Kawasaki-Gunton coarsening scaling law).**
+ * Wave Z-D applies OpenAI's scalar reduction: the late-stage
+ * Kawasaki-Gunton coarsening length-scale of Model A satisfies
+ *
+ *   **L(t)² = Γ · t**     (equivalently L(t) = √(Γ t))
+ *
+ * a closed-form algebraic relation that IS expressible in the AST
+ * grammar. This is the canonical z = 2 dynamic-critical-exponent
+ * scaling for non-conserved order parameters — the signature
+ * dynamical content that distinguishes Model A from Model B
+ * (conserved density, z ≈ 3, L(t) ~ (Γt)^{1/3}) and from Model H
+ * (fluid, z ≈ 3 with additional flow corrections).
+ *
+ * The bridge label `microscale → emergent` is captured directly: at
+ * the microscale Γ is a kinetic coefficient with dim [L²/T] (set by
+ * the local relaxation dynamics); at the emergent scale L(t) is the
+ * characteristic correlation length grown by domain-wall annihilation
+ * over time t. Kawasaki-Gunton (1976) derived this scaling from the
+ * Allen-Cahn equation; it is reproduced by the linear Model A
+ * relaxation of long-wavelength modes.
+ *
+ * **Squared-form encoding.** We encode `L² = Γ · t` rather than
+ * `L = √(Γ t)` because the AST's `^` operator requires dimensionless
+ * exponents, and a non-integer power-1/2 on a dimensionful base
+ * (`(Γt)^{1/2}`) would require a `sqrt` primitive the grammar does
+ * not provide. The squared form is an exact algebraic equality whose
+ * dimensions check directly: Γ [L²/T] · t [T] = [L²] = dim(L²).
+ * Same pattern as BE-17 (Einstein-Cartan): the squared invariant
+ * lives in the AST; the root lives in the numerical evaluator.
+ *
+ * Bracket-checks (numerical evaluator computes L(t) = √(Γt)):
+ *   - Γ = 1 m²/s, t = 1 s: L = 1 m.
+ *   - Γ = 1 m²/s, t = 100 s: L = 10 m.
+ *   - Γ scaling: doubling Γ at fixed t scales L by √2.
+ *   - t scaling: doubling t at fixed Γ scales L by √2.
+ *
+ * References:
+ *   - Hohenberg & Halperin 1977 *Rev. Mod. Phys.* 49:435 (canonical
+ *     critical-dynamics classification: Model A purely-dissipative).
+ *   - Kawasaki & Gunton 1976 *Phys. Rev. A* 13:2294 (coarsening
+ *     theory of non-conserved order parameter; original L(t) ~ √(Γt)
+ *     derivation).
+ *   - Allen & Cahn 1979 *Acta Metall.* 27:1085 (Allen-Cahn equation
+ *     and motion-by-mean-curvature derivation of L(t) ~ √(Γt)).
+ *   - Bray 1994 *Adv. Phys.* 43:357 (canonical review of coarsening
+ *     dynamics; comprehensive treatment of all Hohenberg-Halperin
+ *     models and their scaling laws).
+ *   - Chaikin & Lubensky 1995 *Principles of Condensed Matter
+ *     Physics* Ch. 8 (standard textbook reference).
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - This module encodes ONE scalar invariant of Model A — the
+ *     late-stage coarsening length-scale. The full Langevin equation
+ *     (gradient flow + FDT-balanced noise), the field-space
+ *     Hamiltonian H[φ], the functional derivative δH/δφ, and the
+ *     δ-correlated noise structure are all OUTSIDE the encoding.
+ *   - The relation `L² = Γt` is the **late-stage asymptotic** scaling
+ *     of the correlation length for non-conserved order parameters.
+ *     It is exact in the linear (Allen-Cahn) regime and in the
+ *     scaling regime of the nonlinear theory; for early-time
+ *     transients and near-critical behavior it is corrected by
+ *     logarithms and renormalization-group factors (Bray 1994 §3).
+ *     The encoding does NOT capture these corrections.
+ *   - Status 'speculative' is **not lifted by this encoding**. Model
+ *     A itself is canonical condensed-matter physics; the *bridge
+ *     framing* — committing to Model A's specific coarse-graining as
+ *     the UPT microscale-↔-emergent bridge — remains the speculative
+ *     element. The original UPT "Universal Emergence" claim is
+ *     explicitly dropped (Wave P-D R-D1): Model B, C, H each require
+ *     their own bridge entry.
+ *   - Other Model-A scalars considered but NOT chosen (per OpenAI o3
+ *     Wave Z-D consultation 2026-05-11):
+ *     * Zero-mode equipartition `⟨|φ_k|²⟩ = k_BT / (Γ ω_k)` is
+ *       generic statistical mechanics (applies to any linearized
+ *       field theory at equilibrium) and does not encode Model A's
+ *       dynamics specifically. Rejected as physics-losing /
+ *       mislabeling.
+ *     * Fluctuation-dissipation amplitude `D = 2Γk_BT` is the FDT
+ *       coefficient but loses all dynamical content. Rejected.
+ *     * Equal-time spatial correlation `C(r) ~ exp(-r/ξ)` would
+ *       require an `exp` stub and a typed ξ symbol; less direct
+ *       coverage of the dynamics than L(t). Acceptable alternative
+ *       but Kawasaki-Gunton is more diagnostic of the z=2 dynamic
+ *       critical exponent.
+ *
+ * @see docs/specification/Part-I.md ("Bridge Equation 15: Universal Emergence Equation")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 15)
+ * @module bridges/equations/be-15-emergence
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { TIME, AREA, } from '../../dimensional/types.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+// --- Local dim constants ---
+/**
+ * [L²·T⁻¹] — Model A kinetic coefficient Γ. The coarsening law
+ * L²(t) = Γt has its dimensional consistency precisely encoded here:
+ * [L²/T] · [T] = [L²]. Γ is sometimes called the Onsager kinetic
+ * coefficient or the mobility in Model A; the SI numerical value
+ * depends on the order parameter's specific physical interpretation.
+ */
+const MOBILITY = { L: 2, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 };
+// --- Symbolic AST ---
+/**
+ * Symbol for the Model A kinetic coefficient Γ. Dim [L²/T].
+ *
+ * Exposed for the lemma test that verifies the typed dim.
+ */
+export const BE15_MOBILITY = sym('Gamma', MOBILITY);
+/**
+ * Symbol for time t. Dim [T].
+ *
+ * Exposed for the lemma test that verifies the typed dim.
+ */
+export const BE15_TIME = sym('t', TIME);
+/**
+ * RHS of `L(t)² = Γ · t` as a typed ExprNode tree:
+ *
+ *   Γ · t
+ *
+ * Dim: [L²/T] · [T] = [L²] = [AREA]. The squared-length form is the
+ * AST-encodable algebraic relation; the root `L(t) = √(Γt)` is
+ * computed in the numerical evaluator.
+ */
+export const BE15_COARSENING_LENGTH_SQUARED_RHS = {
+    kind: 'op', op: '*',
+    args: [
+        BE15_MOBILITY,
+        BE15_TIME,
+    ],
+};
+/**
+ * LHS: `L(t)²` is the squared coarsening length, dim [L²] = [AREA].
+ */
+export const BE15_COARSENING_LENGTH_SQUARED_LHS = sym('L_squared', AREA);
+/**
+ * Evaluate the Kawasaki-Gunton coarsening length:
+ *
+ *   L(t) = √(Γ · t)
+ *
+ * @returns Coarsening length L(t) in [m] (SI). For Γ in m²/s and t in
+ *   seconds, the result is in meters.
+ */
+export function evaluateCoarseningLength(input) {
+    const { gamma, t } = input;
+    if (!Number.isFinite(gamma) || gamma <= 0) {
+        throw new RangeError(`evaluateCoarseningLength: gamma must be a finite positive number, got ${gamma}`);
+    }
+    if (!Number.isFinite(t) || t <= 0) {
+        throw new RangeError(`evaluateCoarseningLength: t must be a finite positive number, got ${t}`);
+    }
+    return Math.sqrt(gamma * t);
+}
+/**
+ * Evaluate the squared coarsening length:
+ *
+ *   L(t)² = Γ · t
+ *
+ * Useful for AST round-trip checks and avoiding the square-root step.
+ */
+export function evaluateCoarseningLengthSquared(input) {
+    const { gamma, t } = input;
+    if (!Number.isFinite(gamma) || gamma <= 0) {
+        throw new RangeError(`evaluateCoarseningLengthSquared: gamma must be a finite positive number, got ${gamma}`);
+    }
+    if (!Number.isFinite(t) || t <= 0) {
+        throw new RangeError(`evaluateCoarseningLengthSquared: t must be a finite positive number, got ${t}`);
+    }
+    return gamma * t;
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; LHS and RHS should
+ * both be [AREA] = [L²].
+ */
+export function validateBE15Dimensions() {
+    const eq = validateEquation(BE15_COARSENING_LENGTH_SQUARED_LHS, BE15_COARSENING_LENGTH_SQUARED_RHS);
+    const lhs = validate(BE15_COARSENING_LENGTH_SQUARED_LHS);
+    const rhs = validate(BE15_COARSENING_LENGTH_SQUARED_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-15-emergence.js.map

package/dist/bridges/equations/be-15-emergence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-15-emergence.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-15-emergence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2GG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,IAAI,EACJ,IAAI,GACL,MAAM,4BAA4B,CAAC;AAEpC,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,8BAA8B;AAE9B;;;;;;GAMG;AACH,MAAM,QAAQ,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAE9E,uBAAuB;AAEvB;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAa,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AAE9D;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAa,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAElD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAa;IAC1D,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,aAAa;QACb,SAAS;KACV;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAa,GAAG,CAC7D,WAAW,EACX,IAAI,CACL,CAAC;AAWF;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAuB;IAC9D,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IAC3B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,UAAU,CAClB,yEAAyE,KAAK,EAAE,CACjF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,UAAU,CAClB,qEAAqE,CAAC,EAAE,CACzE,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,+BAA+B,CAAC,KAAuB;IACrE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IAC3B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,UAAU,CAClB,gFAAgF,KAAK,EAAE,CACxF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,UAAU,CAClB,4EAA4E,CAAC,EAAE,CAChF,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,GAAG,CAAC,CAAC;AACnB,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CACzB,kCAAkC,EAClC,kCAAkC,CACnC,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,kCAAkC,CAAC,CAAC;IACzD,MAAM,GAAG,GAAG,QAAQ,CAAC,kCAAkC,CAAC,CAAC;IACzD,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-16-landauer.d.ts

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

package/dist/bridges/equations/be-16-landauer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-16-landauer.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-16-landauer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8HG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAc1F;;;;;GAKG;AACH,eAAO,MAAM,cAAc,EAAE,QAA0B,CAAC;AAExD;;GAEG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAgC,CAAC;AAEhE;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,QAA8C,CAAC;AAEtE;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAS/B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAA+B,CAAC;AAIhE,MAAM,WAAW,cAAc;IAC7B,qEAAqE;IACrE,aAAa,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,CASpE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}