nobleGasElectrons
plain-language theorem explainer
Recognition Science tabulates the cumulative electron counts for the noble gases as the list of natural numbers [2, 10, 18, 36, 54, 86]. Atomic physicists working from ledger antisymmetry would cite these values when checking shell-filling predictions against the periodic table. The declaration is a direct constant definition with no lemmas or computation steps.
Claim. The electron counts for the noble gases are the list $[2, 10, 18, 36, 54, 86]$.
background
The QFT-004 module derives the Pauli exclusion principle from Recognition Science ledger single-occupancy. Fermions are odd-phase ledger entries that accumulate a phase of −1 through the 8-tick cycle, forcing antisymmetry ψ(a,a) = −ψ(a,a) and therefore zero amplitude for double occupancy. This mechanism produces atomic shell structure and the periodic table. The upstream class has, which ranks mineral spectra by φ^k rungs, is imported by the module but not invoked by this declaration.
proof idea
The declaration is a direct definition of the constant list. No lemmas are applied and no tactics are used beyond the literal assignment of the six values.
why it matters
This list supplies the concrete numbers for the downstream theorems helium_electrons, neon_electrons, and argon_electrons. It instantiates the atomic shell counts that follow from the Pauli exclusion principle derived via ledger antisymmetry, consistent with the eight-tick octave and the module target of a first-principles derivation of shell structure.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.