{"id":"dynamo-read-repair-ensures-replica-consistency","text":"Eager all-node read repair after every quorum read ensures all replicas converge to the latest version, because repair propagates to all reachable nodes (not just quorum participants) and per-key versioning prevents false cross-key conflicts.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["dynamo-read-repair-is-eager","dynamo-read-repair-is-all-node","dynamo-per-key-versioning"],"outlist":["dynamo-no-delete-support"],"label":"Read repair converges replicas for existing keys but without delete or tombstone support, deleted keys are resurrected from stale replicas during repair"}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"dynamo-read-repair-ensures-replica-consistency","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":[],"label":"Read repair converges replicas for existing keys but without delete or tombstone support, deleted keys are resurrected from stale replicas during repair","violated_outlist":["dynamo-no-delete-support"]}]}}