Enum RuntimeWarningCode 

pub enum RuntimeWarningCode {
    SharedProbabilisticDependency,
    BddLimitExceeded,
    CrossGroupCorrelationNotExact,
    FuzzyNotProbabilistic,
    TopKPruningCrossedDependency,
}

Classification of runtime warnings emitted during evaluation.

Variants

SharedProbabilisticDependency

Two or more proof paths aggregated by MNOR/MPROD share an intermediate fact, violating the independence assumption.

BddLimitExceeded

A shared-proof group exceeded max_bdd_variables, so the BDD computation fell back to the independence-mode result.

CrossGroupCorrelationNotExact

Base facts are shared across different KEY groups within the same rule. The BDD corrects per-group probabilities but cannot account for cross-group correlations.

FuzzyNotProbabilistic

The MaxMinProb (fuzzy / Viterbi) semiring evaluated a PROB-bearing rule. Per rollout decision D-9 this warning is unsuppressible: fuzzy truth values are not probabilities, and silent conflation is the dominant pitfall in neuro-symbolic systems (LTN, NTP).

TopKPruningCrossedDependency

Phase C C0: a TopKProofs::plus operation discarded a proof whose base_rvs overlapped a retained proof — top-K is too small for the program’s dependency structure (impl plan §3.0, rollout doc §6). Increase k or accept the approximation. Emitted from library code; Stage 2 wires it into the runtime tag flow.

Trait Implementations

impl Clone for RuntimeWarningCode

fn clone(&self) -> RuntimeWarningCode

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for RuntimeWarningCode

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

Formats the value using the given formatter.

impl PartialEq for RuntimeWarningCode

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