Attempt at Formal Yang–Mills Mass Gap Proof (Feedback Welcome) | Not Hacker News!