theoryFalsified
plain-language theorem explainer
A working physicist testing voxel-theory predictions would cite this definition to decide when data from EEG, mode ratios, healing, water structure, or phi emergence rejects the model. The condition is true exactly when any one of the five boolean flags in the TheoryFalsificationStatus record evaluates to true. It is realized as a direct disjunction over those flags with no additional lemmas.
Claim. Let $S$ be a TheoryFalsificationStatus record. Then the theory is falsified precisely when at least one of the following holds: EEG $phi$-peak prediction fails, mode-ratio classification of consciousness states fails, healing coherence transfer fails, water coherence-domain prediction fails, or $phi$ emergence from the J-cost functional fails.
background
The module Experiments.Protocols formalizes testable predictions from the voxel theory: EEG peaks at $phi^n$ Hz during meditation, M2/M4 mode ratios classifying consciousness states, coherence transfer via Theta-coupling in healing, altered water coherence domains near intention, and explicit falsification conditions. All predictions are treated as hypotheses with falsification criteria rather than proven statements, per the module claim hygiene.
proof idea
This is a definition that directly constructs the proposition as the disjunction of the five falsification flags (eeg_falsified, mode_ratio_falsified, healing_falsified, water_falsified, phi_emergence_falsified) drawn from the input TheoryFalsificationStatus record. No lemmas or tactics are applied; it is a one-line boolean combination.
why it matters
This definition supplies the falsification side of the experimental protocol and directly feeds theoryConfirmed in the same module, which negates all five flags. It operationalizes the claim that predictions remain hypotheses, linking to the phi-ladder and J-cost emergence in the foundation while touching empirical validation of the eight-tick octave and spatial dimension D=3.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.