root · VerificationError¶

1 accepted declarations. Python and Rust forms, contracts, evidence, failure boundaries, and checked usages are kept together below.

`VerificationError`¶

A mathematical witness failed explicit verification.

PythonRust

class VerificationError

noether::VerificationError · Direct Rust declaration

pub enum VerificationError { ContextMismatch(ContextMismatchError), InvalidWitness { claim: &'static str, }, }

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded

Executable usage: validation/unit/test_bezout_facade.py:16 · validation/unit/test_bezout_facade.py:63 · validation/unit/test_root_errors.py:10 · validation/unit/test_root_errors.py:18 · validation/unit/topology/test_eilenberg_maclane.py:34 · validation/unit/topology/test_eilenberg_maclane.py:9