Struct RuleEvaluation 

pub struct RuleEvaluation {
    pub rule_id: String,
    pub kind: &'static str,
    pub outcome: RuleOutcome,
    pub spanned: Vec<usize>,
    pub reason: Option<String>,
}

One rule’s evaluation against one call sequence.

Fields

rule_id: String

Stable identity for this rule within a policy: kind plus its operands, so a consumer can key on it across runs without depending on list position.

kind: &'static str

The rule kind, as written in the policy vocabulary.

outcome: RuleOutcome

spanned: Vec<usize>

The call indices this rule actually read to reach its outcome. Empty when the rule read nothing, which is the honest span for a kind that is not implemented.

reason: Option<String>

Why, in the producer’s words. Present for Violated and NotExercised; a held rule needs no prose, and inventing one would invite readers to parse it.

Implementations

impl RuleEvaluation

pub const fn is_violation(&self) -> bool

Whether this evaluation should fail the run.

Trait Implementations

impl Clone for RuleEvaluation

fn clone(&self) -> RuleEvaluation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RuleEvaluation

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

Formats the value using the given formatter.

impl Eq for RuleEvaluation

impl PartialEq for RuleEvaluation

fn eq(&self, other: &RuleEvaluation) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for RuleEvaluation