{
 "killed": 12,
 "mutants": 12,
 "rows": [
  {
   "examples": [
    "PM-mcp-protocol",
    "PM-mcp-operation",
    "PM-mcp-destination"
   ],
   "killed": true,
   "mutant": "binding_constant",
   "noticed_by_bench": 154
  },
  {
   "examples": [
    "PM-mcp-nonce_reuse",
    "PM-a2a-nonce_reuse",
    "PM-http-nonce_reuse"
   ],
   "killed": true,
   "mutant": "gate_forgets_replays",
   "noticed_by_bench": 21
  },
  {
   "examples": [
    "EI-ATT-mcp-uar.signature_b64",
    "EI-ATT-a2a-uar.signature_b64",
    "EI-ATT-http-uar.signature_b64"
   ],
   "killed": true,
   "mutant": "layers_always_verified",
   "noticed_by_bench": 49
  },
  {
   "examples": [
    "EI-ATT-mcp-e8_entry.prev",
    "EI-ATT-a2a-e8_entry.prev",
    "EI-ATT-http-e8_entry.prev"
   ],
   "killed": true,
   "mutant": "e8_hash_trusted",
   "noticed_by_bench": 12
  },
  {
   "examples": [
    "AM-unknown_failure_stays_unknown"
   ],
   "killed": true,
   "mutant": "unknown_failure_guessed",
   "noticed_by_bench": 1
  },
  {
   "examples": [
    "LC-PROPOSED-AUTHORIZED",
    "LC-PROPOSED-COMMITTED",
    "LC-PROPOSED-EXECUTED"
   ],
   "killed": true,
   "mutant": "log_transitions_open",
   "noticed_by_bench": 104
  },
  {
   "examples": [
    "VD-mcp-e28_receipt.policy_digest-compromised_witness",
    "VD-mcp-e28_receipt.policy_digest-different_inputs",
    "VD-mcp-e28_receipt.policy_digest-missing_inputs"
   ],
   "killed": true,
   "mutant": "dispute_cain_default",
   "noticed_by_bench": 80
  },
  {
   "examples": [
    "XD-read-r3",
    "XD-read-r5",
    "XD-read-r6"
   ],
   "killed": true,
   "mutant": "translation_widens",
   "noticed_by_bench": 92
  },
  {
   "examples": [
    "PP-0-widened",
    "PP-1-widened",
    "PP-2-widened"
   ],
   "killed": true,
   "mutant": "weaker_as_equivalent",
   "noticed_by_bench": 13
  },
  {
   "examples": [
    "VD-mcp-e28_receipt.policy_digest-compromised_witness",
    "VD-mcp-e28_receipt.policy_digest-cain_not_default",
    "VD-mcp-uar.decision-compromised_witness"
   ],
   "killed": true,
   "mutant": "independent_check_blind",
   "noticed_by_bench": 48
  },
  {
   "examples": [
    "AM-revoked_between_execution_and_issue"
   ],
   "killed": true,
   "mutant": "revoked_identity_gets_proof",
   "noticed_by_bench": 1
  },
  {
   "examples": [
    "AM-ttl_too_long",
    "AM-issue_ttl_too_long"
   ],
   "killed": true,
   "mutant": "expiry_ignored",
   "noticed_by_bench": 2
  }
 ],
 "survived": []
}