{"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":["distributed-protocols-simulate-synchronous-delivery"],"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"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"bully-synchronous-delivery","truth_value":"IN","reason":"premise"}]}}