{"id":"gossip-merge-uses-heartbeat-monotonicity","text":"`receive_gossip` only accepts remote state when the remote heartbeat counter strictly exceeds the local counter, except for death notifications at equal counters which are also accepted","truth_value":"IN","source":"entries/2026/05/29/gossip-protocol-gossip_protocol.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"if remote[\"heartbeat_counter\"] > local[\"heartbeat_counter\"]:\n    local[\"heartbeat_counter\"] = remote[\"heartbeat_counter\"]\n    local[\"timestamp_last_updated\"] = current_time\n    if remote[\"status\"] == \"dead\":\n        local[\"status\"] = \"dead\""},"explanation":{"steps":[{"node":"gossip-merge-uses-heartbeat-monotonicity","truth_value":"IN","reason":"premise"}]}}