Registry · Proposition
IV.P104
tau-effective
formalized
IV.P104 — Refinement coherence
Refinement coherence: the restriction map rho from C_s[n+1] to C_s[n] satisfies rho(Gamma_s^*[n+1]) = Gamma_s^*[n] for all n >= n_* = 3, the C-sector activation depth, ensuring the plaquette-form vacuum is consistent across stages.
Book IV
Part 5
Ch. 41