{
 "killed": 9,
 "mutants": 10,
 "rows": [
  {
   "bench_escapes": 23,
   "equivalent_reason": "",
   "invariant_failures": 5,
   "killed": true,
   "mutant": "envelope_checks_off",
   "sample": [
    "ID-FORGE-kind",
    "ID-FORGE-issuer_domain",
    "ID-FORGE-subject_identity_id",
    "ID-FORGE-identity_version",
    "ID-FORGE-identity_digest",
    "ID-FORGE-subject_pub"
   ]
  },
  {
   "bench_escapes": 0,
   "equivalent_reason": "defence in depth: E25 consumes the request nonce and its transaction state machine refuses a second commit for a transaction id, so every replay the bench builds is also stopped there (RF-REPLAY-*, RF-SAMETX-*, RF-NONCE-* stay contained with the E28 cache off)",
   "invariant_failures": 0,
   "killed": false,
   "mutant": "replay_cache_off",
   "sample": []
  },
  {
   "bench_escapes": 5,
   "equivalent_reason": "",
   "invariant_failures": 2,
   "killed": true,
   "mutant": "transaction_binding_off",
   "sample": [
    "RF-REBIND-target",
    "RF-REBIND-params",
    "RF-REBIND-op",
    "RF-REBIND-protocol",
    "RF-REBIND-intent",
    "E28-I17"
   ]
  },
  {
   "bench_escapes": 23,
   "equivalent_reason": "",
   "invariant_failures": 3,
   "killed": true,
   "mutant": "delegation_subset_off",
   "sample": [
    "DG-AMP1-capabilities",
    "DG-AMP1-resources",
    "DG-AMP1-max_transaction_value",
    "DG-AMP1-economic_budget",
    "DG-AMP1-max_executions",
    "DG-AMP1-risk_ceiling"
   ]
  },
  {
   "bench_escapes": 8,
   "equivalent_reason": "",
   "invariant_failures": 5,
   "killed": true,
   "mutant": "lease_checks_off",
   "sample": [
    "MR-OLDLEASE-model_id",
    "MR-OLDLEASE-runtime_id",
    "MR-OLDLEASE-prompt_digest",
    "MR-OLDLEASE-toolset_digest",
    "MR-OLDLEASE-weights_digest",
    "CR-LEASE-superseded"
   ]
  },
  {
   "bench_escapes": 20,
   "equivalent_reason": "",
   "invariant_failures": 5,
   "killed": true,
   "mutant": "fork_detector_blind",
   "sample": [
    "RF-FORK-nonce-0",
    "RF-FORK-nonce-1",
    "RF-FORK-nonce-2",
    "RF-FORK-concurrent-0",
    "RF-FORK-concurrent-1",
    "RF-FORK-concurrent-2"
   ]
  },
  {
   "bench_escapes": 14,
   "equivalent_reason": "",
   "invariant_failures": 3,
   "killed": true,
   "mutant": "receipt_verify_off",
   "sample": [
    "CR-RECEIPT-forged",
    "CR-RECEIPT-deleted",
    "CR-RECEIPT-reordered",
    "CR-RECEIPT-duplicated",
    "CR-RECEIPT-field-execution_identity",
    "CR-RECEIPT-field-action_digest"
   ]
  },
  {
   "bench_escapes": 8,
   "equivalent_reason": "",
   "invariant_failures": 2,
   "killed": true,
   "mutant": "federation_always",
   "sample": [
    "XD-fed_expired",
    "XD-fed_revoked",
    "XD-att_platform",
    "XD-att_hardware",
    "XD-att_workload",
    "XD-NOFED-read"
   ]
  },
  {
   "bench_escapes": 4,
   "equivalent_reason": "",
   "invariant_failures": 8,
   "killed": true,
   "mutant": "continuity_always_same",
   "sample": [
    "MR-SUCCESSION-agent",
    "MR-SUCCESSION-other_human",
    "MR-SUCCESSION-wrong_material",
    "CR-SUCCESSION-bob",
    "E28-I19",
    "E28-I39"
   ]
  },
  {
   "bench_escapes": 1,
   "equivalent_reason": "",
   "invariant_failures": 0,
   "killed": true,
   "mutant": "log_inclusion_always",
   "sample": [
    "CR-LOG-inclusion"
   ]
  }
 ],
 "survived": [
  "replay_cache_off"
 ],
 "unexplained_survivors": []
}