Registry · Remark IV.R141 tau-effective formalized

IV.R141 — Topological not accidental

The sequence 2, 8, 8, 18, 18, 32,... is a topological invariant of T^2: shell capacities 2n^2 follow from winding mode counting and period pairing follows from the Madelung energy ordering determined by iota_tau; the periodic table has its shape because the fiber torus has its shape.

Book IV Part 6 Ch. 49

Lean Formalization

Module: TauLib.BookIV.Particles.PeriodicTable

Symbol: Tau.BookIV.Particles.TopologicalNotAccidental