{"id":"compounding-gaps-are-in-the-testing-blind-spot","text":"Safety and correctness weaknesses compound at temporal boundaries (TOCTOU, non-atomic checks), which are precisely the properties that the co-designed structural test infrastructure cannot verify — the most dangerous gaps are systematically outside the test surface.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["safety-and-correctness-gaps-compound","structural-correctness-and-testability-are-co-designed"],"outlist":[],"label":"Tests validate structural properties and gaps cluster at temporal properties — opposite domains, meaning the compounding risk surface is exactly what the test approach leaves uncovered"}],"dependents":["critical-path-is-least-verified","enforcement-boundary-and-testing-blind-spot-converge"],"metadata":{"last_reviewed":"2026-06-05T18:21:49","review_result":"pass","_retracted":true},"created_at":"","updated_at":"2026-06-17T14:30:44+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T14:30:44+00:00","explanation":{"steps":[{"node":"compounding-gaps-are-in-the-testing-blind-spot","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["safety-and-correctness-gaps-compound"],"label":"Tests validate structural properties and gaps cluster at temporal properties — opposite domains, meaning the compounding risk surface is exactly what the test approach leaves uncovered"}]}}