Enum StandardWebVerificationError 

#[non_exhaustive]
pub enum StandardWebVerificationError {
    UnsupportedAction {
        action: StandardWebActionKind,
    },
    UnsupportedStage {
        stage: VerificationStage,
    },
    Reasoning(ReasoningModelError),
    Rule(RuleEngineError),
    Verification(VerificationError),
}

Failures while constructing or atomically installing standard web rules.

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.

UnsupportedAction

A semantic action has no built-in verification rule mapping.

Fields

action: StandardWebActionKind

Action rejected while the profile was being constructed.

UnsupportedStage

A rule used a stage unsupported by this two-stage profile.

Fields

stage: VerificationStage

Stage rejected before the prospective pipeline was committed.

Reasoning(ReasoningModelError)

A predicate or probability was invalid.

Rule(RuleEngineError)

An evidence expression was invalid.

Verification(VerificationError)

A verifier rule or identity conflicted.

Trait Implementations

impl Debug for StandardWebVerificationError

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

Formats the value using the given formatter.

impl Display for StandardWebVerificationError

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

Formats the value using the given formatter.

impl Error for StandardWebVerificationError

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 From<ReasoningModelError> for StandardWebVerificationError

fn from(source: ReasoningModelError) -> Self

Converts to this type from the input type.

impl From<RuleEngineError> for StandardWebVerificationError

fn from(source: RuleEngineError) -> Self

Converts to this type from the input type.

impl From<StandardWebVerificationError> for StandardWebDecisionError

fn from(source: StandardWebVerificationError) -> Self

Converts to this type from the input type.

impl From<VerificationError> for StandardWebVerificationError

fn from(source: VerificationError) -> Self

Converts to this type from the input type.