@type t() :: %Theoria.Validation.Report{
  axioms: MapSet.t(atom()),
  categories: [atom()],
  defeq_count: non_neg_integer(),
  equations: [Theoria.Equation.Info.t()],
  generated_equation_count: non_neg_integer(),
  indexed_matcher_count: non_neg_integer(),
  indexed_matcher_equation_count: non_neg_integer(),
  indexed_matcher_lemma_count: non_neg_integer(),
  indexed_matcher_realization_count: non_neg_integer(),
  indexed_matcher_statement_count: non_neg_integer(),
  inductive_count: non_neg_integer(),
  matcher_equation_count: non_neg_integer(),
  matcher_metadata_count: non_neg_integer(),
  theorem_count: non_neg_integer()
}