Struct Provenance 

pub struct Provenance {
    pub pir: PirGraph,
    pub leaf_probs: BTreeMap<LeafId, f64>,
    pub choice_probs: BTreeMap<ChoiceVarId, (f64, f64)>,
    pub queries: Vec<GroundAtom>,
    pub evidence: Vec<(GroundAtom, bool)>,
    pub leaf_atoms: BTreeMap<LeafId, GroundAtom>,
    pub choice_sources: BTreeMap<ChoiceVarId, ChoiceSource>,
    pub aggregate_lifting: Vec<AggregateLiftReport>,
    /* private fields */
}

Provenance extraction result: PIR graph plus per-tuple formulas and weight metadata.

Fields

pir: PirGraph

leaf_probs: BTreeMap<LeafId, f64>

choice_probs: BTreeMap<ChoiceVarId, (f64, f64)>

queries: Vec<GroundAtom>

evidence: Vec<(GroundAtom, bool)>

leaf_atoms: BTreeMap<LeafId, GroundAtom>

choice_sources: BTreeMap<ChoiceVarId, ChoiceSource>

aggregate_lifting: Vec<AggregateLiftReport>

Implementations

impl Provenance

pub fn query_formula( &self, predicate: &str, args: &[Value], ) -> Option<PirNodeId>

pub fn leaf_atom(&self, leaf: LeafId) -> Option<&GroundAtom>

pub fn choice_source(&self, var: ChoiceVarId) -> Option<&ChoiceSource>

pub fn atoms_with_formulas( &self, ) -> impl Iterator<Item = (&GroundAtom, PirNodeId)> + '_

Iterate over canonical semantic tuple keys and their provenance formulas.

Unlike source-facing query, evidence, leaf, and choice metadata, these keys describe execution identity. Schema-equivalent quoted and bare symbol spellings therefore share one key, and derived tuples may have no unique source spelling.

Trait Implementations

impl Debug for Provenance

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

Formats the value using the given formatter.