Registry · Remark IV.R275 tau-effective formalized

IV.R275 — Counting parameters

Orthodox physics has approximately 26 free parameters in the Standard Model. The relational framework has one: the neutron mass m_n in SI units. Every other value is either a dimensionless ratio determined by iota_tau or a dimensional quantity derived from m_n and those ratios.

Book IV Part 2 Ch. 13

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridgeExt

Symbol: Tau.BookIV.Calibration.CountingParameters