HealingProtocol
plain-language theorem explainer
The structure for a distance-independent healing study specifies parameters for testing coherence transfer. Researchers validating voxel theory predictions would reference this to standardize trials. It assembles defaults for pair counts, distances, blinding, and outcomes.
Claim. A protocol for distance-independent healing experiments consists of a natural number of healer-patient pairs (default fifty), a list of test distances in meters (default $[1, 10, 100, 1000, 10000]$), a boolean flag for patient double-blinding (default true), and a list of outcome measures (default subjective wellbeing, HRV coherence, EEG phase locking).
background
The module formalizes experimental predictions from the voxel/meaning framework. Core among them is the healing mechanism of coherence transfer via Θ-coupling, listed alongside EEG φ-frequency peaks and mode-ratio classification of consciousness states. All such predictions are treated as hypotheses equipped with explicit falsification criteria rather than proven results. Upstream structures on J-cost minimization (convexity at x=1) and spectral emergence (SU(3)×SU(2)×U(1) gauge content) supply the Recognition Science basis that motivates expecting these patterns in controlled trials.
proof idea
The declaration is a structure definition that directly encodes the protocol fields together with their default values. No lemmas from the depends_on list are invoked; the body simply lists the four fields with := initializers.
why it matters
This supplies the concrete experimental specification whose falsification status is aggregated inside theoryConfirmed. It operationalizes the healing coherence transfer prediction that the module lists as one of five core testable claims. The parent result theoryConfirmed checks the corresponding falsified flag alongside EEG and mode-ratio results to decide partial confirmation of the overall theory.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.