`ConsciousnessState`

definition

show as: view math explainer →

module: IndisputableMonolith.Experiments.Protocols
domain: Experiments
line: 95 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Experiments.Protocols on GitHub at line 95.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

used by

formal source

  92/-! ## Mode Ratio Predictions -/
  93
  94/-- Consciousness state classification -/
  95inductive ConsciousnessState
  96  | baseline
  97  | flow
  98  | analytical
  99  | meditation
 100  | sleep
 101  deriving DecidableEq, Repr
 102
 103/-- M2/M4 ratio measurement protocol -/
 104structure ModeRatioProtocol where
 105  /-- States to measure -/
 106  states : List ConsciousnessState := [.baseline, .flow, .analytical, .meditation]
 107  /-- Number of trials per state -/
 108  trials_per_state : ℕ := 20
 109  /-- Measurement modality -/
 110  modality : String := "EEG_coherence"
 111
 112/-- Predictions for mode ratios by state -/
 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
 121
 122/-- The predicted mode ratios for each state -/
 123def modeRatioPredictions : List ModeRatioPrediction :=
 124  [⟨.flow, 1.5, 3.0, 0.95⟩,        -- High M2/M4 in flow
 125   ⟨.analytical, 0.3, 0.8, 0.95⟩,  -- Low M2/M4 in analytical

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.