DF-3602 / verdict.json
{ "finding_id": "DF-3602", "status": "untested", "reproduced": 0, "impact": "intra-object clobber only", "confidence": "certain", "verdict": "Info - Phase V skipped per contract; source-proven (loop permits ret==16; terminator write past io[16] lands on stripecap/stripectl).", "attempts": 0, "guest_dirty": 0, "runner": "df-bsd-reviewer" } |