What problem does it solve? Turning a confirmed security finding into a correct fix is error-prone: patches often miss the real vulnerable boundary, break legitimate behavior, or claim success without verification. This Skill enforces a disciplined workflow that revalidates the finding, builds a patch contract, implements the smallest repository-native fix, and proves closure through ordered verification gates. ## Core Features & Use Cases - Patch Contract: Establishes the source-to-sink path, attacker-controlled input, security invariant, and compatibility constraints before any code is edited. - Ordered Verification Gates: Verifies applicability, security closure, bypass resistance, preserved behavior, and repository checks in a strict sequence where earlier gates cannot be traded for later ones. - Staged Remediation: Supports generate, apply, and verify stages separately, so patches can be produced as unified diffs, applied later, and verified independently. - Use Case: A security scan flags an SQL injection in a request handler. Use this Skill to reproduce the issue with a failing regression test, apply the narrowest fix using existing query helpers, and prove the exploit no longer reproduces while legitimate queries still work. ## Quick Start Fix and verify the validated SQL injection finding in the user login handler, then report the outcome with the commands you ran.