Status: IN
Distributed protocol safety claims are unfalsifiable under the current testing methodology: specific protocol gaps (2PC's blocking window with unused timeout, Raft's stale-leader writes) AND general protocol behavior are validated exclusively under synchronous simulation with deterministic delivery — safety violations that manifest only under asynchronous or partitioned delivery are structurally invisible to the test suite.
Synchronous-only testing masks safety gaps that require asynchronous delivery to manifest
Depends on (SL): 2pc-safety-gaps-compound-under-synchronous-simulation, protocol-safety-validated-only-under-synchronous-model