Registry · Remark V.R201 tau-effective not_applicable

V.R201 — BAO and Holonomy Periodicity

The BAO scale is reinterpreted as the holonomy return length: the characteristic circumference of fundamental holonomy loops on tau^1 at the recombination epoch, with the sound horizon r_s being the arc length for one complete loop.

Book V Part 5 Ch. 43

Lean Formalization

Module: