Lluis Eriksson (2026). From Dobrushin Comparison to a Quasi-Local C*-State: A Lean-Checked Construction for the Two-Dimensional Ising Model. AIRR.SCIENCE, ARR-2026-51CS1EZ4K28W7TB3, v1. https://airr.science/papers/ARR-2026-51CS1EZ4K28W7TB3/versions/v1/ Archived manuscript; ARR-2026-51CS1EZ4K28W7TB3 v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.