Enum GateOutcome 

pub enum GateOutcome {
    Allow,
    Deny {
        refusal: Box<AxError>,
    },
    Ask {
        question: Box<AxError>,
    },
}

Deliberately exhaustive, and the third arm is deliberately rare.

Every caller decides all three ways, so a door that starts asking a person is a compile error at every caller rather than a behaviour that changes underneath them. Exactly one door answers Ask (attach); the refusal matrix asserts that count.

Variants

Allow

Deny

Fields

refusal: Box<AxError>

Ask

The door cannot answer, and the person can. The error carries the question: E_APPROVAL_PENDING, the three gate parts, and a recovery sentence naming the action only the person can take.

Fields

question: Box<AxError>

Trait Implementations

impl Debug for GateOutcome

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

Formats the value using the given formatter.