Struct AssertionValidityLedger 

pub struct AssertionValidityLedger { /* private fields */ }

Validated append-only assertion-validity participant.

Implementations

impl AssertionValidityLedger

pub fn events(&self) -> &[AssertionValidityEvent]

The event rows are private so the ledger can trust every row it has already accepted when another validated ledger is merged.

use graphforge_knowledge::AssertionValidityLedger;
let mut ledger = AssertionValidityLedger::default();
ledger.events.clear();

The read-only accessor also does not allow callers to alter a row:

use graphforge_knowledge::AssertionValidityLedger;
let ledger = AssertionValidityLedger::default();
ledger.events()[0].contract_version = 2;

Return validated events in canonical order.

pub fn into_events(self) -> Vec<AssertionValidityEvent>

Consume this ledger and return its validated events in canonical order.

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.

Both ledgers can only contain rows accepted by Self::new or Self::from_batches. Since the row vector is private, previously accepted events cannot be changed through the public API. This merge checks identity reuse and the combined row limit, and sorts only when it appends rows; it does not re-run row validation on either ledger.

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 event_fingerprints( &self, ) -> Result<Vec<(Uuid, [u8; 32])>, KnowledgeError>

Compute canonical validity fingerprints in one pass without UUID searches.

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