Full Election and Commit Trace

The capstone trace starts with timeout, elects a leader, appends an entry, and advances commit. Every displayed state comes from the event replay. Note: this is the compact end-to-end path.

\text{capstone trace}

Event sequence

The trace has 4 events and 1 leader. Note: the timeline shows each replay step.

\text{events}=4,\quad \text{leaders}=1

a simplified Raft over a tiny cluster: terms, votes, leader election, and the term-restricted commit rule are exact on these traces; the full safety proof, membership changes, snapshotting, log compaction, and real RPC/timing are beyond these traces - no product claims.

Committed result

The final commitIndex is 1. Note: the leader log and commit marker are rendered together.

\text{commitIndex}=1

a simplified Raft over a tiny cluster: terms, votes, leader election, and the term-restricted commit rule are exact on these traces; the full safety proof, membership changes, snapshotting, log compaction, and real RPC/timing are beyond these traces - no product claims.

Summary

Consensus in small combines terms, votes, leadership, append, and term-restricted commit. Note: this is simplified Raft; the full safety proof, membership changes, snapshots, and real timing are beyond these traces.

\text{consensus trace}