Skip to main content

ToolEntry

Struct ToolEntry 

Source
pub struct ToolEntry {
    pub name: String,
    pub description: String,
    pub discovery_summary: String,
    pub description_templates: Option<ToolDescriptionLibrary>,
    pub effect: EffectKind,
    pub risk: RiskClass,
    pub schema: Value,
    pub footprint: FootprintSpec,
    pub proposal_bindings: Vec<ProposalBinding>,
    pub durable: bool,
    pub origin: ToolOrigin,
    pub hot: bool,
}
Expand description

One tool in the catalog.

Fields§

§name: String§description: String§discovery_summary: String

Trusted text tool_search ranks by, when non-empty (PSP-10 system 25). Separate from the model-facing description so untrusted external descriptions never steer discovery.

§description_templates: Option<ToolDescriptionLibrary>

Optional per-route presentation library; absent means the route-neutral description serves every route.

§effect: EffectKind§risk: RiskClass§schema: Value

JSON Schema for the tool’s arguments.

§footprint: FootprintSpec

Declarative selectors mapping validated arguments to resources.

§proposal_bindings: Vec<ProposalBinding>

Deterministic argument-to-proposal bindings.

§durable: bool

Whether the tool mutates durable state (gates R5 bracketing).

§origin: ToolOrigin§hot: bool

Part of the hot set: visible without discovery. The domain’s common operating loop (read, edit, test, build, format) stays hot; deferred discovery is for rare tools and external servers, never the basic loop. Context economy only — authority is still the kernel’s.

Implementations§

Source§

impl ToolEntry

Source

pub fn hot(self) -> Self

Mark this entry hot (visible without discovery).

Source

pub fn validate(&self) -> Result<()>

Validate the entry at catalog-assembly time (Gates J and P).

The schema must be an object schema; the footprint must reference only declared arguments; and a mutating effect must declare a footprint.

Source

pub fn validate_arguments(&self, arguments: &Value) -> Result<()>

Validate provider-supplied arguments locally. Provider strict-schema support is only an optimization; this is the harness trust boundary. Catalog assembly guarantees the schema belongs to the profile this validator implements completely.

Source

pub fn to_spec(&self, strict: bool) -> ToolSpec

The wire-neutral spec sent to a model.

Source

pub fn to_spec_for_route(&self, route: &PromptRoute, strict: bool) -> ToolSpec

The spec compiled for one prompt route (PSP-10 system 25). With no description library this equals ToolEntry::to_spec byte for byte; with one, the first matching override (exact "adapter/family", then adapter, then family) replaces only the description — never authority fields.

Source

pub fn discovery_text(&self) -> &str

The text tool_search ranks: the discovery summary when present, else the route-neutral description.

Trait Implementations§

Source§

impl Clone for ToolEntry

Source§

fn clone(&self) -> ToolEntry

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 ToolEntry

Source§

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

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

impl<'de> Deserialize<'de> for ToolEntry

Source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
Source§

impl PartialEq for ToolEntry

Source§

fn eq(&self, other: &ToolEntry) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 (const: unstable) · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Serialize for ToolEntry

Source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more
Source§

impl StructuralPartialEq for ToolEntry

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> Same for T

Source§

type Output = T

Should always be Self
§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
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.
Source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

Source§

impl<T> Scalar for T
where T: 'static + Clone + PartialEq + Debug,