Skip to content

feat(delivery): bounded GitHub PR delivery with preflight and reconcile-before-retry (#115) - #147

Open
James3014 wants to merge 2 commits into
mainfrom
codex/issue-115-pr-delivery-g0-g3
Open

James3014 wants to merge 2 commits into
mainfrom
codex/issue-115-pr-delivery-g0-g3

Conversation

@James3014

Copy link
Copy Markdown
Owner

Controllers could push an accepted Candidate but discover only at the end that PR delivery was unavailable. This adds a bounded G0-G3 core milestone: an effect-free delivery preflight that truthfully separates read readiness from unproven write capability, plus one durable PR-delivery primitive built on the existing DurableOperationStore (same operationId, attemptKey, requestHash, createOrReplay, outcome_unknown, and replay-conflict semantics; no second ledger).

The primitive binds the exact Candidate (repository, base/head branches and SHAs, title, body, optional Issue), revalidates remote identity immediately before any write and refuses on drift with zero creates, and reconciles lost acknowledgements against exact remote PR state so a successful remote create is never duplicated. Only a proven CONFIRMED_NO_EFFECT permits safe retry on the same attempt. No MCP exposure, no merge authority, no CI or live claims.

@James3014
James3014 force-pushed the codex/issue-115-pr-delivery-g0-g3 branch from 509e878 to e9b03b2 Compare September 15, 2026 04:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant