{
  "finding_id": "DF-5838",
  "impact": "none (latent on-disk-corruption footgun)",
  "confidence": "certain (code discrepancy) / speculative (impact until a mismatching caller exists)",
  "kernel_refs": [
    "sys/kern/vfs_cluster.c:1746",
    "sys/kern/vfs_cluster.c:1719",
    "sys/kern/vfs_cluster.c:1737",
    "sys/kern/vfs_cluster.c:1745",
    "sys/kern/vfs_cluster.c:1312",
    "sys/vfs/ufs/ffs_alloc.c:470",
    "sys/vfs/ufs/ffs_alloc.c:535",
    "sys/kern/vfs_bio.c:2799"
  ],
  "reproduce": {
    "build": "n/a - no trigger exists: requires a filesystem caller passing bp->b_bcount != blksize into cluster_write's reallocblk path; none exists in this tree",
    "run": "n/a",
    "expected": "n/a"
  },
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "fix.diff",
    "verdict.json",
    "manifest.json"
  ]
}