{
  "finding_id": "DF-3000",
  "verdict": "not_reproduced (reachability blocker documented; source defect certain)",
  "impact": "latent kernel panic / buffer-ownership race (not demonstrated on test guest)",
  "reproduce": {
    "build": "cc -O -o /tmp/op3000X /tmp/op3000X.c   (X in '',b,c,d,e)",
    "run": "run_all.sh as unprivileged user with HAMMER1 at /mnt/h1; on instrumented kernel check: dmesg | grep DF3000-PROBE",
    "expected": "branch would print DF3000-PROBE then panic('bdwrite|bawrite|bwrite: buffer is not busy'); observed: 0 probe hits, no panic, all msyncs OK (see run.log)"
  },
  "kernel_refs": [
    "sys/vfs/hammer/hammer_vnops.c:682",
    "sys/vfs/hammer/hammer_vnops.c:690",
    "sys/vfs/hammer/hammer_vnops.c:824",
    "sys/kern/vfs_bio.c:908",
    "sys/vfs/hammer2/hammer2_vnops.c:1103"
  ],
  "artifacts": [
    "op3000.c", "op3000b.c", "op3000c.c", "op3000d.c", "op3000e.c",
    "run_all.sh", "probe.diff", "run.log", "build.log",
    "README.md", "VERDICT.md", "verdict.json", "manifest.json"
  ]
}