pub fn format_proof_report(report: &ProofReport) -> StringExpand description
Pretty-print a ProofReport for the REPL / CLI. Mirrors the JS
formatProofReport shape so transcripts agree across runtimes.
pub fn format_proof_report(report: &ProofReport) -> StringPretty-print a ProofReport for the REPL / CLI. Mirrors the JS
formatProofReport shape so transcripts agree across runtimes.