ModeRatioPrediction
plain-language theorem explainer
The structure associates each consciousness state with an interval for the M2/M4 ratio and a confidence value. Researchers validating experimental predictions from the voxel framework would cite these records when tabulating expected outcomes for EEG studies. It is introduced as a bare structure definition with default confidence 0.95.
Claim. A record $(s, r_ {low}, r_ {high}, c)$ where $s$ is one of the five consciousness states, $r_ {low} < r_ {high}$ bound the expected M2/M4 ratio, and $c$ is the assigned confidence (default 0.95).
background
ConsciousnessState is the inductive type with variants baseline, flow, analytical, meditation, and sleep. The module formalizes testable predictions from voxel theory; its core list includes the claim that M2/M4 ratios classify these states. All such predictions are treated as hypotheses equipped with explicit falsification criteria.
proof idea
The declaration is a structure definition that directly introduces the four fields state, ratio_low, ratio_high, and confidence with its default. No lemmas or tactics are invoked.
why it matters
This structure is instantiated in the list of predictions for each state and consumed by the range check and the overall confirmation predicate. It encodes the second core prediction listed in the module documentation: that M2/M4 ratios classify consciousness states. The surrounding framework derives these from phi-emergence, yet the present declaration remains an unproven hypothesis.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.