Registry · Remark V.R40 tau-effective formalized

V.R40 — Distance is operational

In the tau-framework there is no "true" distance of which d_L is an approximation: luminosity distance d_L and angular-diameter distance d_A are both projections of the same orbit-depth interval through different sector weightings. The Etherington reciprocity d_L = (1+z)^2 d_A follows from their common gamma-sector origin.

Book V Part 1 Ch. 8

Lean Formalization

Module: TauLib.BookV.Temporal.DistanceLadder

Symbol: Tau.BookV.Temporal.DistanceIsOperational