Enum VerificationError 

pub enum VerificationError {
    PointCountMismatch {
        expected: usize,
        actual: usize,
    },
    EdgeIndexOutOfBounds {
        edge: (usize, usize),
        point_count: usize,
    },
    SelfEdge {
        index: usize,
    },
    EdgeSetMismatch {
        expected: Vec<(usize, usize)>,
        actual: Vec<(usize, usize)>,
    },
    PointMismatch {
        index: usize,
    },
    QuantizedProjectionMismatch {
        index: usize,
        expected: [i64; 2],
        actual: [i64; 2],
    },
    AlgebraicKeyDimensionMismatch {
        expected: usize,
        actual: usize,
    },
    InvalidAlgebraicKeyDenominator {
        denominator: i64,
    },
    TranslationNotNormOne {
        index: usize,
    },
    CandidateOutsideWindow {
        index: usize,
        radius: String,
        max_embedding_norm: String,
    },
    ProjectionMismatch {
        index: usize,
    },
    CandidatePathMismatch {
        index: usize,
    },
    CandidatePathTranslationOutOfBounds {
        candidate_index: usize,
        translation_index: usize,
        translation_count: usize,
    },
    EdgeProvenanceMismatch {
        edge_index: usize,
    },
    InvalidConstruction {
        reason: String,
    },
    CertificateSchemaMismatch {
        reason: String,
    },
}

Errors that can occur while verifying a construction certificate.

Variants

PointCountMismatch

The certificate stores a different number of points than the construction claims.

Fields

expected: usize

actual: usize

EdgeIndexOutOfBounds

A claimed unit-distance edge refers to a point index outside the point set.

Fields

edge: (usize, usize)

point_count: usize

SelfEdge

A claimed unit-distance edge connects a point to itself.

Fields

index: usize

EdgeSetMismatch

The claimed edge set does not match the independently recomputed edge set.

Fields

expected: Vec<(usize, usize)>

actual: Vec<(usize, usize)>

PointMismatch

A stored point does not match the deterministic construction.

Fields

index: usize

QuantizedProjectionMismatch

A stored projection key does not match the point it claims to certify.

Fields

index: usize

expected: [i64; 2]

actual: [i64; 2]

AlgebraicKeyDimensionMismatch

An algebraic certificate key has the wrong field dimension.

Fields

expected: usize

actual: usize

InvalidAlgebraicKeyDenominator

An algebraic certificate key has a non-positive denominator.

Fields

denominator: i64

TranslationNotNormOne

A claimed norm-one translation does not verify in the supported native model.

Fields

index: usize

CandidateOutsideWindow

A certified candidate is outside the claimed polydisk window.

Fields

index: usize

radius: String

max_embedding_norm: String

ProjectionMismatch

A stored projection point does not match the certified algebraic candidate.

Fields

index: usize

CandidatePathMismatch

A certified candidate path does not replay to the stored algebraic key.

Fields

index: usize

CandidatePathTranslationOutOfBounds

A candidate path references a missing translation.

Fields

candidate_index: usize

translation_index: usize

translation_count: usize

EdgeProvenanceMismatch

A certified construction edge is not explained by a norm-one translation.

Fields

edge_index: usize

InvalidConstruction

The certificate contains invalid construction metadata.

Fields

reason: String

CertificateSchemaMismatch

The serialized certificate does not match the supported schema.

Fields

reason: String

Trait Implementations

impl Clone for VerificationError

fn clone(&self) -> VerificationError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerificationError

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

Formats the value using the given formatter.

impl Display for VerificationError

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

Formats the value using the given formatter.

impl Error for VerificationError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl PartialEq for VerificationError

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for VerificationError

impl StructuralPartialEq for VerificationError