Overview of the T-DFT Resolution of the Yang Mills Existence and Mass Gap Millennium Prize Problem

Instructions for the Reviewer This document is a map, not a proof. It presents the global strategy of the T-DFT programme, the logical dependency graph of the 13 companion documents, and the location within those documents of each step required by the Jaffe–Witten problem 1. All detailed proofs are in the cited documents. v4 Additions (This Version) Surgical epistemic refinements addressing three structural vulnerabilities identified in peer review: (B) Gribov-shielding mechanism: In §2, this is now stated with geometric precision. The annihilation of Gribov copies by PĜ is a representation-theoretic consequence, not an additional assumption. (C) Nontriviality claim for the S-matrix: In Companion O4, this is now correctly separated into: An unconditional result (W(4)c ≠ 0); A conditional result (S ≠ I, given Axiom O4.A1, the LSZ interface for confined states). Status tables have been updated accordingly. (L) Lean 4 verification architecture: Now explicitly two-level. The algebraic–topological core carries zero sorry and zero custom axioms; physical premises are declared axiomatically in the text, following standard mathematical physics practice.