Struct Expression 

pub struct Expression(/* private fields */);

Typed, serializable condition evaluated against a knowledge snapshot.

Empty all and any groups are rejected, avoiding vacuous truth and configuration mistakes. Negated branches never contribute evidence to a Bayesian conclusion because absence is not an immutable observation. Claim wire objects require value to be present: exact claims carry a typed value and existence claims carry explicit null. Unknown fields reject, so a misspelled exact value cannot broaden into existence.

Example

use termivar_core::{EvidenceValue, KnowledgePredicate};
use termivar_scanner::{Expression, KnowledgeLayer};

let condition = Expression::all(vec![
    Expression::equals(
        KnowledgeLayer::Evidence,
        KnowledgePredicate::new("technology", "framework")?,
        EvidenceValue::Text("Laravel".into()),
    ),
    Expression::equals(
        KnowledgeLayer::Evidence,
        KnowledgePredicate::new("authentication", "mechanism")?,
        EvidenceValue::Text("Sanctum".into()),
    ),
])?;

assert!(serde_json::to_string(&condition)?.contains("all"));

Implementations

impl Expression

pub fn all(expressions: Vec<Self>) -> Result<Self, RuleEngineError>

Requires every child expression to match.

pub fn any(expressions: Vec<Self>) -> Result<Self, RuleEngineError>

Requires at least one child expression to match.

pub fn negate(expression: Self) -> Self

Inverts a child condition without treating absence as evidence.

pub fn equals( layer: KnowledgeLayer, predicate: KnowledgePredicate, value: EvidenceValue, ) -> Self

Matches a predicate and exact typed value in one knowledge layer.

pub fn exists(layer: KnowledgeLayer, predicate: KnowledgePredicate) -> Self

Matches the existence of a predicate in one knowledge layer.

pub fn text_contains( layer: KnowledgeLayer, predicate: KnowledgePredicate, needle: impl Into<String>, ) -> Result<Self, RuleEngineError>

Matches a substring in a text or text-list claim value.

pub fn text_contains_ascii_case_insensitive( layer: KnowledgeLayer, predicate: KnowledgePredicate, needle: impl Into<String>, ) -> Result<Self, RuleEngineError>

Matches an ASCII case-insensitive substring in a text claim value.

This comparison is deterministic and locale-independent, making it suitable for protocol tokens and product fingerprints.

pub fn text_list_contains_exact( layer: KnowledgeLayer, predicate: KnowledgePredicate, value: impl Into<String>, ) -> Result<Self, RuleEngineError>

Matches exact membership of a value in an EvidenceValue::TextList.

Unlike Self::text_contains, this compares complete list elements with exact, case-sensitive string equality. It never performs substring matching and never falls back to a scalar EvidenceValue::Text: a record whose value is Text("_token") does not match, and a list element "_token_old" does not match the value "_token". This keeps typed inventory reasoning fail-closed — only a record carrying the exact element contributes.

pub fn ontology_relation( subject: ConceptId, relation: RelationTypeId, object: ConceptId, ) -> Self

Matches one semantic relationship in the captured ontology.

pub fn evaluate( &self, snapshot: &KnowledgeSnapshot, ) -> Result<ExpressionEvaluation, RuleEngineError>

Evaluates the expression and returns an explainable trace.

Trait Implementations

impl Clone for Expression

fn clone(&self) -> Expression

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expression

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Expression

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

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Expression

impl PartialEq for Expression

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Expression

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 Expression