{
 "finding_id": "DF-3119",
 "status": "not_reproduced",
 "reproduced": 0,
 "impact": "corruption",
 "confidence": "certain",
 "verdict": "Code-proven teardown accounting defect, not dynamically triggerable without first forcing a HAMMER_MOUNT_CRITICAL_ERROR unmount (requires induced media I/O failure). In this tree flg->refs counts records only (increments hammer_inode.c:2057/2311/2391/2408, decrements hammer_object.c:322 + hammer_inode.c:1575) while inodes never take a reference, yet hammer_destroy_inode_callback executes a --ip->flush_group->refs for every HAMMER_FST_FLUSH inode at critical-error unmount, driving refs negative and printing the spurious flush_group was not empty warning in hammer_free_hmp. Fix drops the unmatched decrement; compile-validated.",
 "exploit_chain": "",
 "evidence": "README.md (original filing analysis, carried forward), VERDICT.md accounting walk with all increment/decrement sites, fix.diff",
 "kernel_refs": [
  "sys/vfs/hammer/hammer_flusher.c:423",
  "sys/vfs/hammer/hammer_inode.c:1594-1598"
 ],
 "poc_changes": "",
 "attempts": 2,
 "guest_uname": "DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul 2 06:02:54 UTC 2026 root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64",
 "runtime_sec": 60,
 "guest_dirty": 0,
 "build_cmd": "n/a",
 "run_cmd": "n/a",
 "code_hash": "",
 "notes": "",
 "recommended_fix": "drop the unmatched decrement"
}