Struct AssertionLedger 

pub struct AssertionLedger {
    pub assertions: Vec<Assertion>,
    pub graph_refs: Vec<AssertionGraphRef>,
}

Validated immutable assertion participant content.

Fields

assertions: Vec<Assertion>

Assertions ordered by (recorded_at, assertion_uuid).

graph_refs: Vec<AssertionGraphRef>

References ordered by assertion and the public reference sort key.

Implementations

impl AssertionLedger

pub fn new( assertions: Vec<Assertion>, graph_refs: Vec<AssertionGraphRef>, ) -> Result<Self, KnowledgeError>

Validate, sort, and construct assertion content.

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

Merge a staged assertion set idempotently.

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

Canonical assertion fingerprint over exact claim bytes and sorted refs.

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

Build the authoritative assertion Arrow batch.

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

Build the authoritative assertion graph-reference Arrow batch.

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

Decode authoritative Arrow batches and re-run every invariant.

Trait Implementations

impl Clone for AssertionLedger

fn clone(&self) -> AssertionLedger

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AssertionLedger

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

Formats the value using the given formatter.

impl Default for AssertionLedger

fn default() -> AssertionLedger

Returns the “default value” for a type.

impl Eq for AssertionLedger

impl PartialEq for AssertionLedger

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AssertionLedger