{
  "finding_id": "DF-3158",
  "title": "deget() hash-insertion vs de_refcnt=1 TOCTOU (duplicate denodes) -- not reproduced in bounded runs; speculative hardening",
  "verdict": "not_reproduced",
  "impact": "none",
  "reproduce": {
    "build": "cc -O2 -pthread -o /tmp/hammer hammer.c",
    "run": "/tmp/hammer /fat/RACEFILE 150",
    "expected": "[CONFIRMED-DUP] lines and nonzero hits -- never observed with the honest detector (only [transient])"
  },
  "kernel_refs": ["sys/vfs/msdosfs/msdosfs_denode.c:308","sys/vfs/msdosfs/msdosfs_denode.c:323"],
  "artifacts": ["README.md","VERDICT.md","hammer.c","build.sh","run.sh","run.log","manifest.json","verdict.json"]
}