feat(raft-library): tasks 6.4 + 7 complete — all ASAN-clean, hooks verified, spec closed

This commit is contained in:
Rongsong Shen 2026-05-31 09:25:20 +00:00
parent becf6ee765
commit 937605ec60

View file

@ -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