Enum FullResyncDecision 

pub enum FullResyncDecision {
    Disabled,
    NotDue {
        run_count: u64,
        every: u32,
        runs_until_due: u32,
    },
    Due {
        run_count: u64,
        every: u32,
        walked_facets: Vec<String>,
        refused: Vec<FullResyncRefusal>,
    },
    Forced {
        walked_facets: Vec<String>,
    },
}

The full-enumeration scheduling decision for a verify run (D3). A closed, serialized vocabulary so the caller (and the fidelity report) can render the outcome without inferring it.

Variants

Disabled

full_resync_every == 0 — scheduled full walks are disabled; the run uses the rotating sample only.

NotDue

Scheduled but not due this run — the rotating sample runs; the counter advances toward the next full walk.

Fields

run_count: u64

This run’s 1-based verify-run count.

every: u32

The configured cadence.

runs_until_due: u32

How many further runs until the next scheduled full walk.

Due

Due this run: a full-enumeration walk fires for the enumerable facets (guaranteeing a complete coverage picture), and every non-enumerable facet is refused with a typed signal — never a silent skip, never a fabricated full-coverage claim.

Fields

run_count: u64

This run’s 1-based verify-run count.

every: u32

The configured cadence.

walked_facets: Vec<String>

The facets a full enumeration walk covers this run.

refused: Vec<FullResyncRefusal>

The non-enumerable facets the walk refuses (typed).

Forced

A full walk was explicitly requested (verify_binding_full — the CLI’s --full), not schedule-triggered: the whole enumerable S(D) is walked, the sampling scheduler is bypassed, and the adjudication cap is treated as unlimited. Only ever constructed after the every-facet-enumerable gate, so it carries no per-facet refusal list — a non-enumerable facet refuses the entire run instead (FindingsError::FullWalkNonEnumerable).

Fields

walked_facets: Vec<String>

The facets the full enumeration walk covers.

Implementations

impl FullResyncDecision

pub fn is_full_walk(&self) -> bool

Whether this run performs a full-enumeration walk (a scheduled sweep is due, or an explicit full measurement was requested). false for Disabled / NotDue.

Trait Implementations

impl Clone for FullResyncDecision

fn clone(&self) -> FullResyncDecision

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FullResyncDecision

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FullResyncDecision

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for FullResyncDecision

impl PartialEq for FullResyncDecision

fn eq(&self, other: &FullResyncDecision) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for FullResyncDecision

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for FullResyncDecision