fix_verificationlisted

# 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.