From edcd55616be5208087d5ed47a77d13b17e94b75b Mon Sep 17 00:00:00 2001 From: NagyVikt Date: Thu, 23 Apr 2026 15:50:01 +0200 Subject: [PATCH] Keep merged prompt-replay change record truthful The original implementation lane merged cleanly, but its tasks.md cleanup section still showed the finish steps as incomplete. This backfills the PR URL, merge timestamp, and worktree-prune proof so the merged OpenSpec record matches what actually happened. Constraint: The evidence patch had to land after PR #375 merged because the exact mergedAt timestamp and cleanup result were only known at finish time. Rejected: Leave the stale cleanup boxes on main | cleanup evidence is part of the repo workflow contract and would misstate merged truth. Confidence: high Scope-risk: narrow Directive: When a finish flow merges a change before tasks.md records PR and MERGED proof, follow with a tiny bookkeeping lane instead of leaving stale cleanup boxes behind. Tested: git status --short; git diff --stat; gh pr view agent/codex/reduce-prompt-replay-checkpoint-guidance-2026-04-23-15-43 --json url,state,number,headRefName,baseRefName,mergedAt; git worktree list Not-tested: automated test suite (docs-only bookkeeping patch) --- .../tasks.md | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/openspec/changes/agent-codex-reduce-prompt-replay-checkpoint-guidance-2026-04-23-15-43/tasks.md b/openspec/changes/agent-codex-reduce-prompt-replay-checkpoint-guidance-2026-04-23-15-43/tasks.md index 50cb777..69dfa79 100644 --- a/openspec/changes/agent-codex-reduce-prompt-replay-checkpoint-guidance-2026-04-23-15-43/tasks.md +++ b/openspec/changes/agent-codex-reduce-prompt-replay-checkpoint-guidance-2026-04-23-15-43/tasks.md @@ -16,6 +16,11 @@ - [x] 4.1 Run focused prompt integration tests ## 5. Cleanup -- [ ] 5.1 Commit with Lore protocol message -- [ ] 5.2 Run `gx branch finish --branch "agent/codex/reduce-prompt-replay-checkpoint-guidance-2026-04-23-15-43" --base main --via-pr --wait-for-merge --cleanup` -- [ ] 5.3 Record PR URL and final `MERGED` evidence +- [x] 5.1 Commit with Lore protocol message +- [x] 5.2 Run `gx branch finish --branch "agent/codex/reduce-prompt-replay-checkpoint-guidance-2026-04-23-15-43" --base main --via-pr --wait-for-merge --cleanup` +- [x] 5.3 Record PR URL and final `MERGED` evidence + +Cleanup evidence: +- PR: `https://github.com/recodeee/gitguardex/pull/375` +- Merge state: `MERGED` at `2026-04-23T13:48:25Z` +- Cleanup proof: source worktree no longer appears in `git worktree list` on the main checkout after `gx branch finish`