{
  "finding_id": "DF-5775",
  "verdict": "reproduced (file clobber via symlink; certain)",
  "impact": "dos",
  "reproduce": {
    "build": "(none -- stock kernel.debug)",
    "run": "sh run5775.sh",
    "expected": "vulnerable: /tmp/df5775_target content replaced by the vkernel pid via the symlink; fixed: 'Failed to create pidfile: Too many links', target intact"
  },
  "kernel_refs": ["sys/platform/vkernel64/platform/init.c:1390", "sys/platform/vkernel64/platform/init.c:1400"],
  "artifacts": ["README.md", "VERDICT.md", "run5775.sh", "baseline_run.log", "fixed_run.log", "fix.diff", "env.txt", "verdict.json", "manifest.json"]
}