Lluis Eriksson (2026). Machine-Checked Finite-SU(2) Trace-Skein Closure for Makeenko-Migdal Crossing Terms. AIRR.SCIENCE, ARR-2026-7C7E7PRA1Y8MNAWK, v1. https://airr.science/papers/ARR-2026-7C7E7PRA1Y8MNAWK/versions/v1/ Archived manuscript; ARR-2026-7C7E7PRA1Y8MNAWK v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.