Enum EffectGate 

#[non_exhaustive]
pub enum EffectGate {
    Always,
    DestructiveOnly,
    MutatingAndAbove,
}

Selector for which tool dispatches the ApprovalLayer gates through the Approver. Routes by the calling tool’s ToolMetadata::effect so operators express intent once at metadata time and the layer honours it without per-tool wiring.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Always

Every dispatch reaches the approver — the original behaviour (and the safe default for deployments where every tool call must have an explicit go-ahead).

DestructiveOnly

Only ToolEffect::Destructive tools reach the approver. ReadOnly and Mutating calls auto-approve. The narrowest gate that still requires confirmation for irreversible operations — typical “agent has free rein except for the dangerous handful” deployments.

MutatingAndAbove

Both ToolEffect::Mutating and ToolEffect::Destructive reach the approver. ReadOnly calls auto-approve. Appropriate when even reversible writes need a human in the loop (regulated workloads, compliance-bound flows).

Implementations

impl EffectGate

pub const fn requires_approval(self, effect: ToolEffect) -> bool

Whether a tool with the given effect should be gated by the approver under this policy.

Trait Implementations

impl Clone for EffectGate

fn clone(&self) -> EffectGate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffectGate

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

Formats the value using the given formatter.

impl Default for EffectGate

fn default() -> EffectGate

Returns the “default value” for a type.

impl PartialEq for EffectGate

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for EffectGate

impl StructuralPartialEq for EffectGate