Struct ToolScope 

pub struct ToolScope {
    pub task_type: Option<String>,
    /* private fields */
}

Materialised tool scope: a pre-compiled allow-list of fully-qualified tool ids.

At agent build time, glob patterns are resolved against the registered tool set and stored as a HashSet<String>. Runtime admission is an O(1) lookup.

Fields

task_type: Option<String>

Identifier of this scope (task-type name).

Implementations

impl ToolScope

pub fn full() -> Self

The identity scope: admits every tool id. Used for the general default scope.

Examples

use zeph_tools::scope::ToolScope;

let scope = ToolScope::full();
assert!(scope.admits("builtin:shell"));
assert!(scope.admits("mcp:any_server/any_tool"));

pub fn try_compile<S: BuildHasher>( task_type: impl Into<String>, patterns: &[String], registry_ids: &HashSet<String, S>, strictness: PatternStrictness, is_general_scope: bool, ) -> Result<(Self, Vec<ScopeWarning>), ScopeError>

Compile a scope from glob patterns against the materialised registry.

Errors

Returns ScopeError::DeadPattern when a strict-namespace glob matches zero ids, ScopeError::AccidentallyFull when a pattern expands to the entire registry without an explicit general opt-in, or ScopeError::InvalidPattern on invalid glob syntax.

pub fn admits(&self, qualified_tool_id: &str) -> bool

Returns true when the given fully-qualified tool id is admitted by this scope.

Examples

use zeph_tools::scope::ToolScope;

let scope = ToolScope::full();
assert!(scope.admits("builtin:shell"));

pub fn admitted_ids(&self) -> Vec<&str>

Returns the list of admitted tool ids (excluding full scopes).

Useful for /scope list output and the scope_at_definition audit field.

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

The raw glob patterns this scope was compiled from (for re-resolution).

pub fn re_resolve<S: BuildHasher>( &self, registry_ids: &HashSet<String, S>, ) -> Self

Re-resolve the scope against a new registry (called on dynamic tool registration).

Returns a new ToolScope with the updated admit set; warnings are logged but not returned (non-fatal for provisional namespaces).

Trait Implementations

impl Clone for ToolScope

fn clone(&self) -> ToolScope

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ToolScope

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

Formats the value using the given formatter.