{"id":"bully-split-brain-resolved-post-hoc","text":"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.","truth_value":"IN","source":"entries/2026/05/29/leader-election-leader_election.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"leaders = [nid for nid, node in self.nodes.items()\n           if node.is_available() and node.state == \"leader\"]\nif len(leaders) > 1:\n    highest = max(leaders)\n    for lid in leaders:\n        if lid != highest: node.start_election(current_time)"},"explanation":{"steps":[{"node":"bully-split-brain-resolved-post-hoc","truth_value":"IN","reason":"premise"}]}}