ConsciousnessState
ConsciousnessState enumerates five discrete mental states for classifying EEG mode ratios in voxel-theory experiments. Protocol designers measuring M2/M4 ratios across baseline, flow, analytical, meditation, and sleep conditions cite this classification when structuring data models. The declaration is a plain inductive type definition with five constructors and derived decidable equality.
claimInductive enumeration of consciousness states with constructors baseline, flow, analytical, meditation, sleep.
background
The module formalizes experimental predictions from the voxel/meaning framework. Core predictions include EEG peaks at powers of phi during meditation and M2/M4 mode ratios that classify consciousness states. All such predictions are treated as hypotheses carrying explicit falsification criteria rather than theorems.
proof idea
The declaration is an inductive type definition with five constructors and automatic derivation of DecidableEq and Repr.
why it matters in Recognition Science
It supplies the state labels required by the downstream ModeRatioPrediction structure, which records expected ratio bounds for each state, and by ModeRatioProtocol, which defines measurement procedures. This supports the module's core hypothesis that mode ratios distinguish consciousness states, connecting to Recognition Science predictions on phi-frequencies and coherence.
scope and limits
- Does not assign numerical ratio bounds to any state.
- Does not embed statistical criteria or trial counts.
- Does not derive states from upstream physical axioms.
- Does not encode falsification conditions or measurement modalities.
formal statement (Lean)
95inductive ConsciousnessState
96 | baseline
97 | flow
98 | analytical
99 | meditation
100 | sleep
101 deriving DecidableEq, Repr
102
103/-- M2/M4 ratio measurement protocol -/