Enum ValidationError 

pub enum ValidationError {
    NoInputs,
    NoRulesApplied,
    InputConfidenceOutOfRange(f64),
    InputConfidenceNaN,
    OutputConfidenceInvalid(f64),
    TierOutOfRange(u8),
    ConfidenceInflation {
        output: f64,
        max_input: f64,
    },
    TierInflation {
        output: u8,
        ceiling: u8,
        limiting_class: RuleClass,
    },
    EpistemicMismatch {
        declared: EpistemicStatus,
        expected: EpistemicStatus,
    },
    RuleClassMismatch {
        rule: Rule,
        declared: RuleClass,
        canonical: RuleClass,
    },
    BindingStatusMismatch {
        declared: BindingStatus,
        expected: BindingStatus,
    },
    TypeClassIncompatible {
        type_name: &'static str,
        permitted: &'static [RuleClass],
        rejected: RuleClass,
    },
    ProvenAuthorityMissingArtifact,
    ImposedAuthorityMissingInterception,
    EmptyClassSet,
}

Errors the validator can return. Each variant names the specific §9 invariant it violates so debug logs and tests can distinguish them.

Variants

NoInputs

inputs is empty (Property 4 — ADG presence).

NoRulesApplied

rules_applied is empty (Property 4 — ADG presence).

InputConfidenceOutOfRange(f64)

An input’s confidence is outside [0, 1].

InputConfidenceNaN

An input’s confidence is NaN.

OutputConfidenceInvalid(f64)

output.confidence is outside [0, 1] or NaN.

TierOutOfRange(u8)

output.tier is outside [0, 4].

ConfidenceInflation

Property 1 — output.confidence > max(inputs.confidence).

Fields

output: f64

Declared output confidence.

max_input: f64

Maximum input confidence observed.

TierInflation

Property 2 — output.tier > min(class_tier_ceiling).

Fields

output: u8

Declared output tier.

ceiling: u8

Maximum tier permitted by the rule-class set.

limiting_class: RuleClass

The class whose ceiling was violated.

EpistemicMismatch

Property 3 — output.epistemic_status is not the deterministic image of the rule-class set.

Fields

declared: EpistemicStatus

Declared epistemic_status.

expected: EpistemicStatus

Status the canonical mapping demands.

RuleClassMismatch

Property 5 — a rule’s declared class does not match the canonical rule -> class mapping.

Fields

rule: Rule

Rule whose class was declared.

declared: RuleClass

Class the caller declared.

canonical: RuleClass

Class the canonical mapping demands.

BindingStatusMismatch

binding_status does not match the rules’ implications.

Fields

declared: BindingStatus

Declared binding_status.

expected: BindingStatus

Status the canonical mapping demands.

TypeClassIncompatible

Type-class compatibility violation — the typed authority’s permitted rule-class envelope was exceeded.

Fields

type_name: &'static str

"ObservedAuthority" / "ProvenAuthority" / "ImposedAuthority".

permitted: &'static [RuleClass]

The permitted set for this type.

rejected: RuleClass

The class that triggered the rejection.

ProvenAuthorityMissingArtifact

ProvenAuthority was constructed without a verified-signature artifact.

ImposedAuthorityMissingInterception

ImposedAuthority requires the IMPOSED_INTERCEPTION rule-class to have fired in its derivation.

EmptyClassSet

The empty-class-set case from the ADG mapping table.

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, __formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Error for ValidationError

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 ValidationError

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