pub trait CorrectValidatorAvailability { }Expand description
Assumption (Correct validator availability). After GST, every correct validator accepts
requests and answers them within Δ, and its linera_core::worker::WorkerState completes each
request in bounded local time.
This is stronger than CorrectValidator, which permits a correct validator to be
permanently crashed. It is needed because CorrectValidatorsFormQuorum only says the
correct validators hold enough weight; progress needs them to answer.
The per-chain serialization of SequentialChainState means “bounded local time” also
requires that no single chain’s queue grows without bound — a chain saturated by requests can
starve its own consensus without any validator being faulty.