nobleGasZ
plain-language theorem explainer
The declaration supplies the fixed list of noble gas atomic numbers [2, 10, 18, 36, 54, 86] as the canonical closure points for the first six periods plus Oganesson. Researchers modeling chemical periodicity within the Recognition Science framework cite this list when proving shell closure properties or ionization sawtooth patterns. The definition is a direct constant list with no further computation or proof obligations.
Claim. The noble gas atomic numbers are the list $[2, 10, 18, 36, 54, 86]$.
background
The Periodic Table Engine maps the eight-tick octave to chemistry via phi-tier rails and fixed block offsets, with an eight-window neutrality predicate that detects noble-gas closures as ledger balance points. Noble gases are exactly those elements where cumulative valence cost returns to zero mod 8, isomorphic to the RS scheduler's 8-tick neutrality condition. The upstream period definition supplies the scaling phi^k used in related shell and energy calculations.
proof idea
Direct definition that hardcodes the list of noble gas atomic numbers as a constant.
why it matters
This definition anchors the Noble Gas Closure Theorem (P0-A0) by supplying the exact sequence that cumulative shell closures must match. It is referenced by isNobleGas to define membership, by cumulative_closure_eq_noble to verify equality with shell sums, and by sawtooth_reset to establish ionization resets at period boundaries. In the framework it realizes the eight-tick octave (T7) as chemical shell closures at 8-window neutrality points.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.