eegPredictions
plain-language theorem explainer
eegPredictions enumerates six EEGPrediction records whose center frequencies are the powers φ^n Hz for integer n from -2 to 3. Neuroscientists or experimental physicists testing Recognition Science voxel predictions would cite this list when designing meditation EEG protocols. The definition is a direct list literal that hard-codes the mode indices, bandwidths, minimum amplitudes, and 95 % confidence levels.
Claim. The predicted EEG peaks are the list of records with mode indices $n=-2,-1,0,1,2,3$, center frequencies $φ^n$ Hz (with $φ^0=1$), common bandwidth 0.2 Hz, minimum amplitudes 0.5, 0.5, 1.0, 1.0, 0.8, 0.5 μV²/Hz respectively, and detection at 0.95.
background
The module Experiments.Protocols formalizes testable hypotheses derived from voxel theory, stating that EEG φ-frequencies appear as peaks at φ^n Hz during meditation and that all such predictions remain hypotheses equipped with explicit falsification criteria. EEGPrediction is the structure that packages each peak: an integer mode index n, real center frequency φ^n, bandwidth (default 0.2 Hz), minimum amplitude, and detection . Upstream results supply the underlying phi-ladder (via PhiEmergence) and the Kronecker delta used in related cost calculations, but the present definition simply enumerates the concrete values.
proof idea
The declaration is a definition that directly constructs the List EEGPrediction by a literal containing six explicit records; no lemmas or tactics are applied beyond the structure constructor for EEGPrediction.
why it matters
This definition supplies the concrete EEG predictions consumed by theoryConfirmed, which returns true only when none of the listed falsification flags (including eeg_falsified) are raised. It operationalizes the first core prediction in the module doc-comment and thereby links the experimental layer to the phi-forcing chain (T5–T6) that generates the self-similar frequencies. The entry remains a hypothesis, not a proved theorem, consistent with the module’s claim-hygiene statement.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.