Enum FactEventKind 

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

Variants

Asserted

Reinforced

Fields

by: FactId

Contradicted

Fields

by: FactId

basis: ContradictionBasis

Superseded

Fields

by: FactId

reason: SupersessionReason

Expired

Fields

reason: ExpirationReason

Retracted

Fields

reason: RetractionReason

Retrieved

Fields

purpose: String

UsedInDecision

Fields

decision_id: String

ChallengeRejected

A challenge against this fact 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<FactId>

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

rejection: ChallengeRejection

Implementations

impl FactEventKind

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

pub const fn is_lifecycle_terminal(&self) -> bool

Trait Implementations

impl Clone for FactEventKind

fn clone(&self) -> FactEventKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FactEventKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FactEventKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for FactEventKind

impl PartialEq for FactEventKind

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for FactEventKind

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 FactEventKind