pub(all) struct AuditDelta {
  project_name : String
  previous_score : Int
  current_score : Int
  previous_ready : Bool
  current_ready : Bool
  added : Array[Finding]
  resolved : Array[Finding]
  unchanged : Array[Finding]
  changed : Array[FindingChange]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct AuditPolicy {
  minimum_score : Int
  minimum_source_lines : Int
  maximum_warnings : Int
  maximum_dependencies : Int
  require_repository : Bool
  require_ci : Bool
  require_changelog : Bool
  require_security_policy : Bool
  require_pinned_dependencies : Bool
  allowed_licenses : Array[String]
  denied_licenses : Array[String]
  required_files : Array[String]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct AuditReport {
  project : Project
  findings : Array[Finding]
  moonbit_source_lines : Int
  score : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Dependency {
  name : String
  version : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DependencyHealth {
  total : Int
  pinned : Int
  unpinned : Int
  unique : Int
  namespaces : Array[NamespaceCount]
  issues : Array[DependencyIssue]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub enum DependencyHealthSeverity {
  DependencyInfo
  DependencyWarning
  DependencyError
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DependencyIssue {
  severity : DependencyHealthSeverity
  code : String
  dependency : String
  message : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Finding {
  severity : Severity
  code : String
  path : String
  message : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct FindingChange {
  code : String
  path : String
  previous_severity : Severity
  current_severity : Severity
  previous_message : String
  current_message : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct NamespaceCount {
  scope : String
  count : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct PolicyResult {
  policy : AuditPolicy
  violations : Array[PolicyViolation]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct PolicyViolation {
  code : String
  path : String
  message : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Project {
  name : String
  version : String
  license : String
  repository : String
  dependencies : Array[Dependency]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ProvenanceOptions {
  builder_id : String
  build_type : String
  source_uri : String
  revision : String
  subject_digest : String
  invocation_id : String
  started_on : String
  finished_on : String
  reproducible : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ScanFacts {
  project : Project
  files : Array[String]
  moonbit_source_lines : Int
  license_text : String?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Severity {
  Info
  Warning
  Error
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

fn analyze_dependencies(project : Project) -> DependencyHealth

fn audit(facts : ScanFacts) -> AuditReport

fn compare_reports(previous : AuditReport, current : AuditReport) -> AuditDelta

fn cyclonedx(project : Project) -> Json

fn cyclonedx_string(project : Project, indent? : Int) -> String

fn default_policy() -> AuditPolicy

fn default_provenance_options() -> ProvenanceOptions

fn delta_json(delta : AuditDelta) -> Json

fn dependency_health_json(health : DependencyHealth) -> Json

fn dependency_inventory(project : Project) -> Json

fn dependency_purl(dependency : Dependency) -> String

fn detect_license(text : StringView) -> String?

fn evaluate_policy(policy : AuditPolicy, facts : ScanFacts, report : AuditReport) -> PolicyResult

fn normalize_license(identifier : StringView) -> String

fn parse_manifest(path : StringView, text : StringView) -> Project raise

fn parse_moon_mod(text : StringView) -> Project

fn parse_moon_mod_json(text : StringView) -> Project raise

fn parse_policy(text : StringView) -> AuditPolicy raise

fn provenance(project : Project, options : ProvenanceOptions) -> Json

fn provenance_warnings(project : Project, options : ProvenanceOptions) -> Array[String]

fn render_delta_json(delta : AuditDelta, indent? : Int) -> String

fn render_delta_markdown(delta : AuditDelta) -> String

fn render_delta_text(delta : AuditDelta) -> String

fn render_dependency_json(health : DependencyHealth, indent? : Int) -> String

fn render_dependency_text(health : DependencyHealth) -> String

fn render_json(report : AuditReport, indent? : Int) -> String

fn render_markdown(report : AuditReport) -> String

fn render_policy_json(result : PolicyResult, indent? : Int) -> String

fn render_policy_text(result : PolicyResult) -> String

fn render_provenance(project : Project, options : ProvenanceOptions, indent? : Int) -> String

fn render_provenance_warnings(project : Project, options : ProvenanceOptions) -> String

fn render_sarif(report : AuditReport, indent? : Int) -> String

fn render_text(report : AuditReport) -> String

fn sarif(report : AuditReport) -> Json

fn valid_spdx(expression : StringView) -> Bool