[luannn010]

Superseded: the reviewed test repair is included in #27 and carried through its dependent PRs. This separate top-of-stack PR is redundant.

Summary

• Exercise all eight asynchronous proof-sign boundaries during a genuine source-pair erase.
• Require retained readers to revoke. A returned lease must verify against new epochs, contain no pre-erase entities and reject old cursors; typed revocation remains valid.
• The old test required rejection even when capture safely re-admitted the committed empty image. No application behavior changes.
• Depends on docs(notes): describe local feature scope and build limits #47; merge after its prerequisites in stack order.

Testing

• All 27 search-source tests, TypeScript and diff checks passed locally.
• Independent lead review completed before publication; hosted checks tracked on this head.
• Risk: test contract only. Undo: revert this test change. Complete beta, design and native performance qualification remains pending.

Co-authors

none

AI usage

• Written by hand, with no AI
• Harness and version: Codex desktop, codex-cli 0.160.0.
• Models: gpt-6.1-sol (diagnosis, test repair, verification and independent review); gpt-6-luna (read-only failure extraction).
• Effort: medium.
• Human role: requested focused update PRs and green CI; merge review remains pending.
• Sources: repository-owned source, tests and exact GitHub Actions failure logs. No external implementation copied; existing engine and dependency notices unchanged.

Checklist

• Works on Windows, macOS and Linux
• Complete beta/design/native performance qualification
• No application changes, credentials, profiles, private exports or build outputs included