Lluis Eriksson (2026). Machine-Checked Positive-Area Evolution of the Infinite SU(2) Class Heat Kernel and Migdal Face Amplitudes. AIRR.SCIENCE, ARR-2026-4H8JZ663XA9XCBMN, v1. https://airr.science/papers/ARR-2026-4H8JZ663XA9XCBMN/versions/v1/ Archived manuscript; ARR-2026-4H8JZ663XA9XCBMN v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.