predictions
plain-language theorem explainer
This definition enumerates four testable outcomes from Recognition Science for Fermi systems, including exact Pauli exclusion and the standard Fermi-Dirac form. Researchers in quantum statistics or stellar degeneracy would cite the list when checking ledger-derived thermodynamics against experiment. The entry is a direct enumeration of results obtained from the odd-phase constraint in the 8-tick structure.
Claim. The Recognition Science predictions for Fermi systems consist of the list: Pauli exclusion holds exactly to $10^{-29}$ precision, the Fermi-Dirac distribution is verified in metals, white-dwarf mass limits arise from degeneracy pressure, and the electronic specific-heat coefficient $γ$ is measured in all metals.
background
The module THERMO-009 derives the Fermi-Dirac distribution from the odd-phase ledger constraint within Recognition Science's 8-tick structure. Fermions carry odd 8-tick phase, enforcing antisymmetry so that no two occupy the same state; thermal equilibrium then minimizes J-cost subject to fixed average energy and particle number. Upstream results supply supporting pieces: ObserverForcing.cost identifies the J-cost of any recognition event as the cost of its state, while PrimitiveDistinction.from extracts four structural conditions plus three definitional facts from seven independent axioms.
proof idea
The declaration is a direct definition that simply enumerates the four listed strings. No lemmas are applied; the content follows immediately from the odd-phase ledger derivation already established in the surrounding module.
why it matters
The definition assembles the concrete predictions that follow from the Fermi-Dirac derivation in the 8-tick octave (T7). It records the outcomes expected from the paper proposition on quantum statistics from ledger structure and supplies the reference list for any later comparison with experiment. No downstream theorems depend on it yet.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.