Registry · Remark IV.R149 tau-effective formalized

IV.R149 — Parameter count

Across all twenty-five results of Part VI, the only inputs are iota_tau = 2/(pi+e) derived from axioms K0-K6 and m_n = 939.565421 MeV as the single dimensional anchor; no fitting parameter, effective coupling, or ad hoc mass ratio is introduced at any point in the derivation.

Book IV Part 6 Ch. 51

Lean Formalization

Module: TauLib.BookIV.Particles.SpectrumComplete

Symbol: Tau.BookIV.Particles.ParameterCount