Expand description
Transport-neutral contracts for evidence-driven reasoning.
These types deliberately contain no scheduling or detection behavior. A
scanner records Evidence, materializes Fact values, evaluates
Hypothesis values, and connects KnowledgeEntity values through
KnowledgeRelation edges in higher-level crates.
Structs§
- Bayesian
Belief - Deterministic Bayesian state for one hypothesis.
- Bayesian
Evidence - Likelihoods contributed by one immutable evidence record.
- Bayesian
Update - One explainable step in a posterior calculation.
- Confidence
Score - An ordinal evidence score represented in basis points.
- Derivation
Algorithm - Stable identity of the transformation that produced a derived evidence record.
- Entity
Id - Stable identifier for an entity in the knowledge graph.
- Evidence
- Immutable observation recorded by discovery or execution code.
- Evidence
Contribution - Explainable weighted evidence attached to a hypothesis.
- Evidence
Derivation - The exact immutable evidence record(s) a derived record was computed from.
- Evidence
Id - Unique identifier for one immutable evidence record.
- Evidence
Source - Provenance identifying who produced an evidence record and how.
- Fact
- Materialized claim backed by at least one evidence record.
- Hypothesis
- Explainable claim whose belief is maintained by a reasoning engine.
- Knowledge
Entity - A typed node in the future knowledge graph.
- Knowledge
Predicate - Namespaced predicate used by evidence, facts, and hypotheses.
- Knowledge
Relation - Evidence-backed directed edge between two knowledge entities.
- Probability
- A bounded probability value represented as fixed-point parts per million.
- Relation
Id - Unique identifier for one knowledge-graph relation.
Enums§
- Belief
Write - Result of adding evidence to a Bayesian belief.
- Contribution
Direction - Direction in which evidence affects a hypothesis.
- Entity
Kind - Entity categories understood by the knowledge graph.
- Evidence
Kind - Broad evidence category used for routing and policy.
- Evidence
Origin - Whether an evidence record was directly observed or derived from other records.
- Evidence
Value - Typed value carried by evidence and claims.
- Hypothesis
State - Lifecycle state for an evaluated hypothesis.
- Hypothesis
Strength - Rule-assigned evidence strength for a hypothesis.
- Reasoning
Model Error - Validation errors for decision-engine domain contracts.
- Relation
Kind - Relationship categories understood by the knowledge graph.
Constants§
- MAX_
DERIVATION_ ALGORITHM_ BYTES - Maximum byte length of a derivation algorithm identifier.
- MAX_
DERIVATION_ PARENTS - Maximum distinct parent records one derived evidence record may reference.