Raft

Full Election and Commit Trace

A capstone trace replays timeout, election, append, and commit.

highlighted = computed this step

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.

capstone trace\text{capstone trace}

Event sequence

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

events=4,leaders=1\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.

Full election commit commitIndex 1 0 1 2 3 4 A t0/F t1/C t1/L t1/L t1/L B t0/F t1/F t1/F t1/F t1/F C t0/F t1/F t1/F t1/F t1/F vote tally t1 A:3 leader log A t1:x

Committed result

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

commitIndex=1\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.

Full election commit commitIndex 1 0 1 2 3 4 A t0/F t1/C t1/L t1/L t1/L B t0/F t1/F t1/F t1/F t1/F C t0/F t1/F t1/F t1/F t1/F vote tally t1 A:3 leader log A t1:x

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.

consensus trace\text{consensus trace}