{"id":"gossip-dead-node-lifecycle-is-comprehensive","text":"Dead nodes in the gossip protocol follow a comprehensive, irreversible lifecycle with three independent safeguards: death status cannot be reversed by incoming gossip messages, dead node records are fully removed from the membership list after the cleanup interval (not merely flagged), and incoming gossip about already-dead nodes from other peers is silently filtered to prevent zombie reintroduction through stale state.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["gossip-death-is-irreversible-via-gossip","gossip-cleanup-removes-entry-entirely","gossip-dead-nodes-filtered-on-receive"],"outlist":[],"label":"Three independent mechanisms at receive, status-transition, and cleanup stages ensure dead nodes can never be accidentally resurrected or leak membership memory."}],"dependents":["membership-correctness-masks-hint-data-loss"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"gossip-dead-node-lifecycle-is-comprehensive","truth_value":"IN","reason":"SL justification valid","antecedents":["gossip-death-is-irreversible-via-gossip","gossip-cleanup-removes-entry-entirely","gossip-dead-nodes-filtered-on-receive"],"label":"Three independent mechanisms at receive, status-transition, and cleanup stages ensure dead nodes can never be accidentally resurrected or leak membership memory."},{"node":"gossip-death-is-irreversible-via-gossip","truth_value":"IN","reason":"premise"},{"node":"gossip-cleanup-removes-entry-entirely","truth_value":"IN","reason":"premise"},{"node":"gossip-dead-nodes-filtered-on-receive","truth_value":"IN","reason":"premise"}]}}