Enum BenchOutcome 

pub enum BenchOutcome {
    Ran {
        outcome: ToolOutcome,
        checkpointed: Option<String>,
        wrote: Writes,
    },
    Refused {
        refusal: Box<AxError>,
    },
    Duplicate {
        outcome: ToolOutcome,
    },
}

What the bench decided, alongside what the tool produced.

Variants

Ran

The tool ran; this is its result. checkpointed carries the commit the wave was checkpointed against when the forecast suspected a discard, so the post-wave sweep knows what to restore from. wrote is the tool’s own account of what the call may have written, which the next checkpoint stages (crates/runtime/spec/Run/Checkpoint.lean §8-45).

Fields

outcome: ToolOutcome

checkpointed: Option<String>

wrote: Writes

Refused

A gate refused, or asked. Either way the answer travels back as a tool_result, which keeps the turn alive and tells the model what it may not do or what the person has to do; a pending question carries E_APPROVAL_PENDING and its recovery sentence is the question.

Fields

refusal: Box<AxError>

Duplicate

The call was already made, and this is what it answered. A replay is owed the first result: an error here would teach the model a call failed when it succeeded.

Fields

outcome: ToolOutcome

Trait Implementations

impl Debug for BenchOutcome

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

Formats the value using the given formatter.