{"id":"assumed-invariants-are-unenforced","text":"Critical correctness invariants exist only as developer assumptions, not as code-enforced constraints: the KV store relies on W+R>N quorum overlap without validating it, and the payment system assumes atomic balance checks despite non-atomic reads — both creating correctness guarantees that hold only when callers cooperate, with silent violations under edge conditions the code structurally permits.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["kv-quorum-consistency-assumed-not-enforced","payment-toctou-double-jeopardy"],"outlist":[],"label":"Both depth-1 conclusions identify correctness properties that documentation promises but code never checks, forming a cross-cutting pattern of unenforced invariants"}],"dependents":["correctness-gaps-cluster-at-temporal-boundaries","correctness-loop-covers-all-critical-properties","growth-does-not-increase-maintenance-burden","structural-correctness-is-universally-applied","sustainable-architecture-quality-under-enforcement","temporal-gaps-are-contained-by-forward-only-design","write-coordination-freedom-is-safe-under-module-isolation","write-read-asymmetry-is-end-to-end-correct"],"metadata":{"last_reviewed":"2026-06-05T18:21:49","review_result":"pass","_retracted":true},"created_at":"","updated_at":"2026-06-17T14:30:37+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T14:30:37+00:00","explanation":{"steps":[{"node":"assumed-invariants-are-unenforced","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["kv-quorum-consistency-assumed-not-enforced","payment-toctou-double-jeopardy"],"label":"Both depth-1 conclusions identify correctness properties that documentation promises but code never checks, forming a cross-cutting pattern of unenforced invariants"}]}}