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

pub(all) struct AnalysisOptionsV4 {
  max_attempts : Int
  max_states : 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 struct AnalysisV4 {
  // private fields
}

pub struct CaptureAnomaliesV4 {
  // private fields
}

pub struct ClassificationV4 {
  // private fields
}

pub struct ConfiguredFetchCheckV1 {
  // private fields
}

pub struct ConfiguredSessionDiagnosticV4 {
  // private fields
}

pub struct ConfiguredSessionOptionsV4 {
  // private fields
}

pub(all) enum DataModelV4 {
  RegisterV4
  AppendListV4
  RelationSetV4
} 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 struct EffectiveListGraphV4 {
  // private fields
}

pub(all) enum ElleModelV4 {
  ElleReadUncommitted
  ElleReadCommitted
  ElleRepeatableRead
  ElleSerializable
  ElleStrictSerializable
  ElleSnapshotIsolation
  ElleConsistentView
  ElleSessionReadUncommitted
  ElleStrongReadUncommitted
  ElleSessionReadCommitted
  ElleStrongReadCommitted
  ElleSessionSerializable
  ElleSessionSnapshotIsolation
  ElleStrongSnapshotIsolation
} derive(Eq)

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 struct HistoryV4 {
  // private fields
}

pub struct InternalConsistencyV4 {
  // private fields
}

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

pub struct ListPrefixProjectionV4 {
  // private fields
}

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

pub struct ModelClassificationV4 {
  // private fields
}

pub(all) struct ModelClientV4 {
  id : String
  transactions : Array[String]
}

pub(all) enum ModelCompletionPolicyV4 {
  ModelObservationOnlyCompletion
  ModelGivenSnapshotsUnsupported
} derive(Eq)

pub struct ModelFactsV4 {
  // private fields
}

pub(all) enum ModelListProfileV4 {
  ModelListNative
  ModelListPrefixStates
  ModelListOriginalSerial
} derive(Eq)

pub struct ModelOptionsV4 {
  // private fields
}

pub(all) enum ModelRelationProfileV4 {
  ModelRelationPoint
  ModelRelationPredicateKeySlots
  ModelRelationAtomicRows
} 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 struct ReductionV4 {
  // private fields
}

pub struct RelationCategoryReductionV4 {
  // private fields
}

pub struct RelationClassificationV4 {
  // private fields
}

pub struct RelationPointGraphV4 {
  // private fields
}

pub struct RelationPredicateClassificationV4 {
  // private fields
}

pub struct RelationPredicateGraphV4 {
  // private fields
}

pub(all) enum RelationProgramReplayModeV4 {
  RelationSnapshotPrefixes
  RelationSerialOrder
} derive(Eq)

pub struct RelationProgramReplayV4 {
  // private fields
}

pub struct RelationRowProjectionV4 {
  // private fields
}

pub struct RelationScopedEdgeV4 {
  // private fields
} derive(Eq, Hash)

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 struct SQLCandidateCheckV1 {
  // private fields
}

pub struct SQLConfigV1 {
  // private fields
}

pub struct SQLVerificationOptionsV1 {
  // private fields
}

pub(all) enum ScopedCategoryV4 {
  ScopedG0
  ScopedG1c
  ScopedG2Item
  ScopedG2
  ScopedGSingleItem
  ScopedGSingle
  ScopedGNonadjacent
} derive(Eq)

pub(all) struct ScopedDataEdgeInputV4 {
  id : String
  from : String
  to : String
  kind : ScopedDataKindV4
  sources : Array[Json]
}

pub(all) enum ScopedDataKindV4 {
  ScopedWWItem
  ScopedWWPredicate
  ScopedWRItem
  ScopedWRPredicate
  ScopedRWItem
  ScopedRWPredicate
} derive(Eq)

pub struct ScopedDependencyGraphV4 {
  // private fields
}

pub(all) enum ScopedOrderContextV4 {
  ScopedDataOnly
  ScopedWithProcess
  ScopedWithRealtime
} derive(Eq)

pub(all) struct ScopedOrderEdgeInputV4 {
  id : String
  from : String
  to : String
  kind : ScopedOrderKindV4
  context_id : String
  from_source : ScopedOriginalRefV4
  to_source : ScopedOriginalRefV4
}

pub(all) enum ScopedOrderKindV4 {
  ScopedProcess
  ScopedRealtime
} derive(Eq)

pub(all) struct ScopedOriginalRefV4 {
  transaction : String
  observation : Json
}

pub(all) enum ScopedRuleSetV4 {
  Adya2000Mixed
  ElleFixed4e359e5
} derive(Eq)