Skip to main content

audit_examples

rete_graph::card

Function audit_examples 

Source 
pub fn audit_examples(card: &DatasetCard) -> Vec<Finding>
Expand description

Audit the curated example_queries a card carries — the half of a card a publisher wrote, which audit (the generated half) never looks at.

A curated query makes no claim, so there is no template to hold it to; what the card can still decide is narrower and stated as such:

  • it does not parse — Verdict::Invalid, certain;
  • it reads only the default graph of a file whose default graph the card records as empty — Verdict::Empty, the same scope rule the starters obey (#170);
  • it names a predicate the card’s complete predicate list does not contain — Verdict::Suspect, not Empty: the predicate may sit in an OPTIONAL, UNION or MINUS branch, and the profile covers the default graph only;
  • anything else — Verdict::Undecidable; card-audit --measure runs it.

Findings use the ids of example_query_id and revision: "curated", and are reported apart from the generated queries’ — they answer to a different author.