Registry · Theorem V.T156 tau-effective formalized

V.T156 — Mass Derivations --- Layer 2

Derives m_e, m_P, and G from m_n and Layer 1 outputs: m_e = m_n/R, m_P = m_n/sqrt(alpha_G), G = (c^3/hbar)*iota_tau^2.

Book V Part 8 Ch. 71

Dependency Graph

Depends on (2)

I.D34 IV.D05

Lean Formalization

Module: TauLib.BookV.Coda.CalibrationChain

Symbol: Tau.BookV.Coda.mass_derivation_layer2