Status: IN
Distributed protocol safety properties are validated exclusively under synchronous simulation (deterministic tick-based delivery, no real network I/O), but the most critical failure mode — network partitions creating stale-leader write acceptance and forced re-elections — is inherently asynchronous, creating an untested gap between modeled and real-world safety.
Partition hazards are modeled but only tested under instant delivery — async timing effects remain unvalidated
Depends on (SL): distributed-protocols-simulate-synchronous-delivery, raft-partition-creates-dual-hazard