//! Progress tracking over a [`QuorumSet`](crate::QuorumSet).
//!
//! [`VecProgress`] stores per-node progress values and keeps the greatest value
//! accepted by the configured quorum set. In Raft terms, it can be viewed as a
//! map from node ID to the latest replicated log ID.
//!
//! Normal progress updates are monotonic: an entry's progress may stay the same
//! or increase. `VecProgress` uses that rule to avoid unnecessary quorum
//! recalculation and sorting. The explicit reset API can move one entry backward
//! without lowering the recorded quorum-accepted value.
//!
//! This module is designed for small consensus memberships where a compact
//! vector is simpler than indexed storage.
pub use DisplayVecProgress;
pub use IdVal;
pub use VecProgress;
pub use VecProgressEntry;
pub use VecProgressEntryData;