Enum HookOutcome 

pub enum HookOutcome {
    Allow,
    Modify(Value),
    Cancel(Option<String>),
    Retry,
}

What a hook decided.

Deliberately not Option<Value>: “proceed unchanged” and “proceed with this” are different answers, and so is “do not proceed”. Collapsing them would make a cancelling hook indistinguishable from one that returned nothing, which is the failure mode the taint gate’s own history warns about.

Variants

Allow

Proceed unchanged.

Modify(Value)

Proceed, using this value instead. Its shape is the caller’s contract.

Cancel(Option<String>)

Do not proceed. The reason is shown to the operator and, where the caller can, written into the agent’s context so the model learns why.

Retry

Do the thing again. Not every caller can honour this; one that cannot says so rather than silently treating it as Allow.

Trait Implementations

impl Clone for HookOutcome

fn clone(&self) -> HookOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HookOutcome

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

Formats the value using the given formatter.

impl PartialEq for HookOutcome

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for HookOutcome