kv-quorum-consistency-assumed-not-enforced

Status: OUT

The KV store's consistency model depends on W+R>N quorum overlap but never validates the constraint, and hinted handoff writes bypass quorum entirely — consistency is a caller convention, not a system guarantee.

Justifications

Two independent gaps (unvalidated overlap + quorum-excluded handoff) compound to make consistency purely aspirational

Depends on (SL): kv-store-quorum-overlap-not-enforced, kv-hinted-handoff-not-counted-in-quorum

Depended on by

JSON