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.

format_constraint_body

Format an integrity-constraint body in source-like syntax.

format_term

Format a term in source-like syntax.

generated_function_variable_sources

Map generated predicate-function variables to their authored local names.

query_proof_traces

Build direct proof traces for source queries.

rule_provenance

Build provenance for source rules and optional generated rewrite rules.

source_diagnostics

Build source-facing provenance and proof traces from authored and normalized programs.

source_format_normalized_alternative

Replace generated predicate-function variable tokens with authored local names.