Struct RelativeInterfaceCertificate 

pub struct RelativeInterfaceCertificate { /* private fields */ }

A filtered chain core relative to protected vertices.

The record includes its input chain complex, cancellation trace, retained core, and one D V = R reduction per boundary dimension.

Implementations

impl RelativeInterfaceCertificate

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

Build a relative core from one filtered flag complex.

protected_vertices induces the separator subcomplex that every cancellation fixes. Vertex labels are the input positions.

pub fn build_labeled( input: &SparseDistanceMatrix, labels: &[usize], params: &RipsParams, protected_vertices: &[usize], limits: CertificateLimits, ) -> Result<Self, CertificateError>

Build a relative core with explicit global vertex labels.

labels[local] names each input vertex. Labels must be strictly increasing. Independent child cores identify a shared separator during Self::compose.

pub fn build_complex( complex: &FilteredSimplicialComplex<ScalarGrade>, max_dim: usize, modulus: u32, protected_vertices: &[usize], limits: CertificateLimits, ) -> Result<Self, CertificateError>

Build a relative core from an explicit scalar filtered complex.

The complex must contain cells through dimension max_dim + 1. The filtration need not come from a Vietoris-Rips flag construction.

pub fn compose( children: &[&Self], protected_vertices: &[usize], limits: CertificateLimits, ) -> Result<Self, CertificateError>

Compose child cores by identifying cells with equal labeled vertices.

Equal cells must have bit-identical filtration values and boundaries. The protected vertices are the separator retained for the next composition level.

pub fn max_dim(&self) -> usize

Highest homology dimension carried by this interface.

pub fn modulus(&self) -> u32

Prime coefficient modulus.

pub fn protected_vertices(&self) -> &[usize]

Vertices whose induced subcomplex is fixed by every cancellation.

pub fn input_cells(&self) -> &[Vec<InterfaceCell>]

Input cells grouped by dimension.

pub fn cancellations(&self) -> &[InterfaceCancellation]

Checked cancellation trace in execution order.

pub fn core_cells(&self) -> &[Vec<InterfaceCell>]

Retained interface core grouped by dimension.

pub fn graded_columns(&self) -> &[Vec<ChangeColumn>]

Change-of-basis columns grouped by positive source dimension.

pub fn diagram(&self) -> &Diagram

Diagram derived from the retained core.

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

Content identifier of the checked core and reduction.

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

Content identifier of the pre-cancellation filtered chain complex.

Equal cores from different source complexes have different source identifiers. Dynamic proof nodes use both this digest and Self::digest.

pub fn work(&self) -> RelativeInterfaceWork

Exact cell and reduction work for this interface.

impl RelativeInterfaceCertificate

pub fn verify( &self, limits: CertificateLimits, ) -> Result<Diagram, CertificateError>

Replay every cancellation and check the retained reduction.

impl RelativeInterfaceCertificate

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

Encode the canonical HOLOSRI version 1 certificate.

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

Decode and verify one bounded HOLOSRI version 1 certificate.

Trait Implementations

impl Clone for RelativeInterfaceCertificate

fn clone(&self) -> RelativeInterfaceCertificate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RelativeInterfaceCertificate

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

Formats the value using the given formatter.