predictions
plain-language theorem explainer
Recognition Science encodes its double-slit predictions as a fixed list of four strings. Quantum experimentalists would reference this list when testing the eight-tick phase model against observed interference. The definition simply enumerates the intensity formula together with the effects of measurement and eraser protocols.
Claim. The double-slit predictions consist of the list $[I(y) = 4 cos^2(π d y / λ L),$ single particles show interference, measurement destroys interference, quantum eraser recovers interference$]$.
background
The module QF-012 derives double-slit interference from Recognition Science's eight-tick phase structure. Two paths accumulate phases over eight ticks, yielding a phase difference Δφ that produces the intensity I ∝ 2 + 2 cos(Δφ). Upstream results supply the Measurement structure, which records value, protocol, and uncertainty, and the ledger L that tracks debit and credit in the recognition cycle.
proof idea
The definition directly constructs the list of strings. No lemmas are applied; it is a literal enumeration of the four predicted outcomes.
why it matters
This definition supplies the concrete predictions for the double-slit experiment within the Recognition framework. It fills the QF-012 target by listing the interference pattern and measurement effects derived from the eight-tick octave. No downstream theorems depend on it yet, leaving open the question of formal derivation of the intensity formula from the Recognition Composition Law.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.