Enum ClaimEventKind 

pub enum ClaimEventKind {
    Asserted,
    Reinforced {
        by: ClaimId,
    },
    Contradicted {
        by: ClaimId,
        basis: ContradictionBasis,
    },
    Superseded {
        by: ClaimId,
        reason: SupersessionReason,
    },
    Expired {
        reason: ExpirationReason,
    },
    Retracted {
        reason: RetractionReason,
    },
    Retrieved {
        purpose: String,
    },
    UsedInDecision {
        decision_id: String,
    },
    ChallengeRejected {
        challenge: ChallengeKind,
        by: Option<ClaimId>,
        rejection: ChallengeRejection,
    },
}

Variants

Asserted

Reinforced

Fields

by: ClaimId

Contradicted

Fields

by: ClaimId

basis: ContradictionBasis

Superseded

Fields

by: ClaimId

reason: SupersessionReason

Expired

Fields

reason: ExpirationReason

Retracted

Fields

reason: RetractionReason

Retrieved

Fields

purpose: String

UsedInDecision

Fields

decision_id: String

ChallengeRejected

A challenge against this claim was rejected by the firewall (ADR 0015). Written to the incumbent’s stream with the challenger’s provenance and effective authority, so surviving it is replayable, attributed entrenchment evidence.

Fields

challenge: ChallengeKind

by: Option<ClaimId>

The challenging claim, when the challenge named one (a supersession’s replacement, a contradiction’s contradictor).

rejection: ChallengeRejection

Implementations

impl ClaimEventKind

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

pub const fn is_lifecycle_terminal(&self) -> bool

Trait Implementations

impl Clone for ClaimEventKind

fn clone(&self) -> ClaimEventKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ClaimEventKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ClaimEventKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ClaimEventKind

impl PartialEq for ClaimEventKind

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

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 ClaimEventKind