theoryConfirmed
theoryConfirmed encodes partial confirmation of the voxel theory by requiring that none of the five experimental falsification flags are raised. Researchers running EEG phi-peak or mode-ratio studies would reference this predicate when aggregating protocol outcomes. The definition expands as a direct conjunction of negations on the status fields with no lemmas or reductions required.
claimLet $S$ be a TheoryFalsificationStatus. The predicate holds precisely when none of the following flags are true: EEG predictions falsified, mode-ratio predictions falsified, healing protocol falsified, water-structure predictions falsified, or phi-emergence from J-cost falsified.
background
The Experiments.Protocols module formalizes testable predictions from voxel theory as explicit hypotheses rather than theorems. TheoryFalsificationStatus is the master structure whose five boolean fields track whether each prediction area has been contradicted: eeg_falsified for phi-peaks, mode_ratio_falsified for consciousness-state classification, healing_falsified for distance-independent coherence transfer, water_falsified for altered coherence domains, and phi_emergence_falsified for the theoretical J-cost derivation.
proof idea
Direct definition as the conjunction of five negations, one per field of TheoryFalsificationStatus. No tactics or upstream lemmas are invoked; the body is the literal propositional expansion of the doc-comment.
why it matters in Recognition Science
This definition supplies the positive confirmation predicate that complements theoryFalsified and aggregates the experimental hypotheses listed in the module documentation. It operationalizes the phi-ladder predictions (EEG peaks at phi^n Hz) and J-cost emergence without claiming empirical verification. No downstream theorems yet reference it, leaving open its integration into larger confirmation or falsification metrics.
scope and limits
- Does not assert that any prediction has been experimentally verified.
- Does not encode statistical thresholds or sample-size criteria.
- Does not address predictions outside the five tracked areas.
- Does not imply the theory is proven, only that these flags remain false.
formal statement (Lean)
225def theoryConfirmed (status : TheoryFalsificationStatus) : Prop :=
proof body
Definition body.
226 ¬status.eeg_falsified ∧
227 ¬status.mode_ratio_falsified ∧
228 ¬status.healing_falsified ∧
229 ¬status.water_falsified ∧
230 ¬status.phi_emergence_falsified
231
232/-! ## Summary -/
233
234#check EEGProtocol
235#check EEGPrediction
236#check eegPredictions
237#check ModeRatioPrediction
238#check HealingProtocol
239#check WaterPrediction
240#check TheoryFalsificationStatus
241#check theoryFalsified
242
243end Experiments
244end IndisputableMonolith