modeRatioPredictions
plain-language theorem explainer
This definition enumerates four concrete numerical predictions for the M2/M4 EEG mode ratio across flow, analytical, meditation, and baseline states. Experimental physicists testing voxel-derived consciousness signatures would cite these ranges when designing EEG protocols. The body is a direct literal list of four ModeRatioPrediction records with no further computation or derivation.
Claim. The list of predicted M2/M4 ratios consists of the quadruples (flow, $[1.5,3.0]$, 0.95), (analytical, $[0.3,0.8]$, 0.95), (meditation, $[0.9,1.1]$, 0.95), and (baseline, $[0.8,1.2]$, 0.90).
background
The module Experiments.Protocols supplies testable predictions derived from the voxel/meaning framework. Its core claims include that M2/M4 mode ratios classify consciousness states and that all such predictions remain hypotheses equipped with explicit falsification criteria. ModeRatioPrediction is the structure that records a ConsciousnessState, the closed interval [ratio_low, ratio_high] expected for the M2/M4 ratio, and a numerical confidence value.
proof idea
Direct enumeration: the definition constructs a four-element list whose entries are literal ModeRatioPrediction structures, each supplying a state, ratio bounds, and confidence.
why it matters
The definition supplies the numerical content required by the mode-ratio hypothesis inside the experimental-protocols module. It operationalizes the claim that M2/M4 ratios distinguish consciousness states and thereby feeds the EEG falsification tests listed in the module documentation. No downstream theorems yet consume the list.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.