{"id":"safety-and-correctness-gaps-compound","text":"Correctness weaknesses cluster at temporal boundaries (TOCTOU, non-atomic checks) while safety enforcement is local and permissive (per-module error contracts, default-allow access control) — the most temporally sensitive code paths operate under the least standardized safety nets, creating compounding rather than independent risk.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["safety-is-local-and-permissive","correctness-gaps-cluster-at-temporal-boundaries"],"outlist":[],"label":"Safety is local/permissive (depth-3) and correctness gaps cluster at temporal boundaries (depth-3) — their intersection means the highest-risk code has the weakest protection"}],"dependents":["complexity-increases-both-read-cost-and-read-risk","compounding-gaps-are-in-the-testing-blind-spot","gap-containment-requires-module-independence","tested-properties-are-already-safe-by-construction"],"metadata":{"last_reviewed":"2026-06-05T18:21:49","review_result":"pass","_retracted":true},"created_at":"","updated_at":"2026-06-17T14:30:41+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T14:30:41+00:00","explanation":{"steps":[{"node":"safety-and-correctness-gaps-compound","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["safety-is-local-and-permissive","correctness-gaps-cluster-at-temporal-boundaries"],"label":"Safety is local/permissive (depth-3) and correctness gaps cluster at temporal boundaries (depth-3) — their intersection means the highest-risk code has the weakest protection"}]}}