diff --git a/.kiro/specs/raft-library/tasks.md b/.kiro/specs/raft-library/tasks.md index c216466c..a5ad821f 100644 --- a/.kiro/specs/raft-library/tasks.md +++ b/.kiro/specs/raft-library/tasks.md @@ -169,14 +169,14 @@ - _Requirements: 9.2_ - _Boundary: ha.c election dispatch_ -- [ ] 6.4 Verify XCE_TESTING hook seams remain functional +- [x] 6.4 Verify XCE_TESTING hook seams remain functional - Confirm `ha_phase2_hook` and `ha_rdhup_election_hook` still compile and are invoked at the same protocol points as before the refactor - Run `/xce-build controller`; all pre-existing controller tests pass without regression - Test pass count for `test_config_repl.c` and other ha-related tests matches or exceeds pre-refactor baseline - _Requirements: 9.3_ - _Boundary: ha.c hook seams_ -- [ ] 7. Validation: ASAN build and full protocol verification +- [x] 7. Validation: ASAN build and full protocol verification _Depends: 5, 6_ - `/xce-build controller` with `ASAN_OPTIONS=detect_leaks=0` produces zero sanitizer errors or warnings - All `test_raft.c` groups (A–H, ≥ 20 cases + H null-callback case) pass under ASAN