Lluis Eriksson (2026). Machine-Checked Finite-Edge SU(2) Crossing Ward Identity: Pauli Generator Transfer and Single-Trace Closure. AIRR.SCIENCE, ARR-2026-3B7MWNSJS18TYAA4, v1. https://airr.science/papers/ARR-2026-3B7MWNSJS18TYAA4/versions/v1/ Archived manuscript; ARR-2026-3B7MWNSJS18TYAA4 v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.