DF-3605 / verdict.json
{ "finding_id": "DF-3605", "status": "untested", "reproduced": 0, "impact": "NVRAM lock permanently held on error path", "confidence": "certain", "verdict": "Low - verification skipped per contract; source-certain (early return bypasses paired unlock at :1788-1791).", "attempts": 0, "guest_dirty": 0, "runner": "df-bsd-reviewer" } |