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

pub(all) enum Algorithm {
  Sha256
  Sha512
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct BagView {
  files : Array[FileRecord]
  directories : Array[String]
  texts : Map[String, String]
} derive(
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct Declaration {
  version : String
  encoding : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Diagnostic {
  severity : Severity
  code : String
  path : String
  message : String
} derive(ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Entry {
  path : String
  checksum : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct FetchEntry {
  url : String
  size : Int64?
  path : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct FileRecord {
  path : String
  size : Int64
  digests : Map[String, String]
} derive(ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct Manifest {
  name : String
  algorithm : Algorithm
  tag : Bool
  entries : Array[Entry]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Metadata {
  label : String
  value : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct MetadataRule {
  label : String
  required : Bool
  repeatable : Bool
  values : Array[String]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Profile {
  identifier : String
  version : String
  metadata : Array[MetadataRule]
  manifests_required : Array[String]
  manifests_allowed : Array[String]?
  tag_manifests_required : Array[String]
  tag_manifests_allowed : Array[String]?
  allow_fetch : Bool
  require_fetch : Bool
  data_empty : Bool
  serialization : String
  accepted_serializations : Array[String]
  bag_versions : Array[String]
  tags_required : Array[String]
  tags_allowed : Array[String]
  payload_required : Array[String]
  payload_allowed : Array[String]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ProfileReport {
  conforms : Bool
  bag : Report
  diagnostics : Array[Diagnostic]
} derive(ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Report {
  complete : Bool
  valid : Bool
  payload_files : Int
  payload_bytes : Int64
  verified_checksums : Int
  diagnostics : Array[Diagnostic]
} derive(ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Severity {
  Error
  Warning
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct UpgradePlan {
  payload_manifests : Map[String, String]
  tag_algorithms : Array[Algorithm]
} derive(
@moonbitlang/core/debug.Debug
Debug)

fn algorithm(name : String) -> Algorithm raise FormatError

fn check_path(path : String) -> Unit raise FormatError

fn create_tag_manifests(tags : Array[FileRecord], algorithms? : Array[Algorithm]) -> Map[String, String] raise FormatError

fn create_tags(payload : Array[FileRecord], metadata? : Array[Metadata], algorithms? : Array[Algorithm]) -> Map[String, String] raise FormatError

fn decode_path(path : String) -> String raise FormatError

fn encode_path(path : String) -> String

fn lint_portability(view : BagView) -> Array[Diagnostic]

fn parse_declaration(text : String) -> Declaration raise FormatError

fn parse_fetch(text : String) -> Array[FetchEntry] raise FormatError

fn parse_manifest(name : String, text : String) -> Manifest raise FormatError

fn parse_metadata(text : String) -> Array[Metadata] raise FormatError

fn parse_profile(json : Json) -> Profile raise FormatError

fn payload_oxum(files : Array[FileRecord]) -> String raise FormatError

fn plan_upgrade(view : BagView, algorithms : Array[Algorithm]) -> UpgradePlan raise FormatError

fn profile_path_matches(pattern : String, path : String) -> Bool

fn render_manifest(entries : Array[Entry]) -> String raise FormatError

fn render_metadata(fields : Array[Metadata]) -> String raise FormatError

fn validate(view : BagView) -> Report

fn validate_profile(view : BagView, profile : Profile) -> ProfileReport