{
  "finding_id": "DF-3767",
  "status": "untested",
  "reproduced": 0,
  "impact": "4-byte rodata OOB read, decision-only",
  "confidence": "certain",
  "verdict": "Info hardening - verification skipped per contract. Source proof: parser arithmetic (reg>>7) > n vs 102-word arrays; boundary regs 0x3300-0x337F reachable via R100_CP_PACKET0_GET_REG.",
  "attempts": 0,
  "guest_dirty": 0,
  "runner": "df-bsd-reviewer"
}