Status: IN
Split-brain is detected and resolved by `_resolve_split_brain` in the cluster harness after each tick (forcing lower-ID leaders to re-elect), not prevented by the node-level protocol alone.
Source: entries/2026/05/29/leader-election-leader_election.md
leaders = [nid for nid, node in self.nodes.items()
if node.is_available() and node.state == "leader"]
if len(leaders) > 1:
highest = max(leaders)
for lid in leaders:
if lid != highest: node.start_election(current_time)