Struct ProgramArtifact 

pub struct ProgramArtifact { /* private fields */ }

Input binding, articulation program, and nested atom atlases.

Implementations

impl ProgramArtifact

pub fn from_program( program: &PersistenceProgram, ) -> Result<Self, ProgramArtifactError>

Capture the current state of a compiled program.

Persistence reduction does not run. The artifact binds the graph most recently supplied to the program.

pub fn build( input: &SparseDistanceMatrix, params: &RipsParams, certificate_limits: CertificateLimits, ) -> Result<Self, ProgramArtifactError>

Produce a compositional program artifact.

pub fn compile( input: &SparseDistanceMatrix, params: &RipsParams, certificate_limits: CertificateLimits, ) -> Result<(Self, PersistenceProgram), ProgramArtifactError>

Produce an artifact and retain its ready-to-update program.

pub fn diagram(&self) -> &Diagram

Diagram carried by the program.

pub fn vertex_count(&self) -> usize

Number of vertices bound to the program.

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

Fixed filtration threshold.

pub fn modulus(&self) -> u32

Prime coefficient modulus.

pub fn atoms(&self) -> &[ProgramAtomArtifact]

Cyclic atoms and their nested proofs.

pub fn encode(&self) -> Result<Vec<u8>, ProgramArtifactError>

Encode the canonical HOLOSPRG version 1 envelope.

pub fn decode( bytes: &[u8], limits: ProgramDecodeLimits, certificate_limits: CertificateLimits, ) -> Result<Self, ProgramArtifactError>

Decode and structurally validate a bounded program envelope.

pub fn verify( &self, input: &SparseDistanceMatrix, certificate_limits: CertificateLimits, ) -> Result<PersistenceProgram, ProgramArtifactError>

Verify all atom proofs and reconstruct the program.

Trait Implementations

impl Clone for ProgramArtifact

fn clone(&self) -> ProgramArtifact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProgramArtifact

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

Formats the value using the given formatter.