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`