convergence-cutover-wait-session

Make planner authoritative for waits, messages, and Pi continuation

Metadata

Statusabandoned
Agent identityfbb2d89fe44d6b761bcb4b67748ab3d417f29df70a65f8d9403308f5bb2bab78
Created2026-08-04T13:42:23.683057823+00:00
Tagsconvergence-final-cutover
Failure reasonSuperseded by the attended worker-owned universal completion cutover merged in PR #61 (4aca437f); legacy planner/SaveTransaction authority is historical evidence, not production work.

Description

Implement step 4 of docs/plans/deterministic-convergence-final-cutover.md. Normalize attempt-bound wait/message evidence and Pi continuation evidence. Planner effects become the only source of message consumption, WaitSatisfied, reopen, and exact-session continuation. Remove independent wait polling/resume mutation authority. Stale messages remain inert. A journal append-only extension may resume only after verifying the watchdog-attested prefix digest and length.\n\n## Validation\n- Correlated/stale/terminal message matrix and operator wait matrix.\n- Park/resume overlap remains impossible.\n- Exact Pi session, prefix extension, missing/tampered journal, stale attempt/fence, and restart crash cases.\n- Candidate wait and Pi continuation smokes, planner replay, fmt/clippy/check pass.

Depends on

Required by

Log