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.