Ship it

Deliver a merge-ready PR. Merge and deploy require explicit user authorization for this delivery; delegation or a merge policy does not grant it.

For an existing PR with an accessible delivery record for its current head, start at step 6. Otherwise run the full gate. Accept legacy PR-body receipts, then move them into the internal record when updating the PR.