Status: OUT
Distributed system correctness is undermined at both the storage and protocol layers: storage engines silently assume single-threaded access (no locks, no assertions, no documentation), while the quorum protocol weakens its own semantic guarantees (counting hint storage as successful writes, allowing sub-quorum configurations without error).
Concurrency unsafety in storage compounds with weakened quorum semantics in the distributed layer
Depends on (SL): multiple-core-components-assume-single-thread-silently, quorum-guarantees-weakened-at-two-levels