Struct ReasoningLedger 

pub struct ReasoningLedger {
    pub records: Vec<ReasoningRecord>,
}

Validated append-only reasoning participant content.

Fields

records: Vec<ReasoningRecord>

Records ordered by (recorded_at, reasoning_uuid).

Implementations

impl ReasoningLedger

pub fn new(records: Vec<ReasoningRecord>) -> Result<Self, KnowledgeError>

Validate, sort, and construct one complete participant.

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

Merge staged append-only records with idempotent exact replay.

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

Canonical fingerprint over the exact immutable record.

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

Resolve the current leaf without mutating or hiding branch history.

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

Build the authoritative Arrow batch.

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

Decode authoritative batches and revalidate the complete ledger.

Trait Implementations

impl Clone for ReasoningLedger

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 ReasoningLedger

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

Formats the value using the given formatter.

impl Default for ReasoningLedger

fn default() -> Self

Returns the “default value” for a type.

impl Eq for ReasoningLedger

impl PartialEq for ReasoningLedger

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ReasoningLedger