Struct ProvenanceStore 

pub struct ProvenanceStore { /* private fields */ }

Provenance store for derived facts (Green et al. 2007, §3).

Stores provenance annotations keyed by opaque fact hashes. Enables Mode A (provenance-based) EXPLAIN without re-execution. First-derivation-wins: once a fact hash is recorded, later iterations do not overwrite it.

Implementations

impl ProvenanceStore

pub fn new() -> Self

pub fn record(&self, fact_hash: Vec<u8>, entry: ProvenanceAnnotation)

Record a provenance annotation. First-derivation-wins: if the hash is already present, the existing annotation is kept (unlimited mode).

pub fn record_top_k( &self, fact_hash: Vec<u8>, entry: ProvenanceAnnotation, k: usize, )

Record a provenance annotation with top-k filtering.

Retains at most k annotations per fact, ordered by proof_probability (highest first). Annotations without a proof probability are treated as having probability 0.0 for ordering purposes.

pub fn lookup(&self, fact_hash: &[u8]) -> Option<ProvenanceAnnotation>

Look up the first (highest-priority) provenance annotation for a fact hash.

pub fn lookup_all(&self, fact_hash: &[u8]) -> Option<Vec<ProvenanceAnnotation>>

Look up all provenance annotations for a fact hash.

pub fn base_fact_probs(&self) -> HashMap<Vec<u8>, f64>

Collect base fact probabilities from stored annotations.

Scans all annotations for base facts (those with empty support, i.e. leaf nodes in the proof tree) and extracts the PROB column value from their fact_row. Used by top-k proof filtering to compute proof_probability.

pub fn entries_for_rule( &self, rule_name: &str, ) -> Vec<(Vec<u8>, ProvenanceAnnotation)>

Get all entries for a specific rule name (returns first annotation per fact).

Trait Implementations

impl Debug for ProvenanceStore

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

Formats the value using the given formatter.

impl Default for ProvenanceStore

fn default() -> Self

Returns the “default value” for a type.