{"id":"bully-synchronous-delivery","text":"All messages generated within a single `tick()` call are delivered and fully resolved (including cascading responses) in a `while all_messages` loop before the tick returns.","truth_value":"IN","source":"entries/2026/05/29/leader-election-leader_election.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"while all_messages:\n    next_messages = []\n    for msg in all_messages:\n        responses = receiver.receive_message(msg)\n        next_messages.extend(responses)\n    all_messages = next_messages  # deliver until quiescent"},"explanation":{"steps":[{"node":"bully-synchronous-delivery","truth_value":"IN","reason":"premise"}]}}