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

Dependency Graph

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Temporal.MacroReadout

Symbol: Tau.BookV.Temporal.ReadoutExpansion