Registry · Definition V.D32 tau-effective formalized

V.D32 — Distance readout functor

The distance readout functor R_d: Orbit_n(tau^1) -> SI_length assigns to each pair of orbit depths (n_emit, n_obs) a luminosity distance d_L in meters, depending on the null-intertwiner structure, the gravitational coupling, and the calibration anchor. It is a projection through sector couplings, not a physical distance.

Book V Part 1 Ch. 8

Lean Formalization

Module: TauLib.BookV.Temporal.DistanceLadder

Symbol: Tau.BookV.Temporal.DistanceReadoutFunctor