ConsciousnessState
plain-language theorem explainer
ConsciousnessState enumerates five discrete brain states for labeling measurements in mode-ratio EEG protocols. Experimentalists testing voxel-theory predictions cite it when specifying sample states for M2/M4 ratio ranges. The declaration is a direct inductive definition that derives decidable equality.
Claim. The consciousness states form an inductive type with five constructors: baseline, flow, analytical, meditation, and sleep.
background
The Experiments.Protocols module formalizes testable predictions from voxel theory, with mode ratios as one mechanism that classifies consciousness states. This inductive type supplies the state labels used inside the ModeRatioProtocol structure (defaulting to baseline, flow, analytical, meditation) and the ModeRatioPrediction structure (pairing each state with an expected ratio interval). The module documentation states that all such predictions remain hypotheses equipped with explicit falsification criteria.
proof idea
This is an inductive definition with five constructors together with automatic derivation of DecidableEq and Repr.
why it matters
The definition supplies the state space required by the two downstream structures that implement the module's second core prediction: mode ratios classify consciousness states. It therefore supports the EEG φ-frequency claim (peaks at φ^n Hz during meditation) that links to the phi-ladder and eight-tick octave in the Recognition framework. The surrounding module treats the entire construction as a hypothesis rather than a proved theorem.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.