Struct PersistentClassProvenance 

pub struct PersistentClassProvenance { /* private fields */ }

Source binding for one interval-bound H1 class.

The source digest covers the active labeled graph at the representative scale. The class digest is the canonical BasisClassId bytes. Derived class spaces can omit this binding when their source graph is not the scalar Rips input.

Implementations

impl PersistentClassProvenance

pub fn source_graph_digest(&self) -> &[u8; 32]

Raw digest of the active labeled graph at the representative scale.

pub fn class_digest(&self) -> &[u8; 32]

Deterministic digest of the canonical class identity.

pub fn interval(&self) -> Bar

Persistence interval bound to the source graph.

pub fn modulus(&self) -> u32

Prime field bound to the representative.

pub fn scale(&self) -> f64

Representative scale bound to the interval.

impl PersistentClassProvenance

pub fn from_parts( source_graph_digest: [u8; 32], class_digest: [u8; 32], interval: Bar, modulus: u32, scale: f64, ) -> Self

Construct a provenance record from previously recorded digests.

class_digest must be the canonical crate::BasisClassId bytes for the class that uses this record.

pub fn validate( &self, graph: &SparseDistanceMatrix, class_digest: [u8; 32], interval: Bar, cocycle: &Cocycle, ) -> Result<()>

Check the class identity, interval, and representative against a graph.

The class digest must equal the canonical crate::BasisClassId bytes for the supplied cocycle.

Trait Implementations

impl Clone for PersistentClassProvenance

fn clone(&self) -> PersistentClassProvenance

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PersistentClassProvenance

impl Debug for PersistentClassProvenance

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

Formats the value using the given formatter.

impl PartialEq for PersistentClassProvenance

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PersistentClassProvenance