Expand description
Deterministic expression evaluation and Bayesian reasoning rules.
§Runtime scope
- Build: always/default.
- Execution: Surface B (deterministic decision runtime).
- Default
termivar scan: yes, throughStandardWebDecisionRuntime. - Support: implemented and tested.
See docs/internals/runtime-map.md.
Rules consume an immutable crate::KnowledgeSnapshot. They never execute
plugins, schedule scans, or mutate evidence. A matched rule may materialize
one stable, evidence-backed termivar_core::Hypothesis.
Structs§
- Evidence
Calibration - Bayesian likelihoods assigned to evidence selected by a rule.
- Evidence
Selector - Selects raw evidence for one Bayesian calibration.
- Expression
- Typed, serializable condition evaluated against a knowledge snapshot.
- Expression
Evaluation - Explainable result of one expression tree.
- Expression
Trace - One node in an expression evaluation trace.
- Hypothesis
Conclusion - Data needed to materialize one Bayesian hypothesis after a rule matches.
- Reasoning
Rule - Stable declarative rule from an expression to a Bayesian conclusion.
- Rule
Application - Result of evaluating one rule and committing its conclusion in a reasoning batch.
- Rule
Engine - Deterministic registry and evaluator for declarative reasoning rules.
- Rule
Evaluation - Pure result of evaluating one rule against one snapshot.
Enums§
- Evidence
Aggregation - How matching observations contribute to one Bayesian calibration.
- Knowledge
Layer - Knowledge record layer queried by a claim expression.
- Rule
Engine Error - Errors raised while validating or evaluating deterministic rules.
- Rule
Write - Result of registering a rule identity.