Enum ChallengeRejection 

pub enum ChallengeRejection {
    InsufficientAuthority,
    LaunderedAuthority,
    CanonicalContradiction,
    WeakerCorroboration,
    WeakerEntrenchment,
}

Why the firewall rejected the challenge (ADR 0015). These are the strength-based rejections; malformed writes, duplicates, and terminal-state mutations are not “survived” challenges and are never recorded.

Variants

InsufficientAuthority

The challenge’s stated authority was below the incumbent’s.

LaunderedAuthority

The supersession stated enough authority, but its backing fact was actually weaker (the subject-aware anti-laundering check).

CanonicalContradiction

A contradiction against a canonical incumbent (the LFI hard-alarm).

WeakerCorroboration

An equal-authority supersession whose backing fact had strictly weaker authority-weighted corroboration (the earned-supersession gate, opt-in). Superseded by Self::WeakerEntrenchment as of ADR 0017; kept so pre-0.3 challenge-rejected events still deserialize.

WeakerEntrenchment

An equal-authority supersession whose challenger had strictly weaker earned entrenchment — corroboration plus survived challenges — than the incumbent (the earned-supersession gate, opt-in; ADR 0017).

Trait Implementations

impl Clone for ChallengeRejection

fn clone(&self) -> ChallengeRejection

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ChallengeRejection

impl Debug for ChallengeRejection

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ChallengeRejection

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ChallengeRejection

impl PartialEq for ChallengeRejection

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ChallengeRejection

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ChallengeRejection