Registry · Definition IV.D33 tau-effective formalized

IV.D33 — Speed of Light

Speed of light: c = L · H. Coefficient 1, π⁰, exponents (0,1,1,0). Dimensional formula in the τ-derivation chain. τ-derived c ≈ 2.998 × 10⁸ m/s (0.07% match).

Book IV Part 2 Ch. 13

Dependency Graph

Depends on (1)

IV.D32

Depended on by (2)

IV.D39 IV.T07

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridge

Symbol: Tau.BookIV.Calibration.c_formula