Registry · Definition IV.D30 tau-effective formalized

IV.D30 — Calibration Anchor

The neutron mass as the single calibration anchor: m_n = 1.674927498 × 10⁻²⁷ kg (CODATA 2022). In τ-native units m_n = 1. The sole experimental input pinning the τ-to-SI conversion.

Book IV Part 2 Ch. 12

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIV.Calibration.CalibrationAnchor

Symbol: Tau.BookIV.Calibration.CalibrationAnchor