ModeRatioProtocol
plain-language theorem explainer
ModeRatioProtocol structures an EEG coherence protocol for measuring M2/M4 ratios across four consciousness states with twenty trials each. Experimental groups testing voxel-theory predictions on state classification would cite the defaults for reproducibility. The declaration is a plain structure supplying those three fields with fixed defaults.
Claim. A structure for M2/M4 ratio measurement that takes a list of consciousness states (default baseline, flow, analytical, meditation), a natural number of trials per state (default 20), and a string modality (default EEG coherence).
background
The module Experiments.Protocols supplies testable hypotheses derived from voxel theory. Its core predictions include the claim that M2/M4 ratios classify consciousness states, alongside EEG phi-frequency peaks and coherence-transfer healing. All entries carry explicit falsification criteria and are labeled hypotheses rather than theorems.
proof idea
The declaration is a structure definition that directly enumerates the three fields and their default values; no lemmas or tactics are applied.
why it matters
It encodes the second core prediction listed in the module doc-comment (mode ratios classify consciousness states) and supplies the concrete measurement interface needed to test that claim against Recognition Science forcing-chain results. No downstream theorems yet reference it.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.