{"id":"kv-reads-eventually-converge","text":"KV reads drive eventual consistency through read repair and sibling version detection — every get actively heals divergence — but this guarantee holds only if W+R>N quorum overlap is actually maintained.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["kv-read-repair-on-get","kv-node-stores-sibling-versions"],"outlist":["kv-store-quorum-overlap-not-enforced"],"label":"Read repair is a convergence mechanism, but without quorum overlap it may read from a set of replicas that never received the latest write — self-healing can't fix what it never sees"}],"dependents":[],"metadata":{"last_reviewed":"2026-06-06T06:26:57","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"kv-reads-eventually-converge","truth_value":"IN","reason":"SL justification valid","antecedents":["kv-read-repair-on-get","kv-node-stores-sibling-versions"],"label":"Read repair is a convergence mechanism, but without quorum overlap it may read from a set of replicas that never received the latest write — self-healing can't fix what it never sees","outlist":["kv-store-quorum-overlap-not-enforced"]},{"node":"kv-read-repair-on-get","truth_value":"IN","reason":"premise"},{"node":"kv-node-stores-sibling-versions","truth_value":"IN","reason":"premise"}]}}