Enum Outcome 

pub enum Outcome {
    #[non_exhaustive]
    Done {
        text: Option<String>,
        iters: u32,
        tools_called: u32,
        usage: Usage,
        verified: Option<Verdict>,
        contract: SealSet,
        seal_breach: Option<String>,
    },
    #[non_exhaustive]
    BudgetExhausted {
        iters: u32,
        last_text: Option<String>,
        tools_called: u32,
        usage: Usage,
        deadline_reached: bool,
    },
    #[non_exhaustive]
    Stuck {
        reason: String,
        repeated: u32,
        iters: u32,
        last_text: Option<String>,
        tools_called: u32,
        usage: Usage,
    },
}

Where a run finished. Each variant is #[non_exhaustive] so new fields don’t break downstream matches — always include .. when destructuring.

Variants

#[non_exhaustive]

Done

Model returned text with no tool calls (natural end).

Fields

Non-exhaustive enum variants could have additional fields added in future. Therefore, non-exhaustive enum variants cannot be constructed in external crates and cannot be matched against.

text: Option<String>

iters: u32

tools_called: u32

usage: Usage

verified: Option<Verdict>

What the acceptance checks said. None means nothing was asked — so “the model stopped” is all this outcome claims.

contract: SealSet

The sealed contract as it stood before the model’s first turn.

Carried out of the run because a receipt has to say what was measured, not only that the measurement held. Empty when nothing was sealed.

seal_breach: Option<String>

Set when a sealed acceptance contract changed during the run.

Distinct from a plain failed verified because the two mean different things to a caller: a failed check is work not finished, this is the measuring instrument having been moved. A host may want to fail a build on the first and page someone on the second.

#[non_exhaustive]

BudgetExhausted

Policy budget exhausted before the model stopped requesting tools. Carries everything we know so the caller can recover partial work (saved notes, files written by tools, the last assistant text, etc.) instead of seeing a single bare “budget out” string.

Fields

Non-exhaustive enum variants could have additional fields added in future. Therefore, non-exhaustive enum variants cannot be constructed in external crates and cannot be matched against.

iters: u32

last_text: Option<String>

tools_called: u32

usage: Usage

deadline_reached: bool

True when Task::deadline stopped the run rather than max_iters. Both end the same way — a forced final answer — but “ran out of time” and “ran out of steps” call for different responses from the caller, and an unattended long run only ever hits the first.

#[non_exhaustive]

Stuck

The agent got stuck and the loop terminated early to save the rest of the budget. Carries partial work (last text, files already written by tools) like BudgetExhausted.

Two independent detectors end here, and reason says which: it repeated the same tool call for StuckPolicy::abort_after rounds without progress, or it worked a single tool for MonotonyPolicy::abort_after rounds without touching anything else. Only the second forces a final synthesis before returning — see the abort site for why.

Fields

Non-exhaustive enum variants could have additional fields added in future. Therefore, non-exhaustive enum variants cannot be constructed in external crates and cannot be matched against.

reason: String

Human-readable reason, e.g. “repeated read_file(...) 6× without progress” or “called graph_find for 16 consecutive rounds without using any other tool”.

repeated: u32

How many consecutive rounds the detector counted before aborting.

iters: u32

last_text: Option<String>

tools_called: u32

usage: Usage

Trait Implementations

impl Clone for Outcome

fn clone(&self) -> Outcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Outcome

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

Formats the value using the given formatter.