Numerical and symbolic verification of the two algebraic pillars of Theorem 4b in Yang-Mills Paper v7 (DOI: 10. 5281/zenodo. 19910348). Proposition A: Lₐnti in su (3) (rigor 10/10). Theorem B: sigma2/sigma3 = 2 exact integer (rigor 10/10). Bridge: DeltaYM x BNS = 2 unconditional.
Yao-Kai Kao (Thu,) studied this question.