[M4n5ter]

Summary

• Recover from the original operation or model receipt. A Run whose original effects cannot be verified now fails with the original uncertainty intact. Follow-up admission stays fenced while those effects or cleanup remain unsettled.
• Resolve deferred and adopted compaction references by their original attempt ID. Previously affected Runs can resume after the Host verifies their original successful Summary.
• Remove the risk adjudication mutation, dialog, client recovery path, and live replan preparation. Keep historical decisions readable. Needs You now counts only live interaction requests.

Verification

• Agent Engine and State library tests, including the deferred Summary regression and the unknown provider effect with a fenced successor.
• Native driver source recovery and legacy cancellation regressions. The Host API reports an authority wait as waiting and returns an empty Needs You page for the fixture.
• Generated SDK contracts and the Workbench TypeScript check.
• Rust formatting and diff whitespace checks.

Desktop visuals were not exercised locally. The Native Host regression above covers the user-visible waiting and Needs You states.

Breaking change

The preview execution contract removes adjudicateRisk and the public blocked state. Update Host, SDK and Workbench clients together. Existing facts and original receipts remain readable.

AI use

• No generative tool made a substantive contribution
• Generative tooling made a substantive contribution

Tool and scope — OpenAI Codex implemented the refactor and regression coverage.

Checklist

• Tests cover the change and fail without it
• Format, typecheck and the affected suites pass locally

Does this PR entail a change in behavior?

• Yes — described under Summary above
• No