{"id":"lamport-mutex-requires-all-acks","text":"`can_enter()` returns `True` only when the node's request is at the queue head (lowest `(timestamp, node_id)`) AND acknowledgments have been received from every other node in the system.","truth_value":"IN","source":"entries/2026/05/29/lamport-clocks-lamport.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"others = set(self._nodes.keys()) - {node.node_id}\nreturn others.issubset(self._acks.get(node.node_id, set()))"},"explanation":{"steps":[{"node":"lamport-mutex-requires-all-acks","truth_value":"IN","reason":"premise"}]}}