{
  "finding_id": "DF-5763",
  "file": "sys/netbt/bt_proto.c",
  "verdict": "reproduced (mechanism; production-config deadness control-proven; severity Info)",
  "impact": "panic (armed precondition only; production unreachable today)",
  "confidence": "certain",
  "recommended_fix": ".dom_dispose = NULL on btdomain (fix.diff)",
  "reproduce": {
    "build": "cd /root/df5763 && sh build.sh",
    "run": "sh control.sh && sh armed.sh",
    "expected": "control: 8 rounds clean; armed: Fatal trap 12 at zdestroy+0x19 (3/3); with fix.diff: armed survives"
  },
  "kernel_refs": [
    "sys/netbt/bt_proto.c:128-134",
    "sys/netbt/bt_proto.c:163",
    "sys/kern/uipc_socket.c:1609-1611",
    "sys/kern/uipc_socket.c:1986-1987",
    "sys/vm/vm_zone.c:516-544"
  ],
  "artifacts": [
    "README.md", "VERDICT.md",
    "btdisp_rig.c", "stub.c", "btdisp.c", "Makefile",
    "build.sh", "control.sh", "armed.sh", "run.sh",
    "build.log", "setup.log", "env.txt", "code_hashes.txt",
    "run.control.log", "panic.txt", "panic.2.txt", "run.log",
    "fix.diff", "fix_build.log", "fix_run.log",
    "manifest.json", "verdict.json"
  ]
}