Mixed-consistency programming models assist programmers in designing applications that
provide high availability while still ensuring application-specific safety invariants. However …