{
  "finding_id": "DF-4100",
  "verdict": "reproduced",
  "impact": "dos",
  "reproduce": {
    "build": "./push_rig.sh",
    "run": "sh run1.sh (DF-4100 is the second section)",
    "expected": "rec_flags=0 at BDR arm; 'btdone - Attempt to free non-active BCCB <recovery>' on BMBI_OK completion; async_bdr=0; 2s later vhba_hard_resets=1 last_ctl=128 and ccb_status=0xb CAM_CMD_TIMEOUT"
  },
  "kernel_refs": ["sys/dev/disk/buslogic/bt.c:2214", "sys/dev/disk/buslogic/bt.c:1302", "sys/dev/disk/buslogic/bt.c:1388", "sys/dev/disk/buslogic/bt.c:2215"],
  "artifacts": ["README.md","VERDICT.md","dfbt_rig.c","dfbt_ctl.c","Makefile","push_rig.sh","run1.sh","run.log","env.txt","fix.diff","manifest.json","verdict.json"]
}