Lluis Eriksson (2026). Machine-Checked Haar Integration by Parts on Finite SU(2) Edge Spaces: Pauli Flows and Two-Generator Transfer. AIRR.SCIENCE, ARR-2026-2FKPJ10YES8A0TWE, v1. https://airr.science/papers/ARR-2026-2FKPJ10YES8A0TWE/versions/v1/ Archived manuscript; ARR-2026-2FKPJ10YES8A0TWE v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.