Struct ResearchClaimLedger 

pub struct ResearchClaimLedger { /* private fields */ }

Frozen research classifications and explicit claim relations.

Implementations

impl ResearchClaimLedger

pub fn conceptual_origin( &self, assertion: Uuid, supersessions: &AssertionSupersessionLedger, ) -> Result<Uuid, KnowledgeError>

Resolve stable conceptual origin through classified and legacy successors.

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

Encode frozen classifications as native Arrow.

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

Encode explicit claim relations as native Arrow.

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

Decode bounded frozen metadata, validating immutable identities.

pub fn new( claims: Vec<ResearchClaimRecord>, relations: Vec<ClaimRelationRecord>, ) -> Result<Self, KnowledgeError>

Validate identities and deterministic ordering without inventing legacy metadata.

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

Exact metadata replay is idempotent; immutable identity rewrites conflict.

pub fn validate_references( &self, assertions: &AssertionLedger, supersessions: &AssertionSupersessionLedger, ) -> Result<(), KnowledgeError>

Validate joins against the existing immutable owners before publication.

pub fn claims(&self) -> &[ResearchClaimRecord]

Existing assertions with no row remain unclassified/statusless.

pub fn relations(&self) -> &[ClaimRelationRecord]

All explicit alternatives and relations; no winner is inferred.

Trait Implementations

impl Clone for ResearchClaimLedger

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 ResearchClaimLedger

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

Formats the value using the given formatter.

impl Default for ResearchClaimLedger

fn default() -> Self

Returns the “default value” for a type.

impl Eq for ResearchClaimLedger

impl PartialEq for ResearchClaimLedger

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ResearchClaimLedger