pub fn render_sarif_json(receipt: &CheckReceipt) -> Result<String, Error>
Renders a SARIF report as a JSON string.