Enum StepOutcome 

pub enum StepOutcome {
    Succeeded,
    Stalled,
    Diverged,
}

The verified outcome of executing the current step (the input signal to replan_decision). Derived by the harness from the executor’s AgentOutput plus a super::verify state-diff.

Variants

Succeeded

The step’s subgoal was verified achieved.

Stalled

The action ran but produced no progress (e.g. a verified super::verify::ActionEffect::NoOp) or a recoverable error — worth a bounded retry of the same step.

Diverged

A hard failure that retrying the same step won’t fix (the page diverged from the plan’s assumptions) — the plan itself needs revising.

Trait Implementations

impl Clone for StepOutcome

fn clone(&self) -> StepOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for StepOutcome

impl Debug for StepOutcome

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

Formats the value using the given formatter.

impl Eq for StepOutcome

impl PartialEq for StepOutcome

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for StepOutcome