DF-3563 / verdict.json
{ "finding_id": "DF-3563", "status": "untested", "reproduced": 0, "impact": "latent stack plaintext residue (wg outbound tails)", "confidence": "certain", "verdict": "Info hardening - Phase V skipped per contract (precedent DF-3560). Reachability established by code path (wg transport encrypt partial-block tail). Primitive correctness proven live in the same run (917 checks 0 failures, findings/poc/neg-evidence-crypto-pass2/).", "evidence": "findings/poc/neg-evidence-crypto-pass2/run.log", "attempts": 0, "guest_dirty": 0, "runner": "df-bsd-reviewer" } |