Restarting a node that is not cluster-manager-eligible, with any persisted state, preserves the invariant

Initializing...

Restarting a node that is not cluster-manager-eligible, with any persisted state, preserves the invariant · Prove2Me