Skip to main content

LoopAction

Enum LoopAction 

Source
pub enum LoopAction {
    CallLLM {
        context: RenderedContext,
        tools: Vec<ToolSchema>,
    },
    ExecuteTools {
        calls: Vec<ToolCall>,
    },
    RequestApproval {
        requests: Vec<ApprovalRequest>,
    },
    SpawnWorkflow {
        nodes: Vec<WorkflowSpawnInfo>,
        budget: Option<WorkflowBudget>,
    },
    PreemptSubAgents {
        agent_ids: Vec<String>,
        reason: String,
    },
    PersistMemory {
        memory: MemoryRecord,
    },
    QueryMemory {
        query: MemoryQuery,
        requested_k: usize,
    },
    SpoolLargeResult {
        call_id: String,
        tool: String,
        output: String,
        original_size: u32,
        preview_size: u32,
    },
    ArchivePageOut {
        turn: u32,
        action: KernelPressureAction,
        summary: Option<String>,
        archived: Vec<Message>,
        tier: String,
    },
    Done {
        result: LoopResult,
    },
    EvaluateMilestone {
        phase_id: String,
        criteria: Vec<String>,
        verifier: Option<MilestoneVerifier>,
        required_evidence: Vec<String>,
    },
    AwaitingResume,
}
Expand description

Actions the state machine outputs — SDK layer executes the I/O.

Variants§

§

CallLLM

Structured context ready for a provider call. context.system_text → provider system param. context.turns → provider messages array (strictly alternating). tools → tool schemas (skill / memory / knowledge / user tools).

Fields

§

ExecuteTools

Fields

§calls: Vec<ToolCall>
§

RequestApproval

Host-owned approval effect. The kernel remains suspended until the host returns the correlated result through the ABI.

Fields

§

SpawnWorkflow

Host-owned workflow orchestration effect. The kernel has reserved the batch but records no spawn fact until the correlated result arrives.

§

PreemptSubAgents

Host-owned cancellation of in-flight child agents.

Fields

§agent_ids: Vec<String>
§reason: String
§

PersistMemory

Fields

§

QueryMemory

Fields

§requested_k: usize
§

SpoolLargeResult

Fields

§call_id: String
§tool: String
§output: String
§original_size: u32
§preview_size: u32
§

ArchivePageOut

Fields

§turn: u32
§summary: Option<String>
§archived: Vec<Message>
§tier: String
§

Done

Fields

§result: LoopResult
§

EvaluateMilestone

Kernel requests the SDK to evaluate the current milestone phase.

The SDK should assess criteria against the agent’s output using the specified verifier, then feed back LoopEvent::MilestoneResult { result }.

Fields

§phase_id: String
§criteria: Vec<String>
§required_evidence: Vec<String>
§

AwaitingResume

Kernel is suspended awaiting a non-approval internal continuation.

Trait Implementations§

Source§

impl Clone for LoopAction

Source§

fn clone(&self) -> LoopAction

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for LoopAction

Source§

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

Formats the value using the given formatter. Read more
Source§

impl From<LoopAction> for KernelEffect

Source§

fn from(action: LoopAction) -> Self

Converts to this type from the input type.

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<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

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

Source§

type Error = Infallible

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

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

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.