Enum ValidationError 

pub enum ValidationError {
    V1DuplicateName {
        combinator: &'static str,
        name: String,
    },
    V2ShapeMismatch {
        expected: Vec<String>,
        actual: Vec<String>,
    },
    V3UnresolvedNames {
        predicate: String,
        coords: Vec<String>,
        unresolved: Vec<String>,
    },
    V4InputShape {
        strategy: StrategyName,
        reason: String,
    },
    V6UnboundedDiscrete {
        operator: &'static str,
        cardinality: CardinalityClass,
    },
    V7ZipCardinality {
        mode: ZipMode,
        reason: String,
    },
    V8ContinuousRequirement {
        reason: String,
    },
    V9UnionClassMismatch {
        reason: String,
    },
}

V-axiom violation. Each variant carries enough context to produce a useful diagnostic at the call site.

Variants

V1DuplicateName

V1 — cartesian or zip children share a name.

Fields

combinator: &'static str

The combinator whose children share the name.

name: String

The duplicated name.

V2ShapeMismatch

V2 — union children disagree on tuple shape.

Fields

expected: Vec<String>

The tuple shape of the first child.

actual: Vec<String>

The shape that differs.

V3UnresolvedNames

V3 — filter predicate references a name neither in the child’s coordinates nor in the parent scope. Parser-time validation only — link-time (parent scope) check lives in the consumer.

coords is the wrapped comprehension’s coordinate set; the predicate may also reference names from the parent scope which this layer doesn’t see.

Fields

predicate: String

The predicate text.

coords: Vec<String>

The coordinates the comprehension binds.

unresolved: Vec<String>

The names the predicate references that are neither coordinates nor known here.

V4InputShape

V4 — strategy applied to an input whose shape it cannot accept. The Phase 2 stub form rejects:

• non-Lex strategy whose input is a raw Filter node (filter destroys index addressability; V5’s one-layer look-through is enforced by checking that the filter’s child is addressable);
• lattice-geometric strategy whose input is a Union or a 1-axis Clause (per §3.6 strategy table).

Phase 3 will replace this with the full IndexFn check.

Fields

strategy: StrategyName

The strategy applied.

reason: String

Why its input’s shape is unacceptable.

V6UnboundedDiscrete

V6 — non-Lex order or Strict/Truncate zip applied to an Unbounded discrete input.

Fields

operator: &'static str

The operator applied.

cardinality: CardinalityClass

The unbounded input’s cardinality class.

V7ZipCardinality

V7 — zip cardinality contract violated. Three sub-cases: Strict-mode mismatch, mixed-class children, or any continuous child.

Fields

mode: ZipMode

The zip mode in force.

reason: String

Which contract was violated.

V8ContinuousRequirement

V8 — continuous source requires explicit sampling OR source declares a non-integrable measure.

Fields

reason: String

What the source lacks.

V9UnionClassMismatch

V9 — union children include a continuous or mixed-class child.

Fields

reason: String

Which child mismatches, and how.

Trait Implementations

impl Clone for ValidationError

fn clone(&self) -> ValidationError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidationError

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

Formats the value using the given formatter.

impl PartialEq for ValidationError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ValidationError