One doc tagged with "liveness"

A rigorous treatment of the two fundamental properties of BFT consensus, grounded in Savanna's actual voting rules as implemented in `finalizer.cpp`. Derived from wire-sysio / Antelope Spring v1.0.