Registry · Theorem IV.T05 tau-effective formalized

IV.T05 — Parameter Count

Exactly ONE free parameter: the neutron mass. Zero free dimensionless parameters (all fixed by ι_τ = 2/(π+e)). All dimensional quantities factor through the single anchor Λ_M.

Book IV Part 2 Ch. 12

Dependency Graph

Depends on (1)

IV.D30

Lean Formalization

Module: TauLib.BookIV.Calibration.CalibrationAnchor

Symbol: Tau.BookIV.Calibration.parameter_count