Skip to main content

ProvenanceLedger

Struct ProvenanceLedger 

Source
pub struct ProvenanceLedger {
    pub events: Vec<ProvenanceEvent>,
    pub lineage: Vec<LineageRecord>,
}
Expand description

Validated immutable provenance participant content.

Fields§

§events: Vec<ProvenanceEvent>

Events ordered by (recorded_at, provenance_uuid).

§lineage: Vec<LineageRecord>

Lineage ordered by event time and public history sort key.

Implementations§

Source§

impl ProvenanceLedger

Source

pub fn new( events: Vec<ProvenanceEvent>, lineage: Vec<LineageRecord>, ) -> Result<Self, ProvenanceError>

Validate, sort, and construct ledger content.

§Errors

Rejects row limits, invalid versions/identities, duplicate IDs, dangling lineage, duplicate role ordinals, and non-canonical derived UUIDs.

Source

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

Merge a staged ledger idempotently into an existing ledger.

§Errors

Identical operation event-sets are idempotent. Reuse of an operation UUID with a different complete event-set, or reuse of an event, lineage, or role/ordinal identity with different canonical content conflicts.

Source

pub fn event_batch(&self) -> Result<RecordBatch, ProvenanceError>

Build the authoritative event Arrow batch.

§Errors

Returns a structured Arrow construction failure.

Source

pub fn lineage_batch(&self) -> Result<RecordBatch, ProvenanceError>

Build the authoritative lineage Arrow batch.

§Errors

Returns a structured Arrow construction failure.

Source

pub fn from_batches( event_batches: &[RecordBatch], lineage_batches: &[RecordBatch], ) -> Result<Self, ProvenanceError>

Decode authoritative Arrow batches and re-run every domain invariant.

§Errors

Rejects schema drift, nulls, malformed UUIDs, unknown closed values, unsupported versions, duplicates, dangling references, and row limits.

Trait Implementations§

Source§

impl Clone for ProvenanceLedger

Source§

fn clone(&self) -> Self

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for ProvenanceLedger

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Default for ProvenanceLedger

Source§

fn default() -> Self

Returns the “default value” for a type. Read more
Source§

impl Eq for ProvenanceLedger

Source§

impl PartialEq for ProvenanceLedger

Source§

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

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for ProvenanceLedger

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.