{
  "finding_id": "DF-3917",
  "status": "untested",
  "reproduced": 0,
  "impact": "logic/persistence corruption (3916/3917), error-path panic (3918), firmware-fed overread (3919)",
  "confidence": "certain",
  "verdict": "Low - PoC skipped per contract (hardware-gated logic/error-path classes). Source-certain; fixes authored; DF-3916/3917 also reported against FreeBSD head.",
  "attempts": 0,
  "guest_dirty": 0,
  "runner": "df-bsd-reviewer"
}