{"id":"testing-covers-neither-crash-nor-async-failure-modes","text":"The testing methodology covers neither single-node crash failures nor distributed asynchronous failures: crash recovery paths are systematically untested (no torn-write tests, no compaction crash tests), and distributed protocols are validated only under synchronous deterministic simulation with no real network I/O — the entire failure surface area from storage crashes to network partitions is invisible to the test suite.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["crash-failure-paths-systematically-untested","protocol-safety-validated-only-under-synchronous-model"],"outlist":[],"label":"Two conclusions at different depths both identify testing blind spots — one for storage-layer crashes (depth-1), one for protocol-layer async behavior (depth-2) — spanning the full stack"}],"dependents":["consensus-correctness-doubly-unverified"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"testing-covers-neither-crash-nor-async-failure-modes","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["crash-failure-paths-systematically-untested"],"label":"Two conclusions at different depths both identify testing blind spots — one for storage-layer crashes (depth-1), one for protocol-layer async behavior (depth-2) — spanning the full stack"}]}}