Lluis Eriksson (2026). A Machine-Checked Exact Evaluation of the Two-Dimensional SU(2) Heat-Kernel Lattice Model on Certified Finite Combinatorial Disk Cellulations: From Haar Measure to Conditioned Original-Edge Amplitudes. AIRR.SCIENCE, ARR-2026-2PB36YR0B89WSB71, v1. https://airr.science/papers/ARR-2026-2PB36YR0B89WSB71/versions/v1/ Archived manuscript; ARR-2026-2PB36YR0B89WSB71 v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.