Registry · Definition IV.D306 tau-effective formalized

IV.D306 — Fundamental Scales Table

The fundamental scales table lists dimensional constants (c, h, k_e, epsilon_0, mu_0, Planck units) as products of relational units (M, L, H, Q, R) compared against PDG SI values. All SI comparisons are conjectural: they depend on the tau-to-SI calibration convention.

Book IV Part 2 Ch. 15

Lean Formalization

Module: TauLib.BookIV.Calibration.ConstantsLedgerExt

Symbol: Tau.BookIV.Calibration.FundamentalScalesTable