Enum StageStatus 

pub enum StageStatus {
    Evaluated,
    Failed {
        message: String,
    },
    NotEvaluated {
        blocked_by: VerificationStage,
    },
    Halted {
        after: VerificationStage,
    },
}

Outcome of attempting to evaluate one verification stage (DC-95 Stage 2 Level 1). No stage may be silently absent from a report. A stage’s own check raising an error is recorded as a blocking finding against its scope rather than aborting the rest of verification (Failed); a stage that could not run because a real dependency did not evaluate is itself blocking, not silently skipped (NotEvaluated); a stage that could have run on its own terms but was preempted by an operator- requested early stop is also blocking, but for a different reason it must not be confused with (Halted) — a repository whose verification is incomplete is not verified, regardless of which of the three non-Evaluated states explains the gap.

Variants

Evaluated

The stage ran to completion; its findings and counts are authoritative.

Failed

The stage’s own check raised an error.

Fields

message: String

The error the stage raised.

NotEvaluated

The stage could not run because a real dependency did not evaluate — blocked_by names a stage this one’s own logic actually reads output from. This is a dependency-graph claim, and must remain true of the graph even when --stop-on-first-error is in effect; see Halted for the case where a stage merely followed an unrelated earlier stop.

Fields

blocked_by: VerificationStage

The earlier stage whose own non-evaluation is why this one could not run.

Halted

The stage was never attempted because an earlier, unrelated stage’s failure already stopped the walk under --stop-on-first-error (DC-95 Stage 2 Level 1 implementation review v1 §4) — after names the stage whose failure triggered the stop, not a dependency of this stage. Kept distinct from NotEvaluated because blocked_by is a dependency-graph claim: reporting NotEvaluated { blocked_by: Objects } for a stage that does not actually depend on Objects (e.g. LifecycleCache) would assert an edge that does not exist.

Fields

after: VerificationStage

The stage whose failure caused the walk to stop before this stage was reached.

Implementations

impl StageStatus

pub const fn is_blocking(&self) -> bool

Return true for any status other than a clean, completed evaluation. NotEvaluated and Halted are both blocking on the same footing as Failed — an incomplete verification is not a passing one, whichever of the three explains the gap.

Trait Implementations

impl Clone for StageStatus

fn clone(&self) -> StageStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StageStatus

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

Formats the value using the given formatter.

impl Eq for StageStatus

impl PartialEq for StageStatus

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for StageStatus