{
 "all_mutants_caught": true,
 "authority": "NONE",
 "rows": [
  {
   "bench_contained": 189,
   "bench_total": 189,
   "invariants_holding": 108,
   "invariants_total": 108,
   "mutant": "none"
  },
  {
   "bench_contained": 128,
   "bench_total": 189,
   "caught": true,
   "invariants_holding": 78,
   "invariants_total": 108,
   "mutant": "gate enforces no verdicts"
  },
  {
   "bench_contained": 180,
   "bench_total": 189,
   "caught": true,
   "invariants_holding": 102,
   "invariants_total": 108,
   "mutant": "no contract invalidation"
  },
  {
   "bench_contained": 178,
   "bench_total": 189,
   "caught": true,
   "invariants_holding": 97,
   "invariants_total": 108,
   "mutant": "any belief usable as evidence"
  },
  {
   "bench_contained": 183,
   "bench_total": 189,
   "caught": true,
   "invariants_holding": 101,
   "invariants_total": 108,
   "mutant": "authority compiler widens authority"
  }
 ],
 "schema": "cain42.e19.mutation-selftest.v1"
}