pub(all) struct CircuitMetrics {
  stages : Array[CircuitStage]
  feed_solute : Double
  recovered_solute : Double
  residual_solute : Double
  recovery : Double
  solvent_to_solute : Double
  diminishing_returns : Bool
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct CircuitStage {
  stage : Int
  feed_solute : Double
  wash_solvent : Double
  extracted_solute : Double
  retained_solute : Double
  local_recovery : Double
  cumulative_recovery : Double
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct CrosscurrentLeachingResult {
  stages : Array[LeachingStage]
  final_underflow_concentration : Double
  final_solute_remaining : Double
  recovered_solute : Double
  recovery : Double
  balance_residual : Double
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct LeachingStage {
  stage : Int
  wash_solution : Double
  inlet_concentration : Double
  outlet_concentration : Double
  overflow_solution : Double
  overflow_solute : Double
  solute_remaining : Double
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct LeachingStageResult {
  equilibrium_concentration : Double
  retained_solution : Double
  overflow_solution : Double
  solute_in_underflow : Double
  solute_in_overflow : Double
  dissolved_recovery : Double
  balance_residual : Double
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

fn build_circuit_metrics(feed_solute : Double, wash_solvent : ArrayView[Double], stage_recoveries : ArrayView[Double]) -> CircuitMetrics raise 
@zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

fn circuit_alerts(metrics : CircuitMetrics, minimum_stage_recovery : Double) -> Array[String]

fn circuit_csv(metrics : CircuitMetrics) -> String

fn circuit_marginal_recoveries(metrics : CircuitMetrics) -> Array[Double]

fn circuit_markdown(metrics : CircuitMetrics) -> String

fn circuit_meets_target(metrics : CircuitMetrics, target : Double) -> Bool

fn circuit_residual_fraction(metrics : CircuitMetrics) -> Double

fn circuit_solvent_efficiency(metrics : CircuitMetrics) -> Double

fn circuit_stage(metrics : CircuitMetrics, stage : Int) -> CircuitStage raise 
@zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

fn crosscurrent_equal_wash(dry_solid_mass~ : Double, initial_solution_mass~ : Double, initial_solute_fraction~ : Double, total_wash_mass~ : Double, stage_count~ : Int, retention_ratio~ : Double) -> CrosscurrentLeachingResult raise 
@zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

fn crosscurrent_leach(dry_solid_mass~ : Double, initial_solution_mass~ : Double, initial_solute_fraction~ : Double, wash_masses : ArrayView[Double], wash_solute_fractions? : Array[Double], retention_ratio~ : Double) -> CrosscurrentLeachingResult raise 
@zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

fn minimum_stages_for_target(feed_solute : Double, wash_solvent : Double, per_stage_recovery : Double, target : Double, maximum_stages : Int) -> Int raise 
@zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

fn optimize_wash_allocation(feed_solute : Double, total_wash : Double, stage_count : Int, base_recovery : Double) -> Array[Double] raise 
@zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

fn single_stage_leach(dry_solid_mass~ : Double, initial_solution_mass~ : Double, initial_solute_fraction~ : Double, wash_solution_mass~ : Double, wash_solute_fraction? : Double, retention_ratio~ : Double) -> LeachingStageResult raise 
@zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

fn stage_count(metrics : CircuitMetrics) -> Int

fn wash_for_target(dry_solid_mass~ : Double, initial_solution_mass~ : Double, initial_solute_fraction~ : Double, stage_count~ : Int, retention_ratio~ : Double, target_remaining_fraction~ : Double, tolerance? : Double, max_wash_mass? : Double) -> CrosscurrentLeachingResult raise 
@zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError