Chemistry Periodic Table From Phi Ladder Shell Capacity 3

The third shell

The electron shells of the periodic table fill in a pattern: the first shell holds 2 elements, the second holds 8, the third holds 18, and the fourth holds 32. These are the familiar capacities 2n² for n = 1, 2, 3, 4. The third shell's capacity of 18 is what the Recognition Science declaration shellCapacity_3 establishes: it is a machine-checked theorem stating that the function shellCapacity(3) equals 18. This is not a new empirical discovery; it is a formal verification of a standard chemistry fact.

The declaration lives in a machine-checked library of formal theorems, where every statement is checked by a computer from definitions and axioms. In that library, the shell capacity is defined as the function 2n². The theorem shellCapacity_3 then proves, by direct computation, that applying this definition to n = 3 gives 18. The same library also proves the capacities for shells 1, 2, and 4, and bundles all four together with the count of five electron block types (s, p, d, f, and predicted g) into a single certificate structure.

In Recognition Science, this certificate is part of a larger story. The framework models the periodic table's period lengths as a phi-ladder pattern: periods of 2, 8, 8, 18, 18, 32, 32 elements. The shell capacities themselves are not phi-ladder numbers; they are the standard 2n² values. What the framework adds is a formal, machine-checked link between the block structure and the period lengths, all derived without any unproved assumptions in the library.

What shellCapacity_3 does not claim is just as important. It does not derive the shell capacity from the golden ratio or from any deeper physical principle. It simply verifies that a chosen definition gives the known value 18. It does not explain why electrons fill shells this way, and it does not predict any new element or shell. The declaration is a formal bookkeeping step, not a new law of nature.

theorem shellCapacity_3 : shellCapacity 3 = 18 := 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

What this page does not claim

Does not derive the shell capacity from the golden ratio. Does not explain the physical origin of electron shell filling. Does not predict any new element or shell.

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: