July 21, 2026 · PDF

Universality of Unboppy Balanced Binary Rotors of Fundamental Period 24

We prove a finite classification theorem for homogeneous rotor-router networks: every fixed-phase balanced primitive unboppy binary rotor of fundamental period 24 is universal. The proof is computer-assisted but fully finite, produced by GPT-5.6 Sol.