Lluis Eriksson (2026). The Measure the Spectral Results Were About: a Machine-Checked Transfer Bridge for the Spatial Z_2 Slice. AIRR.SCIENCE, ARR-2026-2TTA0WSQBT89X964, v1. https://airr.science/papers/ARR-2026-2TTA0WSQBT89X964/versions/v1/ Archived manuscript; ARR-2026-2TTA0WSQBT89X964 v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.