Struct PersistentClassArtifact 

pub struct PersistentClassArtifact { /* private fields */ }

A persistent H1 class with a geometric cycle witness.

The source graph, threshold, class, critical pair, and geometric terms are private so callers cannot construct a claim without the producer checks. Use Self::build.

Implementations

impl PersistentClassArtifact

pub fn build( input: &SparseDistanceMatrix, params: &RipsParams, space_index: usize, basis_index: usize, limits: CertificateLimits, ) -> Result<Self, CertificateError>

Build an artifact for one H1 class-space and basis position.

space_index addresses the interval-ordered class spaces returned by the native class producer. basis_index addresses that space’s canonical basis. The class producer always runs its H1 profile with max_dim set to one. Edge collapse is rejected because the artifact binds the complete supplied weighted graph.

impl PersistentClassArtifact

pub fn source(&self) -> &SparseDistanceMatrix

The complete weighted source graph bound to this artifact.

pub fn threshold(&self) -> Option<f64>

The declared filtration threshold.

pub fn class(&self) -> &PersistentClass

The selected canonical persistent class.

pub fn critical_pair(&self) -> &CriticalPair

The critical pair selected from the class interval group.

pub fn cycle(&self) -> &[PersistenceCycleTerm]

The normalized geometric cycle in ascending edge order.

pub fn bounding_chain(&self) -> &[PersistenceTriangleTerm]

The finite-death bounding chain in ascending triangle order.

impl PersistentClassArtifact

Encode the artifact payload followed by its SHA-256 digest.

pub fn encode( &self, limits: CertificateLimits, ) -> Result<Vec<u8>, CertificateError>

Encode canonical HOLOSPC version 1 bytes.

Resource limits are checked for every call. Semantic fields were validated when the private artifact was built.

Trait Implementations

impl Clone for PersistentClassArtifact

fn clone(&self) -> PersistentClassArtifact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PersistentClassArtifact

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

Formats the value using the given formatter.