`TheoryFalsificationStatus`

definition

show as: view math explainer →

module: IndisputableMonolith.Experiments.Protocols
domain: Experiments
line: 204 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Experiments.Protocols on GitHub at line 204.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

used by

formal source

 201/-! ## Unified Falsification Framework -/
 202
 203/-- Master falsification structure tracking all predictions -/
 204structure TheoryFalsificationStatus where
 205  /-- EEG φ-peaks not found -/
 206  eeg_falsified : Bool := false
 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 -/
 217def theoryFalsified (status : TheoryFalsificationStatus) : Prop :=
 218  status.eeg_falsified ∨
 219  status.mode_ratio_falsified ∨
 220  status.healing_falsified ∨
 221  status.water_falsified ∨
 222  status.phi_emergence_falsified
 223
 224/-- Theory is partially confirmed if ALL predictions pass -/
 225def theoryConfirmed (status : TheoryFalsificationStatus) : Prop :=
 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

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.