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