pub(all) suberror XmlParseError {
  XmlParseError(String)
}

pub struct Decimal {
  minor_units : Int
  scale : Int
}

pub struct Diagnostic {
  code : String
  path : String
  message : String
}

pub struct DuplicateStatementEntry {
  end_to_end_id : String
  amount : Decimal
  currency : String
  account_iban : String?
  credit_debit : String
  reversal : Bool
  occurrences : Int
}

pub struct Event {
  kind : EventKind
}

pub(all) enum EventKind {
  Start(XmlElement)
  Empty(XmlElement)
  Text(String)
  End(String)
  Eof
}

pub struct LedgerIssue {
  code : String
  severity : String
  message : String
}

pub(all) enum LedgerLegKind {
  OriginalPayment
  RefundCredit
  ReversalOfPayment
  ReversalOfRefund
  UnlinkedReversal
}

pub(all) enum LedgerLinkQuality {
  LedgerExplicitLink
  LedgerInferredLink
  LedgerAmbiguousLink
  LedgerMissingLink
}

pub struct LifecycleCase {
  end_to_end_id : String
  amount : Decimal
  currency : String
  debtor_iban : String?
  creditor_iban : String?
  status : String?
  statement_role : String
  net_posted : Decimal?
  reversal_count : Int
  state : LifecycleState
  action : String
}

pub struct LifecycleReport {
  cases : Array[LifecycleCase]
  orphan_statuses : Array[String]
  orphan_statements : Array[String]
}

pub(all) enum LifecycleState {
  Settled
  SettledNotPosted
  Rejected
  Pending
  MissingStatus
  StatementMismatch
  StatementBeforeFinalStatus
  PartiallyRefunded
  FullyRefunded
  AccountUnmatched
}

pub struct MessageInfo {
  kind : MessageKind
  message_id : String?
  creation_datetime : String?
  original_message_id : String?
  entry_count : Int
}

pub(all) enum MessageKind {
  Pain001
  Pain002
  Pacs008
  Pacs002
  Camt053
  Unknown
}

pub struct MessageValidation {
  info : MessageInfo
  diagnostics : Array[Diagnostic]
}

pub struct Pain001Summary {
  message_id : String?
  creation_datetime : String?
  payment_instruction_count : Int
  transaction_count : Int
}

pub struct PaymentRecord {
  end_to_end_id : String
  amount : Decimal
  currency : String
  debtor_iban : String?
  creditor_iban : String?
}

pub struct ReconciliationReport {
  matched : Int
  missing_status : Array[String]
  missing_payment : Array[String]
  status_counts : Map[String, Int]
}

pub struct ReturnLedgerCase {
  end_to_end_id : String
  declared_amount : Decimal
  currency : String
  account_role : String
  state : ReturnLedgerState
  observed_payment : Decimal
  observed_refund : Decimal
  posted_payment : Decimal?
  effective_refund : Decimal?
  remaining : Decimal?
  crossed_period : Bool
  legs : Array[ReturnLedgerLeg]
  issues : Array[LedgerIssue]
  action : String
}

pub struct ReturnLedgerLeg {
  statement_id : String?
  booking_date : String?
  entry_reference : String?
  transaction_id : String?
  uetr : String?
  original_entry_reference : String?
  original_transaction_id : String?
  amount : Decimal
  currency : String
  credit_debit : String
  reversal : Bool
  kind : LedgerLegKind
  linked_to : String?
  link_quality : LedgerLinkQuality
}

pub struct ReturnLedgerReport {
  statement_count : Int
  cases : Array[ReturnLedgerCase]
  orphan_entries : Array[ReturnLedgerLeg]
  diagnostics : Array[Diagnostic]
}

pub(all) enum ReturnLedgerState {
  LedgerNotPosted
  LedgerPaid
  LedgerPartiallyReturned
  LedgerFullyReturned
  LedgerPaymentReversed
  LedgerEvidenceIncomplete
  LedgerConflict
}

pub struct RuleInfo {
  code : String
  description : String
}

pub struct StatementAuditReport {
  statement_id : String?
  account_iban : String?
  account_count : Int
  entry_count : Int
  total_credits : Decimal
  total_debits : Decimal
  net_movement : Decimal
  opening_balance : StatementBalance?
  closing_balance : StatementBalance?
  expected_closing : Decimal?
  closing_difference : Decimal?
  balance_status : StatementBalanceStatus
  duplicate_entries : Array[DuplicateStatementEntry]
  diagnostics : Array[Diagnostic]
}

