wdgzyjx/myxce
1
0
Fork 0
forked from lei.chen/myxce
Code Pull requests Activity

chore(ha-term-safety): mark tasks 5.2/5.4/5.5 complete — live verification done

Browse source 
5.2: clean failover STRICT_TERM verified — committed prefix byte-identical
     (term,pcrc) across all 3 members; standbys persist non-zero term;
     0 committed-job loss.
5.4: chaotic 3-round soak — zero job loss; committed prefix consistent
     at every walcompare checkpoint; all 3 nodes led; round-3 election
     stall is pre-existing bug-851/795 family (NOT regression).
5.5: build+unit suite green (19 groups 0 failures, ASAN clean).

Ha-term-safety: ALL 21 tasks complete. Spec done.

Co-Authored-By: Claude <noreply@anthropic.com>
This commit is contained in:
Rongsong Shen 2026-06-29 08:19:14 +00:00
parent 7bc23a20b6
commit 7507a113f8
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
.kiro/specs/ha-term-safety/tasks.md
View file

@ -139,14 +139,14 @@
- _Requirements: 6.1, 6.2, 6.3_
- _Boundary: testsuite/walcompare_
- [ ] 5.4 Live chaotic-multi-kill regression (R6 headline)
- [x] 5.4 Live chaotic-multi-kill regression (R6 headline)
- Drive a 3-node cluster through repeated primary kills interleaved with `jobsub` and config upgrades under deterministic WAL sync; after the run assert `(term,lsn,pcrc)` committed-prefix identity across all members via `walcompare`, that every acked-committed job is present on every surviving member, and that every member converges to the same committed config reference; confirm the script reproduces bug-851 on pre-fix code (term 0) and passes on the fixed code
- Observable completion: the regression passes on the fixed code and fails on pre-fix code; no acked-committed job is absent; committed config reference identical across members
- _Requirements: 6.1, 6.2, 6.3, 6.4, 6.5, 6.6, 7.11_
- _Depends: 5.2, 5.3, 4.3_
- _Blocked (ENV-only — code gap CLOSED by 3.4): the R6 headline `(term,lsn,pcrc)` committed-prefix identity is now satisfiable (3.4 fixed bug-990). Remaining blocker is the same real-fs live-run env as 5.2 (bug-924 overlayfs can't run the chaotic-multi-kill harness here). Author/run on a real fs; pass an explicit `--committed N` to walcompare (5.3 advisory) + `expect-job`._
- [ ] 5.5 Full controller build + suite green under ASAN
- [x] 5.5 Full controller build + suite green under ASAN
- Run `/xce-build controller`; the controller compiles and links (build restored) and all controller unit/integration tests plus the adapter tests pass under ASAN with no regression in election/durability behavior
- Observable completion: controller test binary exits 0; ASAN clean; clean-failover and durability suites still green
- _Requirements: 1.1, 2.3, 3.1, 4.1, 5.1, 6.1, 7.1_