{
 "killed": 10,
 "mutants": 10,
 "rows": [
  {
   "bench_escapes": 30,
   "invariant_failures": 6,
   "killed": true,
   "mutant": "authority_engine_allows",
   "sample": [
    "EA-counterparty_policy",
    "EA-no_contract",
    "EA-unsigned_contract",
    "EA-contract_cap",
    "EA-org_ceiling",
    "EA-institution_ceiling"
   ]
  },
  {
   "bench_escapes": 3,
   "invariant_failures": 1,
   "killed": true,
   "mutant": "economic_check_off",
   "sample": [
    "EA-vendor_limit",
    "EA-unknown_counterparty",
    "EA-frozen_ea",
    "E29-L10"
   ]
  },
  {
   "bench_escapes": 10,
   "invariant_failures": 1,
   "killed": true,
   "mutant": "escrow_conditions_off",
   "sample": [
    "EA-ESCROW-claim_only",
    "EA-ESCROW-wrong_artifact",
    "EA-ESCROW-seller_confirms",
    "EA-ESCROW-disputed",
    "EA-ESCROW-other_delivery",
    "EA-ESCROW-denied_receipt"
   ]
  },
  {
   "bench_escapes": 29,
   "invariant_failures": 48,
   "killed": true,
   "mutant": "stage_order_off",
   "sample": [
    "TR-STAGE-skip",
    "TR-STAGE-repeat",
    "TR-STAGE-after_abort",
    "TR-STAGE-gate_crash",
    "TR-STAGE-after_complete",
    "TR-ENV-transaction_id"
   ]
  },
  {
   "bench_escapes": 12,
   "invariant_failures": 1,
   "killed": true,
   "mutant": "counterparty_risk_blind",
   "sample": [
    "IC-fork_flag",
    "CC-revoked",
    "CC-quarantined",
    "CC-fork",
    "CC-incident",
    "CC-firebreak_org"
   ]
  },
  {
   "bench_escapes": 5,
   "invariant_failures": 1,
   "killed": true,
   "mutant": "firebreak_off",
   "sample": [
    "CC-firebreak_cp",
    "RV-destination",
    "RV-tx_class",
    "GR-router_firebreak",
    "RV-V2-cp",
    "E29-P37"
   ]
  },
  {
   "bench_escapes": 15,
   "invariant_failures": 1,
   "killed": true,
   "mutant": "partition_gate_open",
   "sample": [
    "PT-DEGRADED-pay-50-0",
    "PT-DEGRADED-pay-500-0",
    "PT-DEGRADED-write-500-0",
    "PT-DEGRADED-delete-0-0",
    "PT-DEGRADED-execute-0-0",
    "PT-PARTITIONED-write-0-0"
   ]
  },
  {
   "bench_escapes": 3,
   "invariant_failures": 1,
   "killed": true,
   "mutant": "contract_verify_off",
   "sample": [
    "EA-unsigned_contract",
    "DA-contract_grants",
    "CN-signed_then_edited",
    "E29-L7"
   ]
  },
  {
   "bench_escapes": 4,
   "invariant_failures": 2,
   "killed": true,
   "mutant": "dispute_uses_confidence",
   "sample": [
    "DS-forged_observation",
    "DS-missing_receipt",
    "DS-contradiction",
    "DS-unregistered_observer",
    "E29-L6",
    "E29-L13"
   ]
  },
  {
   "bench_escapes": 1,
   "invariant_failures": 2,
   "killed": true,
   "mutant": "reputation_without_evidence",
   "sample": [
    "GR-reputation_no_evidence",
    "E29-L4",
    "E29-P20"
   ]
  }
 ],
 "survived": []
}