Struct ReviewRepairLoop 

pub struct ReviewRepairLoop {
    pub lane_id: String,
    pub bounds: ReviewRepairBounds,
    pub policy: ReviewRepairPolicy,
    pub pinned_input_digest: String,
    pub iterations: Vec<IterationReceipt>,
    pub elapsed_secs: u64,
    pub tool_calls_used: u32,
    pub stopped: Option<StopReason>,
}

A bounded review→repair loop over one lane’s artifact.

Fields

lane_id: String

bounds: ReviewRepairBounds

policy: ReviewRepairPolicy

pinned_input_digest: String

Digest of the artifact this loop was authorized to work on.

iterations: Vec<IterationReceipt>

elapsed_secs: u64

tool_calls_used: u32

stopped: Option<StopReason>

Implementations

impl ReviewRepairLoop

pub fn new( lane_id: impl Into<String>, pinned_input_digest: impl Into<String>, bounds: ReviewRepairBounds, policy: ReviewRepairPolicy, ) -> Self

Start a loop pinned to the digest of the artifact under review.

pub fn stop_reason(&self) -> Option<&StopReason>

Whether the loop has stopped, and why.

pub fn begin_iteration(&mut self) -> Result<u32, ReviewRepairError>

Claim the next iteration slot, or refuse.

Ceilings are checked here — before any model or tool spend — so a loop that has exhausted its budget cannot buy one more iteration to find out.

pub fn record_iteration( &mut self, receipt: IterationReceipt, ) -> Result<Option<StopReason>, ReviewRepairError>

Record a completed iteration and decide whether the loop continues.

Returns Ok(None) when another iteration is warranted, Ok(Some(reason)) when the loop is done.

pub fn ratify( &mut self, approved: bool, note: impl Into<String>, ) -> Result<&StopReason, ReviewRepairError>

Record the human decision a parked loop is waiting for.

Only a loop actually parked at StopReason::AwaitingRatification can be ratified: a loop that stopped at a ceiling, on stale input, or inconclusively cannot be waved through, because there is no clean result to approve.

pub fn route_lines(&self) -> Vec<String>

Every route this loop ran, in order, for the Workflow row and receipts.

pub fn budget_line(&self) -> String

One-line budget statement: what was used against what was allowed.

Trait Implementations

impl Clone for ReviewRepairLoop

fn clone(&self) -> ReviewRepairLoop

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReviewRepairLoop

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ReviewRepairLoop

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ReviewRepairLoop

impl PartialEq for ReviewRepairLoop

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ReviewRepairLoop

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 ReviewRepairLoop