using @Magic486/moon_mutest/plan { type FileMutationPlan }

using @Magic486/moon_mutest/core { type MutationCandidate }

using @Magic486/moon_mutest/core { type MutationFilter }

using @Magic486/moon_mutest/core { type MutationKind }

using @Magic486/moon_mutest/core { type MutationRule }

using @Magic486/moon_mutest/plan { type ProjectMutation }

using @Magic486/moon_mutest/plan { type ProjectMutationPlan }

using @Magic486/moon_mutest/core { type RuleProfile }

using @Magic486/moon_mutest/plan { type SourceFile }

pub(all) enum BaselineOutcome {
  BaselinePassed
  BaselineFailed
  BaselineTimedOut
  BaselineIncomplete
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct BaselineReport {
  outcome : BaselineOutcome
  command_count : Int
  executed_count : Int
  failed_index : Int?
  failed_phase : CommandPhase?
  can_run_mutants : Bool
  detail : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct BatchPlan {
  strategy : BatchStrategy
  selection : SelectionMode
  batch_count : Int
  execution_count : Int
  command_count : Int
  estimated_timeout_ms : Int
  valid : Bool
  message : String
  batches : Array[ExecutionBatch]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum BatchStrategy {
  OneMutantPerBatch
  FixedBatchSize(Int)
  TargetBatchMillis(Int)
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct BatchValidation {
  valid : Bool
  message : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum CommandPhase {
  CheckPhase
  TestPhase
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct CommandResult {
  phase : CommandPhase
  exit_code : Int?
  stdout : String
  stderr : String
  timed_out : Bool
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ExecutionBatch {
  batch_id : Int
  start_index : Int
  end_index : Int
  execution_count : Int
  command_count : Int
  estimated_timeout_ms : Int
  executions : Array[MutationExecution]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ExecutionPlan {
  config : MutestConfig
  project : 
@Magic486/moon_mutest/plan.ProjectMutationPlan
ProjectMutationPlan
  executions : Array[MutationExecution]
  truncated : Bool
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct FileRunReport {
  file : String
  total : Int
  killed : Int
  survived : Int
  compile_error : Int
  timeout : Int
  skipped : Int
  equivalent : Int
  score_percent : Int
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum MutantOutcome {
  Killed
  Survived
  CompileError
  Timeout
  Skipped
  Equivalent
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct MutantResult {
  candidate : 
@Magic486/moon_mutest/core.MutationCandidate
MutationCandidate
  outcome : MutantOutcome
  detail : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct MutationExecution {
  mutation : 
@Magic486/moon_mutest/plan.ProjectMutation
ProjectMutation
  edit : TextEdit
  restore_edit : TextEdit
  commands : Array[RunnerCommand]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct MutationRunReport {
  file : String
  total : Int
  killed : Int
  survived : Int
  compile_error : Int
  timeout : Int
  skipped : Int
  equivalent : Int
  score_percent : Int
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct MutestConfig {
  include_kinds : Array[
@Magic486/moon_mutest/core.MutationKind
MutationKind]
  include_labels : Array[String]
  line_start : Int?
  line_end : Int?
  commands : Array[RunnerCommand]
  fail_fast : Bool
  max_mutants : Int?
  report_format : ReportFormat
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct PatchPreview {
  file : String
  line : Int
  before : String
  after : String
  diff : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ProjectMutantResult {
  mutation : 
@Magic486/moon_mutest/plan.ProjectMutation
ProjectMutation
  outcome : MutantOutcome
  detail : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ProjectRunReport {
  file_count : Int
  mutation_count : Int
  killed : Int
  survived : Int
  compile_error : Int
  timeout : Int
  skipped : Int
  equivalent : Int
  score_percent : Int
  files : Array[FileRunReport]
  results : Array[ProjectMutantResult]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct QualityGate {
  min_score_percent : Int
  max_survived : Int?
  max_compile_error : Int?
  max_timeout : Int?
  max_skipped : Int?
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct QualityGateReport {
  status : QualityGateStatus
  score_percent : Int
  scored_mutants : Int
  total_mutants : Int
  killed : Int
  survived : Int
  compile_error : Int
  timeout : Int
  skipped : Int
  equivalent : Int
  violations : Array[QualityGateViolation]
  message : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum QualityGateStatus {
  GatePassed
  GateFailed
  GateNoSignal
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct QualityGateViolation {
  metric : String
  actual : Int
  limit : Int
  message : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum ReportFormat {
  TextReport
  MarkdownReport
  JsonReport
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct RunnerCommand {
  phase : CommandPhase
  command : String
  timeout_ms : Int
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct RunnerScript {
  dialect : ShellDialect
  selection : SelectionMode
  mutant_count : Int
  content : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum SelectionMode {
  AllMutants
  FirstMutants(Int)
  IdRange(start~ : Int, end~ : Int)
  Shard(shard_index~ : Int, shard_count~ : Int)
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct SelectionReport {
  mode : SelectionMode
  input_count : Int
  selected_count : Int
  skipped_count : Int
  selected_ids : Array[Int]
  valid : Bool
  message : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct SelectionValidation {
  valid : Bool
  message : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum ShellDialect {
  BashDialect
  PowerShellDialect
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct TextEdit {
  file : String
  start : Int
  end : Int
  original : String
  replacement : String
  line : Int
  column : Int
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

fn apply_edit(source : String, edit : TextEdit) -> String?

fn apply_mutation(source : String, candidate : 
@Magic486/moon_mutest/core.MutationCandidate
MutationCandidate) -> String

fn baseline_can_run(report : BaselineReport) -> Bool

fn baseline_outcome_label(outcome : BaselineOutcome) -> String

fn build_batch_plan(plan : ExecutionPlan, strategy : BatchStrategy) -> BatchPlan

fn build_execution_plan(files : ArrayView[
@Magic486/moon_mutest/plan.SourceFile
SourceFile], config : MutestConfig) -> ExecutionPlan

fn build_execution_plan_with_profile(files : ArrayView[
@Magic486/moon_mutest/plan.SourceFile
SourceFile], config : MutestConfig, profile : 
@Magic486/moon_mutest/core.RuleProfile
RuleProfile) -> ExecutionPlan

fn build_selected_batch_plan(plan : ExecutionPlan, selection : SelectionMode, strategy : BatchStrategy) -> BatchPlan

fn classify_baseline(expected : ArrayView[RunnerCommand], results : ArrayView[CommandResult]) -> BaselineReport

fn classify_command_result(candidate : 
@Magic486/moon_mutest/core.MutationCandidate
MutationCandidate, command : CommandResult) -> MutantResult

fn classify_project_sequence(mutation : 
@Magic486/moon_mutest/plan.ProjectMutation
ProjectMutation, commands : ArrayView[CommandResult]) -> ProjectMutantResult

fn classify_sequence(candidate : 
@Magic486/moon_mutest/core.MutationCandidate
MutationCandidate, commands : ArrayView[CommandResult]) -> MutantResult

fn command_failure(phase : CommandPhase, code : Int, stdout? : String, stderr? : String) -> CommandResult

fn command_phase_label(phase : CommandPhase) -> String

fn command_success(phase : CommandPhase) -> CommandResult

fn command_timeout(phase : CommandPhase, detail? : String) -> CommandResult

fn config_to_json_string(config : MutestConfig, indent? : Int) -> String

fn default_commands() -> Array[RunnerCommand]

fn diagnose_mutant_result(result : ProjectMutantResult) -> String

fn discover_with_rules(source : String, rules : ArrayView[
@Magic486/moon_mutest/core.MutationRule
MutationRule], file? : String) -> Array[
@Magic486/moon_mutest/core.MutationCandidate
MutationCandidate]

fn edit_for_candidate(candidate : 
@Magic486/moon_mutest/core.MutationCandidate
MutationCandidate) -> TextEdit

fn edit_for_project_mutation(mutation : 
@Magic486/moon_mutest/plan.ProjectMutation
ProjectMutation) -> TextEdit

fn estimate_execution_timeout_ms(execution : MutationExecution) -> Int

fn evaluate_quality_gate(report : ProjectRunReport, gate : QualityGate) -> QualityGateReport

fn evaluate_quality_gate_after_baseline(report : ProjectRunReport, gate : QualityGate, baseline : BaselineReport) -> QualityGateReport

fn execution_by_mutation_id(plan : ExecutionPlan, global_id : Int) -> MutationExecution?

fn file_risk_level(file : FileRunReport) -> String

fn filter_candidates(candidates : ArrayView[
@Magic486/moon_mutest/core.MutationCandidate
MutationCandidate], filter : 
@Magic486/moon_mutest/core.MutationFilter
MutationFilter) -> Array[
@Magic486/moon_mutest/core.MutationCandidate
MutationCandidate]

fn format_baseline_report(report : BaselineReport) -> String

fn format_batch_plan(plan : BatchPlan) -> String

fn format_batch_strategy(strategy : BatchStrategy) -> String

fn format_config(config : MutestConfig) -> String

fn format_execution_plan(plan : ExecutionPlan) -> String

fn format_html_run_report(report : ProjectRunReport) -> String

fn format_markdown_project_plan(plan : 
@Magic486/moon_mutest/plan.ProjectMutationPlan
ProjectMutationPlan) -> String

fn format_markdown_run_report(report : ProjectRunReport) -> String

fn format_quality_gate(gate : QualityGate) -> String

fn format_quality_gate_report(report : QualityGateReport) -> String

fn format_result(result : MutantResult) -> String

fn format_run_report(report : MutationRunReport) -> String

fn format_runner_command(command : RunnerCommand) -> String

fn format_runner_script(script : RunnerScript) -> String

fn format_selection_mode(mode : SelectionMode) -> String

fn format_selection_report(report : SelectionReport) -> String

fn format_survived_diagnostics(report : ProjectRunReport) -> String

fn format_unified_diff(file : String, line : Int, before : String, after : String) -> String

fn generate_runner_script(plan : ExecutionPlan, dialect : ShellDialect) -> RunnerScript

fn generate_selected_runner_script(plan : ExecutionPlan, mode : SelectionMode, dialect : ShellDialect) -> RunnerScript

fn invert_edit(edit : TextEdit) -> TextEdit

fn mutation_kind_label(kind : 
@Magic486/moon_mutest/core.MutationKind
MutationKind) -> String

fn mutation_risk_level(report : ProjectRunReport) -> String

fn mutation_risk_summary(report : ProjectRunReport) -> String

fn outcome_label(outcome : MutantOutcome) -> String

fn parse_config_json(text : String) -> MutestConfig raise

fn plan_project_with_rules(files : ArrayView[
@Magic486/moon_mutest/plan.SourceFile
SourceFile], filter : 
@Magic486/moon_mutest/core.MutationFilter
MutationFilter, rules : ArrayView[
@Magic486/moon_mutest/core.MutationRule
MutationRule]) -> 
@Magic486/moon_mutest/plan.ProjectMutationPlan
ProjectMutationPlan

fn preview_candidate_patch(source : String, candidate : 
@Magic486/moon_mutest/core.MutationCandidate
MutationCandidate) -> PatchPreview?

fn preview_project_mutation_patch(source : String, mutation : 
@Magic486/moon_mutest/plan.ProjectMutation
ProjectMutation) -> PatchPreview?

fn project_result(mutation : 
@Magic486/moon_mutest/plan.ProjectMutation
ProjectMutation, outcome : MutantOutcome, detail? : String) -> ProjectMutantResult

fn quality_gate_status_label(status : QualityGateStatus) -> String

fn report_format_label(format : ReportFormat) -> String

fn result(candidate : 
@Magic486/moon_mutest/core.MutationCandidate
MutationCandidate, outcome : MutantOutcome, detail? : String) -> MutantResult

fn risk_ranked_files(report : ProjectRunReport) -> Array[FileRunReport]

fn rules_for_profile(profile : 
@Magic486/moon_mutest/core.RuleProfile
RuleProfile) -> Array[
@Magic486/moon_mutest/core.MutationRule
MutationRule]

fn select_executions(plan : ExecutionPlan, mode : SelectionMode) -> Array[MutationExecution]

fn select_project_mutations(plan : 
@Magic486/moon_mutest/plan.ProjectMutationPlan
ProjectMutationPlan, mode : SelectionMode) -> Array[
@Magic486/moon_mutest/plan.ProjectMutation
ProjectMutation]

fn shell_dialect_label(dialect : ShellDialect) -> String

fn skip_execution_results_for_baseline(plan : ExecutionPlan, report : BaselineReport) -> Array[ProjectMutantResult]

fn summarize_candidates(file : String, candidates : ArrayView[
@Magic486/moon_mutest/core.MutationCandidate
MutationCandidate]) -> 
@Magic486/moon_mutest/core.MutationSummary
MutationSummary

fn summarize_execution_selection(plan : ExecutionPlan, mode : SelectionMode) -> SelectionReport

fn summarize_project_run(plan : 
@Magic486/moon_mutest/plan.ProjectMutationPlan
ProjectMutationPlan, results : ArrayView[ProjectMutantResult]) -> ProjectRunReport

fn summarize_project_selection(plan : 
@Magic486/moon_mutest/plan.ProjectMutationPlan
ProjectMutationPlan, mode : SelectionMode) -> SelectionReport

fn summarize_results(file : String, results : ArrayView[MutantResult]) -> MutationRunReport

fn validate_batch_strategy(strategy : BatchStrategy) -> BatchValidation

fn validate_edit(source : String, edit : TextEdit) -> Bool

fn validate_selection_mode(mode : SelectionMode) -> SelectionValidation