pub struct StatementBalance {
  code : String
  amount : Decimal
  currency : String
  credit_debit : String
  signed_amount : Decimal
}

pub(all) enum StatementBalanceStatus {
  Balanced
  BalanceMismatch
  BalanceIncomplete
}

pub struct StatementPortfolioReport {
  message_id : String?
  statements : Array[StatementAuditReport]
  diagnostics : Array[Diagnostic]
}

pub struct StatementRecord {
  statement_id : String?
  entry_reference : String?
  transaction_id : String?
  uetr : String?
  original_entry_reference : String?
  original_transaction_id : String?
  booking_date : String?
  end_to_end_id : String
  amount : Decimal
  currency : String
  account_iban : String?
  credit_debit : String
  reversal : Bool
}

pub struct StatusEventRecord {
  message_id : String?
  creation_datetime : String?
  end_to_end_id : String
  status : String
  reason_code : String?
  original_amount : Decimal?
  original_currency : String?
}

pub struct StatusRecord {
  end_to_end_id : String
  status : String
}

pub struct StatusTimelineCase {
  end_to_end_id : String
  amount : Decimal
  currency : String
  events : Array[StatusEventRecord]
  latest_status : String?
  state : TimelineState
  issues : Array[TimelineIssue]
  action : String
}

pub struct StatusTimelineReport {
  message_count : Int
  event_count : Int
  cases : Array[StatusTimelineCase]
  orphan_status_ids : Array[String]
  orphan_events : Array[StatusEventRecord]
  diagnostics : Array[Diagnostic]
}

pub struct TimelineIssue {
  code : String
  severity : TimelineSeverity
  message : String
}

pub(all) enum TimelineSeverity {
  TimelineInfo
  TimelineWarning
  TimelineError
}

pub(all) enum TimelineState {
  TimelineAwaiting
  TimelineInProgress
  TimelineSettled
  TimelineRejected
  TimelineConflict
  TimelineUnknown
}

pub struct ValidationReport {
  summary : Pain001Summary
  diagnostics : Array[Diagnostic]
}

pub struct XmlElement {
  name : String
  attributes : Array[(String, String)]
}

pub struct XmlField {
  path : String
  attributes : Array[(String, String)]
  text : String?
}

pub struct XmlReader {
  input : Array[Char]
  pos : Int
  line : Int
  column : Int
  tag_stack : Array[String]
  saw_root : Bool
  root_closed : Bool
}

fn detect_message_kind(xml_text : String) -> MessageKind raise XmlParseError

fn elements_by_suffix(fields : Array[XmlField], suffix : String) -> Array[XmlField]

fn fields_by_suffix(fields : Array[XmlField], suffix : String) -> Array[XmlField]

fn first_text_by_suffix(fields : Array[XmlField], suffix : String) -> String?

fn flatten_xml(xml_text : String) -> Array[XmlField] raise XmlParseError

fn lifecycle_report(pain_xml : String, status_xml : String, statement_xml : String) -> LifecycleReport raise XmlParseError

fn pacs008_payment_records(xml_text : String) -> Array[PaymentRecord] raise XmlParseError

fn pain001_payment_records(xml_text : String) -> Array[PaymentRecord] raise XmlParseError

fn payment_records_auto(xml_text : String) -> Array[PaymentRecord] raise XmlParseError

fn reconcile_pain001_status(pain_xml : String, status_xml : String) -> ReconciliationReport raise XmlParseError

fn return_ledger_report(payment_xml : String, statement_xmls : Array[String]) -> ReturnLedgerReport raise XmlParseError

fn rule_catalog() -> Array[RuleInfo]

fn statement_audit(xml_text : String) -> StatementAuditReport raise XmlParseError

fn statement_portfolio_audit(xml_text : String) -> StatementPortfolioReport raise XmlParseError

fn statement_records(xml_text : String) -> Array[StatementRecord] raise XmlParseError

fn status_events(xml_text : String) -> Array[StatusEventRecord] raise XmlParseError

fn status_records(xml_text : String) -> Array[StatusRecord] raise XmlParseError

fn status_timeline_report(payment_xml : String, status_xmls : Array[String]) -> StatusTimelineReport raise XmlParseError

fn summarize_pain001(xml_text : String) -> Pain001Summary raise XmlParseError

fn texts_by_suffix(fields : Array[XmlField], suffix : String) -> Array[String]

fn validate_message(xml_text : String) -> MessageValidation raise XmlParseError

fn validate_pain001(xml_text : String) -> ValidationReport raise XmlParseError

fn version() -> String