Iwasawa theory of Frobenius-torsion class group schemes | Synapse