{
  "finding_id": "DF-2527",
  "verdict": "reproduced",
  "impact": "corruption",
  "reproduce": {
    "build": "sh build.sh (guest, root, /usr/src required)",
    "run": "./vn_size -1 /root/vnfile; diskinfo /dev/vn3",
    "expected": "run.log: attach vn_size=-1 OK -> /dev/vn3; diskinfo size=0xfffffffffffff000."
  },
  "kernel_refs": [
    "sys/dev/disk/vn/vn.c:559",
    "sys/dev/disk/vn/vn.c:560",
    "sys/dev/disk/vn/vn.c:617",
    "sys/sys/vnioctl.h:59"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "build.sh",
    "run.log",
    "env.txt",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}