Registry · Theorem V.T17 tau-effective formalized

V.T17 — Distance Ladder Translation

Every rung of the orthodox distance ladder has a tau-native interpretation as a calibration step for the distance readout functor R_d: geometric parallax calibrates at kiloparsec scale, Cepheids at megaparsec scale, and Type Ia supernovae at gigaparsec scale, each using sector-coupling ratios derived from iota_tau.

Book V Part 1 Ch. 8

Dependency Graph

Depends on (4)

Lean Formalization

Module: TauLib.BookV.Temporal.DistanceLadder

Symbol: Tau.BookV.Temporal.DistanceLadderTranslation