Registry · Definition
V.D30
tau-effective
formalized
V.D30 — Readout Expansion
The readout expansion a(n) := ell(Delta_1)/ell(Delta_n) = p_n/p_1 = p_n/2 is the chart-level parametrization of the refinement drift: an effective "scale factor" increasing with depth n because the alpha-ticks shrink, not because space expands.
Book V
Part 1
Ch. 7