One cluster, two membership views

soft liveness view · agreed view sequence