PointerStateFalsifier
plain-language theorem explainer
This structure encodes the three conditions that would falsify the emergence of pointer states from neutral windows in the J-cost landscape. A physicist examining decoherence in macroscopic systems would cite it when checking whether Recognition Science predictions survive experimental scrutiny. The definition is a direct packaging of the failure modes into a single implication that yields falsehood.
Claim. A pointer-state falsifier is a structure containing three propositions (macroscopic superpositions remain stable, decoherence selects an unpredictable basis, the J-cost landscape contains no neutral windows) together with the assertion that their disjunction implies a contradiction.
background
Module QF-003 derives classical pointer states as the configurations that minimize J-cost during environmental coupling. Neutral windows are the local minima of this cost function; systems relax into them on the decoherence timescale. J-cost itself is defined via the Recognition Composition Law in the Cost module and appears in the pointer-state construction through the neutral-window predicate.
proof idea
The declaration is a bare structure definition with an empty proof body. It directly assembles the three falsifying propositions and the required implication without invoking any lemmas or tactics.
why it matters
The structure supplies the explicit falsification criteria for the pointer-state claim in QF-003. It anchors the quantum section of the framework to the J-cost minimization mechanism and the neutral-window construction. No downstream theorems are recorded, so its integration with experimental tests remains open.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.