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

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

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 struct Database {
  source : &PageSource
  header : Header
  page_count : Int
  limits : Limits
}

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(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(all) struct PageStatistics {
  database_header_bytes : Int
  btree_header_bytes : Int
  pointer_bytes : Int
  unallocated_bytes : Int
  cell_bytes : Int
  freeblock_bytes : Int
  fragmented_bytes : Int
  reserved_bytes : Int
  payload_bytes : UInt64
  local_payload_bytes : UInt64
  max_payload_bytes : Int
  overflow_cells : Int
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum PageType {
  TableLeaf
  TableInterior
  IndexLeaf
  IndexInterior
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct PtrmapEntry {
  page_number : Int
  map_page : Int
  kind : PtrmapType
  parent_page : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum PtrmapType {
  RootPage
  FreePage
  FirstOverflow
  NextOverflow
  NonRootBtree
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

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

pub(all) enum ScanCompletion {
  Complete
  RecordLimit
  VisitorStopped
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ScanSummary {
  records_read : Int
  pages_read : Int
  payload_bytes : UInt64
  completion : ScanCompletion
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct SchemaEntry {
  object_type : String
  name : String
  table_name : String
  root_page : Int
  sql : String?
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Value {
  Null
  Integer(Int64)
  Real(Double)
  Text(String)
  Blob(Bytes)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum WalChecksumOrder {
  LittleEndianChecksum
  BigEndianChecksum
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct WalCommit {
  frame_index : Int
  database_pages : UInt
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)