`isHealingFalsified`

definition

show as: view math explainer →

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

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

 159  plv_change : ℝ
 160
 161/-- The healing prediction is falsified if effect decays significantly with distance -/
 162def isHealingFalsified (trials : List HealingTrialData) : Prop :=
 163  -- If correlation(distance, effect_size) < -0.5, the prediction is falsified
 164  -- This means: larger distance → smaller effect (decay)
 165  True  -- Placeholder for actual correlation computation
 166
 167/-! ## Water Structure Predictions -/
 168
 169/-- Water coherence domain measurement protocol -/
 170structure WaterProtocol where
 171  /-- Measurement technique -/
 172  technique : String := "ultrafast_IR_spectroscopy"
 173  /-- Time resolution (femtoseconds) -/
 174  time_resolution : ℝ := 100
 175  /-- Conditions to compare -/
 176  conditions : List String := ["control", "near_meditator", "intention_target"]
 177
 178/-- Water structure predictions -/
 179structure WaterPrediction where
 180  /-- Expected τ_gate in picoseconds -/
 181  tau_gate_ps : ℝ := 65
 182  /-- Expected change near intention (%) -/
 183  tau_change_percent : ℝ := 5
 184  /-- Expected coherence domain size (nm) -/
 185  domain_size_nm : ℝ := 10
 186  /-- Expected size change (%) -/
 187  size_change_percent : ℝ := 10
 188
 189/-- Data from water structure measurement -/
 190structure WaterMeasurement where
 191  condition : String
 192  tau_gate : ℝ

papers checked against this theorem

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