Struct AssertionValidityLedger 

pub struct AssertionValidityLedger {
    pub events: Vec<AssertionValidityEvent>,
}

Validated append-only assertion-validity participant.

Fields

events: Vec<AssertionValidityEvent>

Events ordered by (recorded_at, validity_event_uuid).

Implementations

impl AssertionValidityLedger

pub fn new(events: Vec<AssertionValidityEvent>) -> Result<Self, KnowledgeError>

Validate, sort, and construct one complete participant.

pub fn merge(&self, staged: &Self) -> Result<Self, KnowledgeError>

Merge staged append-only events with exact replay semantics.

pub fn current_for_at( &self, assertion_uuid: Uuid, transaction_cutoff_micros: i64, ) -> Option<&AssertionValidityEvent>

Select the validity interpretation visible at transaction cutoff.

pub fn is_valid_at( &self, assertion_uuid: Uuid, transaction_cutoff_micros: i64, valid_time_micros: i64, ) -> Option<bool>

Test validity using the interpretation visible at transaction cutoff.

pub fn event_fingerprint( &self, validity_event_uuid: Uuid, ) -> Result<[u8; 32], KnowledgeError>

Canonical fingerprint over one exact immutable event.

pub fn batch(&self) -> Result<RecordBatch, KnowledgeError>

Build the authoritative Arrow batch.

pub fn from_batches(batches: &[RecordBatch]) -> Result<Self, KnowledgeError>

Decode and validate exact Arrow batches.

Trait Implementations

impl Clone for AssertionValidityLedger

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 AssertionValidityLedger

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

Formats the value using the given formatter.

impl Default for AssertionValidityLedger

fn default() -> Self

Returns the “default value” for a type.

impl Eq for AssertionValidityLedger

impl PartialEq for AssertionValidityLedger

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AssertionValidityLedger