pub(all) suberror SecurityTxtError {
  SecurityTxtError(SecurityTxtErrorStage, SecurityTxtErrorKind, Int, Int, Int, String)
}

pub struct AuditFinding {
  kind : AuditFindingKind
  severity : AuditSeverity
  message : String
  line : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum AuditFindingKind {
  Expired
  ExpiresSoon
  NoPolicy
  NoCanonical
  CanonicalMismatch
  InsecureWebUri
  DuplicateSingletonField
  UnknownExtension
  NoPreferredLanguages
  InvalidContext
  Unsigned
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

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

pub struct DateTime {
  year : Int
  month : Int
  day : Int
  hour : Int
  minute : Int
  second : Int
  nanos : Int64
  offset_minutes : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

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

pub struct Limits {
  max_input_bytes : Int
  max_lines : Int
  max_line_bytes : Int
  max_fields : Int
  max_field_value_bytes : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum SecurityField {
  Contact(String)
  Expires(String)
  Canonical(String)
  Encryption(String)
  Acknowledgments(String)
  Policy(String)
  Hiring(String)
  PreferredLanguages(String)
  Extension(String, String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct SecurityFieldEntry {
  field : SecurityField
  line : Int
  byte_offset : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct SecurityTxt {
  entries : Array[SecurityFieldEntry]
  comments : Array[String]
  signature : SignatureState
  armor_headers : Array[String]
  line_count : Int
  byte_count : Int
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub struct SecurityTxtBuilder {
  contacts : Array[String]
  expires : DateTime?
  canonical : String?
  encryption : String?
  acknowledgments : Array[String]
  policy : String?
  hiring : String?
  preferred_languages : Array[String]?
  extensions : Array[ExtensionField]
  comments : Array[String]
}

pub struct SecurityTxtContext {
  retrieval_uri : String?
  content_type : String?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum SecurityTxtErrorKind {
  InvalidLine
  MissingColon
  EmptyFieldName
  EmptyFieldValue
  InvalidUtf8
  InvalidUri
  InvalidScheme
  InvalidDateTime
  InvalidLanguage
  DuplicateExpires
  DuplicatePreferredLanguages
  DuplicateField
  MissingContact
  MissingExpires
  ContextMismatch
  InvalidContext
  LimitExceeded
  InvalidSignatureEnvelope
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum SecurityTxtErrorStage {
  Input
  Line
  FieldName
  FieldValue
  Uri
  DateTime
  Language
  SignatureEnvelope
  Validation
  Limit
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum SignatureState {
  Unsigned
  SignedUnverified
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct SignedPayload {
  armor_headers : Array[String]
  cleartext_lines : Array[String]
  cleartext_offsets : Array[Int]
}

let EXPIRES_SOON_SECONDS : Int64

let RFC3339_MAX_FRACTIONAL_DIGITS : Int

fn audit(document : SecurityTxt, now : DateTime, context : SecurityTxtContext) -> Array[AuditFinding]

fn audit_finding(kind : AuditFindingKind, severity : AuditSeverity, message : String, line : Int) -> AuditFinding

fn char_utf8_len(c : Char) -> Int

fn check_field_value(field : SecurityField, line : Int, byte_offset : Int) -> Result[Unit, SecurityTxtError]

fn check_language_tag(tag : String) -> Result[Unit, SecurityTxtError]

fn check_uri(value : String) -> Result[Unit, SecurityTxtError]

fn check_uri_scheme(value : String, allowed : Array[String], field_name : String, line : Int, byte_offset : Int) -> Result[Unit, SecurityTxtError]

fn contains_uri_illegal(value : String) -> Bool

fn days_from_civil(year : Int, month : Int, day : Int) -> Int64

fn days_in_month(year : Int, month : Int) -> Int

fn div_floor_i64(a : Int64, b : Int64) -> Int64

fn empty_context() -> SecurityTxtContext

fn encryption_allowed_schemes() -> Array[String]

fn extension_field(name : String, value : String) -> ExtensionField

fn extract_cleartext(input : String) -> Result[String?, SecurityTxtError]

fn is_expired(expires : DateTime, now : DateTime) -> Bool

fn is_leap_year(year : Int) -> Bool

fn is_standard_field_name(name : String) -> Bool

fn library_version() -> String

fn make_utc(year : Int, month : Int, day : Int, hour : Int, minute : Int, second : Int) -> Result[DateTime, SecurityTxtError]

fn make_utc_nanos(year : Int, month : Int, day : Int, hour : Int, minute : Int, second : Int, nanos : Int64) -> Result[DateTime, SecurityTxtError]

fn new_builder() -> SecurityTxtBuilder

fn parse_rfc3339(value : String) -> Result[DateTime, SecurityTxtError]

fn parse_security_txt(input : String) -> Result[SecurityTxt, SecurityTxtError]

fn parse_security_txt_bytes(input : Bytes, limits : Limits) -> Result[SecurityTxt, SecurityTxtError]

fn parse_security_txt_with_limits(input : String, limits : Limits) -> Result[SecurityTxt, SecurityTxtError]

fn parse_standard_field(name : String, value : String) -> SecurityField?

fn security_field_entry(field : SecurityField, line : Int, byte_offset : Int) -> SecurityFieldEntry

fn security_txt(entries : Array[SecurityFieldEntry], comments : Array[String], signature : SignatureState, armor_headers : Array[String], line_count : Int, byte_count : Int) -> SecurityTxt

fn security_txt_context(retrieval_uri : String?, content_type : String?) -> SecurityTxtContext

fn security_txt_error(stage : SecurityTxtErrorStage, kind : SecurityTxtErrorKind, line : Int, column : Int, byte_offset : Int, message : String) -> SecurityTxtError

fn serialize_security_txt(document : SecurityTxt) -> String

fn split_lines_text(input : String) -> (Array[String], Array[Int])

fn split_preferred_languages(value : String) -> Array[String]

fn split_signed_envelope(lines : Array[String], offsets : Array[Int]) -> Result[SignedPayload?, SecurityTxtError]

fn standard_field_name(name : String) -> String?

fn time_until_expiry(expires : DateTime, now : DateTime) -> Int64

fn uri_scheme(value : String) -> String?

fn utf8_byte_len(s : String) -> Int

fn validate(document : SecurityTxt) -> Result[Unit, SecurityTxtError]

fn validate_all(document : SecurityTxt) -> Array[SecurityTxtError]

fn validate_context(context : SecurityTxtContext) -> Result[Unit, SecurityTxtError]

fn validate_retrieval_context(document : SecurityTxt, context : SecurityTxtContext) -> Result[Unit, SecurityTxtError]