{
 "killed": 15,
 "mutants": 15,
 "not_applied": [],
 "rows": [
  {
   "applied": true,
   "bench_fail": 31,
   "breaks": "revocation ignored",
   "file": "proof_interchange.py",
   "inv_fail": 26,
   "killed": true
  },
  {
   "applied": true,
   "bench_fail": 34,
   "breaks": "missing layers / E8 ignored",
   "file": "proof_interchange.py",
   "inv_fail": 4,
   "killed": true
  },
  {
   "applied": true,
   "bench_fail": 39,
   "breaks": "simulation accepted as real",
   "file": "proof_interchange.py",
   "inv_fail": 39,
   "killed": true
  },
  {
   "applied": true,
   "bench_fail": 170,
   "breaks": "layer confusion ignored",
   "file": "proof_interchange.py",
   "inv_fail": 24,
   "killed": true
  },
  {
   "applied": true,
   "bench_fail": 120,
   "breaks": "composition takes strongest",
   "file": "proof_interchange.py",
   "inv_fail": 9,
   "killed": true
  },
  {
   "applied": true,
   "bench_fail": 14,
   "breaks": "status upgrade allowed",
   "file": "proof_interchange.py",
   "inv_fail": 4,
   "killed": true
  },
  {
   "applied": true,
   "bench_fail": 22,
   "breaks": "freshness ignores state change",
   "file": "proof_interchange.py",
   "inv_fail": 12,
   "killed": true
  },
  {
   "applied": true,
   "bench_fail": 2,
   "breaks": "issuer not pinned",
   "file": "proof_interchange.py",
   "inv_fail": 0,
   "killed": true
  },
  {
   "applied": true,
   "bench_fail": 4,
   "breaks": "refused handshake keeps authority",
   "file": "proof_interchange_services.py",
   "inv_fail": 0,
   "killed": true
  },
  {
   "applied": true,
   "bench_fail": 61,
   "breaks": "handshake creates authority",
   "file": "proof_interchange_services.py",
   "inv_fail": 7,
   "killed": true
  },
  {
   "applied": true,
   "bench_fail": 61,
   "breaks": "silent lossy translation",
   "file": "proof_interchange_services.py",
   "inv_fail": 1,
   "killed": true
  },
  {
   "applied": true,
   "bench_fail": 5,
   "breaks": "private field logged",
   "file": "proof_interchange_services.py",
   "inv_fail": 0,
   "killed": true
  },
  {
   "applied": true,
   "bench_fail": 2,
   "breaks": "audience confusion",
   "file": "proof_interchange_services.py",
   "inv_fail": 0,
   "killed": true
  },
  {
   "applied": true,
   "bench_fail": 1,
   "breaks": "fabricated third-party verification",
   "file": "proof_interchange_services.py",
   "inv_fail": 1,
   "killed": true
  },
  {
   "applied": true,
   "bench_fail": 4,
   "breaks": "manifest ENFORCED without probe",
   "file": "proof_interchange_services.py",
   "inv_fail": 0,
   "killed": true
  }
 ],
 "schema": "cain42.e38.mutation.v1",
 "survived": []
}