QECFalsifier
plain-language theorem explainer
The QECFalsifier structure records the three propositions that would refute the claim that quantum error correction follows from eight-tick redundancy in Recognition Science. A researcher testing fault-tolerant quantum codes against phase-space predictions would cite it to state the empirical failure conditions. It is introduced as a plain structure definition that packages the propositions and their logical implication to falsehood.
Claim. A structure consisting of three propositions—no connection between quantum error correction and the eight-tick structure, no relation of error thresholds to the base time scale $τ_0$, and poor performance of eight-tick codes relative to random codes—together with the requirement that the conjunction of the first two propositions implies falsehood.
background
The module derives quantum error correction from the eight-tick redundancy of Recognition Science, where the eight phases supply natural redundancy that maps phase shifts to correctable errors. The eight-tick octave (T7 in the forcing chain) supplies the periodicity used for error detection and correction, with the Steane code and surface codes appearing as concrete instances. The falsifier structure collects the observable conditions that would break this derivation.
proof idea
This declaration is a structure definition that directly packages the three falsifying propositions and the implication to falsehood; no lemmas or tactics are applied.
why it matters
It supplies the explicit falsifiability criterion for the INFO-007 derivation of quantum error correction from eight-tick redundancy. The parent step is the eight-tick octave (T7) that forces spatial dimension D=3 and the redundancy underlying the listed codes. It touches the open question of whether eight-tick codes can outperform standard surface codes inside the alpha band.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.