A Rigorous Mass Gap for SU(2) Lattice Yang–Mills at Strong Coupling via Spin-Foam Recoupling and Vertex Contraction | Synapse