diff --git a/.kiro/specs/ha-consistency-invariants/spec.json b/.kiro/specs/ha-consistency-invariants/spec.json
index a36b82e4..9fd215c7 100644
--- a/.kiro/specs/ha-consistency-invariants/spec.json
+++ b/.kiro/specs/ha-consistency-invariants/spec.json
@@ -3,7 +3,7 @@
   "created_at": "2026-06-10T21:40:00-07:00",
   "updated_at": "2026-06-11T09:30:00-07:00",
   "language": "en",
-  "phase": "design-generated",
+  "phase": "implemented",
   "approvals": {
     "requirements": {
       "generated": true,
@@ -11,7 +11,7 @@
     },
     "design": {
       "generated": true,
-      "approved": false
+      "approved": true
     },
     "tasks": {
       "generated": false,
@@ -19,5 +19,6 @@
     }
   },
   "ready_for_implementation": false,
-  "note": "UMBRELLA CONTRACT spec (decomposed 2026-06-11): requirements.md/design.md/research.md are the authoritative contract for four implementation sub-specs — ha-commit-engine, ha-commit-barrier-rollout, ha-single-leader-role, ha-convergence-recovery (dependency order in steering/roadmap.md). Do NOT generate tasks for this spec; implement via the sub-specs. Design approved as contract; sub-spec designs inherit and slice it."
+  "note": "UMBRELLA CONTRACT spec (decomposed 2026-06-11): requirements.md/design.md/research.md are the authoritative contract for four implementation sub-specs — ha-commit-engine, ha-commit-barrier-rollout, ha-single-leader-role, ha-convergence-recovery (dependency order in steering/roadmap.md). Do NOT generate tasks for this spec; implement via the sub-specs. Design approved as contract; sub-spec designs inherit and slice it.",
+  "implementation_status": "implemented — all 4 sub-specs complete (ha-commit-engine 18/18, ha-commit-barrier-rollout 23/23, ha-single-leader-role 17/17, ha-convergence-recovery 19/19; phases reconciled 2026-07-03, all were mislabeled tasks-generated). Requirements 1-7 satisfied. Criterion 2.9 (Facts-Apply invariant, added 2026-06-25) is a DOCUMENTED DEVIATION, not yet satisfied — current code applies WAL_MODE_RETAIN facts and fires reactions on receipt (pre-commit); reconciling this is explicitly owned by the raft-apply-decoupling spec (open decision D1), not by this umbrella or its 4 sub-specs. design.approved corrected true->matches the note's 'Design approved as contract' (was inconsistently false)."
 }
diff --git a/.kiro/specs/ha-convergence-recovery/spec.json b/.kiro/specs/ha-convergence-recovery/spec.json
index ec15c08c..58b6b6a1 100644
--- a/.kiro/specs/ha-convergence-recovery/spec.json
+++ b/.kiro/specs/ha-convergence-recovery/spec.json
@@ -3,7 +3,7 @@
   "created_at": "2026-06-11T09:23:10Z",
   "updated_at": "2026-06-11T09:23:10Z",
   "language": "en",
-  "phase": "tasks-generated",
+  "phase": "implemented",
   "umbrella": "ha-consistency-invariants",
   "approvals": {
     "requirements": {
@@ -19,5 +19,6 @@
       "approved": true
     }
   },
-  "ready_for_implementation": true
+  "ready_for_implementation": true,
+  "implementation_status": "implemented — 19/19 tasks complete, 8-round live-cluster E2E validated (task 8). Phase reconciled 2026-07-03 (was mislabeled tasks-generated)."
 }
diff --git a/.kiro/specs/ha-single-leader-role/spec.json b/.kiro/specs/ha-single-leader-role/spec.json
index fd214ac4..307caab8 100644
--- a/.kiro/specs/ha-single-leader-role/spec.json
+++ b/.kiro/specs/ha-single-leader-role/spec.json
@@ -3,7 +3,7 @@
   "created_at": "2026-06-11T12:00:00Z",
   "updated_at": "2026-06-11T12:45:00Z",
   "language": "en",
-  "phase": "tasks-generated",
+  "phase": "implemented",
   "umbrella": "ha-consistency-invariants",
   "approvals": {
     "requirements": {
@@ -19,5 +19,6 @@
       "approved": true
     }
   },
-  "ready_for_implementation": true
+  "ready_for_implementation": true,
+  "implementation_status": "implemented — 17/17 tasks complete. Phase reconciled 2026-07-03 (was mislabeled tasks-generated)."
 }