leave

fun leave(replica: ReplicaId, clock: Long): EphemeralMap<V>

Signal graceful departure for replica: publishes a null-value entry with clock, which must be higher than any prior entry. Peers that merge this departure will suppress replica from live output.