Struct VerificationRule 

pub struct VerificationRule { /* private fields */ }

Declarative evidence expression mapped to one non-unknown outcome.

Implementations

impl VerificationRule

pub fn new( id: impl Into<String>, stage: VerificationStage, priority: u16, condition: Expression, outcome: OutcomeStatus, confidence: Probability, rationale: impl Into<String>, ) -> Result<Self, VerificationError>

Creates a validated verifier rule.

pub fn scoped_to_action( self, action_id: impl Into<String>, ) -> Result<Self, VerificationError>

Restricts this rule to verification cases opened by one action.

pub fn with_case_correlated_evidence(self) -> Result<Self, VerificationError>

Restricts raw evidence evaluation to the current case correlation ID.

Case correlation is valid only for evidence-layer expressions. Facts, hypotheses, and ontology claims are not produced by one executor case.

pub fn id(&self) -> &str

Returns the stable rule identity.

pub fn stage(&self) -> VerificationStage

Returns the evidence collection stage owned by this rule.

pub fn priority(&self) -> u16

Returns the deterministic conflict-resolution priority.

pub fn condition(&self) -> &Expression

Returns the evidence expression.

pub fn outcome(&self) -> OutcomeStatus

Returns the classification emitted when the expression wins.

pub fn confidence(&self) -> Probability

Returns the calibrated confidence assigned to this rule.

pub fn rationale(&self) -> &str

Returns the rule’s human-readable explanation.

pub fn action_id(&self) -> Option<&str>

Returns the action identity required by this rule, if scoped.

pub fn requires_case_correlated_evidence(&self) -> bool

Returns whether raw evidence is limited to the current case correlation.

Trait Implementations

impl Clone for VerificationRule

fn clone(&self) -> VerificationRule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerificationRule

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VerificationRule

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for VerificationRule

impl PartialEq for VerificationRule

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for VerificationRule

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for VerificationRule