Enum BlockedReason 

pub enum BlockedReason {
    RequiresHuman {
        call_id: String,
        detail: String,
    },
    Drifted {
        step_id: String,
        detail: String,
    },
}

Why a run is blocked awaiting a human decision (spine §6.7-B: the uncertain reconcile branch defaults to escalation; the onResumeDrift / human pipeline itself is not implemented in M0 — the shape is final).

Variants

RequiresHuman

The fate of a pending mutating intent could not be established (logUnavailable / startedNoTerminal) and the step is neither readonly nor declared idempotent — replay is forbidden (I2) and adjudication requires a human (repairWorld, not in M0).

Fields

call_id: String

The unresolved action intent’s callId.

detail: String

Human-readable explanation of why a human is required.

Drifted

A preflight probe found the world drifted (or unverifiable — an exhausted probe chain is treated as drift, 07 §4.2 rule 2) and no onResumeDrift disposition remained: none is declared, or the declared ladder ran out (maxTriggers) without the world coming back. The run records runSuspended and blocks for the operator.

Fields

step_id: String

The step whose preflight did not hold.

detail: String

Which probe failed and why.

Trait Implementations

impl Clone for BlockedReason

fn clone(&self) -> BlockedReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BlockedReason

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

Formats the value using the given formatter.

impl Display for BlockedReason

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

Formats the value using the given formatter.

impl Eq for BlockedReason

impl PartialEq for BlockedReason

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for BlockedReason