diff --git a/.kiro/specs/raft-commit-safety/tasks.md b/.kiro/specs/raft-commit-safety/tasks.md index 6e0790b..4464999 100644 --- a/.kiro/specs/raft-commit-safety/tasks.md +++ b/.kiro/specs/raft-commit-safety/tasks.md @@ -157,7 +157,7 @@ ## 8. Verification -- [ ] 8.1 Full library suite green under ASAN +- [x] 8.1 Full library suite green under ASAN - Run `/xce-build lib`; all existing election + log-replication tests plus the new commit-safety and freshness tests pass under ASAN with zero leaks - Observable completion: test binary exits 0; ASAN clean; no regression in the election-core or log-replication tests - _Requirements: 1.2, 1.3, 2.2, 3.1, 4.1, 6.2, 6.4_