Enum ValidationError 

pub enum ValidationError {
    NumColumnsMismatch {
        declared: usize,
        observed: usize,
    },
    ColumnDegreeMismatch {
        column_idx: usize,
        declared: Deg,
        observed: Deg,
    },
    GroupDegreeMismatch {
        column_idx: usize,
        group_idx: usize,
        name: &'static str,
        declared: Deg,
        observed: Deg,
    },
    EncodingMismatch {
        column_idx: usize,
        group_idx: usize,
        name: &'static str,
        diff: QuadFelt,
    },
    ScopeViolation {
        column_idx: usize,
        group_idx: usize,
        name: &'static str,
    },
}

First problem validate observed. See the module docstring for the per-check semantics; each variant corresponds to one of the checks.

Variants

NumColumnsMismatch

LookupAir::num_columns disagreed with the number of next_column calls issued by eval.

Fields

declared: usize

observed: usize

ColumnDegreeMismatch

A column’s declared Deg differs from the observed symbolic degree of its accumulated (V, U). Declared degrees are authoritative and must match exactly — loose upper bounds are rejected.

Fields

column_idx: usize

declared: Deg

observed: Deg

GroupDegreeMismatch

A group’s declared Deg differs from the observed symbolic degree of the group’s (V, U) fold. Declared degrees are authoritative and must match exactly — loose upper bounds are rejected.

Fields

column_idx: usize

group_idx: usize

name: &'static str

declared: Deg

observed: Deg

EncodingMismatch

A cached-encoding group’s canonical and encoded closures produced different (V, U) pairs: the symbolic difference V_c·U_e − V_e·U_c evaluated to a non-zero QuadFelt at the sampled random row.

Fields

column_idx: usize

group_idx: usize

name: &'static str

diff: QuadFelt

ScopeViolation

A simple-mode group called insert_encoded, which is only legal inside the encoded closure of group_with_cached_encoding.

Fields

column_idx: usize

group_idx: usize

name: &'static str

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 Display for ValidationError

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

Formats the value using the given formatter.