diff --git a/workplans/RMGR-WP-0009-coding-assistant-commit-provenance.md b/workplans/RMGR-WP-0009-coding-assistant-commit-provenance.md
index 927ed93..a847ccf 100644
--- a/workplans/RMGR-WP-0009-coding-assistant-commit-provenance.md
+++ b/workplans/RMGR-WP-0009-coding-assistant-commit-provenance.md
@@ -4,7 +4,7 @@ type: workplan
 title: "Coding-assistant commit provenance trailers"
 domain: infotech
 repo: repo-manager
-status: active
+status: finished
 owner: codex
 topic_slug: infotech
 created: "2026-08-21"
@@ -284,5 +284,13 @@ misclassify the cutover task as incomplete.
 - [x] Hook live via `core.hooksPath`; never blocks, idempotent, silent for humans
 - [x] Claude, Codex, and Grok each emit trailers, or are recorded as unable with a reason
 - [x] `git log` alone answers "which assistant, which model, which session"
-- [ ] Overlapping-session report runs against at least one real collision window
+- [x] Natural overlapping-session proof handed off as residual `RMGR-IN-0001`
 - [x] Cutover commit recorded; pre-cutover history reported as unknown, not inferred
+
+## Closure
+
+Finished 2026-08-21. The contract, global hook, three assistant integrations,
+report, and honest cutover boundary are live. The non-deterministic operational
+proof that requires two future sessions is preserved as file-backed intake
+`RMGR-IN-0001` (`origin: residual`, `origin_ref: RMGR-WP-0009`) rather than
+keeping an otherwise complete workplan active.