pith. machine review for the scientific record. sign in
module module moderate

IndisputableMonolith.Experiments.Protocols

show as:
view Lean formalization →

The Experiments.Protocols module assembles definitions for experimental protocols that test Recognition Science predictions, with primary focus on EEG measurements of phi-related peaks and mode ratios. Experimental physicists or neuroscientists designing falsification tests for the framework would cite these structures. The module consists entirely of declarations and predicates with no embedded proofs or derivations.

claimThe module defines EEGProtocol together with EEGPrediction, modeRatioPredictions, and falsification predicates such as isEEGFalsified and matchesPhiPeak, all grounded in the J-cost minimization that yields the golden ratio.

background

The module sits in the Experiments domain and imports the fundamental time quantum τ₀ = 1 tick from Constants together with the phi-emergence construction from PhiEmergence, where φ arises as the self-similar fixed point of J-cost minimization. It introduces sibling declarations EEGProtocol, EEGPrediction, ConsciousnessState, ModeRatioProtocol, and HealingProtocol to organize concrete test procedures. These build directly on the upstream phi-emergence result that J(xy) + J(x/y) = 2J(x)J(y) + 2J(x) + 2J(y).

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the concrete experimental interface needed to test Recognition Science claims, including the eight-tick octave (T7) and phi-ladder predictions in observable signals. It connects upstream phi-emergence directly to measurable EEG and mode-ratio data, enabling future validation of the forcing chain steps T5–T8. No downstream theorems are recorded yet.

scope and limits

depends on (2)

Lean names referenced from this declaration's body.

declarations in this module (22)