pub suberror ParseError {
  Invalid(String)
  StageCycle(Int)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub struct Arguments {
  flags : Map[String, String]
  values : Array[String]
  json_form : Bool
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub struct BuildComparison {
  before : BuildImpact
  after : BuildImpact
  affected_targets : Array[String]
  conservative : Bool
  reason : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub struct BuildEdge {
  consumer : Int
  dependency : Int
  line : Int
  kind : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub struct BuildImpact {
  stages : Array[Stage]
  edges : Array[BuildEdge]
  selected : Int
  required : Array[Int]
  changed_stages : Array[Int]
  targets : Array[TargetImpact]
  conservative : Bool
  uncertainties : Array[BuildUncertainty]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub struct BuildUncertainty {
  line : Int
  reason : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ContextChange {
  path : String
  excluded : Bool
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct ContextEntry {
  path : String
  kind : String
  excluded : Bool
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub struct ContextFileImpact {
  path : String
  excluded : Bool
  source_lines : Array[Int]
  conservative : Bool
  targets : Array[TargetImpact]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub struct ContextInput {
  stage : Int
  line : Int
  kind : String
  source : String
  included : Array[Int]
  excluded : Array[Int]
  status : String
  note : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub struct ContextPlan {
  graph : BuildImpact
  entries : Array[ContextEntry]
  inputs : Array[ContextInput]
  selected_entries : Array[Int]
  missing_lines : Array[Int]
  uncertainties : Array[BuildUncertainty]
  changes : Array[ContextFileImpact]
  image_metadata : Array[ImageContextMetadataEvidence]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub struct Diagnostic {
  line : Int
  code : String
  message : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub struct Expansion {
  value : String
  unresolved : Array[String]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub struct HereDoc {
  name : String
  content : String
  strip_tabs : Bool
  expand : Bool
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ImageContextMetadata {
  reference : String
  platform : String
  index_digest : String
  manifest_digest : String
  config_digest : String
  onbuild : Array[String]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct ImageContextMetadataEvidence {
  stage : Int
  line : Int
  reference : String
  platform : String
  status : String
  reason : String
  index_digest : String
  manifest_digest : String
  config_digest : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub struct Instruction {
  line : Int
  end_line : Int
  name : String
  arguments : String
  heredocs : Array[HereDoc]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub struct ShellToken {
  kind : String
  value : String
  raw : String
  line : Int
  quoted : Bool
  dynamic : Bool
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub struct SourceComparison {
  before_lines : Array[Int]
  after_lines : Array[Int]
  diff_exact : Bool
  diff_reason : String
  impact : BuildComparison
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub struct Stage {
  index : Int
  line : Int
  base : String
  stage_name : String?
  dependencies : Array[Int]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub struct TargetImpact {
  target : Int
  affected : Bool
  path : Array[Int]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub struct VariableScope {
  line : Int
  stage : Int
  instruction : String
  expanded : String
  arguments : Map[String, String]
  environment : Map[String, String]
  unresolved : Array[String]
  uncertain_arguments : Array[String]
  uncertain_environment : Array[String]
  unknown_base_environment : Bool
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

fn analyze_context(source : String, entries : Array[ContextEntry], target? : String, changes? : Array[ContextChange], build_args? : Map[String, String], control_files? : Array[String], platform? : String, image_metadata? : Array[ImageContextMetadata]) -> ContextPlan raise ParseError

fn analyze_stages(instructions : Array[Instruction]) -> Array[Stage] raise ParseError

fn analyze_variables(source : String, build_args? : Map[String, String]) -> Array[VariableScope] raise ParseError

fn build_impact(source : String, target? : String, changed_lines? : Array[Int]) -> BuildImpact raise ParseError

fn check(source : String, ignore_codes? : Array[String], honor_inline? : Bool, trusted_registries? : Array[String]) -> Array[Diagnostic] raise ParseError

fn compare_build_impact(before_source : String, after_source : String, changed_before? : Array[Int], changed_after? : Array[Int]) -> BuildComparison raise ParseError

fn compare_build_sources(before_source : String, after_source : String) -> SourceComparison raise ParseError

fn configured_report(source : String, config : String, filename? : String) -> String raise ParseError

fn copy_source_matches(pattern : String, path : String) -> Bool raise ParseError

fn expand_variables(source : String, values : Map[String, String]) -> Expansion raise ParseError

fn lint(instructions : Array[Instruction]) -> Array[Diagnostic]

fn parse(source : String) -> Array[Instruction] raise ParseError

fn report_json(source : String, filename? : String, honor_inline? : Bool) -> String raise ParseError

fn shell_tokens(source : String) -> Array[ShellToken] raise ParseError

fn variable_report(source : String, build_args_json? : String) -> String raise ParseError