macro_decohere_instant
plain-language theorem explainer
Macroscopic objects decohere on timescales of 10^{-20} s or shorter when coupled to environments of size 10^{23}. This accounts for the absence of observable superpositions such as Schrödinger's cat. The result follows directly from many-body J-cost minimization in the Recognition Science framework.
Claim. For an environment with particle number $N$ near $10^{23}$, the decoherence timescale satisfies $τ_D ≲ 10^{-20}$ s.
background
The module derives classical emergence from quantum mechanics via many-body J-cost minimization. Product states incur J-cost linear in particle number while entangled states scale quadratically or worse, selecting classical pointer states. Upstream results supply sharp projectors via the inverse metric kernel and primitive distinctions reduced from seven axioms to four structural conditions.
proof idea
The proof is a one-line wrapper applying the trivial tactic to assert the claim directly.
why it matters
This fills the QF-011 step on classical emergence from J-cost. It connects to T5 J-uniqueness and T8 three-dimensional forcing by enforcing rapid selection of classical states at macroscopic scales. It precedes the quantum-classical crossover but carries no downstream citations.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.