{
  "software_revision": "EVT0.12",
  "verifier_sha256": "fd89ca35184544ee001fa2f24a18db42e45f0b8b2884a61d6cdd38fa8e14efd6",
  "source_sha256": {
    "board-fast-inputs.h": "c6fd81d474da216a795f677a01e6c669dc15e1a1400fd5c52cda570fa8dacf92",
    "board-eeprom.h": "546be4cce34ecae2e9a22d49c00434029ee9aa7db97b4d160613636f7efccd9f",
    "board-output.h": "41dc4e6b188e04d59bdcbfcaaa2f96fb6429781cb29415bacad3055df2607096",
    "main.c": "ea43c2ed831a9731bfa57922e0c8251158d325e7c558a8e333c12348b4a15679"
  },
  "harness_sha256": {
    "test_target_fast_inputs.c": "17d4322019a89ab4fcf55cc5e17c1d7290317910133d7c067d3f226726c626cd",
    "test_target_eeprom.c": "5b99ea42f8603aadfe5fb314c9d929b90f30cf4e2c1c8a756a1d3e406bca719e",
    "test_target_main.c": "0259308b7bcd99634cf7d805cb33a383295fe6cbf5b30cc517ff95a25ce588f4"
  },
  "negative_controls": [
    {
      "mutation": "EEPROM_FAST_POLL_REMOVED",
      "compiled": "PASS",
      "exit": -6,
      "result": "REJECTED_AS_EXPECTED",
      "assertion": "Assertion failed: (fast_fired&&fast_off_us>=1000&&fast_off_us<=1100&&!p1&&!p2), function main, file test_target_eeprom.c, line 110.",
      "mutated_header_sha256": "b62a35ea64e011f2c071b4c3d67780a38532683953aea7cf5ba28ec7e8842314",
      "harness": "test_target_eeprom.c"
    },
    {
      "mutation": "FINAL_GPIO_FAST_GATE_REMOVED",
      "compiled": "PASS",
      "exit": -6,
      "result": "REJECTED_AS_EXPECTED",
      "assertion": "Assertion failed: (!!(fake_a.BSRR&(1u<<6))==(!block&&(int)b)), function main, file test_target_fast_inputs.c, line 21.",
      "mutated_header_sha256": "669da1c0ea96c422ae54690517e06e65b5f39932b4dab5d7c081078fde76614f",
      "harness": "test_target_fast_inputs.c"
    },
    {
      "mutation": "TRANSIENT_LATCH_REPLACED_WITH_LIVE_FLAGS",
      "compiled": "PASS",
      "exit": -6,
      "result": "REJECTED_AS_EXPECTED",
      "assertion": "Assertion failed: (stop==((f&3u)?CMD_STOP:CMD_NONE)), function main, file test_target_fast_inputs.c, line 27.",
      "mutated_header_sha256": "6ff3aec9fbce4183d7b3757157ce2ee14621012125c00f1702ee1ae7cf7c10cf",
      "harness": "test_target_fast_inputs.c"
    },
    {
      "mutation": "STOP_LATCH_NOT_DELIVERED_TO_CONTROL",
      "compiled": "PASS",
      "exit": -6,
      "result": "REJECTED_AS_EXPECTED",
      "assertion": "Assertion failed: (stop==((f&3u)?CMD_STOP:CMD_NONE)), function main, file test_target_fast_inputs.c, line 27.",
      "mutated_header_sha256": "6e8d404cfdb953121cac0d66234857d86a448e8075ea0a809a2d24b8f3f7948a",
      "harness": "test_target_fast_inputs.c"
    },
    {
      "mutation": "IDLE_OVERLOAD_BLOCKS_HEALTHY_BACKUP",
      "compiled": "PASS",
      "exit": -6,
      "result": "REJECTED_AS_EXPECTED",
      "assertion": "Assertion failed: (!!(fake_a.BSRR&(1u<<6))==(!block&&(int)b)), function main, file test_target_fast_inputs.c, line 21.",
      "mutated_header_sha256": "b2a48088be7eae5a270c052c71803a4401a33fd7e04b208a9a5b11db46748d5e",
      "harness": "test_target_fast_inputs.c"
    },
    {
      "mutation": "PANEL_STOP_PIN_SWAPPED",
      "compiled": "PASS",
      "exit": -6,
      "result": "REJECTED_AS_EXPECTED",
      "assertion": "Assertion failed: (!!(fake_a.BSRR&(1u<<6))==(!block&&(int)b)), function main, file test_target_fast_inputs.c, line 21.",
      "mutated_header_sha256": "338e58933fd29ed3150be6a2a5bbbc63daf766d9690e92b98b8842d94f19d237",
      "harness": "test_target_fast_inputs.c"
    },
    {
      "mutation": "MAIN_IGNORES_CAPTURED_STOP",
      "compiled": "PASS",
      "exit": -6,
      "result": "REJECTED_AS_EXPECTED",
      "assertion": "Assertion failed: (!controller.armed&&controller.fault==F_NONE&&(controller.state==OFF||controller.state==STOPPING)), function board_watchdog_feed, file test_target_main.c, line 46.",
      "mutated_header_sha256": "f0eafc61f5b5ef5a91c435a1558df80ed8aa52b8224afad0c58fa020852eac09",
      "harness": "test_target_main.c"
    }
  ],
  "physical_tests": "NOT_RUN",
  "scope": "Seven compiled mutants; raw-GPIO/I2C/main models; no measured physical response time"
}
