ZenoFalsifier
plain-language theorem explainer
The ZenoFalsifier structure records conditions that would refute the Recognition Science account of the quantum Zeno effect via ledger actualization. Experimental physicists testing frequent-measurement suppression of decay would cite the record when comparing predictions against ion-trap or photon data. It is introduced as a bare record type whose two string fields hold the falsifier description and its observed status.
Claim. A record type whose fields are a falsifier description (String) and its status (String), enumerating the four concrete observations that would refute the claim that frequent ledger actualizations suppress transitions according to $P(t) = 1 - (1 - sin^2(ΩT/2N))^N$.
background
Module QF-010 derives the quantum Zeno effect from ledger actualization: each measurement commits a ledger entry, resetting the state and thereby freezing evolution between measurements. The upstream Constants.RSNativeUnits.status fixes the native units with $c=1$, $ħ=φ^{-5}$, and the φ-ladder, while PhiForcingDerived.of supplies the J-cost whose convexity underpins the probabilistic ledger updates. SpectralEmergence.of and DAlembert.LedgerFactorization.of supply the discrete spatial and factorization structure that converts continuous evolution into discrete actualization steps.
proof idea
The declaration is a structure definition with an empty proof body; it simply introduces the record type whose instances are later collected in the experimentalStatus list.
why it matters
The record closes the experimental loop for the QF-010 derivation by enumerating the four falsifiers listed in its doc-comment; downstream experimentalStatus populates the list with the observed outcomes (Zeno suppression verified, quadratic short-time behavior confirmed, anti-Zeno effect observed). It therefore anchors the ledger-actualization mechanism to the T5 J-uniqueness and T6 phi fixed-point steps of the forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.