Registry · Proposition IV.P102 tau-effective formalized

IV.P102 — Strong sector kernel hypotheses

Strong sector kernel hypotheses: (KH-1) stabilization at n_* = 3 (C-sector activation depth), (KH-2) Delta_n^s is refinement-monotone since L_s[n] subset L_s[n+1], and (KH-3) is deferred to ch41 requiring confinement and color holonomy.

Book IV Part 5 Ch. 40

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Strong.GapMetaTheorem

Symbol: Tau.BookIV.Strong.StrongSectorKernelHypotheses