WaterMeasurement
plain-language theorem explainer
WaterMeasurement records experimental data for testing altered water coherence domains near intention, storing a condition label, gate time, and domain size. Experimental physicists validating voxel-theory predictions would cite this record to standardize measurements before applying falsification checks. The declaration is a plain structure definition introducing the record type with three fields and no computational content or axioms.
Claim. A water measurement consists of a condition string, a real number $τ_{gate}$ for the gate time, and a real number for the domain size.
background
The module Experiments.Protocols formalizes testable predictions derived from the voxel/meaning framework. Core predictions include altered coherence domains in water near intention, with all claims treated as hypotheses carrying explicit falsification criteria. WaterMeasurement supplies the data record for the water-structure case listed in the module documentation.
proof idea
The declaration is a structure definition. It introduces the record type with three fields and carries no proof obligations or tactic steps.
why it matters
This structure supplies the input type for the downstream falsification check isWaterFalsified, which tests whether $τ_{gate}$ lies outside (60,70) ps or shows insufficient change under intention. It therefore implements one concrete hypothesis in the unified falsification framework described in the module. The placement aligns with Recognition Science emphasis on explicit, testable claims rather than derived theorems.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.