EEGProtocol
plain-language theorem explainer
EEGProtocol records default parameters for an EEG study targeting φ-peaks in meditative states under Recognition Science. Experimentalists testing the voxel framework cite this when implementing the first core prediction. The structure simply enumerates subject count, duration, rate, resolution, and electrode list with preset values.
Claim. An EEG protocol consists of a sample size of 30, recording duration of 600 seconds, sampling rate of 256 Hz, frequency resolution of 0.1 Hz, and electrode positions Fz, Cz, Pz, O1, O2.
background
The Experiments.Protocols module formalizes experimental predictions from voxel theory, listing EEG φ-frequencies, mode ratios, healing via Θ-coupling, water structure, and falsification conditions. All are treated as hypotheses with explicit criteria rather than proven results. Frequency is an alias for the reals. The for structure encodes meta-realization axioms from the self-reference foundation.
proof idea
The declaration is a structure definition assigning default values to each protocol field. It requires no lemmas or tactics beyond the standard record construction.
why it matters
This protocol feeds theoryConfirmed, which asserts partial confirmation when eeg_falsified is false. It operationalizes the module's EEG φ-frequencies prediction at φ^n Hz. In the framework it supplies a concrete test for the phi self-similar fixed point in neural dynamics, linking to the eight-tick octave.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.