Registry · Theorem IV.T111 tau-effective formalized

IV.T111 — Parameter Count

The tau-physics framework has exactly zero free dimensionless parameters (all dimensionless ratios are rational functions of iota_tau = 2/(pi + e)) and one free dimensional parameter (the neutron mass m_n in SI units), giving one total experimental input for the entire framework.

Book IV Part 2 Ch. 12

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Calibration.CalibrationAnchorExt

Symbol: Tau.BookIV.Calibration.ParameterCount