Frobenius rigidity in A¹-homotopy theory | Synapse