lei.chen/myxce
1
0
Fork 1
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

docs: close ha-consistency-invariants umbrella spec

Browse source 
All 4 sub-specs are complete: ha-commit-engine (18/18), ha-commit-barrier-
rollout (23/23), ha-single-leader-role (17/17), ha-convergence-recovery
(19/19). Reconciles ha-single-leader-role and ha-convergence-recovery's
spec.json phase to "implemented" (both mislabeled tasks-generated despite
full task completion — same staleness pattern fixed for raft-commit-safety/
raft-log-replication earlier).

Promotes the umbrella itself to "implemented": design.approved corrected
true (was false, contradicting its own note "Design approved as contract"),
phase implemented, with an explicit callout that criterion 2.9 (Facts-Apply
invariant, added 2026-06-25) remains a documented deviation owned by the
still-unstarted raft-apply-decoupling spec — not a gap in this umbrella or
its sub-specs.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01SDWVNQLKxqTVHh42cH7rV3
This commit is contained in:
Rongsong Shen 2026-07-03 03:23:53 +00:00
parent 78e8ec817e
commit c9f748ff02
3 changed files with 10 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

7
.kiro/specs/ha-consistency-invariants/spec.json
View file

@ -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)."
}

5
.kiro/specs/ha-convergence-recovery/spec.json
View file

@ -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)."
}

5
.kiro/specs/ha-single-leader-role/spec.json
View file

@ -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)."
}