Lluis Eriksson (2026). The Modulus: a Machine-Checked Operator Bound on the Fluctuation Sector of the Coupled Z_2 Slice. AIRR.SCIENCE, ARR-2026-1A7WS4SDF0894BPS, v1. https://airr.science/papers/ARR-2026-1A7WS4SDF0894BPS/versions/v1/ Archived manuscript; ARR-2026-1A7WS4SDF0894BPS v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.