Struct ToolLoop 

pub struct ToolLoop<'a> {

    pub transport: &'a dyn ModelTransport,
    pub model: ModelId,
    pub fallback_models: Vec<ModelId>,
    pub catalog: &'a StaticCatalog,
    pub capabilities: Vec<Capability>,
    pub contract: Option<&'a dyn ContractEvaluator>,
    pub barrier: Option<&'a dyn BarrierEvaluator>,
    pub c_c_max: f64,
    pub executor: &'a dyn EffectExecutor,
    pub measurer: &'a dyn CandidateMeasurer,
    pub budgets: LoopBudgets,
    pub cadence: VerificationCadence,
    pub kernel_state: KernelState,
    pub node_id: String,
    pub generation: u32,
    pub system_prompt: PromptEnvelope,
    pub recorder: Option<&'a dyn LoopRecorder>,
    pub partial_seed_root: Option<String>,
    pub resumed_birth_deps: Vec<StateDependency>,
    pub search_budget: Option<SharedSearchBudget>,
}

The assembled tool loop for one node generation.

Fields

transport: &'a dyn ModelTransport

model: ModelId

fallback_models: Vec<ModelId>

Sticky failover chain. A route is consumed only after an observed transport failure and never selected per turn.

catalog: &'a StaticCatalog

capabilities: Vec<Capability>

contract: Option<&'a dyn ContractEvaluator>

barrier: Option<&'a dyn BarrierEvaluator>

c_c_max: f64

The capability contract’s ceiling on one certified increment.

executor: &'a dyn EffectExecutor

measurer: &'a dyn CandidateMeasurer

budgets: LoopBudgets

cadence: VerificationCadence

kernel_state: KernelState

node_id: String

generation: u32

system_prompt: PromptEnvelope

The composed platform envelope for this actor (PSP-10 Phase 5). The runtime composes it from the section library and records its provenance; the loop seeds the text and stamps the digests into every control frame.

recorder: Option<&'a dyn LoopRecorder>

partial_seed_root: Option<String>

The partial-checkpoint root this loop was seeded from (a branch continuing a partial); enters the resident dependency environment.

resumed_birth_deps: Vec<StateDependency>

Birth dependencies restored from a durable checkpoint, parallel to the resumed conversation (Gate AF): pages keep their birth roots.

search_budget: Option<SharedSearchBudget>

The forest’s shared budget when this loop is a search branch: every model turn and verifier run reserves first (Gate AC); None outside.

Implementations

impl ToolLoop<'_>

pub async fn run(self, goal: &str) -> Result<LoopOutcome>

Run the loop to a classified terminal state (Paper II Lemma 1).

pub async fn run_with_conversation( self, goal: &str, resumed: Option<Conversation>, restored_activated_tools: Vec<String>, ) -> Result<LoopOutcome>

Re-enter from a durable provider-neutral conversation projection. The runtime restores candidate state and budgets; this method restores only model context and deferred tool activation.