Expand description
Deterministic provenance support for exact facts. Deterministic exact provenance support.
In this first G3 slice, a provenance token or label is an explicit stable
identifier attached directly to a stored fact. A witness is the exact,
deterministic set of provenance tokens attached to one stored fact. A
derived tuple is a tuple produced by later inference or algebraic
derivation; this module does not compute derived tuples yet. The first
explanation query in this module is
crate::provenance::ProvenanceRelation::why, which explains only stored
base facts. When a fact is absent, why returns None rather than an
empty crate::provenance::ProvenanceSet. No public rule API lives in
this module yet; the first least-fixed-point rule layer is still
documented as later G3 work. Relation-level exact support materialization
for provenance surfaces is also available generically through
crate::ExactSupport.
Structsยง
- Provenance
Relation - Deterministic exact provenance attached to stored facts.
- Provenance
Set - Deterministic provenance tokens attached to one stored fact.