{"id":"quorum-guarantees-weakened-at-two-levels","text":"The distributed storage layer systematically weakens quorum semantics: sloppy quorums count hint storage as successful writes, and sub-quorum configurations (R+W<=N) produce only warnings rather than errors, making it possible to operate without intersection guarantees.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["hinted-handoff-sloppy-quorum-counts-hints","quorum-violation-warns-not-raises"],"outlist":[],"label":"Two independent weakening mechanisms stack — hints inflate write-quorum counts while the safety check is advisory-only"}],"dependents":["distributed-correctness-undermined-at-both-layers","distributed-writes-have-compounding-correctness-gaps"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"quorum-guarantees-weakened-at-two-levels","truth_value":"IN","reason":"SL justification valid","antecedents":["hinted-handoff-sloppy-quorum-counts-hints","quorum-violation-warns-not-raises"],"label":"Two independent weakening mechanisms stack — hints inflate write-quorum counts while the safety check is advisory-only"},{"node":"hinted-handoff-sloppy-quorum-counts-hints","truth_value":"IN","reason":"premise"},{"node":"quorum-violation-warns-not-raises","truth_value":"IN","reason":"premise"}]}}