TheoryFalsificationStatus
plain-language theorem explainer
TheoryFalsificationStatus is a record type holding five boolean flags that mark whether EEG phi-peak, mode-ratio, healing, water-structure, or phi-emergence predictions have failed. Experimental groups testing Recognition Science voxel predictions would cite it to maintain a single falsification ledger. The declaration is a direct structure definition with each field defaulting to false.
Claim. A record $S$ whose fields are boolean indicators (default false) for falsification of: EEG peaks at powers of phi, mode-ratio classification of consciousness states, distance decay of healing via Theta-coupling, alteration of water coherence domains, and emergence of phi from J-cost.
background
The module formalizes five testable predictions derived from the voxel/meaning framework: EEG phi-frequencies during meditation, M2/M4 mode ratios for consciousness states, coherence transfer in healing, altered water structure near intention, and theoretical emergence of phi. All are treated as hypotheses equipped with explicit falsification criteria rather than proven statements. The structure aggregates the five independent falsification flags into one object that downstream definitions inspect with logical or and and.
proof idea
Direct structure definition; no lemmas or tactics are applied. The five fields are introduced with inline doc-comments that name the corresponding prediction and default to false.
why it matters
Supplies the single data carrier consumed by theoryFalsified (any flag true implies falsification) and theoryConfirmed (all flags false implies partial confirmation). It therefore operationalizes the falsification hygiene stated in the module header for the five core predictions. No upstream theorem is required; the structure simply records the logical conditions that the Recognition Science experimental program must satisfy.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.