Enum StepVerdict 

pub enum StepVerdict {
    Committed,
    AuthDenied,
    BudgetPartial {
        denied: u32,
    },
    Skipped {
        reason: SkipReason,
    },
}

Outcome of a single step_one pop, recorded on a Step record. Replay re-reaches the same verdict by re-execution; a mismatch fails fast.

Variants

Committed

Every Op authorized and the stage committed.

AuthDenied

An Op failed authorization; the whole stage rolled back.

BudgetPartial

Authorized, but per-Op budget/quota gates skipped denied Ops (partial commit — the committed siblings still applied).

Fields

denied: u32

Number of Ops the per-Op gates skipped this step.

Skipped

The popped action did not run (unregistered type or undeserializable bytes). No state changed.

Fields

reason: SkipReason

Why the action was skipped.

Trait Implementations

impl Clone for StepVerdict

fn clone(&self) -> StepVerdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for StepVerdict

impl Debug for StepVerdict

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for StepVerdict

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for StepVerdict

impl PartialEq for StepVerdict

fn eq(&self, other: &StepVerdict) -> 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 Serialize for StepVerdict

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 StepVerdict