{
  "finding_id": "DF-2703",
  "title": "vop_mountctl/vop_markatime/vop_allocate pass partially-uninitialized stack argument structs into VOP dispatch (a_vp / a_op never set)",
  "verdict": "untested",
  "impact": "none",
  "severity": "Low",
  "confidence": "certain",
  "reason_not_run": "Latent hardening defect: no in-tree handler reads the uninitialized fields, so no runtime symptom exists to reproduce; Phase V skipped per contract for Low findings.",
  "reproduce": null,
  "kernel_refs": [
    "sys/kern/vfs_vopops.c:1292",
    "sys/kern/vfs_vopops.c:1300",
    "sys/kern/vfs_vopops.c:1320",
    "sys/kern/vfs_vopops.c:1342",
    "sys/sys/vfsops.h:433",
    "sys/sys/vfsops.h:445",
    "sys/sys/vfsops.h:452"
  ],
  "artifacts": ["README.md", "VERDICT.md", "verdict.json", "manifest.json"]
}