Spectral gaps of ironed two-qubit gadgets matching the iSWAP gap

We prove that every ironed two-qubit gadget whose KAK-derived parameter satisfies $a=5/9$ has, on the complete graph $K_n$ with $n\geqslant 5$, the same second-moment spectral gap as the iSWAP gadget. The central step is a representation-theoretic localisation theorem: the largest strictly negative eigenvalue of the associated $\mathfrak S_n$-invariant operator always occurs in the highest-spin $\mathrm{SU}(2)$ summand. A local positive-semidefinite decomposition separates every spin sector except the two highest. This settles a conjecture of Kong, Li, and Liu.