defect_energy
plain-language theorem explainer
Defect energy extracts the J-cost from any recognition defect state. Workers on RS error correction and thermodynamics cite this when assigning an energy scale to ledger deviations from the J=0 ground state. The definition is a direct projection onto the J-cost functional.
Claim. Let $d$ be a recognition defect for state function $X$. The defect energy is defined by $E(d) = J(X(d.state))$, where $J$ is the cost functional.
background
The module develops an error-correction perspective on Recognition Science thermodynamics. Ledger dynamics achieve stability through fault tolerance, with recognition defects defined as states carrying positive J-cost. Defect energy is the J-cost itself, providing the scale for deviations from the J=0 ground state.
proof idea
The definition is a one-line extraction that applies the J-cost functional directly to the state field of the input defect.
why it matters
This definition is invoked by the theorem establishing positivity of defect energy. It fills the role of quantifying defect cost in the error-correction module, connecting to the eight-tick cycle and phi-ladder code distance in the Recognition framework. The construction supports viewing physical laws as stable under ledger fault tolerance.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.