Chemistry Periodic Table From Phi Ladder Shell Capacity 1

The first shell's capacity

The periodic table's first electron shell holds exactly two elements: hydrogen and helium. That is the fact the declaration shellCapacity_1 certifies. In the framework's library, a machine-checked collection of formal theorems, the definition of shell capacity is 2n², where n is the principal quantum number. For n equals 1, that formula gives 2 × 1² = 2. The theorem shellCapacity_1 proves this value by direct computation, with no unproved assumptions left open.

The same definition extends to the other known shells. The second shell holds 8 elements, the third holds 18, and the fourth holds 32. These are the familiar capacities 2, 8, 18, 32 that fill the periodic table's rows. The framework's library proves each of these four values as separate theorems, and bundles them together with the five block types into a single certified structure called the periodic table certificate.

The five block types are the s-block with 2 elements, the p-block with 6, the d-block with 10, and the f-block with 14, plus a predicted g-block. Their total is 32, which equals 2⁵. The framework's library proves that there are exactly five such block types. This block count is separate from the shell capacities; the capacities come from 2n², while the block total comes from adding the five block sizes.

In Recognition Science, this shell capacity result connects to a larger pattern. The framework models the periodic table's period lengths as steps on a phi-ladder, a sequence where each step relates to the golden ratio. Period lengths follow the pattern 2, 8, 8, 18, 18, 32, 32 across the seven rows. The shell capacity theorem for n equals 1 is the first rung of that ladder, the smallest piece that the larger pattern builds on.

What this declaration does not do is explain why shells have these capacities. It certifies that 2n² gives the right numbers for the first four shells, but it does not derive that formula from quantum mechanics or from any deeper principle. The framework's library proves the arithmetic, not the physics. The physical origin of the 2n² rule remains a separate question, one the framework does not claim to settle here.

theorem shellCapacity_1 : shellCapacity 1 = 2 := by decide

def periodicTableCert : PeriodicTableCert where
  five_blocks := electronBlockCount
  s1_cap := shellCapacity_1
  s2_cap := shellCapacity_2
  s3_cap := shellCapacity_3
  s4_cap := shellCapacity_4

theorem shellCapacity_2 : shellCapacity 2 = 8 := by decide

theorem shellCapacity_3 : shellCapacity 3 = 18 := by decide

theorem shellCapacity_4 : shellCapacity 4 = 32 := by decide

theorem electronBlockCount : Fintype.card ElectronBlock = 5 := by decide

What this page does not claim

This does not claim that the 2n² formula is derived from quantum mechanics. This does not claim that the phi-ladder pattern is proven for all periods. This does not claim that shell capacities explain chemical reactivity.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Chemistry/PeriodicTableFromPhiLadder.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: