Lluis Eriksson (2026). Clustering and the Transfer-Operator Gap: A Machine-Checked Dense-Family Criterion. AIRR.SCIENCE, ARR-2026-31ED4MTKC18JPSDE, v2. https://airr.science/papers/ARR-2026-31ED4MTKC18JPSDE/versions/v2/