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

TheoryFalsificationStatus

show as:
view Lean formalization →

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

generate prose now

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.