Chemistry Periodic Table From Phi Ladder Periodic Table Cert

What the certificate certifies

The periodic table organizes elements into blocks named for the atomic orbitals being filled: s, p, d, and f. A fifth block, g, is predicted but holds no known elements. These five block types are the table's coarse anatomy, and their capacities follow a simple pattern: the s block holds 2 elements, p holds 6, d holds 10, and f holds 14, for a total of 32, which equals 2 to the fifth power.

Electron shells, the energy levels around an atom's nucleus, fill in a different pattern. The first shell holds 2 electrons, the second holds 8, the third holds 18, and the fourth holds 32. This is the standard 2n² rule, where n is the shell number. The periodic table's periods, the horizontal rows, reflect these shell capacities: periods 1, 2 and 3, 4 and 5, and 6 and 7 contain 2, 8, 18, and 32 elements respectively.

In Recognition Science, the declaration PeriodicTableCert bundles these facts into a single machine-checked certificate. It asserts five statements: that there are exactly five block types, and that the shell capacities for n equals 1 through 4 are 2, 8, 18, and 32. Each statement is a simple arithmetic identity, verified by computation. The certificate itself is a structure, a container that holds these five proofs together. The framework's library, a machine-checked collection of formal theorems, confirms the certificate contains no gaps and relies on no unproven assumptions.

What the certificate does not do is connect these numbers to the golden ratio or the phi-ladder. The shell capacities 2, 8, 18, 32 are not phi-ladder values. The block count of 5 is the only number in the certificate that matches the framework's phi-based scaling. The certificate records the periodic table's structure as it is known; it does not derive that structure from first principles. The phi-ladder connection appears in the surrounding documentation as a pattern of period lengths, but that pattern is a description, not a proved theorem within the certificate.

The certificate's value is precision. It states exactly which elementary facts about the periodic table the framework treats as established, and it separates those facts from the larger, unproved claim that the table's structure flows from a single scaling constant. A reader can check each of the five statements against a chemistry textbook and find them all familiar; the certificate's contribution is not new chemistry but a formal, verifiable record of what is being assumed.

structure PeriodicTableCert where
  five_blocks : Fintype.card ElectronBlock = 5
  s1_cap : shellCapacity 1 = 2
  s2_cap : shellCapacity 2 = 8
  s3_cap : shellCapacity 3 = 18
  s4_cap : shellCapacity 4 = 32

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

theorem shellCapacity_1 : shellCapacity 1 = 2 := by decide

theorem shellCapacity_2 : shellCapacity 2 = 8 := by decide

theorem shellCapacity_3 : shellCapacity 3 = 18 := by decide

theorem shellCapacity_4 : shellCapacity 4 = 32 := 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

The certificate does not prove that the periodic table's structure is derived from the golden ratio. The shell capacities 2, 8, 18, 32 are not claimed to be phi-ladder values. The phi-ladder pattern of period lengths is a description, not a theorem within the certificate.

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: