EEGPrediction
plain-language theorem explainer
EEGPrediction supplies the record type for expected EEG spectral peaks at integer powers of the golden ratio. Experimental physicists testing Recognition Science would reference this structure when logging meditation-induced bands and their detection thresholds. The declaration is a direct structure definition that enumerates five fields with two defaults supplied inline.
Claim. A record consisting of an integer mode index $n$, real center frequency $f = φ^n$ in Hz, bandwidth $Δf$ in Hz (default 0.2), minimum amplitude in μV²/Hz, and detection confidence (default 0.95).
background
Recognition Science places physical frequencies on the phi-ladder generated by the self-similar fixed point T6. The module Experiments.Protocols turns the voxel framework into concrete laboratory claims, beginning with EEG peaks at φ^n Hz during meditation. Upstream, SpectralEmergence.of shows how the same lattice forces SU(3)×SU(2)×U(1) and three generations, while PhiForcingDerived.of encodes the J-cost that selects discrete modes; NucleosynthesisTiers.of and LedgerFactorization.of supply the tier and calibration language reused here.
proof idea
The declaration is a plain structure definition that introduces the five fields without any computational content or proof obligations.
why it matters
This structure supplies the data format consumed by eegPredictions, which populates the list checked inside theoryConfirmed. It directly encodes the first core prediction in the module documentation. The construction therefore links the phi-forcing axioms (T6) and the eight-tick octave (T7) to an observable channel that can falsify the entire framework if the predicted bands are absent.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.