Enum WafModelError 

pub enum WafModelError {
    Oracle(String),
    BudgetExhausted {
        queries: u64,
    },
    Artifact(String),
    BadRule {
        rule: String,
        source: Error,
    },
    EmptySearchSpace,
    TableNotClosed,
}

Anything that can go wrong while decompiling, mining, or hardening.

Variants

Oracle(String)

The oracle could not be queried (transport, timeout, etc.).

BudgetExhausted

The learner exhausted its membership-query budget before the hypothesis stabilized. Carries the budget that was spent so the caller can decide to raise it rather than trust a partial model.

Fields

queries: u64

Membership queries spent before giving up.

Artifact(String)

A learned-model artifact failed to (de)serialize or its schema version is not understood by this build.

BadRule

A regex shipped in a Tier-B ruleset failed to compile.

Fields

rule: String

The offending rule id.

source: Error

The underlying regex compile error.

EmptySearchSpace

The equivalence oracle’s UCB bandit was asked to draw a counterexample word but the search space was empty — the hypothesis has zero states, or the alphabet has zero symbols. Neither is a valid input; the caller must supply a non-trivial automaton and a non-empty alphabet.

TableNotClosed

The L* observation table was found to be non-closed while building a hypothesis. Pre-R51 this surfaced as a panic (the .expect("table closed ⇒ …") call sites in build_hypothesis). A WAF that returns non-deterministic oracle answers (load- balanced cluster with inconsistent rule sets, mid-scan rule reload, etc.) can push two identical prefixes to different rows and trip this invariant. R51 pass-13 I3 (CLAUDE.md §15).

Trait Implementations

impl Debug for WafModelError

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

Formats the value using the given formatter.

impl Display for WafModelError

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

Formats the value using the given formatter.

impl Error for WafModelError

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.