{"id":"lamport-send-creates-receive","text":"`Node.send_message(target, payload)` has a side effect on the target node: it appends a RECEIVE event to the target's event log and advances the target's clock.","truth_value":"IN","source":"entries/2026/05/29/lamport-clocks-test_lamport.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"lamport-send-creates-receive","truth_value":"IN","reason":"premise"}]}}