Repository navigation
Unify Spec PR ownership and guard Ticket accounting - #516
Merged
Merged
Conversation
This was referenced Oct 7, 2026
Merged
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Ticket accounting could edit a Spec PR after a Ticket retargeted it. One pull request owner now validates the captured number before accounting writes and landings, and stays available through Delivery and failure accounting.
Delivery still permits replacement during the opening Spec review and rejects replacements after capture. The duplicate Spec PR cache, identity-following shim, and before-ready callback/result plumbing are removed. Spec PR and Delivery glossary entries describe both capture scopes.
Evidence
a_failed_ticket_that_retargets_the_spec_pr_leaves_its_body_untouchedfailed: accounting appended the Tickets checklist to the retargeteduntouchedsentinel.After: the regression passes: the sentinel stays unchanged, the target problem is reported, and Ticket CI watching, CI-fix Repair and the Repair cap #22 remains failed.
cargo check --all-targets,cargo fmt --check,cargo clippy --all-targets -- -D warnings, andcargo test(1442 passed, 1 ignored).Test seams
Review against main
Merge Danger
Door: two-way
Reversible module refactor; no data migration or merge-policy change.
Blast Radius: Delivery
Ordinary Runs and Spec runs share PR identity validation. Existing Repair, Self-merge, failure preservation and child teardown behavior remain covered.
Unaddressed findings
Standards
None. The one finding was addressed.
Spec
None. No findings were reported.
Closes #515
Built with codex · gpt-6.1-sol · xhigh