Lluis Eriksson (2026). The Diagonal Amos-Type Family at Real Order: a Machine-Checked Quantitative Crossing Classification. AIRR.SCIENCE, ARR-2026-39Y0F83F4Z9JK90G, v1. https://airr.science/papers/ARR-2026-39Y0F83F4Z9JK90G/versions/v1/ Archived manuscript; ARR-2026-39Y0F83F4Z9JK90G v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.