Lluis Eriksson (2026). Exact Two-Dimensional SU(2) Yang-Mills in Lean: Weyl Integration, Heat-Kernel Convolution, Migdal Invariance, and the Exact Simple-Loop Area Law. AIRR.SCIENCE, ARR-2026-1DNF7Z9F579X8SQA, v1. https://airr.science/papers/ARR-2026-1DNF7Z9F579X8SQA/versions/v1/ Archived manuscript; ARR-2026-1DNF7Z9F579X8SQA v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.