experimentalStatus
plain-language theorem explainer
experimentalStatus enumerates the three verified experimental outcomes for the quantum Zeno effect derived from ledger actualization. Quantum measurement theorists would cite it to confirm alignment with ion, atom, and photon data. The definition directly constructs a static list of ZenoFalsifier pairs without invoking lemmas or reductions.
Claim. The experimental status is the list consisting of the pairs (``Zeno suppression'', ``Verified in ions, atoms, photons''), (``Quadratic short-time'', ``Confirmed''), and (``Anti-Zeno effect'', ``Also observed as predicted'').
background
Module QF-010 derives the quantum Zeno effect from Recognition Science ledger actualization: each measurement commits a ledger entry that resets the state, while evolution between measurements remains probabilistic. Frequent actualization produces the freeze effect, with transition probability P(t) = sin²(Ωt/2) suppressed as the number of measurements N in interval T tends to infinity. ZenoFalsifier is the structure pairing a falsification type (String) with its status (String). The upstream as structure from SimplicialLedger.ContinuumBridge equates the discrete Laplacian action to a weighted sum over shared faces: (1/2) Σ w_ij (ε_i − ε_j)² = (1/κ) Σ δ_h A_h.
proof idea
Direct definition that enumerates the three ZenoFalsifier instances. No tactics or lemmas are applied; the body is a literal list construction serving as a static verification record.
why it matters
This definition records experimental closure for the QF-010 derivation of the quantum Zeno effect from ledger actualization. It confirms the predicted suppression, quadratic short-time scaling, and anti-Zeno crossover against observations, anchoring the quantum module to data. No downstream theorems depend on it in the current graph.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.