Registry · Proposition
IV.P106
tau-effective
formalized
IV.P106 — Gap mode coherence
Gap mode coherence: for all n >= 3 beyond stabilization, the restriction map satisfies rho(g_{n+1}) = g_n, ensuring the lightest excitation modes at successive stages are consistent and the projective limit g[omega] is well-defined.
Book IV
Part 5
Ch. 41