Fix Verification

This skill helps you rigorous verify that a reported vulnerability has been eliminated without introducing regressions.

1. The Verification Loop

1. •Reproduce: Create a mandos scenario that fails (demonstrates the bug).
2. •Apply Fix: Modification to Rust code.
3. •Verify: Run the failing mandos. It MUST pass now.
4. •Regression Check: Run ALL other mandos. They MUST still pass.

2. Common Fix Failures

• •Partial Fix: Fixing one path but missing a variant (e.g., fixed deposit but not transfer).
• •Moved Bug: The fix prevents the exploit but creates a DoS vector (e.g., adding a lock that never unlocks).

3. Deliverable

A "Verification Report" stating:

• •Commit ID of the fix.
• •Test case used to verify.
• •Confirmation of regression suite success.