Enum StepState 

pub enum StepState {
    Satisfied {
        detail: String,
        limitation: Option<String>,
    },
    Unsatisfied {
        detail: String,
    },
    Inapplicable {
        detail: String,
    },
    Unknown {
        detail: String,
    },
}

What one observation found.

Variants

Satisfied

The desired state holds; a limitation names what the forge enforces less strongly than the step’s proof claims.

Fields

detail: String

What was found, one line.

limitation: Option<String>

The weaker guarantee, by name, where the forge enforces less.

Unsatisfied

The desired state does not hold.

Fields

detail: String

What was found instead.

Inapplicable

An optional step’s condition does not hold: nothing is wrong, and nothing is proven — check reports it as skipped, while an explicit single-step apply still runs it.

Fields

detail: String

Why the step does not apply here.

Unknown

The observation could not decide.

Fields

detail: String

Why not.

Implementations

impl StepState

pub const fn satisfied(&self) -> bool

Whether the desired state holds.

Trait Implementations

impl Debug for StepState

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

Formats the value using the given formatter.