{
  "finding_id": "DF-3768",
  "verdict": "not_reproduced",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "n/a (source-level finding)",
    "run": "sh trigger.sh  # DragonFly host with Intel graphics, as root; expect cycle-9 EBUSY attach failure + leaked arrays",
    "expected": "cycles 1-8 attach with 'taking over the fictitious range' dmesg each time (leak accumulates); cycle 9 fails attach"
  },
  "kernel_refs": [
    "sys/dev/drm/i915/i915_gem_gtt.c:2966",
    "sys/dev/drm/i915/i915_gem_gtt.c:2992",
    "sys/dev/drm/drm_vm.c:172",
    "sys/dev/drm/drm_vm.c:203",
    "sys/dev/drm/radeon/radeon_device.c:1566"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "verdict.json",
    "manifest.json",
    "trigger.sh",
    "env.txt",
    "upstream_v419_vs_dfbsd.diff",
    "fix.diff"
  ]
}
