pub(all) suberror CrateError {
  CrateError(String, String)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub struct BatchAudit {
  // private fields
}

pub struct BatchManifest {
  // private fields
}

pub(all) struct BatchProgress {
  phase : String
  manifest_sha256 : String
  task_count : Int
  completed_tasks : Int
  pass_tasks : Int
  partial_pass_tasks : Int
  failed_tasks : Int
  error_tasks : Int
  read_calls : Int64
  validated_read_bytes : Int64
  task_index : Int?
  task_id : String?
  task_outcome : String?
  verification : VerificationProgress?
}

pub(all) struct BatchTask {
  id : String
  metainfo : String
  payload : String
  files : Array[String]?
}

pub(all) struct CreateOptions {
  name : String
  mode : TorrentMode
  piece_length : Int
  single_file : Bool
  private_torrent : Bool
  trackers : Array[Array[String]]
  web_seeds : Array[String]
  comment : String
}

pub(all) struct CreationProgress {
  phase : String
  mode : TorrentMode
  file_count : Int
  total_bytes : Int64
  read_calls : Int
  validated_read_bytes : Int64
  file : Int?
  offset : Int64?
  length : Int?
  metainfo_bytes : Int?
}

pub(all) struct FileIssue {
  file : Int
  path : String
  expected : Int64
  actual : Int64?
  reason : String
}

pub(all) struct Magnet {
  v1 : String?
  v2 : String?
  name : String?
  trackers : Array[String]
}

pub(all) struct PieceFailure {
  scheme : String
  piece : Int
  spans : Array[PieceSpan]
  reason : String
}

pub(all) struct PieceSpan {
  file : Int
  offset : Int64
  length : Int
}

pub(all) struct SourceFile {
  path : Array[String]
  length : Int64
}

pub(all) struct StagingAssessment {
  status : String
  reason : String
  operation_id : String?
}

pub(all) struct StagingEvidence {
  stage_path : String
  directory_id : String
  data_id : String
  actual_bytes : Int64
  local_host : String
  local_user : String
  owner_state : String
}

pub(all) struct StagingOwner {
  operation_id : String
  stage_path : String
  target_path : String
  directory_id : String
  data_id : String
  pid : Int
  host : String
  user : String
  expected_bytes : Int64
}

pub(all) struct TorrentInfo {
  name : String
  mode : TorrentMode
  piece_length : Int
  files : Array[SourceFile]
  single_file : Bool
  private_torrent : Bool
  trackers : Array[Array[String]]
  web_seeds : Array[String]
  comment : String
  info_hash_v1 : String?
  info_hash_v2 : String?
}

pub(all) enum TorrentMode {
  V1
  V2
  Hybrid
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct TorrentPlan {
  name : String
  mode : TorrentMode
  piece_length : Int
  single_file : Bool
  file_count : Int
  empty_files : Int
  real_bytes : Int64
  storage_bytes : Int64
  padding_bytes : Int64
  v1_pieces : Int
  v2_pieces : Int
  v1_hash_bytes : Int64
  v2_piece_layer_bytes_upper_bound : Int64
}

pub(all) struct V2FileHash {
  root : Bytes
  piece_layer : Bytes
}

pub(all) struct VerificationProgress {
  phase : String
  total_checks : Int
  checked_pieces : Int
  failed_pieces : Int
  unreadable_pieces : Int
  read_calls : Int
  validated_read_bytes : Int64
  complete_scope : Bool
  selected_file_count : Int
  required_file_count : Int
  file : Int?
  offset : Int64?
  length : Int?
  read_ok : Bool?
}

pub struct VerificationReceipt {
  // private fields
}

pub(all) struct VerificationReport {
  ok : Bool
  scope : VerificationScope
  checked_pieces : Int
  skipped_pieces : Int
  failed_pieces : Int
  unreadable_pieces : Int
  file_issues : Array[FileIssue]
  failures : Array[PieceFailure]
  details_truncated : Bool
}

pub(all) struct VerificationScope {
  complete : Bool
  selected_files : Array[Int]
  required_files : Array[Int]
}

fn assess_staging(marker : Bytes, local_receipt : Bytes?, evidence : StagingEvidence) -> StagingAssessment

fn audit_batch(manifest : BatchManifest, load : (Int, BatchTask) -> Bytes raise CrateError, observe : (Int, TorrentInfo, VerificationScope) -> Array[Int64?] raise CrateError, read : (Int, Int, Int64, Int) -> Bytes raise CrateError, finish? : (Int) -> Unit raise CrateError?, detail_limit? : Int, max_summary_bytes? : Int) -> BatchAudit raise CrateError

fn audit_batch_with_control(manifest : BatchManifest, load : (Int, BatchTask) -> Bytes raise CrateError, observe : (Int, TorrentInfo, VerificationScope) -> Array[Int64?] raise CrateError, read : (Int, Int, Int64, Int) -> Bytes raise CrateError, on_progress : (BatchProgress) -> Bool raise CrateError, finish? : (Int) -> Unit raise CrateError?, detail_limit? : Int, max_summary_bytes? : Int) -> BatchAudit raise CrateError

fn batch_audit_exit_code(audit : BatchAudit) -> Int

fn batch_audit_json_text(audit : BatchAudit) -> String

fn batch_manifest_tasks(manifest : BatchManifest) -> Array[BatchTask]

fn batch_progress_json(event : BatchProgress) -> Json

fn check_bencode(data : Bytes) -> Unit raise CrateError

fn create_options(name : String) -> CreateOptions

fn create_torrent(files : Array[SourceFile], options : CreateOptions, read : (Int, Int64, Int) -> Bytes raise CrateError) -> Bytes raise CrateError

fn create_torrent_with_control(files : Array[SourceFile], options : CreateOptions, read : (Int, Int64, Int) -> Bytes raise CrateError, on_progress : (CreationProgress) -> Bool raise CrateError) -> Bytes raise CrateError

fn edit_distribution(data : Bytes, trackers : Array[Array[String]], web_seeds : Array[String]) -> Bytes raise CrateError

fn expected_v1_pieces(data : Bytes) -> Bytes raise CrateError

fn expected_v2_files(data : Bytes) -> Array[V2FileHash] raise CrateError

fn format_magnet(magnet : Magnet) -> String raise CrateError

fn hash_v2_file(length : Int64, piece_length : Int, read : (Int64, Int) -> Bytes raise CrateError) -> V2FileHash raise CrateError

fn info_json(info : TorrentInfo) -> Json

fn inspect_torrent(data : Bytes) -> TorrentInfo raise CrateError

fn mode_name(mode : TorrentMode) -> String

fn parse_batch_manifest(data : Bytes) -> BatchManifest raise CrateError

fn parse_magnet(uri : String) -> Magnet raise CrateError

fn parse_staging_owner(data : Bytes) -> StagingOwner raise CrateError

fn piece_spans(files : Array[SourceFile], piece_length : Int, piece : Int) -> Array[PieceSpan] raise CrateError

fn plan_json(plan : TorrentPlan) -> Json

fn plan_torrent(files : Array[SourceFile], options : CreateOptions) -> TorrentPlan raise CrateError

fn receipt_diagnostics_json_text(receipt : VerificationReceipt) -> String

fn receipt_json_text(receipt : VerificationReceipt) -> String

fn recommend_piece_length(files : Array[SourceFile], mode? : TorrentMode, target_pieces? : Int) -> Int raise CrateError

fn sha1_pieces(files : Array[SourceFile], piece_length : Int, read : (Int, Int64, Int) -> Bytes raise CrateError) -> Bytes raise CrateError

fn sorted_source_indices(files : Array[SourceFile]) -> Array[Int] raise CrateError

fn staging_owner_bytes(owner : StagingOwner) -> Bytes raise CrateError

fn torrent_magnet(data : Bytes) -> String raise CrateError

fn torrent_storage_bytes(data : Bytes) -> Int64 raise CrateError

fn valid_staging_operation_id(id : String) -> Bool

fn validate_options(files : Array[SourceFile], options : CreateOptions) -> Unit raise CrateError

fn validate_piece_layer(root : Bytes, length : Int64, piece_length : Int, layer : Bytes) -> Unit raise CrateError

fn validate_sources(files : Array[SourceFile]) -> Int64 raise CrateError

fn verification_html(info : TorrentInfo, report : VerificationReport) -> String

fn verification_json(report : VerificationReport) -> Json

fn verification_scope(torrent : Bytes, selected_files? : Array[Int]?) -> VerificationScope raise CrateError

fn verify_payload(torrent : Bytes, lengths : Array[Int64?], read : (Int, Int64, Int) -> Bytes raise CrateError, detail_limit? : Int, selected_files? : Array[Int]?) -> VerificationReport raise CrateError

fn verify_with_control(torrent : Bytes, lengths : Array[Int64?], read : (Int, Int64, Int) -> Bytes raise CrateError, on_progress : (VerificationProgress) -> Bool raise CrateError, detail_limit? : Int, selected_files? : Array[Int]?) -> (VerificationReport, VerificationReceipt) raise CrateError

fn verify_with_receipt(torrent : Bytes, lengths : Array[Int64?], read : (Int, Int64, Int) -> Bytes raise CrateError, detail_limit? : Int, selected_files? : Array[Int]?) -> (VerificationReport, VerificationReceipt) raise CrateError