Rongsong Shen e15bbf8190 feat(raft-sim-conformance): seeded scheduler raft_sim_step + per-step invariant check (task 4.2) ... Harness surfaced a real upstream raft.c split-brain bug (bug-1095/1096, bug-851 family) in raft_on_vote_reply: counter-based vote tally double-counts a duplicated vote-response and no stale-term drop -> two leaders same term. Out of this spec's boundary (raft.c protocol); recorded as Implementation Note.		2026-06-24 13:37:03 +00:00
..
brief.md	checkpoint: bug-851 root cause + raft TLA+ conformance spec family	2026-06-21 14:02:15 +00:00
design.md	docs(raft-sim-conformance): fix mermaid pipe + semicolon syntax in design diagrams	2026-06-24 10:43:48 +00:00
requirements.md	checkpoint: bug-851 root cause + raft TLA+ conformance spec family	2026-06-21 14:02:15 +00:00
research.md	docs(specs): gap re-validation 2026-06-24 (5 HA/raft specs)	2026-06-24 10:04:06 +00:00
spec.json	checkpoint: bug-851 root cause + raft TLA+ conformance spec family	2026-06-21 14:02:15 +00:00
tasks.md	feat(raft-sim-conformance): seeded scheduler raft_sim_step + per-step invariant check (task 4.2)	2026-06-24 13:37:03 +00:00