Struct PassiveVerifier 

pub struct PassiveVerifier { /* private fields */ }

Pure verifier for evidence collected without an additional probe.

Example

use termivar_core::{
    EvidenceValue, KnowledgePredicate, OutcomeStatus, Probability, VerificationStage,
};
use termivar_scanner::{
    Expression, KnowledgeLayer, PassiveVerifier, VerificationRule, VerifierWrite,
};

let rule = VerificationRule::new(
    "verify.boolean-difference",
    VerificationStage::Passive,
    100,
    Expression::equals(
        KnowledgeLayer::Evidence,
        KnowledgePredicate::new("verification", "boolean_difference")?,
        EvidenceValue::Boolean(true),
    ),
    OutcomeStatus::Success,
    Probability::from_percent(95)?,
    "Boolean responses diverged consistently",
)?;
let mut verifier = PassiveVerifier::new();

assert_eq!(verifier.register(rule)?, VerifierWrite::Inserted);

Implementations

impl PassiveVerifier

pub fn new() -> Self

Creates an empty passive verifier.

pub fn register( &mut self, rule: VerificationRule, ) -> Result<VerifierWrite, VerificationError>

Registers one passive rule idempotently.

pub fn len(&self) -> usize

Returns the number of passive rules.

pub fn is_empty(&self) -> bool

Returns whether no passive rules are registered.

pub fn verify( &self, knowledge: &KnowledgeBase, case: &VerificationCase, ) -> Result<VerificationReport, VerificationError>

Verifies a case from one internally consistent knowledge snapshot.

pub fn verify_snapshot( &self, case: &VerificationCase, snapshot: &KnowledgeSnapshot, ) -> Result<VerificationReport, VerificationError>

Verifies a case against an explicit immutable snapshot.

Trait Implementations

impl Clone for PassiveVerifier

fn clone(&self) -> PassiveVerifier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PassiveVerifier

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

Formats the value using the given formatter.

impl Default for PassiveVerifier

fn default() -> Self

Returns the “default value” for a type.