ModeRatioPrediction
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.
claimA 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 in Recognition Science
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.
scope and limits
- Does not derive the numerical ratio bounds from the Recognition Composition Law or phi fixed point.
- Does not specify the measurement protocol for extracting M2 and M4 amplitudes from EEG data.
- Does not prove that any real measurement will fall inside the stated interval.
- Does not address statistical power, sample size, or error propagation.
formal statement (Lean)
113structure ModeRatioPrediction where
114 state : ConsciousnessState
115 /-- Expected M2/M4 ratio range (low bound) -/
116 ratio_low : ℝ
117 /-- Expected M2/M4 ratio range (high bound) -/
118 ratio_high : ℝ
119 /-- Prediction confidence -/
120 confidence : ℝ := 0.95
proof body
Definition body.
121
122/-- The predicted mode ratios for each state -/