diff --git a/.ciagent/CHECKPOINT.json b/.ciagent/CHECKPOINT.json
index 744dfe1..1cc2e96 100644
--- a/.ciagent/CHECKPOINT.json
+++ b/.ciagent/CHECKPOINT.json
@@ -1,11 +1,11 @@
 {
   "phase": 4,
-  "stage": "execute",
+  "stage": "verify",
   "milestone": "v0.10",
   "milestone_slug": "docs-cli-examples",
   "phase_role": "execution",
   "attempts": 0,
-  "updated_at": "2026-08-05T21:15:00Z",
+  "updated_at": "2026-08-05T21:20:00Z",
   "milestone_complete": false,
   "ship": {
     "tag": "v0.9.3",
@@ -14,7 +14,7 @@
     "all_phase_branches_deleted": true
   },
   "requirements": {
-    "covered": ["REQ-097", "REQ-098", "REQ-091", "REQ-092", "REQ-093", "REQ-094"],
+    "covered": ["REQ-097", "REQ-098", "REQ-091", "REQ-092", "REQ-093", "REQ-094", "REQ-095", "REQ-096"],
     "partial": []
   },
   "gates": {