module module moderate

`IndisputableMonolith.Experiments.Protocols`

The Experiments.Protocols module supplies definitions for EEG experimental protocols in Recognition Science. Researchers testing phi-emergence predictions in brain activity would cite these structures for structured predictions and falsification criteria. It organizes EEGProtocol, EEGPrediction, mode ratios, and ConsciousnessState as a definition module with no internal proofs.

claimThe module declares structures for EEGProtocol (experimental setup) and EEGPrediction (phi-based mode ratio forecasts) derived from J-cost minimization, together with falsification predicates such as isEEGFalsified and ratioInRange.

background

The module imports Constants, which fixes the RS time quantum as τ₀ = 1 tick, and PhiEmergence, whose doc-comment states '# φ-Emergence — The Golden Ratio from J-cost Minimization'. These supply the J-cost functional and the self-similar fixed point φ that underlie all protocol definitions. The local theoretical setting is the application of Recognition Science forcing chain results to concrete experimental interfaces for consciousness-related signals.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies EEGProtocol and related predicates that enable falsification tests of the Recognition framework. It connects directly to the phi-ladder and RCL by providing concrete experimental interfaces for mode ratios and ConsciousnessState. No downstream theorems are listed in the used_by edges.

scope and limits

Does not include raw EEG data or statistical analysis procedures.
Does not claim empirical validation of any RS prediction.
Does not extend definitions beyond EEG to other measurement modalities.
Does not specify numerical thresholds outside phi-derived ranges.

depends on (2)

Lean names referenced from this declaration's body.

IndisputableMonolith.Constants module_import
IndisputableMonolith.Foundation.PhiEmergence module_import

declarations in this module (22)

structure EEGProtocol L36
structure EEGPrediction L49
def eegPredictions L62
structure EEGFalsification L71
def matchesPhiPeak L80
def isEEGFalsified L89
inductive ConsciousnessState L95
structure ModeRatioProtocol L104
structure ModeRatioPrediction L113
def modeRatioPredictions L123
def ratioInRange L130
structure HealingProtocol L136
structure HealingPrediction L147
structure HealingTrialData L156
def isHealingFalsified L162
structure WaterProtocol L170
structure WaterPrediction L179
structure WaterMeasurement L190
def isWaterFalsified L196
structure TheoryFalsificationStatus L204
def theoryFalsified L217
def theoryConfirmed L225