Registry · Remark V.R45 tau-effective not_applicable

V.R45 — Forward reference to Part~V

Part V develops the full distance-ladder analysis: dark sector elimination, Hubble tension resolution, and CMB power spectrum comparison all depend on the readout framework of Part I. Part I provides the conceptual foundation: the distance ladder calibrates a readout functor, not a metric.

Book V Part 1 Ch. 8

Lean Formalization

Module: