@type failure() :: {atom(), atom(), term(), term()}

@type t() :: %Theoria.Kernel.Differential.Report{
  check_count: non_neg_integer(),
  defeq_count: non_neg_integer(),
  failures: [failure()],
  generated_artifact_count: non_neg_integer(),
  indexed_artifact_count: non_neg_integer(),
  infer_count: non_neg_integer(),
  normalize_count: non_neg_integer(),
  rejection_count: non_neg_integer(),
  theorem_count: non_neg_integer()
}