Enum CdtValidationFailure 

#[non_exhaustive]
pub enum CdtValidationFailure {
    BackendGeometry {
        detail: String,
    },
    FaceVerticesUnavailable {
        face: String,
        detail: String,
    },
    FaceVertexCount {
        face: String,
        actual: usize,
        expected: usize,
    },
    MissingVertexTimeLabel {
        vertex: String,
    },
    InvalidCdtTriangle {
        face: String,
        spacelike_edges: u8,
        timelike_edges: u8,
    },
    VertexCoordinateReadFailed {
        vertex: String,
        detail: String,
    },
    VertexCoordinateDimension {
        vertex: String,
        actual: usize,
        expected_minimum: usize,
    },
    NonStrictSimplex {
        face: String,
    },
    ErgodicMoveCandidateGeometry {
        detail: String,
    },
}

Structured detail for crate-owned CDT validation failures.

This refines CdtError::ValidationFailed beyond a coarse CdtValidationCheck so callers can inspect common CDT invariant failures without parsing display text. Variants still keep string diagnostics where the source is an upstream backend message or an opaque backend handle.

Examples

use causal_triangulations::prelude::errors::CdtValidationFailure;

let failure = CdtValidationFailure::InvalidCdtTriangle {
    face: "FaceKey(3v1)".to_string(),
    spacelike_edges: 3,
    timelike_edges: 0,
};

assert!(format!("{failure}").contains("spacelike=3"));

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

BackendGeometry

Generic backend geometry validation failed with an upstream diagnostic.

Fields

detail: String

Upstream geometry validation diagnostic.

FaceVerticesUnavailable

Face vertices could not be resolved through the geometry backend.

Fields

face: String

Face being validated.

detail: String

Lower-level face-vertex lookup diagnostic.

FaceVertexCount

A face had the wrong number of vertices for a CDT triangle.

Fields

face: String

Face being validated.

actual: usize

Number of vertices observed.

expected: usize

Number of vertices expected.

MissingVertexTimeLabel

A vertex in a foliated triangulation was missing its time label.

Fields

vertex: String

Vertex missing its time label.

InvalidCdtTriangle

A triangle had the wrong spacelike/timelike edge pattern.

Fields

face: String

Face being validated.

spacelike_edges: u8

Number of spacelike edges observed.

timelike_edges: u8

Number of timelike edges observed.

VertexCoordinateReadFailed

Coordinate lookup failed while assigning foliation labels.

Fields

vertex: String

Vertex whose coordinates could not be read.

detail: String

Lower-level coordinate lookup diagnostic.

VertexCoordinateDimension

A vertex coordinate did not have enough dimensions for foliation assignment.

Fields

vertex: String

Vertex whose coordinate dimensionality was invalid.

actual: usize

Number of coordinates observed.

expected_minimum: usize

Minimum number of coordinates expected.

NonStrictSimplex

A foliated face was not classifiable as a strict Up or Down CDT simplex.

Fields

face: String

Face being classified.

ErgodicMoveCandidateGeometry

Local ergodic-move candidate geometry failed a post-mutation invariant.

Fields

detail: String

Diagnostic for the failed local candidate.

Trait Implementations

impl Clone for CdtValidationFailure

fn clone(&self) -> CdtValidationFailure

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CdtValidationFailure

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

Formats the value using the given formatter.

impl Display for CdtValidationFailure

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

Formats the value using the given formatter.

impl Hash for CdtValidationFailure

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for CdtValidationFailure

fn eq(&self, other: &CdtValidationFailure) -> 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 CdtValidationFailure

impl StructuralPartialEq for CdtValidationFailure