{
  "finding_id": "DF-1957",
  "guest_uname": "DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026 x86_64",
  "code_hash": "4b62953a019b257d155af620e3b7911a1cb020688b1a9285956efdbf39bc81a4",
  "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/drm/drm_rect.c:53-65",
    "sys/dev/drm/drm_rect.c:85-92"
  ],
  "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"
    }
  ]
}