theoryConfirmed
plain-language theorem explainer
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.
Claim. Let $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
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.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.