PhaseTransitionFalsifier
plain-language theorem explainer
The PhaseTransitionFalsifier structure encodes the three logical conditions under which the Recognition Science account of phase transitions as J-cost bifurcations would fail. A researcher testing information-theoretic thermodynamics against measured critical exponents or nucleation rates would cite it to mark the boundary of the derivation. It is supplied as a bare structure whose fields directly package the failure modes stated in the module documentation.
Claim. Let $N$ assert that phase transitions admit no J-cost interpretation, $C$ that critical behavior contradicts J-cost predictions, and $M$ that nucleation fails to respect J-cost barriers. The structure contains the propositions $N$, $C$, $M$ together with the implication $N land C to bot$.
background
Module THERMO-006 derives phase transitions from bifurcations in the J-cost landscape, where multiple local minima merge or split as control parameters vary. The J-cost function itself is imported from the Cost module and satisfies the Recognition Composition Law. The local setting is the standard Recognition Science reduction of thermodynamics to the phi-forcing chain, with first-order transitions corresponding to discontinuous jumps between minima and second-order transitions to singular but continuous changes at critical points.
proof idea
The declaration is a plain structure definition with no proof obligations or tactic steps.
why it matters
It supplies the explicit falsifiability criterion for the phase-transition claims that feed the paper proposition on information-theoretic bifurcations. The structure therefore anchors the J-cost mechanism against experimental data on nucleation barriers and critical ratios while remaining inside the T5-T8 forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.