{
  "finding_id": "DF-3111",
  "verdict": "reproduced",
  "impact": "dos",
  "confidence": "certain",
  "reproduce": {
    "build": "guest: cc -O2 -o /root/trig /root/trig.c && cc -O2 -o /root/recheck /root/recheck.c",
    "run": "guest as root: sh /root/run.sh  (fs setup + stages 1-3; binaries drop to uid 65534)",
    "expected": "stage1: unlink nameB -> ENOENT while readdir lists it; stage3 (post-remount, cold namecache): stat nameB -> ENOENT, unlink nameB -> ENOENT, readdir cnt>=1, 5 re-creates leak a 2nd unremovable dirent"
  },
  "kernel_refs": [
    "sys/vfs/hammer/hammer_subs.c:943",
    "sys/vfs/hammer/hammer_subs.c:963",
    "sys/vfs/hammer/hammer_subs.c:1024",
    "sys/vfs/hammer/hammer_vnops.c:1234",
    "sys/vfs/hammer/hammer_vnops.c:2014",
    "sys/vfs/hammer/hammer_vnops.c:3324",
    "sys/vfs/hammer/hammer_btree.c:216",
    "sys/vfs/hammer/hammer_btree.c:277",
    "sys/vfs/hammer/hammer_object.c:705",
    "sys/vfs/hammer/hammer_inode.c:858"
  ],
  "artifacts": [
    "solver.h", "trig.c", "recheck.c", "build.sh", "run.sh",
    "build.log", "run.log", "fix_run.log", "fix_run_stage1.log",
    "env.txt", "VERDICT.md", "README.md", "fix.diff",
    "verdict.json", "manifest.json"
  ],
  "code_hash_prefix": "73ab06608146d97b"
}