diff --git a/docs/m19-m20-plan.md b/docs/m19-m20-plan.md
index 5a5cbe6..b06dee2 100644
--- a/docs/m19-m20-plan.md
+++ b/docs/m19-m20-plan.md
@@ -131,7 +131,7 @@ branch is green; keep branches; push everything.
       race). The `acpi-ps2` scenario proves report → spawn → ps2-bus attaches
       its keyboard; `ioport` retargeted to the acpi-tables I/O window (the
       kernel-built PS/2 node is gone). Suite 58/58.
-- [ ] **merge** `feat/acpi-service` → main, push — **loop ends here**.
+- [x] **merge** `feat/acpi-service` → main, push (merged 2026-07-13) — **discovery migration complete**.
 
 ---