Struct Provenance 

pub struct Provenance { /* private fields */ }

The inspectable record of ONE derivation.

The identity answers “which thing is this?” and is thirty-two bytes; the record answers “where did those thirty-two bytes come from?” and is inspection material. They are separate values so neither constrains the other: the transcript can be complete because it is not stored, and the record can be honest because it is written once where the derivation happened rather than copied everywhere the identity goes.

The material is stated by its LENGTH and not carried, because material is unbounded and a record that copied it would double every rendering in memory to say something the rendered unit already holds. That length is not a fold and identifies nothing; the identity is what commits to the material, at full width.

Implementations

impl Provenance

pub const fn subject_stem(&self) -> &'static str

The stem of whoever owns the subject this derivation named.

pub const fn subject(&self) -> &'static str

The identity subject this derivation named.

pub const fn role(&self) -> Role

The seat it stood in.

pub const fn profile(&self) -> Profile

The grammar and version it was derived under.

pub const fn generator(&self) -> GeneratorIdentity

The generator that derived it.

pub const fn anchoring(&self) -> Anchoring

What it hung off, anchor included.

pub const fn material_length(&self) -> u64

How many bytes of material went into the transcript.

pub const fn position(&self) -> u32

The position inside the anchor’s declared sequence.

pub fn context(&self) -> String

The derive-key context this derivation ran under.

pub fn under_current_shape(&self) -> bool

Whether this derivation was recorded under the generator and rendered shape this crate declares today.

Nonclaims

A false says a different generator shape produced the record. It says nothing about whether the material moved, whether the identity would re-derive the same, or whether anything needs redoing.

Trait Implementations

impl Clone for Provenance

fn clone(&self) -> Provenance

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Provenance

impl Debug for Provenance

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

Formats the value using the given formatter.

impl Eq for Provenance

impl Hash for Provenance

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Provenance

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Provenance