Enum StopReason 

pub enum StopReason {
    Verified,
    RatificationDeclined {
        note: String,
    },
    AwaitingRatification,
    IterationCeiling {
        max_iterations: u32,
    },
    TimeCeiling {
        max_wall_clock_secs: u64,
        elapsed_secs: u64,
    },
    ToolCeiling {
        max_tool_calls: u32,
        used: u32,
    },
    StaleInput {
        pinned: String,
        reported: String,
    },
    Inconclusive {
        reason: String,
    },
}

Why a review→repair loop stopped. Every variant is terminal.

Variants

Verified

Clean verdict, and either no ratification was required or it was given.

RatificationDeclined

A human explicitly rejected the result.

Fields

note: String

AwaitingRatification

Clean verdict, waiting on the human the policy requires.

IterationCeiling

Fields

max_iterations: u32

TimeCeiling

Fields

max_wall_clock_secs: u64

elapsed_secs: u64

ToolCeiling

Fields

max_tool_calls: u32

used: u32

StaleInput

The artifact under review changed underneath the loop.

Fields

pinned: String

reported: String

Inconclusive

The reviewer could not judge, or its receipt was incomplete.

Fields

reason: String

Implementations

impl StopReason

pub fn is_success(&self) -> bool

True only for the one outcome that means “this loop succeeded”.

pub fn is_ceiling(&self) -> bool

True when the loop stopped because it hit an explicit ceiling. These are honest incompletions, not failures.

pub fn receipt(&self) -> String

Stable receipt line. UI surfaces localize around it; the numbers here are the ones the user must be able to check.

Trait Implementations

impl Clone for StopReason

fn clone(&self) -> StopReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StopReason

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for StopReason

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for StopReason

impl PartialEq for StopReason

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for StopReason

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 StopReason