pub fn source_diagnostics(
source_program: &Program,
analysis_program: &Program,
rewritten_program: Option<&Program>,
) -> (Vec<RuleProvenance>, Vec<QueryProofTrace>)Expand description
Build source-facing provenance and proof traces from authored and normalized programs.
Normalized support relations and rejected alternatives are merged only while rule and query order still align with the authored program. Compiler-generated predicates and variables are removed or mapped back to their authored function-local names.