onyx.log.replica-invariants

active-job-invariant

(active-job-invariant {:keys [task-slot-ids peers allocations peer-sites prepared accepted pairs jobs], :as replica})

all-coordinators-exist

(all-coordinators-exist replica)

all-groups-invariant

(all-groups-invariant {:keys [groups prepared accepted pairs], :as replica})

all-jobs-have-coordinator

(all-jobs-have-coordinator replica)

all-peers-are-group-indexed

(all-peers-are-group-indexed replica)

all-peers-are-reverse-group-indexed

(all-peers-are-reverse-group-indexed replica)

all-tasks-have-non-zero-peers

(all-tasks-have-non-zero-peers replica)

allocations-invariant

(allocations-invariant {:keys [peers allocations], :as replica})

group-index-keys-never-nil

(group-index-keys-never-nil replica)

group-index-vals-never-nil

(group-index-vals-never-nil replica)

no-extra-coordinators

(no-extra-coordinators replica)

peer-site-invariant

(peer-site-invariant {:keys [peer-sites peers prepared accepted pairs], :as replica})

short-identifiers-correct

(short-identifiers-correct replica)

slot-id-invariant

(slot-id-invariant {:keys [task-slot-ids peers], :as replica})

version-invariant

(version-invariant {:keys [version], :as replica})