nobleGasZFull
plain-language theorem explainer
The declaration supplies the atomic numbers of noble gases extended through period 7 to include Oganesson. Chemists applying Recognition Science to the periodic table would cite this list as the deterministic closure points under eight-window neutrality. The definition is a direct enumeration of the sequence forced by ledger packing constraints and angular momentum quantization.
Claim. The extended noble gas atomic numbers are the list $[2, 10, 18, 36, 54, 86, 118]$.
background
The Periodic Table Engine implements an octave-to-eight-tick mapping for chemistry using phi-tier rails, fixed block offsets for s/p/d/f subshells, and an eight-window neutrality predicate to locate rests at noble-gas closures. No per-element tuning is allowed; the module supplies a zero-parameter API for downstream predictions and falsifiers. The Noble Gas Closure Theorem (P0-A0) identifies noble gases as exactly those elements where cumulative valence cost returns the running sum mod 8 to zero, isomorphic to the fundamental RS scheduler's 8-tick balance.
proof idea
This is a direct definition that enumerates the atomic numbers corresponding to noble gas closures. The list is supplied explicitly as the sequence forced by angular momentum quantization derived from ledger packing constraints; no lemmas or tactics are invoked.
why it matters
This definition supplies the concrete list realizing the Noble Gas Closure Theorem (P0-A0) described in the module documentation. It connects the chemical manifestation of 8-tick ledger balance to the T7 eight-tick octave in the forcing chain and the D=3 spatial structure. The extension to 118 provides a scaffold for falsifiable predictions on period-7 closures without dataset fitting.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.