Struct HypothesisLedger 

pub struct HypothesisLedger { /* private fields */ }

Validated complete hypothesis state participants.

Implementations

impl HypothesisLedger

pub fn new( groups: Vec<HypothesisGroup>, membership_events: Vec<HypothesisMembershipEvent>, selection_events: Vec<HypothesisSelectionEvent>, ) -> Result<Self, KnowledgeError>

Validate, order, and construct all three record families together.

pub fn groups(&self) -> &[HypothesisGroup]

Return validated groups in canonical order.

pub fn membership_events(&self) -> &[HypothesisMembershipEvent]

Return validated membership history in canonical order.

pub fn selection_events(&self) -> &[HypothesisSelectionEvent]

Return validated selection history in canonical order.

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

Canonical fingerprint over one exact immutable hypothesis group.

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

Canonical fingerprint over one exact membership event.

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

Canonical fingerprint over one exact selection event.

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

Merge append-only participants with exact replay semantics.

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

Build the authoritative group batch.

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

Build the authoritative membership-history batch.

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

Build the authoritative selection-history batch.

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

Decode and validate the three authoritative record families.

pub fn current_members(&self, group_uuid: Uuid) -> Vec<Uuid>

Current membership for one group, ordered by assertion UUID.

pub fn current_selection(&self, group_uuid: Uuid) -> Option<Uuid>

Current explicit selection for one group.

Trait Implementations

impl Clone for HypothesisLedger

fn clone(&self) -> HypothesisLedger

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HypothesisLedger

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

Formats the value using the given formatter.

impl Default for HypothesisLedger

fn default() -> HypothesisLedger

Returns the “default value” for a type.

impl Eq for HypothesisLedger

impl PartialEq for HypothesisLedger

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for HypothesisLedger