pub(all) suberror ProblemError {
  ProblemError(ProblemErrorStage, ProblemErrorKind, String, Int?)
}

pub struct AuditIssue {
  kind : AuditIssueKind
  severity : AuditSeverity
  context : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum AuditIssueKind {
  RelativeTypeUri
  RelativeInstanceUri
  SuspiciousExtensionName
  OverlongTitle
  OverlongDetail
  AboutBlankTitleMismatch
  MissingTitle
  MissingStatus
  SensitiveLookingExtension
  DebugInformationRisk
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct AuditReport {
  issues : Array[AuditIssue]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

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

pub(all) enum BatchDecision {
  Accept
  Review
  Reject
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct BatchFinding {
  document_index : Int
  kind : BatchFindingKind
  context : String
}

pub(all) enum BatchFindingKind {
  DocumentLimitExceeded
  ParseFailure
  ParseDiagnostic
  SemanticViolation
  AuditWarning
  RelativeProblemType
  UnregisteredProblemType
  MissingRequiredTitle
  MissingRequiredStatus
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct ContextIssue {
  kind : ContextIssueKind
  context : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum ContextIssueKind {
  InvalidContentType
  StatusMismatch
  MissingBaseUri
  InvalidBaseUri
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct ExtensionFrequency {
  name : String
  count : Int
}

pub struct ExtensionMember {
  name : String
  value : Json
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct Limits {
  max_input_bytes : Int
  max_members : Int
  max_extension_members : Int
  max_string_bytes : Int
  max_title_bytes : Int
  max_detail_bytes : Int
  max_nesting_depth : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct ProblemBatchPolicy {
  max_documents : Int
  max_parse_failures : Int
  max_semantic_issues : Int
  max_audit_issues : Int
  max_unregistered_types : Int
  require_title : Bool
  require_status : Bool
  allow_relative_types : Bool
}

pub struct ProblemBatchReport {
  input_count : Int
  parsed_count : Int
  parse_failure_count : Int
  diagnostic_count : Int
  semantic_issue_count : Int
  audit_issue_count : Int
  about_blank_count : Int
  registered_type_count : Int
  unregistered_type_count : Int
  relative_type_count : Int
  missing_title_count : Int
  missing_status_count : Int
  total_member_count : Int
  max_member_count : Int
  informational_status_count : Int
  successful_status_count : Int
  redirection_status_count : Int
  client_error_status_count : Int
  server_error_status_count : Int
  other_status_count : Int
  type_frequencies : Array[ProblemTypeFrequency]
  status_frequencies : Array[ProblemStatusFrequency]
  extension_frequencies : Array[ExtensionFrequency]
  findings : Array[BatchFinding]
  decision : BatchDecision
  quality_score : Int
}

pub struct ProblemBuilder {
  type_raw : String?
  title : String?
  status : Int?
  detail : String?
  instance : String?
  extensions : Array[ExtensionMember]
  error : ProblemError?
}

pub struct ProblemContext {
  actual_status : Int?
  content_type : String?
  base_uri : String?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct ProblemDetails {
  type_raw : String?
  title : String?
  status : Int?
  detail : String?
  instance : String?
  extensions : Array[ExtensionMember]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct ProblemDiagnostic {
  kind : ProblemDiagnosticKind
  member_name : String
  expected : String
  actual : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum ProblemDiagnosticKind {
  IgnoredMemberWrongType
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum ProblemErrorKind {
  InvalidJson
  InvalidUtf8
  RootNotObject
  InvalidUriReference
  InvalidPercentEncoding
  InvalidStatus
  DuplicateReservedExtension
  LimitExceeded
  InvalidBuilderState
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum ProblemErrorStage {
  Input
  Json
  Member
  Uri
  Status
  Limit
  Registry
  Builder
  Context
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct ProblemParseResult {
  problem : ProblemDetails
  diagnostics : Array[ProblemDiagnostic]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct ProblemStatusFrequency {
  status : Int?
  count : Int
}

pub struct ProblemTypeFrequency {
  type_uri : String
  count : Int
}

pub struct ProblemTypeRecord {
  type_uri : String
  title : String
  recommended_status : Int?
  reference : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct UriReferenceInfo {
  absolute : Bool
  relative : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct ValidationIssue {
  kind : ValidationIssueKind
  context : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum ValidationIssueKind {
  InvalidTypeUri
  InvalidInstanceUri
  InvalidStatusCode
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

fn about_blank(status : Int) -> Result[ProblemDetails, ProblemError]

fn analyze_problem_batch(inputs : Array[String], policy? : ProblemBatchPolicy, limits? : Limits) -> ProblemBatchReport

fn audit_problem(problem : ProblemDetails) -> AuditReport

fn canonicalize_problem_json(input : String) -> Result[String, ProblemError]

fn extension_member(name : String, value : Json) -> ExtensionMember

fn is_absolute_uri_reference(value : String) -> Bool

fn is_registered_problem_type(uri : String) -> Bool

fn is_valid_http_status(code : Int) -> Bool

fn is_valid_problem(problem : ProblemDetails) -> Bool

fn library_version() -> String

fn lookup_problem_type(uri : String) -> ProblemTypeRecord?

fn parse_problem(input : String) -> Result[ProblemDetails, ProblemError]

fn parse_problem_json(input : String) -> Result[ProblemParseResult, ProblemError]