ModeRatioPrediction
plain-language theorem explainer
Mode ratio predictions pair each consciousness state with an expected interval for the M2/M4 ratio and a default confidence of 0.95. Experimental physicists testing voxel theory would cite this record when stating numerical hypotheses for EEG classification of flow or meditation states. The definition is a direct record constructor with no computational content or lemmas.
Claim. A record consisting of a consciousness state $s$, real numbers $r_mathrm{low} leq r_mathrm{high}$ for the expected M2/M4 ratio range, and confidence $c in mathbb{R}$ (default 0.95).
background
The module formalizes experimental protocols derived from voxel theory, listing core predictions such as EEG peaks at powers of phi, M2/M4 mode ratios that classify states, coherence transfer in healing, and altered water domains. ConsciousnessState is the inductive enumeration with cases baseline, flow, analytical, meditation, and sleep. This structure supplies the predicted ratio intervals later checked by ratioInRange against measurements.
proof idea
The declaration is a structure definition that introduces the four fields; no lemmas or tactics are applied.
why it matters
The record type is consumed by modeRatioPredictions to list concrete intervals for each state, by ratioInRange to test whether a measurement lies inside the band, and by theoryConfirmed to decide whether the full set of predictions survives falsification. The module doc presents mode ratios as one of the testable claims with explicit falsification criteria, providing the experimental interface for the phi-ladder and eight-tick octave results from the foundation.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.