diff --git a/.ciagent/CHECKPOINT.json b/.ciagent/CHECKPOINT.json
index deee873..94f4553 100644
--- a/.ciagent/CHECKPOINT.json
+++ b/.ciagent/CHECKPOINT.json
@@ -1,22 +1,22 @@
 {
-  "phase": 1,
+  "phase": 2,
   "stage": "complete",
   "milestone": "v1.25",
   "phase_role": "execution",
   "attempts": 0,
-  "updated_at": "2026-08-12T17:00:00Z",
+  "updated_at": "2026-08-12T17:15:00Z",
   "project": "acdl",
   "milestone_complete": false,
   "tag_line": "v1.24.x",
-  "tag": "v1.24.1",
-  "next_tag": "v1.24.2",
+  "tag": "v1.24.2",
+  "next_tag": "v1.24.3",
   "release": {
     "forge": "gitea",
     "releases_created": true,
-    "release_ids": {"v1.24.0": 640, "v1.24.1": 641},
-    "phase_release_id": 641
+    "release_ids": {"v1.24.0": 640, "v1.24.1": 641, "v1.24.2": 642},
+    "phase_release_id": 642
   },
-  "requirements": ["REQ-291", "REQ-292", "REQ-293", "REQ-294", "REQ-308", "REQ-309"],
-  "tests": {"total": 156, "passed": 156, "skipped": 2, "failed": 0},
-  "notes": "v1.25 P1 (engine-core) complete. Tag v1.24.1 (gitea release id 641). 6 requirements (REQ-291..294, 308, 309). 24 new tests + 132 existing = 156 pass, 2 skip-without-kj. Phase 01 branch deleted. Next: P2 contract + stack-IR policies."
+  "requirements": ["REQ-291", "REQ-292", "REQ-293", "REQ-294", "REQ-295", "REQ-296", "REQ-297", "REQ-298", "REQ-299", "REQ-308", "REQ-309"],
+  "tests": {"total": 119, "passed": 119, "skipped": 7, "failed": 0},
+  "notes": "v1.25 P2 (contract+stack-IR policies) complete. Tag v1.24.2 (gitea release id 642). 5 requirements (REQ-295..299). 7 contract+stack-IR policies. Resolver wired (pre+post resolve). Phase 02 branch deleted. Next: P3 plan-JSON + meta-orchestration + pipeline wiring."
 }
\ No newline at end of file