{"id":"lamport-total-order-breaks-ties-by-node-id","text":"`total_order()` sorts by `(timestamp, node_id)`, using lexicographic node ID comparison as a deterministic tiebreaker when timestamps are equal.","truth_value":"IN","source":"entries/2026/05/29/lamport-clocks-lamport.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"def total_order(events):\n    return sorted(events, key=lambda e: (e.timestamp, e.node_id))"},"explanation":{"steps":[{"node":"lamport-total-order-breaks-ties-by-node-id","truth_value":"IN","reason":"premise"}]}}