EEGProtocol
plain-language theorem explainer
EEGProtocol supplies default parameters for an EEG recording setup intended to test for peaks at powers of phi during meditation. Researchers formalizing Recognition Science predictions would cite this structure when defining or simulating experiments that check the first core hypothesis. The declaration is a structure definition that hard-codes sample size, duration, sampling rate, resolution, and electrode list.
Claim. An EEG protocol is a record consisting of sample size $n=30$, recording duration $T=600$ s, sampling rate $f_s=256$ Hz, frequency resolution $0.1$ Hz, and the electrode set {Fz, Cz, Pz, O1, O2}.
background
The module states that all predictions are hypotheses equipped with explicit falsification criteria and derives them from the voxel/meaning framework. Core predictions include EEG peaks at $φ^n$ Hz during meditation states. Frequency is the type of real numbers. The upstream structure for records structural properties required by the meta-realization of self-reference axioms.
proof idea
The declaration is a structure definition that directly supplies default values for each field; no lemmas or tactics are applied.
why it matters
EEGProtocol supplies the concrete parameters used by theoryConfirmed to decide whether the eeg_falsified flag remains false. It operationalizes the first listed prediction (EEG φ-frequencies) inside the experimental-protocols module. The module treats every such prediction as a hypothesis whose status is settled only by observation, leaving open the empirical question of whether φ-peaks appear at the predicted locations.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.