{
 "killed": 12,
 "mode": "targeted bench subset per mutant",
 "mutants": 12,
 "rows": [
  {
   "bench_subset": [
    "ENV-required-",
    "ST-"
   ],
   "examples": [
    "ST-revocation_state-REVOKED-0",
    "ST-revocation_state-REVOKED-1",
    "ST-revocation_state-REVOKED-2"
   ],
   "killed": true,
   "mutant": "envelope_always_verified",
   "noticed_by_bench": 90,
   "subset_size": 113
  },
  {
   "bench_subset": [
    "ENV-sign-",
    "BULK-env-"
   ],
   "examples": [
    "ENV-sign-0",
    "ENV-sign-1",
    "ENV-sign-2"
   ],
   "killed": true,
   "mutant": "signature_never_checked",
   "noticed_by_bench": 49,
   "subset_size": 369
  },
  {
   "bench_subset": [
    "DG-"
   ],
   "examples": [
    "DG-capabilities-0",
    "DG-capabilities-1",
    "DG-capabilities-2"
   ],
   "killed": true,
   "mutant": "delegation_never_attenuated",
   "noticed_by_bench": 28,
   "subset_size": 88
  },
  {
   "bench_subset": [
    "HS-"
   ],
   "examples": [
    "HS-IDENTITY-0",
    "HS-IDENTITY-1",
    "HS-IDENTITY-2"
   ],
   "killed": true,
   "mutant": "handshake_allows_unknown",
   "noticed_by_bench": 36,
   "subset_size": 48
  },
  {
   "bench_subset": [
    "IM-"
   ],
   "examples": [
    "IM-proof_forgery-0",
    "IM-proof_forgery-1",
    "IM-proof_forgery-2"
   ],
   "killed": true,
   "mutant": "immune_skips_steps",
   "noticed_by_bench": 102,
   "subset_size": 102
  },
  {
   "bench_subset": [
    "ENV-required-"
   ],
   "examples": [
    "ENV-required-agent_identity",
    "ENV-required-capability_used",
    "ENV-required-authority_digest"
   ],
   "killed": true,
   "mutant": "pca_ignores_missing",
   "noticed_by_bench": 10,
   "subset_size": 10
  },
  {
   "bench_subset": [
    "IC-"
   ],
   "examples": [
    "IC-mcp-0",
    "IC-mcp-1",
    "IC-mcp-2"
   ],
   "killed": true,
   "mutant": "interchange_always_carries",
   "noticed_by_bench": 42,
   "subset_size": 42
  },
  {
   "bench_subset": [
    "CE-"
   ],
   "examples": [
    "CE-badclaim-safe_ai-0",
    "CE-badclaim-safe_ai-1",
    "CE-badclaim-safe_ai-2"
   ],
   "killed": true,
   "mutant": "certificate_allows_blanket",
   "noticed_by_bench": 34,
   "subset_size": 70
  },
  {
   "bench_subset": [
    "ED-"
   ],
   "examples": [
    "ED-partition-0",
    "ED-partition-1",
    "ED-partition-2"
   ],
   "killed": true,
   "mutant": "edge_allows_always",
   "noticed_by_bench": 26,
   "subset_size": 64
  },
  {
   "bench_subset": [
    "PX-tamper",
    "PX-root"
   ],
   "examples": [
    "PX-tamper-value-0",
    "PX-tamper-value-1",
    "PX-tamper-value-2"
   ],
   "killed": true,
   "mutant": "disclosure_never_verified",
   "noticed_by_bench": 48,
   "subset_size": 48
  },
  {
   "bench_subset": [
    "TG-"
   ],
   "examples": [
    "TG-fully_autonomous-0",
    "TG-fully_autonomous-1",
    "TG-fully_autonomous-2"
   ],
   "killed": true,
   "mutant": "truth_scan_flags_nothing",
   "noticed_by_bench": 60,
   "subset_size": 80
  },
  {
   "bench_subset": [
    "DP-tamper"
   ],
   "examples": [
    "DP-tamper-0",
    "DP-tamper-1",
    "DP-tamper-2"
   ],
   "killed": true,
   "mutant": "dataplane_never_broken",
   "noticed_by_bench": 15,
   "subset_size": 15
  }
 ],
 "survived": []
}