{
  "finding_id": "DF-4101",
  "verdict": "reproduced",
  "impact": "dos",
  "reproduce": {
    "build": "./push_rig.sh",
    "run": "sh run1.sh (DF-4101 is the third section)",
    "expected": "same bccb_kva recycled for ccb-B while production bttimeout is blocked on bt->lock; after release: ccb-B flags=0x7 DEVICE_RESET, console 'timed out' for a 60s-healthy command, 2s later hard reset (vhba_hard_resets 1->2) and ccb_status=0xb CAM_CMD_TIMEOUT"
  },
  "kernel_refs": ["sys/dev/disk/buslogic/bt.c:1449", "sys/dev/disk/buslogic/bt.c:2143", "sys/dev/disk/buslogic/bt.c:2147"],
  "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"]
}