Struct WindowState 

pub struct WindowState {
    pub units: Vec<String>,
    pub pending: Vec<String>,
}

§4.8 completeness oracle (I3): the windowed-in units for a base, plus the subset whose bootstrap has not yet completed. Registration alone is not completeness — a pending unit’s local replica may be empty or partial (its subscription still has cursor: -1 or holds a resume token), and MUST NOT be rendered as complete. A unit with zero server rows still completes once its bootstrap round finishes.

Fields

units: Vec<String>

Windowed-in units for this base, ordered by value.

pending: Vec<String>

Registered units whose bootstrap has not yet completed.

Implementations

impl WindowState

pub fn complete(&self, unit: &str) -> bool

The per-unit verdict: registered AND bootstrap-complete.

Trait Implementations

impl Clone for WindowState

fn clone(&self) -> WindowState

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for WindowState

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for WindowState

fn default() -> WindowState

Returns the “default value” for a type.

impl Serialize for WindowState

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.