experimentalStatus
plain-language theorem explainer
Definition supplies a snapshot list of three EmergenceFalsifier records that track empirical status for the claim that classical behavior emerges from many-body J-cost minimization. Quantum foundations researchers would cite it when checking whether observed decoherence and absence of macroscopic superpositions align with the Recognition Science account. The body is a direct list literal of string pairs, each pairing a potential falsifier with its reported status.
Claim. The experimental status list is $[ (``Macro superpositions'', ``Never observed''), (``Decoherence scaling'', ``Confirmed in experiments''), (``Classical at large N'', ``Universal observation'') ]$, where each pair records a potential falsifier of classical emergence together with its current experimental status.
background
The module QF-011 derives classical emergence from quantum mechanics by showing that many-body J-cost favors product states over entangled ones: for N particles the J-cost of product states grows linearly while entangled states grow quadratically, so large-N systems minimize total cost by becoming classical. EmergenceFalsifier is the structure that records a potential counterexample (falsifier string) together with its status string. The supplied definition populates this list with the three checks that currently support the picture.
proof idea
Direct definition that constructs the List EmergenceFalsifier by enumerating three literal records, each built from the two string fields of the EmergenceFalsifier structure.
why it matters
The definition supplies the empirical anchor for the classical emergence derivation in the ClassicalEmergence module, which targets a Nature Physics paper on J-cost minimization. It draws on the upstream experimental lists from DoubleSlit, PlanckScale and PMNSMatrix to frame falsifiability criteria. The list directly supports the module claim that current data (no persistent macro superpositions, size-dependent decoherence, universal classicality at large N) is consistent with the Recognition Science mechanism.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.