| NODE | THREAD | STATE | TAU | AUTH | ACI | VOTE |
|---|
MAIVA limitation. The implemented quorum check verifies roster size against a threshold derived from that same roster size. It does not implement Byzantine fault tolerant consensus. The PBFT reference describes the intended design, not the current implementation.