type Environment = Array[Binding]

pub(all) struct BatchResult {
  policy_name : String
  baseline : Truth
  scenarios : Array[ScenarioResult]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Binding {
  name : String
  value : Value
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct BudgetPoint {
  budget : Int
  assignments : Int
  target_assignments : Int
  yes : Int
  no : Int
  unknown : Int
  cheapest_target_cost : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct BudgetReport {
  policy_name : String
  baseline : Truth
  target : Truth
  max_budget : Int
  domain_points : Int
  evaluated : Int
  outside_budget : Int
  truncated : Bool
  points : Array[BudgetPoint]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Change {
  feature : String
  from : Value
  to : Value
  cost : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum CompareOp {
  Equal
  NotEqual
  Less
  LessEqual
  Greater
  GreaterEqual
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DecisionRow {
  environment : Array[Binding]
  outcome : Truth
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DecisionTable {
  policy_name : String
  rows : Array[DecisionRow]
  combinations : Int
  truncated : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Diagnostic {
  code : String
  message : String
  span : Span
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct EnvironmentChange {
  name : String
  before : Value?
  after : Value?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Evaluation {
  truth : Truth
  trace : Trace
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Expr {
  Constant(Truth)
  Compare(String, CompareOp, Value)
  Present(String)
  Not(Expr)
  And(Expr, Expr)
  Or(Expr, Expr)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ExpressionStats {
  nodes : Int
  depth : Int
  comparisons : Int
  variables : Array[String]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Feature {
  name : String
  current : Value
  domain : Array[Value]
  cost : Int
  locked : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct FeatureImpact {
  feature : String
  transitions : Int
  outcome_flips : Int
  flips_to_true : Int
  flips_to_false : Int
  unknown_transitions : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct FeatureProfile {
  name : String
  value_kind : String
  domain_size : Int
  mutable_values : Int
  current_index : Int
  cost : Int
  locked : Bool
  referenced : Bool
  duplicate_values : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ImpactReport {
  policy_name : String
  impacts : Array[FeatureImpact]
  source_rows : Int
  truncated : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct LintFinding {
  code : String
  severity : LintSeverity
  message : String
  feature : String?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum LintSeverity {
  Info
  Warning
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ModelProfile {
  policy_name : String
  features : Array[FeatureProfile]
  goal_variables : Array[String]
  expression_nodes : Int
  expression_depth : Int
  comparisons : Int
  mutable_features : Int
  locked_features : Int
  zero_cost_mutable : Int
  singleton_domains : Int
  duplicate_domain_values : Int
  search_space : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Plan {
  policy_name : String
  baseline : Truth
  target : Truth
  repairs : Array[Repair]
  evaluated : Int
  truncated : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct PlanCertificate {
  policy_name : String
  baseline : Truth
  target : Truth
  domain_points : Int
  assignments_evaluated : Int
  search_exhaustive : Bool
  output_truncated : Bool
  has_repair : Bool
  best_cost : Int
  lower_cost_excluded : Bool
  status : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct PlanOptions {
  max_results : Int
  max_evaluations : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Policy {
  name : String
  features : Array[Feature]
  goal : Expr
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Probe {
  feature : String
  from : Value
  to : Value
  cost : Int
  before : Truth
  after : Truth
  flips : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Repair {
  changes : Array[Change]
  cost : Int
  result : Truth
  trace : Trace
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct RepairFeatureUsage {
  feature : String
  uses : Int
  first_rank : Int
  total_cost : Int
  values : Array[Value]
  common_to_all : Bool
  single_target_value : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct RepairPortfolio {
  policy_name : String
  baseline : Truth
  target : Truth
  repair_count : Int
  cheapest_cost : Int
  most_expensive_cost : Int
  total_changes : Int
  average_changes : Int
  consensus_features : Array[String]
  optional_features : Array[String]
  usages : Array[RepairFeatureUsage]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct RepairVerification {
  valid : Bool
  diagnostics : Array[Diagnostic]
  outcome : Truth
  computed_cost : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Scenario {
  name : String
  environment : Array[Binding]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ScenarioResult {
  name : String
  truth : Truth
  trace : Trace
  changed_from_baseline : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Span {
  offset : Int
  line : Int
  column : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Trace {
  expression : String
  truth : Truth
  reason : String
  children : Array[Trace]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Truth {
  Yes
  No
  Unknown
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Value {
  Integer(Int)
  Boolean(Bool)
  Text(String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

fn diff_environments(before : Array[Binding], after : Array[Binding]) -> Array[EnvironmentChange]

fn environment_get(environment : Array[Binding], name : String) -> Value?

fn environment_set(environment : Array[Binding], name : String, value : Value) -> Array[Binding]

fn evaluate(expression : Expr, environment : Array[Binding]) -> Evaluation

fn feature(name : String, current : Value, domain : Array[Value], cost? : Int, locked? : Bool) -> Feature

fn parse(source : String) -> Result[Policy, Diagnostic]

fn plan_options(max_results? : Int, max_evaluations? : Int) -> PlanOptions

fn policy(name : String, features : Array[Feature], goal : Expr) -> Policy

fn scenario(name : String, environment : Array[Binding]) -> Scenario