pith. machine review for the scientific record. sign in
structure definition def or abbrev high

TheoryFalsificationStatus

show as:
view Lean formalization →

The structure aggregates five Boolean flags tracking whether EEG φ-peaks, mode ratios, healing coherence, water structure, or φ emergence from J-cost have been falsified by experiment. Researchers testing Recognition Science predictions would reference it to decide if the voxel theory survives or fails. It is introduced directly as a record type with fields defaulting to false.

claimA record whose five Boolean components indicate failure of the core predictions: EEG φ-peaks absent, mode ratios failing to classify states, healing decaying with distance, water coherence domains unchanged, and φ not emerging from J-cost.

background

The module states that all predictions are hypotheses with explicit falsification criteria derived from the voxel framework. Core predictions are EEG peaks at φ^n Hz in meditation, M2/M4 mode ratios classifying consciousness states, Θ-coupling for healing, altered water coherence near intention, and φ emergence from J-cost. Upstream results supply the relevant cost functions: the J-cost of any recognition event and the derived cost of a multiplicative recognizer on positive ratios.

proof idea

Defined directly as a record type with five Boolean fields, each initialized to false, plus a comment that the theory is falsified if any core prediction fails.

why it matters in Recognition Science

This supplies the data structure consumed by theoryFalsified and theoryConfirmed to decide overall status. It implements the falsification criteria listed in the module documentation for the five predictions. It closes the loop from the phi-emergence and J-cost machinery in the foundation to experimental test, consistent with the eight-tick octave and Recognition Composition Law.

scope and limits

formal statement (Lean)

 204structure TheoryFalsificationStatus where
 205  /-- EEG φ-peaks not found -/
 206  eeg_falsified : Bool := false

proof body

Definition body.

 207  /-- Mode ratios don't predict states -/
 208  mode_ratio_falsified : Bool := false
 209  /-- Healing decays with distance -/
 210  healing_falsified : Bool := false
 211  /-- Water structure unchanged or wrong τ_gate -/
 212  water_falsified : Bool := false
 213  /-- φ doesn't emerge from J-cost (theoretical) -/
 214  phi_emergence_falsified : Bool := false
 215
 216/-- Theory is falsified if ANY core prediction fails -/

used by (2)

From the project-wide theorem graph. These declarations reference this one in their body.

depends on (8)

Lean names referenced from this declaration's body.