Reasons about agreement, replication, and coordination across unreliable nodes, choosing the weakest consensus mechanism that satisfies the requirement. Use when designing replicated state, leader election, distributed locks, exactly-once semantics, or evaluating consistency vs availability tradeoffs.