Struct AssertionSupersession 

pub struct AssertionSupersession {
    pub supersession_uuid: Uuid,
    pub prior_assertion_uuid: Uuid,
    pub replacement_assertion_uuid: Uuid,
    pub status_event_uuid: Uuid,
    pub reasoning_uuid: Uuid,
    pub provenance_uuid: Uuid,
    pub recorded_at_micros: i64,
    pub contract_version: u32,
}

One immutable assertion-supersession relation.

Fields

supersession_uuid: Uuid

Caller-supplied UUIDv7 identity/idempotency key.

prior_assertion_uuid: Uuid

Existing assertion that becomes explicitly superseded.

replacement_assertion_uuid: Uuid

Existing replacement assertion.

status_event_uuid: Uuid

Exact paired superseded status-event UUID.

reasoning_uuid: Uuid

Existing reasoning record attached to the prior assertion.

provenance_uuid: Uuid

Producing provenance event.

recorded_at_micros: i64

Transaction time shared with the paired status event.

contract_version: u32

Frozen record contract.

Implementations

impl AssertionSupersession

pub fn new( supersession_uuid: Uuid, prior_assertion_uuid: Uuid, replacement_assertion_uuid: Uuid, status_event_uuid: Uuid, reasoning_uuid: Uuid, provenance_uuid: Uuid, recorded_at_micros: i64, ) -> Result<Self, KnowledgeError>

Validate and construct one immutable relation.

Trait Implementations

impl Clone for AssertionSupersession

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AssertionSupersession

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

Formats the value using the given formatter.

impl Eq for AssertionSupersession

impl PartialEq for AssertionSupersession

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AssertionSupersession