{"id":"kv-store-quorum-overlap-not-enforced","text":"The key-value store's W+R>N read-write overlap guarantee is assumed by callers but never validated in code.","truth_value":"OUT","source":"entries/2026/06/05/topic-consistency-models.md","source_url":"","source_hash":"","justifications":[],"dependents":["kv-quorum-consistency-assumed-not-enforced","kv-reads-eventually-converge"],"metadata":{"_retracted":true},"created_at":"","updated_at":"2026-06-17T14:30:29+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T14:30:29+00:00","explanation":{"steps":[{"node":"kv-store-quorum-overlap-not-enforced","truth_value":"OUT","reason":"retracted premise"}]}}