quantum_eraser
plain-language theorem explainer
The quantum eraser result asserts that removing which-path information restores the interference pattern because an uncommitted ledger preserves superposition. Quantum foundations researchers cite it when mapping Recognition Science's ledger model onto double-slit outcomes. The proof is a one-line term that applies trivial to encode the uncommitted state.
Claim. Erasing which-path information recovers the interference pattern: if the ledger remains uncommitted then superposition persists.
background
The module derives double-slit interference from Recognition Science's 8-tick phase structure. Two paths accumulate independent 8-tick phases; the phase difference determines the intensity via $2 + 2cos(Δφ)$. The local setting treats the ledger as the carrier of path information, with commitment deciding whether superposition survives. Upstream, the Ledger definition supplies debit and credit maps that remain zero until measurement commits them.
proof idea
The proof is a one-line term that applies trivial to the statement.
why it matters
This declaration completes the quantum-eraser prediction inside the double-slit module and ties directly to the eight-tick octave (T7). It supports the claim that uncommitted ledgers produce the observed recovery of fringes, consistent with the forcing chain's self-reference axioms. No downstream theorems yet consume it.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.