#851 land: remote-cancel-pins

Accepted agent delivery; branch-keyed search descriptor included.

---

Summary by cubic

Pins remote-cancel proof boundaries: verified cancellations (before-start, exit 143/137, signals 15/9) now grade Killed with a "remote cancel" reason and no unknown warning, while unproven unknown exits stay FateUnknown with the warning. Adds regression tests for these boundaries, a CancelTerminal script to the test daemon, and distinguishes bash.kill_scope's local owner stop from remote terminal proof; an ignored test waits on a typed execution-ended proof in the shared terminal wire type.

Confidence Score: 5/5

This test-only PR appears safe to merge.

Summary

This PR adds tests for remote cancellation without changing production code.

• Remote-cancel tests separate confirmed stops from unknown outcomes.
• Owner-pause tests keep local stops separate from remote proof.

No actionable issues found. Tests were not run.

_{Reviews (1) · Last reviewed commit: "release notes and search-quality descrip..." · Reviewed by Greptile}