Struct RuleEngine 

pub struct RuleEngine { /* private fields */ }

Deterministic registry and evaluator for declarative reasoning rules.

Rules are always evaluated in stable rule-ID order against one shared snapshot. Conclusions are written only after every rule has been evaluated, preventing earlier rules from changing later conditions in the same cycle.

Implementations

impl RuleEngine

pub fn new() -> Self

Creates an empty engine.

pub fn register( &mut self, rule: ReasoningRule, ) -> Result<RuleWrite, RuleEngineError>

Registers an idempotent rule definition.

pub fn len(&self) -> usize

Returns the number of registered rule identities.

pub fn is_empty(&self) -> bool

Returns whether no rules are registered.

pub fn evaluate( &self, knowledge: &KnowledgeBase, subject: &EntityId, ) -> Result<Vec<RuleEvaluation>, RuleEngineError>

Evaluates all rules without mutating the knowledge base.

pub fn evaluate_snapshot( &self, snapshot: &KnowledgeSnapshot, ) -> Result<Vec<RuleEvaluation>, RuleEngineError>

Evaluates all rules against one immutable snapshot.

pub fn apply( &self, knowledge: &KnowledgeBase, subject: &EntityId, ) -> Result<Vec<RuleApplication>, RuleEngineError>

Evaluates one decision cycle and atomically writes matched hypotheses.

All rules first evaluate in stable rule-ID order against one immutable snapshot. Every matched hypothesis is then preflighted and committed in one knowledge-base write transaction, so one late identity conflict cannot leave earlier conclusions stored. Existing verifier-owned Confirmed and Rejected states are preserved under that same write lock, so a concurrent reasoning pass cannot reverse a verification result.

Trait Implementations

impl Clone for RuleEngine

fn clone(&self) -> RuleEngine

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RuleEngine

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

Formats the value using the given formatter.

impl Default for RuleEngine

fn default() -> RuleEngine

Returns the “default value” for a type.