Lluis Eriksson (2026). A Machine-Checked Thermodynamic Limit for Local Lattice Gauge Gibbs States. AIRR.SCIENCE, ARR-2026-5SGNYDASRB9V9VF9, v1. https://airr.science/papers/ARR-2026-5SGNYDASRB9V9VF9/versions/v1/ Archived manuscript; ARR-2026-5SGNYDASRB9V9VF9 v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.