{
  "finding_id": "DF-2710",
  "title": "Peer-freezable iocom reader: parked writer + state INTERLOCK turns the dmrace wait into an indefinite cluster-link stall",
  "verdict": "reproduced",
  "impact": "dos",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O -I/usr/src/sys -o df2707_trigger df2707_trigger.c (source in this pack)",
    "run": "./df2707_trigger wedge",
    "expected": "WEDGE_PROBE1_WRITTEN<1024 with '<== reader stalled'; WEDGE_PROBE2_WRITTEN=1024/1024 after drain; UNMOUNT_OK"
  },
  "kernel_refs": ["sys/kern/kern_dmsg.c:825-828", "sys/kern/kern_dmsg.c:1636-1637", "sys/kern/kern_dmsg.c:1663-1667"],
  "artifacts": ["README.md", "df2707_trigger.c", "run.wedge_probe.txt (copy in DF-2707 pack)", "manifest.json", "verdict.json"]
}