DF-1959 / manifest.json
{ "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" } ] } |