jcost_syndrome
plain-language theorem explainer
The definition supplies the canonical error syndrome for Recognition Science by setting the syndrome function equal to the J-cost on each state. Thermodynamic analyses of defect detection and ledger stability would invoke this construction when formalizing fault tolerance. The body is a direct structure instantiation whose zero-condition holds by reflexivity.
Claim. For a state map $X : Ω → ℝ$, the associated error syndrome is the map $ω ↦ Jcost(X(ω))$, which satisfies syndrome$(ω) = 0$ if and only if $Jcost(X(ω)) = 0$.
background
The module develops the error-correction viewpoint of RS thermodynamics, where physical laws remain stable because ledger dynamics implements fault tolerance. Recognition defects are deviations from the ground state J = 0; defect energy is the cost of creating such a deviation; an error syndrome is any detectable signature of a defect; and correction dynamics describe return to equilibrium. The ErrorSyndrome structure formalizes this as a pair consisting of a syndrome map Ω → ℝ together with the requirement that the map vanishes exactly on ground states.
proof idea
The definition constructs an ErrorSyndrome instance by assigning the syndrome map directly to the J-cost function and discharging the zero_iff_ground field via reflexivity.
why it matters
This supplies the basic defect detector used throughout the error-correction formulation of RS thermodynamics. It realizes the connection between the ledger and stabilizer codes by making the J-cost the observable syndrome, consistent with the eight-tick cycle as error-correction period and the φ-ladder as code distance. The construction sits inside the broader program that derives thermodynamic stability from ledger dynamics.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.