{"id":"split-brain-runs-after-message-drain","text":"`_resolve_split_brain` executes only after the tick's `while all_messages` delivery loop has fully drained, never mid-delivery.","truth_value":"IN","source":"entries/2026/05/29/leader-election-leader_election-_resolve_split_brain.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"split-brain-runs-after-message-drain","truth_value":"IN","reason":"premise"}]}}