Exponential Clustering and Mass Gap for Four-Dimensional SU(N) Lattice Yang-Mills Theory via Balaban's Renormalization Group and Multiscale Correlator Decoupling

We assemble a proof architecture for exponential clustering with a strictly positive mass gap for four-dimensional pure SU(N) lattice Yang-Mills theory with Wilson's action, Cov(O(0),O(x)) <= C exp(-m|x|/a*), m > 0, a* ~ 1/Lambda_YM, with constants uniform in lattice spacing eta and physical volume L_phys - conditionally on three identified inputs. (1) Balaban's structural package (polymer decompositions, exponentially decaying activities), traceable per 2602.0069 v2 with the beta_LF dichotomy attached. (2) A terminal-scale Kotecky-Preiss smallness bound, Hypothesis (H-KP): v1-v2 cited it as proved in an unpublished companion with no identifier; Version 3 retags it as a hypothesis until that companion exists and survives audit. (3) A localization hypothesis (H-LOC) for conditioned observables, made explicit for the first time in v3: the telescoping step compares the terminal clustering bound against O~ = E[O | sigma_a*], whose support is not local. The coupling control (Proposition 4.1) is proved by Cauchy bounds conditionally on the uniform-in-k analyticity radius of Balaban's discrete beta-function and on the large-field penalty profile satisfying the (A0,p*) trichotomy of the audited ledger. What is unconditional and machine-verified: the multiscale telescoping identity (exact for any measure and any nested sigma-algebra chain), the summation-over-scales arithmetic, the lattice-animal bounds, the implications KP => exponential clustering and clustering => spectral gap in exactly solvable settings, and the coupling-control recursion. We verify OS0, OS2, OS3 unconditionally at the lattice level and OS4 conditionally; OS1 (full O(4) covariance) is not established here - its natural conditional supplier is 2602.0087 v3 via 2602.0063 v3. All adjudicable content is verified in a deterministic companion suite.