IV.D183 — π-support penalty

The pi-support penalty Pen_pi[n](x) := sum_{k=n+1}^{2n} ||x|_k - pr_pi(x|_k)||_{R[k]} measures how far an endomorphism deviates from pure pi-typed action at stages beyond n, penalizing non-pi-typed contamination in the strong coupling construction.