isWaterFalsified
plain-language theorem explainer
The declaration defines the falsification predicate for water structure experiments under the voxel theory predictions. An experimentalist testing coherence domains near intention would cite this predicate to decide whether a measured tau_gate satisfies the disjunction on deviation and change. The definition is a direct encoding of the logical condition on the two real-valued fields drawn from the WaterMeasurement structure.
Claim. The water prediction is falsified when $|τ_{gate} - 65| > 10$ or $|τ_{gate}^{intention} - τ_{gate}^{baseline}| < 1$, where $τ_{gate}$ is the gate time in picoseconds recorded in a WaterMeasurement datum.
background
The Experiments.Protocols module formalizes testable predictions from the voxel/meaning framework, including altered coherence domains in water near intention. WaterMeasurement is the structure that carries the raw data: a condition string together with the real numbers tau_gate and domain_size. The module treats every prediction as a hypothesis equipped with an explicit falsification criterion rather than a derived theorem.
proof idea
One-line definition that directly transcribes the doc-comment condition into a Prop: the disjunction of absolute deviation of baseline tau_gate from 65 exceeding 10 and absolute change under intention falling below 1 ps.
why it matters
The definition supplies the concrete falsification test for the water-structure prediction inside the module's unified falsification framework. It closes one of the five core experimental hypotheses listed in the module header and thereby supports the broader claim that Recognition Science yields falsifiable statements about physical systems. No downstream theorems depend on it yet; it remains an interface for future empirical work.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.