{"id":"correctness-gaps-cluster-at-temporal-boundaries","text":"Both classes of correctness weakness — assumed-but-unenforced invariants (quorum overlap, payment balance checks) and temporal check gaps (payment double-spend race, notification rate-limit re-checks) — share a common pattern: conditions that must hold across a time interval but are verified only at a single point, creating windows where silent violations can occur under edge conditions the code structurally permits.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["assumed-invariants-are-unenforced","temporal-check-gaps-are-systematic-risk"],"outlist":[],"label":"Unenforced invariants and TOCTOU gaps are both point-check-for-interval-property failures"}],"dependents":["safety-and-correctness-gaps-compound","temporal-correctness-gaps-are-known-and-accepted"],"metadata":{"last_reviewed":"2026-06-05T18:21:49","review_result":"invalid","_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":"correctness-gaps-cluster-at-temporal-boundaries","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["assumed-invariants-are-unenforced","temporal-check-gaps-are-systematic-risk"],"label":"Unenforced invariants and TOCTOU gaps are both point-check-for-interval-property failures"}]}}