Lluis Eriksson (2026). Machine-Checked Haar and Differential Descent at an SU(2) Crossing: A Four-Edge Compensated-Flow Ward Identity. AIRR.SCIENCE, ARR-2026-5V5K6T6DQT9J8SY6, v1. https://airr.science/papers/ARR-2026-5V5K6T6DQT9J8SY6/versions/v1/ Archived manuscript; ARR-2026-5V5K6T6DQT9J8SY6 v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.