Enum TrustExchangeAdmission 

pub enum TrustExchangeAdmission {
    AdmitCandidate {
        forbidden_uses: Vec<ForbiddenUse>,
        policy_decision: PolicyDecision,
    },
    Quarantine {
        quarantines: Vec<TrustExchangeFieldError>,
        named_quarantine_outputs: NamedQuarantineOutputs,
        policy_decision: PolicyDecision,
        forbidden_uses: Vec<ForbiddenUse>,
    },
    Reject {
        rejects: Vec<TrustExchangeFieldError>,
        quarantines: Vec<TrustExchangeFieldError>,
        named_quarantine_outputs: NamedQuarantineOutputs,
        policy_decision: PolicyDecision,
    },
}

Final admission decision for a pai-axiom trust exchange admission.

Variants

AdmitCandidate

Admitted only as a Cortex memory candidate.

Fields

forbidden_uses: Vec<ForbiddenUse>

Authority-bearing uses forbidden on every AdmitCandidate path.

policy_decision: PolicyDecision

ADR 0026 composed policy decision.

Quarantine

Quarantine path — record retained but cannot promote.

Fields

quarantines: Vec<TrustExchangeFieldError>

Stable invariant failures triggering quarantine.

named_quarantine_outputs: NamedQuarantineOutputs

Named per-source quarantine outputs (ADR 0042 §7).

policy_decision: PolicyDecision

ADR 0026 composed policy decision.

forbidden_uses: Vec<ForbiddenUse>

Forbidden uses still apply to quarantined records.

Reject

Hard refusal — no record retained as candidate.

Fields

rejects: Vec<TrustExchangeFieldError>

Stable invariant failures triggering rejection.

quarantines: Vec<TrustExchangeFieldError>

Co-occurring quarantine signals (for diagnostics only).

named_quarantine_outputs: NamedQuarantineOutputs

Named per-source quarantine outputs (ADR 0042 §7).

policy_decision: PolicyDecision

ADR 0026 composed policy decision.

Implementations

impl TrustExchangeAdmission

pub const fn decision_name(&self) -> &'static str

Stable machine-readable name of the decision branch.

pub fn named_quarantine_outputs(&self) -> Option<&NamedQuarantineOutputs>

Returns the named quarantine outputs of the decision when present.

pub fn policy_decision(&self) -> &PolicyDecision

Returns the composed ADR 0026 policy decision.

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

Returns the stable invariant names contributing to this decision.

pub fn forbidden_uses(&self) -> Option<&[ForbiddenUse]>

Returns the forbidden_uses carried on candidate or quarantined records. Always present even on quarantine to preserve the candidate-only invariant.

Trait Implementations

impl Clone for TrustExchangeAdmission

fn clone(&self) -> TrustExchangeAdmission

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TrustExchangeAdmission

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

Formats the value using the given formatter.

impl PartialEq for TrustExchangeAdmission

fn eq(&self, other: &TrustExchangeAdmission) -> 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 TrustExchangeAdmission

impl StructuralPartialEq for TrustExchangeAdmission