pub(all) struct AnalysisOptions {
  max_attempts : Int
  max_operation_checks : Int
  max_cached_states : Int
} derive(Eq)

pub(all) struct AnalysisResult {
  report : Report
  options : AnalysisOptions
  cache_hits : Int
  cached_states : Int
} derive(Eq)

pub(all) enum Dependency {
  WR
  WW
  RW
  RT
} derive(Eq, Hash)

pub(all) struct Edge {
  from : String
  to : String
  kind : Dependency
  key : String?
  from_op : Int?
  to_op : Int?
  from_version : String?
  to_version : String?
  reason : String
} derive(Eq, Hash)

pub(all) struct Finding {
  code : String
  severity : String
  message : String
  transactions : Array[String]
  key : String?
  ops : Array[Int]
} derive(Eq)

pub(all) struct GraphInfo {
  analyzed : Bool
  components : Int
  cyclic_components : Int
  cyclic_transactions : Int
  bfs_roots : Int
  edge_budget_exceeded : Bool
} derive(Eq)

pub(all) struct History {
  model : Model
  initial : Map[String, String]
  version_orders : Map[String, Array[String]]
  transactions : Array[Transaction]
} derive(Eq)

pub(all) struct KeyCoverage {
  key : String
  committed_reads : Int
  committed_final_writes : Int
  unresolved_reads : Int
} derive(Eq)

pub(all) enum Model {
  Serializable
  StrictSerializable
} derive(Eq)

pub(all) enum OpKind {
  Read
  Write
} derive(Eq)

pub(all) struct Operation {
  kind : OpKind
  key : String
  version : String
} derive(Eq)

pub(all) enum Outcome {
  Consistent
  Violation
  Inconclusive
  Invalid
} derive(Eq)

pub(all) struct Reduction {
  history : History
  report : Report
  status : String
  removed : Array[String]
  checks : Int
  one_minimal : Bool
  reason : String
} derive(Eq)

pub(all) struct ReductionOptions {
  max_checks : Int
  analysis : AnalysisOptions
} derive(Eq)

pub(all) struct ReductionResult {
  reduction : Reduction
  analysis : AnalysisResult
  cached_checks : Int
  max_checks : Int
} derive(Eq)

pub(all) struct Report {
  outcome : Outcome
  model : Model
  findings : Array[Finding]
  edges : Array[Edge]
  witness : Array[Edge]
  serial_order : Array[String]
  transaction_count : Int
  committed_count : Int
  operation_count : Int
  inferred_orders : Map[String, Array[String]]
  order_sources : Map[String, String]
  search : SearchInfo
  graph : GraphInfo
  coverage : Array[KeyCoverage]
} derive(Eq)

pub(all) struct SearchInfo {
  status : String
  attempts : Int
  operation_checks : Int
  reason : String
  blockers : Array[Finding]
} derive(Eq)

pub(all) struct Transaction {
  id : String
  status : TxStatus
  ops : Array[Operation]
  start : Int64?
  end : Int64?
} derive(Eq)

pub(all) enum TxStatus {
  Committed
  Aborted
  Unknown
} derive(Eq)

fn analysis_options(max_attempts? : Int, max_operation_checks? : Int, max_cached_states? : Int) -> AnalysisOptions

fn analysis_result_json(result : AnalysisResult) -> Json

fn analyze(h : History) -> Report

fn analyze_json(text : String) -> String

fn analyze_options_json(text : String, options_text : String) -> String

fn analyze_with_options(h : History, options? : AnalysisOptions) -> AnalysisResult

fn benchmark_cycle(h : History, r : Report) -> Int

fn benchmark_infer(h : History) -> Report

fn benchmark_parser_agreement(text : String) -> String

fn benchmark_reduce_balanced(h : History) -> ReductionResult

fn benchmark_render(r : Report) -> String

fn benchmark_search(h : History, r : Report) -> Int

fn benchmark_search_balanced(h : History, r : Report) -> Int

fn capsule_content_json(text : String) -> String

fn compare_models(h : History) -> Json

fn compare_models_json(text : String) -> String

fn history_json(h : History) -> Json

fn parse_history(text : String) -> Result[History, String]

fn parse_history_optimized(text : String) -> Result[History, String]

fn reduce_history(h : History, max_checks? : Int) -> Reduction

fn reduce_with_options(h : History, options? : ReductionOptions) -> ReductionResult

fn reduction_json(r : Reduction) -> Json

fn reduction_options(max_checks? : Int, analysis? : AnalysisOptions) -> ReductionOptions

fn reduction_result_json(result : ReductionResult) -> Json

fn render_report(r : Report, format : String) -> String

fn replay_report_json(history_text : String, report_text : String) -> String

fn report_json(r : Report) -> Json

fn run_json(text : String, format : String) -> String

fn run_options_json(text : String, format : String) -> String

fn shrink_json(text : String) -> String

fn shrink_options_json(text : String, options_text : String) -> String

fn verify_certificate_json(history_text : String, certificate_text : String) -> String

fn verify_cycle(h : History, witness : Array[Edge]) -> Bool

fn version() -> String