Struct Psp9AgentRuntime 

pub struct Psp9AgentRuntime { /* private fields */ }

The production runtime for one coding task.

Implementations

impl Psp9AgentRuntime

pub async fn run_exploration(self, task: String) -> Result<Psp9RunSummary>

Exploration-only session (PSP-9 phase 7): the deterministic repository map plus an interactive read-only explorer tool loop. The explorer holds only read capabilities; every tool call still passes the kernel, so a mutation attempt is denied and recorded rather than prevented by convention. Nothing is measured, gated, or promoted.

impl Psp9AgentRuntime

pub async fn resume_session(self, session_id: String) -> Result<Psp9RunSummary>

Continue an interrupted model loop from its newest durable candidate checkpoint (PSP-9 resolved decision 6). Nothing live is deserialized: the accepted candidate is rebuilt from content-addressed artifacts, a fresh capability is minted from the grant intersection at the current durable authority epoch, and the loop re-enters with exactly the checkpoint’s remaining budgets. A bumped epoch refuses the resume.

impl Psp9AgentRuntime

pub fn from_config( working_dir: PathBuf, config: &Config, routes: Psp9ModelRoutes, run_config: Psp9RunConfig, ) -> Result<Self>

pub fn with_transport( working_dir: PathBuf, transport: Arc<dyn ModelTransport>, model: ModelId, run_config: Psp9RunConfig, ) -> Self

Assemble the same runtime with an injected provider-neutral transport. Used by conformance tests and embedders that supply their own model plane.

pub fn with_tool_handlers(self, handlers: CandidateHandlerRegistry) -> Self

Extend or replace the execution plane with a registry assembled at the composition root (registered tool families beyond the builtins). A configured MCP dispatcher is preserved as the fallback.

pub fn with_tool_family(self, entries: Vec<ToolEntry>) -> Self

Add a registered tool family’s catalog entries. Pair with Self::with_tool_handlers; the entries enter every node’s assembled catalog and therefore its derived grant.

pub fn with_domain(self, domain: Arc<dyn AgentDomainPackage>) -> Self

Select the domain package (from a DomainRegistry at the composition root). Defaults to the coding domain.

pub fn with_database_path(self, path: PathBuf) -> Self

pub fn with_session_store(self, store: Arc<SessionStore>) -> Self

Record into an existing store handle instead of opening a second live handle on the same database file (used when an in-process dashboard already holds one).

pub fn with_prompt_overrides(self, overrides: SectionOverrides) -> Self

Install experimental platform-section overrides (validated bundle replacements). The composition root gates this behind --allow-experimental-prompts; active overrides are ledgered at session start.

pub fn with_search_limits(self, limits: SearchLimits) -> Self

Override the forest’s Definition 5 limit vector (tests, embedders).

pub fn with_fallback_models(self, models: Vec<ModelId>) -> Self

pub fn with_explorer_model(self, model: ModelId) -> Self

pub fn with_adjudicator_model(self, model: ModelId) -> Self

pub fn connect_tui(self, sender: EventSender, receiver: ActionReceiver) -> Self

pub async fn run(self, task: String) -> Result<Psp9RunSummary>

Trait Implementations

impl Debug for Psp9AgentRuntime

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

Formats the value using the given formatter.