Struct AssertionLedger 

pub struct AssertionLedger { /* private fields */ }

Validated immutable assertion participant content.

The validated row collections are private so callers cannot invalidate the cross-vector graph-reference constraints after construction. Borrow them through Self::assertions and Self::graph_refs, or consume both with Self::into_parts.

use graphforge_knowledge::AssertionLedger;
let mut ledger = AssertionLedger::default();
ledger.assertions.clear();

Implementations

impl AssertionLedger

pub fn assertions(&self) -> &[Assertion]

Borrow assertions in deterministic order.

pub fn graph_refs(&self) -> &[AssertionGraphRef]

Borrow graph references in deterministic order.

pub fn into_parts(self) -> (Vec<Assertion>, Vec<AssertionGraphRef>)

Consume the ledger and return its assertions and graph references.

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

Compute canonical assertion fingerprints with a single grouped graph-ref pass.

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) -> Self

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() -> Self

Returns the “default value” for a type.

impl Eq for AssertionLedger

impl PartialEq for AssertionLedger

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AssertionLedger