pub(all) struct Report {
  module : String
  version : String
  risk : Int
  verdict : String
  findings : Array[
@minie135/mooncake-audit/engine.Finding
Finding]
  errors : Array[String]
} derive(ToJson, 
@moonbitlang/core/debug.Debug
Debug)

fn human_summary(r : Report) -> String

fn summary_md(r : Report) -> String

fn summary_md_lines(r : Report) -> Int

fn to_sarif(r : Report) -> String