Registry · Proposition
V.P22
tau-effective
formalized
V.P22 — Xi_tau is refinement-stable
Xi_tau is refinement-stable: for all orbit depths n >= n_0, M_{n+1}*/m_{n+1}^(tau) = M_n*/m_n^(tau). The ratio is exactly constant beyond the normal-form horizon, following from the sector-coupling structure rather than numerical convergence.
Book V
Part 2
Ch. 19