Struct StaticVerificationGate 

pub struct StaticVerificationGate { /* private fields */ }

An admission gate that statically verifies a proposal before any action runs.

Holds a handle to the runtime’s tool registry rather than a back-reference to the Runtime itself — gates are stored on the runtime, so an Arc<Runtime> here would be a cycle. The registry is already Arc-shared, so cloning it is both cheap and always current: tools registered after this gate is built are visible to it.

Implementations

impl StaticVerificationGate

pub fn new(tools: Arc<TokioRwLock<HashMap<String, ToolSchema>>>) -> Self

Build a gate reading tool schemas from the runtime’s live registry.

pub fn with_max_actions(self, max_actions: usize) -> Self

Override the action ceiling (proposals longer than this are not walked).

Trait Implementations

impl AdmissionGate for StaticVerificationGate

fn name(&self) -> &str

Short stable identifier (e.g. "information_flow", "concurrency") recorded on the audit event so a denial is attributable to a gate.

fn check<'life0, 'life1, 'life2, 'life3, 'async_trait>( &'life0 self, proposal: &'life1 ActionProposal, ctx: &'life2 GateContext<'life3>, ) -> Pin<Box<dyn Future<Output = GateOutcome> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait,

Inspect a proposal and return a verdict. Must not mutate shared state — admission runs before the execution snapshot is taken.