{"id":"bully-highest-id-wins","text":"The Bully Algorithm always elects the highest available node ID as leader; `start_election` only sends ELECTION to higher-ID nodes, and `declare_victory` only fires when no higher node responds.","truth_value":"IN","source":"entries/2026/05/29/leader-election-leader_election.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"higher_nodes = [nid for nid in self.all_node_ids if nid > self.node_id]\nif not higher_nodes:\n    return self.declare_victory(current_time)"},"explanation":{"steps":[{"node":"bully-highest-id-wins","truth_value":"IN","reason":"premise"}]}}