{
  "finding_id": "DF-2471",
  "verdict": "reproduced",
  "impact": "limited_write",
  "reproduce": {
    "build": "sh build.sh (guest, root, /usr/src required)",
    "run": "kldload dfv_isp.ko; sysctl kern.dfv_isp_run=3; sysctl -n kern.dfv_isp_status",
    "expected": "run.log: TRANSIT chan=5 -> guard smashed=1 first@+614; chan=5 RESET -> no observable change (bitfield); fixed: smashed=0 RESULT=clean."
  },
  "kernel_refs": [
    "sys/dev/disk/isp/isp.c:5444",
    "sys/dev/disk/isp/isp.c:5449",
    "sys/dev/disk/isp/isp.c:5475",
    "sys/dev/disk/isp/ispvar.h:646",
    "sys/dev/disk/isp/isp.c:5609"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "build.sh",
    "run.log",
    "env.txt",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}