{
  "finding_id": "DF-4115",
  "title": "hdac_stream_alloc() bidirectional-stream tag arithmetic sign error (missing upstream FreeBSD fix)",
  "verdict": "not_reproduced",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "scp dsp_battery.c frag_start.c hblkcnt_max.c dfbsd-maxx:/tmp/ && sh build.sh",
    "run": "sh run.sh",
    "expected": "all three complete rc=0, guest alive, no hdac panic; the BSS branch never executes (controller reports BSS 0)"
  },
  "kernel_refs": [
    "sys/dev/sound/pci/hda/hdac.c:1933",
    "sys/dev/sound/pci/hda/hdac.c:1934",
    "sys/dev/sound/pci/hda/hdaa.c:2096",
    "sys/dev/sound/pcm/channel.c:1832"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "fix.diff",
    "dsp_battery.c", "frag_start.c", "hblkcnt_max.c",
    "build.sh", "run.sh", "build.log", "run.log",
    "dmesg_verbose.txt", "caps.txt", "env.txt",
    "panic.sndstat.txt", "sha256.txt", "verdict.json", "manifest.json"
  ]
}