Status: OUT
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.
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
Depends on (SL): safety-and-correctness-gaps-compound, structural-correctness-and-testability-are-co-designed