{"id":"temporal-check-gaps-are-systematic-risk","text":"The gap between checking a condition and acting on it is a recurring design concern: the payment system has two independent TOCTOU windows in the same code path, while the notification system defensively re-checks rate limits at both send and process time — demonstrating that temporal check gaps require explicit architectural mitigation rather than assuming atomicity.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["payment-toctou-double-jeopardy","notification-defensive-double-rate-check"],"outlist":[],"label":"Payment shows the bug (unclosed temporal gap), notification shows the fix (double-check pattern) — together establishing temporal gaps as a first-class design concern"}],"dependents":["correctness-gaps-cluster-at-temporal-boundaries","documented-gaps-manifest-as-implementation-risks"],"metadata":{"last_reviewed":"2026-06-05T18:21:49","review_result":"pass","_retracted":true},"created_at":"","updated_at":"2026-06-17T14:30:36+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T14:30:36+00:00","explanation":{"steps":[{"node":"temporal-check-gaps-are-systematic-risk","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["payment-toctou-double-jeopardy"],"label":"Payment shows the bug (unclosed temporal gap), notification shows the fix (double-check pattern) — together establishing temporal gaps as a first-class design concern"}]}}