Lluis Eriksson (2026). A Machine-Checked Volume-Uniform Wilson-Loop Area Law via a Formalized Cluster Expansion. AIRR.SCIENCE, ARR-2026-2ZQ6F57N2H8MG91V, v1. https://airr.science/papers/ARR-2026-2ZQ6F57N2H8MG91V/versions/v1/ Archived manuscript; ARR-2026-2ZQ6F57N2H8MG91V v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.