{
  "finding_id": "DF-1959",
  "guest_uname": "DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026 x86_64",
  "code_hash": "52236d368f6205b5e6938d80de95fc9ec36654dc35fcb6554209b476336d66cd",
  "tested_at": "2026-07-22T19:10:00Z",
  "verdict": "SOURCE-CONFIRMED",
  "impact": "none",
  "confidence": "likely",
  "reproduce": {
    "build": "N/A (source-only verification)",
    "run": "N/A (HW/module gated \u2014 not reachable on audit guest)",
    "expected": "source-only confirmation: cited code path exists and is buggy; not runnable on QEMU/KVM guest without HW/module"
  },
  "kernel_refs": [
    "sys/dev/disk/dm/dm_dev.c:304-316",
    "sys/dev/disk/dm/dm_ioctl.c:349-361"
  ],
  "artifacts": [
    {
      "path": "VERDICT.md",
      "type": "verdict",
      "desc": "verification narrative"
    },
    {
      "path": "fix.diff",
      "type": "suggested-fix",
      "desc": "git-apply-able fix"
    },
    {
      "path": "manifest.json",
      "type": "misc",
      "desc": "manifest.json"
    },
    {
      "path": "fix_build_summary.txt",
      "type": "build-log",
      "desc": "combined 16-finding kernel build rc=0"
    }
  ]
}