{
  "finding_id": "DF-5736",
  "title": "Inquiry/RSSI result handlers allocate hci_memo records without bound (lookup-lazy reclamation)",
  "verdict": "reproduced",
  "impact": "dos",
  "reproduce": {
    "build": "cd /root/hcih && sh build.sh",
    "run": "kldload ./hci_event_harness.ko; sysctl hw.hcih_setup=1; sysctl hw.hcih_fire_memo=1 (repeat 3x)",
    "expected": "memos before/after: 0->1436, 1436->2848, 2848->3184 (monotonic, none reclaimed); vmstat -m Bluetooth grows"
  },
  "kernel_refs": ["sys/netbt/hci_event.c:463", "sys/netbt/hci_event.c:500", "sys/netbt/hci_misc.c:145"],
  "artifacts": ["harness.c", "hci_stub.c", "Makefile", "build.sh", "run.sh", "build.log", "run.log", "fix.diff", "fix_run.log", "fix_build.log", "README.md", "VERDICT.md", "verdict.json", "manifest.json", "env.txt"]
}