structure definition def or abbrev

`HealingProtocol`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 136structure HealingProtocol where
 137  /-- Number of healer-patient pairs -/
 138  n_pairs : ℕ := 50

proof body

Definition body.

 139  /-- Distances to test (meters) -/
 140  distances : List ℝ := [1, 10, 100, 1000, 10000]
 141  /-- Blinding: healer knows when sending, patient does not -/
 142  double_blind_patient : Bool := true
 143  /-- Outcome measures -/
 144  outcomes : List String := ["subjective_wellbeing", "HRV_coherence", "EEG_phase_locking"]
 145
 146/-- Healing coherence transfer prediction -/

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

theoryConfirmed in IndisputableMonolith.Experiments.Protocols decl_use

depends on (7)

Lean names referenced from this declaration's body.

of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
Outcome in IndisputableMonolith.Decision.MontyHall decl_use
of in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization decl_use
of in IndisputableMonolith.Foundation.PhiForcingDerived decl_use
of in IndisputableMonolith.Foundation.SpectralEmergence decl_use
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
Outcome in IndisputableMonolith.Quantum.BellInequality decl_use