experiments
plain-language theorem explainer
Recognition Science enumerates four historical experiments that confirm interference patterns under its 8-tick phase model. Quantum foundations researchers cite the list to ground derivations of path-phase accumulation leading to constructive and destructive fringes. The declaration is a direct definition that populates a reference list without lemmas or reductions.
Claim. The experimental validations for double-slit interference from 8-tick phase accumulation are Young's 1801 light experiment, Davisson-Germer 1927 electron diffraction, 1999 fullerene interference, and delayed-choice quantum eraser observations.
background
The DoubleSlit module derives interference from the 8-tick phase structure, where Phase is the finite set of 8 discrete phases (Fin 8) drawn from the RRF eight-tick cycle. Path differences accumulate phases on two routes, yielding intensity proportional to 2 + 2 cos(Δφ). Upstream results supply the Phase abbreviation from ChurchTuringPhysicsStructure and RRF.Hypotheses.EightTick, together with the meta-realization structure in UniversalForcingSelfReference that records coherence axioms required for the forcing chain.
proof idea
The declaration is a direct definition that constructs the list of four experiment strings. No tactics, lemmas, or reductions are invoked; it functions as a static reference enumeration for the module.
why it matters
The definition anchors the QF-012 claim that interference emerges from 8-tick phase accumulation and feeds downstream experimental modules including ANITAUpgoing curvature_defect_strength and DAMAModulation substrate_model. It connects to the eight-tick octave (T7) landmark and supplies the empirical basis for RS predictions in gravity and Hamiltonian contexts.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.