Paxos-based means what exactly? How much of the specification does it implement? [0]<p>[0] <a href="https://github.com/tlaplus/Examples/tree/master/specifications/Paxos" rel="nofollow">https://github.com/tlaplus/Examples/tree/master/specificatio...</a>