{
  "finding_id": "DF-3616",
  "status": "untested",
  "reproduced": 0,
  "impact": "latent one-past-end hardening",
  "confidence": "certain",
  "verdict": "Info hardening - invariant bfs_tx_queue<=9 holds at every assignment site today; verification skipped per contract. Fix validated by inspection (validate-before-index with >=).",
  "attempts": 0,
  "guest_dirty": 0,
  "runner": "df-bsd-reviewer"
}