Skip to main content

Registry

Struct Registry 

Source
pub struct Registry {
    pub warnings: Vec<String>,
    /* private fields */
}
Expand description

The registry.

Fields§

§warnings: Vec<String>

Non-fatal findings from the build (collisions, missing profile tools).

Implementations§

Source§

impl Registry

Source

pub fn build( settings: &Settings, servers: &[ServerTools], ) -> Result<Registry, Vec<String>>

Build from settings and the connected servers’ tool lists.

Every override is resolved here, at startup, so a misconfiguration fails to boot rather than failing on the call that needed the tool. The errors returned are: an override naming an unknown internal tool, a server that is not declared, a tool the server does not advertise, a mapping expression that does not compile, a tool that is both disabled and overridden, and disabling a tool that does not exist.

Source

pub fn register_workflow_tools( &mut self, workflows: &[&Workflow], ) -> Vec<String>

Register every workflow carrying a tool: block as a first-class contract. Called ONCE, after the startup workflow load.

Startup-only is the whole safety argument. The registry is otherwise built once from settings plus connected servers and validated fail-closed; workflow tools would make it a mutable index if the model could add to it, and workflow.create is root-callable — a root turn could mint itself a new tool name, or shadow one, with no operator in the loop. So workflow.create/update refuse a tool: block, and this is the only door.

Tags are DERIVED, never declared. A workflow author writing tags: [sensitive, egress] would make the one static instance-wide security gate something the agent-editable half of the config asserts about itself; instead a workflow tool inherits the union of the tags of the tools its steps actually reach, so the trifecta fold sees the truth about what the procedure can do.

Source

pub fn get(&self, name: &str) -> Option<&ToolSpec>

Source

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

Source

pub fn servers(&self) -> &[String]

Source

pub fn len(&self) -> usize

Source

pub fn is_empty(&self) -> bool

Source

pub fn iter(&self) -> impl Iterator<Item = &ToolSpec>

Source

pub fn allowed(&self, caller: &Caller<'_>, name: &str) -> bool

Whether caller may call name.

Fails closed at every step: an unknown tool, or one that is disabled or still unmapped, is refused before any grant is consulted; an anonymous A2A principal is refused outright; and a subagent carrying an explicit allow list is held to it alone, so narrowing a child can only ever remove reach, never restore it through a default.

Source

pub fn defs_for( &self, caller: &Caller<'_>, select: Option<&AgentTools>, ) -> Vec<ToolDef>

The LLM-facing definitions for a caller, filtered by the agent’s tool selection (agent.tools.internal|mcp|code) when given.

Source

pub fn validate_args(&self, name: &str, args: &Value) -> Result<(), String>

Validate call arguments against the tool’s input schema.

Source

pub fn validate_result(&self, name: &str, result: &Value) -> Result<(), String>

Validate a result against the tool’s output schema (when it has one).

Source

pub fn route(&self, name: &str) -> Option<Route<'_>>

Where a call goes (None = unknown or unavailable).

Source

pub fn map_args(m: &Mapping, args: &Value, ctx: &Value) -> Result<Value, String>

Render a mapped tool’s MCP arguments from the internal call’s args and the call context ({instance, run?, ctx?, principal?}). Without an args template the internal args pass through unchanged.

Source

pub fn map_result(m: &Mapping, result_ctx: &Value) -> Result<Value, String>

Map an MCP CallToolResult (as the {"result": …} context the store adapter also uses) back to the internal output. Without a result template: structuredContent, else the text parsed as JSON, else the text.

Source

pub fn tags_of(&self, names: &[String]) -> Vec<TrifectaTag>

The trifecta tags a set of tool names carries (for the gate).

Source

pub fn status(&self) -> Value

A status view (agent://tools).

Trait Implementations§

Source§

impl Clone for Registry

Source§

fn clone(&self) -> Registry

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 Registry

Source§

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

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

impl Default for Registry

Source§

fn default() -> Registry

Returns the “default value” for a type. Read more

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> 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> 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 = !

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.
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