Lluis Eriksson (2026). A Machine-Checked Reflection-Positivity Framework for Z_N Lattice Gauge Theory, with the Z_2 Wilson Instance. AIRR.SCIENCE, ARR-2026-10JJK0VCCS87VTQH, v1. https://airr.science/papers/ARR-2026-10JJK0VCCS87VTQH/versions/v1/ Archived manuscript; ARR-2026-10JJK0VCCS87VTQH v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.