{"id":"distributed-correctness-undermined-at-both-layers","text":"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).","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["multiple-core-components-assume-single-thread-silently","quorum-guarantees-weakened-at-two-levels"],"outlist":[],"label":"Concurrency unsafety in storage compounds with weakened quorum semantics in the distributed layer"}],"dependents":["end-to-end-correctness-requires-unmet-storage-guarantees"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"distributed-correctness-undermined-at-both-layers","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["multiple-core-components-assume-single-thread-silently"],"label":"Concurrency unsafety in storage compounds with weakened quorum semantics in the distributed layer"}]}}