{"id":"kv-quorum-consistency-assumed-not-enforced","text":"The KV store's consistency model depends on W+R>N quorum overlap but never validates the constraint, and hinted handoff writes bypass quorum entirely — consistency is a caller convention, not a system guarantee.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["kv-store-quorum-overlap-not-enforced","kv-hinted-handoff-not-counted-in-quorum"],"outlist":[],"label":"Two independent gaps (unvalidated overlap + quorum-excluded handoff) compound to make consistency purely aspirational"}],"dependents":["assumed-invariants-are-unenforced"],"metadata":{"last_reviewed":"2026-06-05T18:21:49","review_result":"pass","_retracted":true},"created_at":"","updated_at":"2026-06-17T14:30:34+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T14:30:34+00:00","explanation":{"steps":[{"node":"kv-quorum-consistency-assumed-not-enforced","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["kv-store-quorum-overlap-not-enforced"],"label":"Two independent gaps (unvalidated overlap + quorum-excluded handoff) compound to make consistency purely aspirational"}]}}