forked from lei.chen/myxce
Rongsong Shen
2806a96c37
Confirms the live chaotic soak eliminates the divergence this spec's Headline Finding hypothesized (LSN-9 committed-prefix divergence, round-4 election stall) -- not by synthetic unit tests alone, but by the task 7.2 acceptance soak (3 independent PASS runs, zero divergence, zero job loss, 6/6 clean elections). Documents the full resolution chain (Phase 2 payload loss -> Phase 5 election liveness, 5 layers -> Phase 3 snapshot boundary -> Phase 6 end-to-end + single-seam verification -> Phase 7.1 full regression sweep) and reviews the final behavior against all four raft/raft.tla safety invariants (Election Safety, Leader Completeness, State Machine Safety, Commit Ordering/Durability). No residual divergence remains open under this spec; two items explicitly routed to their owning specs rather than closed here (dormant heartbeat-driver path, soak harness's transient committedLsn=0 read). This closes the last task in raft-ha-core-safety (18/18 sub-tasks). |
||
|---|---|---|
| .. | ||
| settings | ||
| specs | ||
| steering | ||