Struct AssertionStatusLedger 

pub struct AssertionStatusLedger {
    pub events: Vec<AssertionStatusEvent>,
}

Validated append-only assertion-status participant.

Fields

events: Vec<AssertionStatusEvent>

Events ordered by (recorded_at, status_event_uuid).

Implementations

impl AssertionStatusLedger

pub fn new(events: Vec<AssertionStatusEvent>) -> 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 event_fingerprint( &self, status_event_uuid: Uuid, ) -> Result<[u8; 32], KnowledgeError>

Canonical fingerprint over one exact immutable event.

pub fn current_for(&self, assertion_uuid: Uuid) -> Option<&AssertionStatusEvent>

Resolve current status deterministically, returning None for statusless assertions.

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 AssertionStatusLedger

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 AssertionStatusLedger

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

Formats the value using the given formatter.

impl Default for AssertionStatusLedger

fn default() -> Self

Returns the “default value” for a type.

impl Eq for AssertionStatusLedger

impl PartialEq for AssertionStatusLedger

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AssertionStatusLedger