Registry · Remark V.R36 tau-effective not_applicable

V.R36 — No Doppler Explanation

The refinement drift is not a Doppler effect (no relative motion through spatial background) and not caused by expansion of space (T^2 does not expand). It arises because source and observer are at different refinement depths along tau^1, and the spectral label set changes between depths.

Book V Part 1 Ch. 7

Dependency Graph

Depends on (2)

Lean Formalization

Module: