HealingProtocol
plain-language theorem explainer
The HealingProtocol structure records parameters for testing distance-independent coherence transfer between healer and patient, defaulting to 50 pairs, distances from 1 m to 10 km, patient blinding, and outcomes such as HRV coherence plus EEG phase locking. Experimental groups checking Recognition Science predictions on Θ-coupling would cite these defaults when designing double-blind trials. It is realized as a Lean structure that simply enumerates the fields with their preset values.
Claim. A distance-independent healing protocol is a record containing a natural number $n$ of healer-patient pairs (default 50), a finite list of test distances in meters, a boolean flag for patient double-blinding (default true), and a list of outcome measures that includes subjective wellbeing, HRV coherence, and EEG phase locking.
background
The declaration lives inside the Experiments.Protocols module, whose module doc states that all predictions are hypotheses with explicit falsification criteria derived from voxel theory. Core items listed there include EEG φ-frequencies, mode ratios classifying consciousness states, and healing via coherence transfer through Θ-coupling. Upstream structures supply the supporting machinery: PhiForcingDerived.of encodes J-cost minimization, SpectralEmergence.of forces the gauge content and three generations, and DAlembert.LedgerFactorization.of calibrates the underlying J function.
proof idea
This is a structure definition that directly lists four fields together with their default values. No lemmas or tactics are invoked; the body is a straightforward record construction.
why it matters
HealingProtocol supplies the concrete parameters that feed the healing_falsified check inside theoryConfirmed. It thereby turns the voxel-theory prediction of coherence transfer into a reproducible experimental design. The protocol closes the path from the Recognition Science forcing chain (T5 J-uniqueness to T8 D=3) to an empirical test whose quantitative backbone is the phi-ladder and the alpha band.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.