Skip to main content

RoundDecision

Enum RoundDecision 

Source
#[non_exhaustive]
pub enum RoundDecision { Continue(RoundAdjustment), Inject { content: Vec<ContentBlock>, adjust: RoundAdjustment, }, Stop, }
Expand description

The per-turn steering seam, whole: the trait a host implements and every type its signatures make that host name.

Re-exported rather than wrapped, under the rule stated on CancellationToken — a mentra type basis’s surface asks a caller to write is a name basis re-exports, or the caller pins mentra in their own manifest to spell it. And like the token, a strategy is an identity rather than a value: TurnOptions::with_round_strategy hands mentra the caller’s own Arc, so a basis-owned mirror of RoundDecision would be a translation layer with opinions of its own — the opposite of a seam.

The set is exactly what implementing costs. RoundStrategy is the trait (spelled with async_trait, which basis already re-exports); RoundContext and RoundBoundary are its question; RoundDecision, RoundAdjustment, ReasoningChange and RoundToolResult are its vocabulary for answering. The last three are here because the vocabulary’s own signatures demand them: RoundDecision::inject takes ContentBlocks, RoundAdjustment::with_model a ModelInfo, and ReasoningChange::Set a ReasoningOptions — whose effort field an Effort converts into, so switching effort mid-run never names mentra’s own level enum. The decision a RoundStrategy returns at a round boundary.

Construct one with RoundDecision::proceed, RoundDecision::inject, or RoundDecision::stop for the common cases, or the variants directly to carry a RoundAdjustment.

Variants (Non-exhaustive)§

This enum is marked as non-exhaustive
Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.
§

Continue(RoundAdjustment)

Proceed with the default flow. At RoundBoundary::AssistantMessageCommitted this accepts the terminal message and lets the run return; at RoundBoundary::ToolResultsCommitted it advances to the next round. Any carried RoundAdjustment applies to subsequent rounds.

§

Inject

Do not end the run: append content as a corrective user turn and run another round. At RoundBoundary::AssistantMessageCommitted this prevents the run from returning. Any carried RoundAdjustment applies to that round.

Fields

§content: Vec<ContentBlock>

Corrective content appended to the transcript as a user message.

§adjust: RoundAdjustment

Model/reasoning override applied before the injected round.

§

Stop

End the run gracefully at this boundary, committing the transcript exactly as RunOptions::stop does. A stop request asserts nothing about whether the run produced a valid answer.

Implementations§

Source§

impl RoundDecision

Source

pub fn proceed() -> RoundDecision

Continue with no model/reasoning change.

Source

pub fn inject(content: impl Into<Vec<ContentBlock>>) -> RoundDecision

Inject corrective context and run another round, with no adjustment.

Source

pub fn stop() -> RoundDecision

Request a graceful stop.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self> ⓘ

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self> ⓘ

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘ
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more