Registry · Theorem V.T54 tau-effective formalized

V.T54 — 10-Link Derivation Chain

The 10-link derivation chain derives the electron mass from axioms K0-K6 with zero free parameters and one experimental input (m_n): generators -> tau^3 -> Central Theorem -> sectors -> iota_tau -> G -> m_n anchor -> Epstein zeta -> R formula -> m_e = 0.510998937 MeV (0.025 ppm).

Book V Part 2 Ch. 20

Dependency Graph

Depends on (5)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.GravityField.ClosingIdentity

Symbol: Tau.BookV.GravityField.10linkDerivationChain