{
  "finding_id": "DF-2704",
  "title": "vop_cache_operate_ap dispatches through mnt_vn_journal_ops unsynchronized against journal_detach kfree (UAF window, root-gated)",
  "verdict": "untested",
  "impact": "none",
  "severity": "Low",
  "confidence": "speculative",
  "reason_not_run": "Root-gated speculative race (free side requires mountctl privilege); deterministic demo needs scheduler injection — disproportionate to Low severity.",
  "reproduce": null,
  "kernel_refs": [
    "sys/kern/vfs_vopops.c:1781",
    "sys/kern/vfs_jops.c:247",
    "sys/kern/vfs_init.c:143",
    "sys/kern/vfs_syscalls.c:1277"
  ],
  "artifacts": ["README.md", "VERDICT.md", "verdict.json", "manifest.json"]
}