`isWaterFalsified`

definition

show as: view math explainer →

module: IndisputableMonolith.Experiments.Protocols
domain: Experiments
line: 196 · 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 196.

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

formal source

 193  domain_size : ℝ
 194
 195/-- The water prediction is falsified if τ_gate is far from 65 ps OR no change near intention -/
 196def isWaterFalsified (baseline : WaterMeasurement) (intention : WaterMeasurement) : Prop :=
 197  -- Falsified if: τ_gate outside (60, 70) ps OR no change
 198  |baseline.tau_gate - 65| > 10 ∨
 199  |intention.tau_gate - baseline.tau_gate| < 1  -- Less than 1 ps change
 200
 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 ∧

papers checked against this theorem

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