def
definition
isHealingFalsified
show as:
view math explainer →
open explainer
Read the cached plain-language explainer.
open lean source
IndisputableMonolith.Experiments.Protocols on GitHub at line 162.
browse module
All declarations in this module, on Recognition.
explainer page
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 : ℝ