{
  "finding_id": "DF-4098",
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "./push_rig.sh",
    "run": "fresh boot: sh run_panic_btdone.sh; fresh boot: sh run_panic_btreset.sh",
    "expected": "panic: bt9: Invalid Action code (btdone+0x4d3); panic: bt9: btreset - Diagnostic Active failed to drop. status = 0x80 (btreset+0x266)"
  },
  "kernel_refs": ["sys/dev/disk/buslogic/bt.c:1517", "sys/dev/disk/buslogic/bt.c:1520", "sys/dev/disk/buslogic/bt.c:1524", "sys/dev/disk/buslogic/bt.c:1527", "sys/dev/disk/buslogic/bt.c:1650"],
  "artifacts": ["README.md","VERDICT.md","dfbt_rig.c","dfbt_ctl.c","Makefile","push_rig.sh","run_panic_btdone.sh","run_panic_btreset.sh","run_panic_btdone.log","run_panic_btreset.log","panic_btdone.txt","panic_btreset.txt","env.txt","fix.diff","manifest.json","verdict.json"]
}