pub struct AuditOptions {
  // private fields
}

pub struct Baseline {
  format : String
  schema_version : Int
  profile : String
  rules_version : String
  scope : Array[String]
  groups : Array[BaselineGroup]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct BaselineChange {
  code : String
  anchor : String
  status : BaselineStatus
  members : Array[SourceMember]
  source_total : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct BaselineDiff {
  changes : Array[BaselineChange]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct BaselineGroup {
  code : String
  anchor : String
  members : Array[SourceMember]
  source_total : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub enum BaselineStatus {
  New
  Existing
  Worsened
  Resolved
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DeliveryAudit {
  status : String
  valid : Bool
  first_failed_step : Int
  diagnostics : Array[DeliveryDiagnostic]
  final_entries : Array[DeliveryStateEntry]
  trace : Array[DeliveryTrace]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

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

type DeliveryIntent derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DeliveryMapping {
  mode : String
  source : String
  from : String
  to : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DeliveryOperation {
  kind : String
  source : String
  from : String
  to : String
  origin : DeliveryOrigin
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

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

pub(all) struct DeliveryPlan {
  status : String
  basis : String
  operations : Array[DeliveryOperation]
  temporary_paths : Array[String]
  diagnostics : Array[DeliveryDiagnostic]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DeliverySpec {
  sources : Array[DeliveryTree]
  target : DeliveryTree
  mappings : Array[DeliveryMapping]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DeliveryStateEntry {
  path : String
  kind : EntryKind
  origin : DeliveryOrigin
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DeliveryTrace {
  step : Int
  kind : String
  from : String
  to : String
  origin : DeliveryOrigin
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DeliveryTree {
  id : String
  snapshot : Snapshot
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DetailedDiagnostic {
  code : String
  severity : String
  paths : Array[String]
  occurrences : Int
  message : String
  anchor : String
  group_key : String
  members : Array[SourceMember]
  source_examples : Array[SourceMember]
  source_total : Int
  sources_truncated : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DetailedReport {
  schema_version : Int
  profile : String
  source : String
  complete : Bool
  summary : Summary
  diagnostics : Array[DetailedDiagnostic]
  limitations : Array[String]
  scan_issues : Array[ScanIssue]
  scope : Array[String]
  excluded_entries : Int
  pruned_directories : Array[String]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Diagnostic {
  code : String
  severity : String
  paths : Array[String]
  occurrences : Int
  message : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub enum DiffKind {
  Added
  Removed
  KindChanged
  CaseChanged
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum EntryKind {
  File
  Directory
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct ExclusionScope {
  // private fields
}

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

pub(all) struct PathEntry {
  path : String
  kind : EntryKind
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct PathPattern {
  // private fields
}

pub(all) struct Report {
  schema_version : Int
  profile : String
  source : String
  complete : Bool
  summary : Summary
  diagnostics : Array[Diagnostic]
  limitations : Array[String]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct RuleInfo {
  code : String
  title : String
  reason : String
  examples : Array[String]
  suggestion : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

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

pub struct Snapshot {
  profile : String
  complete : Bool
  scope : Array[String]
  entries : Array[PathEntry]
  scan_issues : Array[ScanIssue]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct SnapshotChange {
  kind : DiffKind
  path : String
  paired_with : String
  before_kind : String
  after_kind : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct SnapshotDiff {
  complete : Bool
  changes : Array[SnapshotChange]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct SourceMember {
  path : String
  kind : EntryKind
  count : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Summary {
  entries : Int
  files : Int
  directories : Int
  diagnostic_groups : Int
  scan_issues : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

fn audit(entries : Array[PathEntry]) -> Report

fn audit_delivery_plan(spec : DeliverySpec, plan : DeliveryPlan) -> DeliveryAudit

fn audit_snapshot(snapshot : Snapshot, extra_scope : Array[String]) -> Result[DetailedReport, InputError]

fn audit_with_exclusions(entries : Array[PathEntry], options : AuditOptions, scope : ExclusionScope) -> DetailedReport

fn audit_with_options(entries : Array[PathEntry], options : AuditOptions) -> DetailedReport

fn build_baseline(report : DetailedReport) -> Result[Baseline, InputError]

fn build_snapshot(entries : Array[PathEntry], scan_issues : Array[ScanIssue], scope : Array[String]) -> Result[Snapshot, InputError]

fn default_audit_options() -> AuditOptions

fn diff_snapshots(before : Snapshot, after : Snapshot) -> Result[SnapshotDiff, InputError]

fn diff_with_baseline(baseline : Baseline, report : DetailedReport) -> BaselineDiff

fn effective_scope_patterns(scope : ExclusionScope) -> Array[String]

fn entry_excluded(scope : ExclusionScope, entry : PathEntry) -> Bool

fn explain(code : String) -> RuleInfo?

fn parse_baseline(text : String) -> Result[Baseline, InputError]

fn parse_delivery_plan(text : String) -> Result[DeliveryPlan, InputError]

fn parse_delivery_spec(text : String) -> Result[DeliverySpec, InputError]