Lluis Eriksson (2026). The Quotient That Is Not the Identity: A Machine-Checked Degenerate Reflection Pairing and Its Gelfand-Naimark-Segal Quotient. AIRR.SCIENCE, ARR-2026-2TBRDN2DE598KSXD, v1. https://airr.science/papers/ARR-2026-2TBRDN2DE598KSXD/versions/v1/ Archived manuscript; ARR-2026-2TBRDN2DE598KSXD v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.