{
  "finding_id": "DF-2999",
  "verdict": "reproduced",
  "impact": "dos",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O -o /tmp/op2999 /tmp/op2999.c -Wall",
    "run": "/tmp/op2999 /mnt/h1/maxx2999.bin   (unprivileged user; HAMMER1 at /mnt/h1; vnconfig+newfs_hammer+mount)",
    "expected": "vulnerable: extend OK, pwrite OK, second ftruncate never returns; thread R4 unkillable (kill -9), rm parks in D state, guest wedged. patched (fix.diff): 'extend-> File too large' (EFBIG) in 0.00s, EXIT=1, guest healthy."
  },
  "kernel_refs": [
    "sys/vfs/hammer/hammer_vnops.c:2261",
    "sys/vfs/hammer/hammer_vnops.c:2269",
    "sys/vfs/hammer/hammer_vnops.c:2276",
    "sys/vfs/hammer/hammer_vnops.c:664",
    "sys/kern/vfs_vm.c:149",
    "sys/kern/vfs_vm.c:464",
    "sys/kern/vfs_vm.c:486"
  ],
  "artifacts": [
    "op2999.c", "build.sh", "run.sh", "run.log", "build.log",
    "VERDICT.md", "env.txt", "fix.diff", "verdict.json", "manifest.json"
  ]
}