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

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Strong.YangMillsGap

Symbol: Tau.BookIV.Strong.RefinementCoherence