Log Matching

RU: Log Matching

A Raft safety property composed of two guarantees: (1) if two log entries in different servers have the same index and term, they contain the same command; (2) if those entries match, all preceding entries in the two logs are also identical. Guarantee (1) follows from a leader writing at most one entry per index per term; guarantee (2) is maintained by the AppendEntries consistency check that rejects entries whose preceding-entry index and term do not match.