Module diagnostics 

Stable diagnostic records for rule provenance and query proof traces.

Structs

QueryProofTrace

Public query proof trace record.

RuleProvenance

Public rule provenance record.

Enums

RuleSourceKind

Origin class for a rule visible through diagnostic introspection.

Functions

build_query_proof_traces

Build coarse proof traces that name source rules and source facts per query.

build_rule_provenance

Build source and generated rule-provenance records for a program.

format_atom

Format an atom in source-like syntax.

query_proof_traces

Build direct proof traces for source queries.

rule_provenance

Build provenance for source rules and optional generated rewrite rules.