From 91eb9ca3faedcbc6e33ff19d45e860edf702d437 Mon Sep 17 00:00:00 2001 From: Rongsong Shen Date: Mon, 22 Jun 2026 00:42:46 +0000 Subject: [PATCH] test(raft-commit-safety): full library suite green under ASAN (task 8.1) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Canonical clean build (tools/xce-build.sh lib: rm -rf + fresh meson ASAN setup) passes from scratch: libxce test OK, Fail 0, ASAN-clean. All election + log-replication + commit-safety (G4 Figure-8 commit advance) + freshness (G6) + simulator invariant tests green. Closes the raft-commit-safety library half of bug-851 (G4/G6). KNOWN: the controller (cluster.c) vote callers still use the pre-extension signatures and will not compile until the ha-term-safety adapter wires last_log_term/index — the accepted revalidation trigger, addressed next. --- .kiro/specs/raft-commit-safety/tasks.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.kiro/specs/raft-commit-safety/tasks.md b/.kiro/specs/raft-commit-safety/tasks.md index 6e0790bd..44649992 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_