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

isHealingFalsified

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)

 162def isHealingFalsified (trials : List HealingTrialData) : Prop :=

proof body

Definition body.

 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 -/

depends on (7)

Lean names referenced from this declaration's body.