Verified Code Patch & AI Refactor Engine