{
  "command": "python3 scripts/evolution18/mutation_run.py",
  "errors": [],
  "generated_utc": "2026-10-12T18:06:03Z",
  "killed": 26,
  "mutants": 26,
  "results": [
    {
      "file": "cain/reality/reality_bridge.py",
      "id": "M01",
      "killed_by": [
        "AB-03",
        "AB-04"
      ],
      "seconds": 18.2,
      "status": "KILLED",
      "weakening": "accept any approver key"
    },
    {
      "file": "cain/reality/reality_bridge.py",
      "id": "M02",
      "killed_by": [
        "AB-01",
        "AB-02"
      ],
      "seconds": 18.4,
      "status": "KILLED",
      "weakening": "skip effect binding"
    },
    {
      "file": "cain/reality/reality_bridge.py",
      "id": "M03",
      "killed_by": [
        "AB-08",
        "PV-03"
      ],
      "seconds": 20.1,
      "status": "KILLED",
      "weakening": "authorization reusable"
    },
    {
      "file": "cain/reality/reality_bridge.py",
      "id": "M04",
      "killed_by": [
        "TT-01",
        "TT-02"
      ],
      "seconds": 18.7,
      "status": "KILLED",
      "weakening": "skip object identity check"
    },
    {
      "file": "cain/reality/reality_bridge.py",
      "id": "M05",
      "killed_by": [
        "CR-02",
        "CR-04",
        "CR-05"
      ],
      "seconds": 18.5,
      "status": "KILLED",
      "weakening": "no commit-point authority check"
    },
    {
      "file": "cain/reality/reality_bridge.py",
      "id": "M06",
      "killed_by": [
        "AB-06"
      ],
      "seconds": 18.3,
      "status": "KILLED",
      "weakening": "tool not bound"
    },
    {
      "file": "cain/reality/reality_bridge.py",
      "id": "M07",
      "killed_by": [
        "AB-07"
      ],
      "seconds": 18.9,
      "status": "KILLED",
      "weakening": "policy version not checked"
    },
    {
      "file": "cain/reality/reality_bridge.py",
      "id": "M08",
      "killed_by": [
        "PV-04"
      ],
      "seconds": 18.9,
      "status": "KILLED",
      "weakening": "no resource lock"
    },
    {
      "file": "cain/reality/reality_bridge.py",
      "id": "M09",
      "killed_by": [
        "OC-06"
      ],
      "seconds": 18.6,
      "status": "KILLED",
      "weakening": "sensor statements not checked"
    },
    {
      "file": "cain/reality/reality_bridge.py",
      "id": "M10",
      "killed_by": [
        "AD-03"
      ],
      "seconds": 19.4,
      "status": "KILLED",
      "weakening": "DENY admits"
    },
    {
      "file": "cain/reality/sensor_trust.py",
      "id": "M11",
      "killed_by": [
        "OC-07"
      ],
      "seconds": 18.3,
      "status": "KILLED",
      "weakening": "same-process observer counts as external"
    },
    {
      "file": "cain/reality/sensor_trust.py",
      "id": "M12",
      "killed_by": [
        "OC-03"
      ],
      "seconds": 21.3,
      "status": "KILLED",
      "weakening": "one key counts twice"
    },
    {
      "file": "cain/reality/sensor_trust.py",
      "id": "M13",
      "killed_by": [
        "IE-04"
      ],
      "seconds": 20.0,
      "status": "KILLED",
      "weakening": "incomplete sensor counted"
    },
    {
      "file": "cain/reality/sensor_trust.py",
      "id": "M14",
      "killed_by": [
        "CX-01",
        "CX-02"
      ],
      "seconds": 19.0,
      "status": "KILLED",
      "weakening": "disagreement ignored"
    },
    {
      "file": "cain/reality/sensor_trust.py",
      "id": "M15",
      "killed_by": [
        "TT-05"
      ],
      "seconds": 19.2,
      "status": "KILLED",
      "weakening": "undeclared effects ignored in the enforcer verdict"
    },
    {
      "file": "cain/reality/toctou_guard.py",
      "id": "M16",
      "killed_by": [
        "TT-06"
      ],
      "seconds": 21.4,
      "status": "KILLED",
      "weakening": "descriptor inode not compared"
    },
    {
      "file": "cain/reality/toctou_guard.py",
      "id": "M17",
      "killed_by": [
        "TT-08"
      ],
      "seconds": 18.4,
      "status": "KILLED",
      "weakening": "non-exclusive create"
    },
    {
      "file": "cain/reality/toctou_guard.py",
      "id": "M18",
      "killed_by": [
        "TT-05"
      ],
      "seconds": 18.3,
      "status": "KILLED",
      "weakening": "target link followed"
    },
    {
      "file": "cain/reality/toctou_guard.py",
      "id": "M19",
      "killed_by": [
        "AB-08",
        "PV-03"
      ],
      "seconds": 18.4,
      "status": "KILLED",
      "weakening": "ledger admits repeats"
    },
    {
      "file": "cain-execution-truth-verify/verify.py",
      "id": "M20",
      "killed_by": [
        "IE-05"
      ],
      "seconds": 17.8,
      "status": "KILLED",
      "weakening": "verifier trusts stated level"
    },
    {
      "file": "cain-execution-truth-verify/verify.py",
      "id": "M21",
      "killed_by": [
        "OC-02"
      ],
      "seconds": 18.3,
      "status": "KILLED",
      "weakening": "verifier ignores sensor anchors"
    },
    {
      "file": "cain-execution-truth-verify/verify.py",
      "id": "M22",
      "killed_by": [
        "CO-02",
        "CO-04"
      ],
      "seconds": 18.0,
      "status": "KILLED",
      "weakening": "verifier follows temporal edges"
    },
    {
      "file": "cain-execution-truth-verify/verify.py",
      "id": "M23",
      "killed_by": [
        "RR-01"
      ],
      "seconds": 18.2,
      "status": "KILLED",
      "weakening": "verifier accepts replays"
    },
    {
      "file": "cain-execution-truth-verify/verify.py",
      "id": "M24",
      "killed_by": [
        "CO-05"
      ],
      "seconds": 18.8,
      "status": "KILLED",
      "weakening": "verifier accepts observations of another action"
    },
    {
      "file": "cain-execution-truth-verify/verify.py",
      "id": "M25",
      "killed_by": [
        "RC-03"
      ],
      "seconds": 18.3,
      "status": "KILLED",
      "weakening": "verifier accepts overstated recovery"
    },
    {
      "file": "cain-execution-truth-verify/verify.py",
      "id": "M26",
      "killed_by": [
        "EC-07",
        "EO-01",
        "EO-02",
        "EO-03",
        "PE-01",
        "CX-03",
        "AD-01"
      ],
      "seconds": 18.5,
      "status": "KILLED",
      "weakening": "verifier ignores undeclared effects"
    }
  ],
  "survived": []
}