pub(open) trait PageSource {
  fn byte_length(Self) -> Int
  fn read_range(Self, Int, Int) -> Bytes raise SqliteError
}

pub(open) trait RangeSource {
  fn byte_length64(Self) -> Int64
  fn read_range64(Self, Int64, Int) -> Bytes raise SourceError
}

pub(all) suberror SourceError {
  HostFailure(String)
  ShortRead(String)
  RangeOutOfBounds(String)
}

pub(all) suberror SqliteError {
  Invalid(String)
  Unsupported(String)
  LimitExceeded(String)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub struct BTreeCursor {
  // private fields
}

pub(all) struct BTreeInspection {
  root_page : Int
  status : InspectionStatus
  records_decoded : Int
  summary : ScanSummary?
  error : SqliteError?
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct BTreeInspectionDetails {
  inspection : BTreeInspection
  location : DiagnosticLocation?
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct BTreeRecord {
  rowid : Int64?
  values : Array[Value]
  page_number : Int
  cell_offset : Int
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub struct BytesSource {
  data : Bytes
}

pub(all) struct CacheStatistics {
  hits : Int64
  misses : Int64
  bytes_read : Int64
  resident_pages : Int
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub struct CachedSource {
  // private fields
}

pub struct Database {
  source : &PageSource
  header : Header
  page_count : Int
  limits : Limits
  // private fields
}

pub(all) struct DatabaseInspection {
  status : InspectionStatus
  ownership_complete : Bool
  ptrmap_checked : Bool
  diagnostics_truncated : Bool
  roots_inspected : Int
  records_decoded : Int
  payload_bytes : UInt64
  pages : Array[PageOwnership]
  unclaimed_pages : Array[Int]
  issues : Array[DatabaseIssue]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DatabaseInspectionDetails {
  inspection : DatabaseInspection
  issues : Array[LocatedDatabaseIssue]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum DatabaseIssue {
  ScanError(Int?, SqliteError)
  PageConflict(PageOwnership, PageOwnership)
  UnclaimedPage(Int)
  UnsupportedFeature(String)
  PtrmapMismatch(PtrmapEntry, PageOwnership)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DiagnosticLocation {
  phase : DiagnosticPhase
  page_number : Int?
  byte_offset : Int?
  cell_index : Int?
  page_diagnostic : PageDiagnostic?
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum DiagnosticPhase {
  Configuration
  ReadPage
  PageLayout
  TreeTraversal
  CellPayload
  OverflowChain
  RecordDecode
  SchemaDecode
  FreelistCheck
  PtrmapCheck
  PageOwnershipCheck
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Header {
  page_size : Int
  usable_size : Int
  write_version : Int
  read_version : Int
  change_counter : UInt
  declared_pages : UInt
  freelist_trunk : UInt
  freelist_pages : UInt
  schema_cookie : UInt
  schema_format : Int
  largest_root_page : UInt
  incremental_vacuum : Bool
  text_encoding : Int
  user_version : UInt
  application_id : UInt
  version_valid_for : UInt
  sqlite_version : UInt
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct InspectionCursor {
  // private fields
}

pub(all) enum InspectionEvent {
  NeedInspectionPage(Int)
  InspectionProgress(ScanProgress)
  InspectionFinished(DatabaseInspectionDetails)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum InspectionStatus {
  Complete
  Incomplete
  Failed
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct InspectionSummary {
  claimed_pages : Int
  unclaimed_pages : Int
  page_kinds : Array[PageKindCount]
  objects : Array[ObjectPageCount]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Limits {
  max_rows : Int
  max_payload_bytes : Int
  max_pages : Int
  max_depth : Int
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct LocatedDatabaseIssue {
  issue : DatabaseIssue
  location : DiagnosticLocation?
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ObjectPageCount {
  root_page : Int
  object_name : String?
  btree_pages : Int
  overflow_pages : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Page {
  number : Int
  kind : PageType
  first_freeblock : Int
  cell_count : Int
  content_start : Int
  fragmented_bytes : Int
  right_child : Int?
  cell_offsets : Array[Int]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct PageDiagnostic {
  code : PageDiagnosticCode
  page_number : Int
  byte_offset : Int?
  cell_index : Int?
  error : SqliteError
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum PageDiagnosticCode {
  PageRead
  PageTypeTag
  PageHeader
  CellPointer
  CellFormat
  Freeblock
  SpaceOverlap
  UntrackedSpace
  FragmentCount
  ChildPointer
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct PageInspection {
  status : InspectionStatus
  page : Page?
  statistics : PageStatistics?
  diagnostic : PageDiagnostic?
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum PageKind {
  BtreeRoot
  BtreeChild
  OverflowFirst
  OverflowContinuation
  FreelistTrunk
  FreelistLeaf
  PointerMap
  LockByte
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct PageKindCount {
  kind : PageKind
  pages : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct PageOwnership {
  page_number : Int
  kind : PageKind
  root_page : Int?
  object_name : String?
  parent_page : Int?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct PageSourceAdapter {
  source : &PageSource
}