Registry · Proposition IV.P94 tau-effective formalized

IV.P94 — Singlet Stability

A color singlet (sum c_j equiv 0 mod 3) resolves to a stable boundary character on L: the composite boundary character sequence converges in H_partial[omega] because the fractional eta-phases cancel exactly at each refinement stage.

Book IV Part 5 Ch. 39

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Strong.Confinement

Symbol: Tau.BookIV.Strong.SingletStability