cumulative_closure_eq_noble
plain-language theorem explainer
The theorem establishes that cumulative shell closures for the first six periods coincide exactly with the standard noble gas atomic numbers. Recognition theorists modeling chemistry via eight-tick neutrality would cite this to confirm the deterministic mapping from valence costs to observed closures. The proof proceeds by exhaustive case analysis on the finite index set followed by reflexivity.
Claim. For each integer $n$ with $0leq n<6$, the cumulative electron count at shell closure $n$ equals the $n$th noble gas atomic number.
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, and an eight-window neutrality predicate to detect noble-gas closures. The cumulativeShellClosure function returns the running electron totals at each closure point, defined explicitly as the sequence 2, 10, 18, 36, 54, 86. The nobleGasZ list stores these canonical values, and the shell definition scales block capacities by the coherence energy E_coh. This local setting realizes the Noble Gas Closure Theorem (P0-A0), where noble gases mark exact 8-window neutrality points under the deterministic valence proxy.
proof idea
The proof applies fin_cases to exhaust the six possible values of the finite index n and then uses reflexivity to establish the equality in each case.
why it matters
This result anchors the chemical manifestation of the eight-tick ledger balance within the Recognition Science framework. It directly supports the Noble Gas Closure Theorem (P0-A0) by verifying that cumulative valence costs hit neutrality exactly at the observed noble gas numbers. It connects to the T7 eight-tick octave landmark, where the period 2^3 enforces the closure pattern without parameter fitting.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.