RepoMedic: An AI Field Engineer That Proves Its Fixes

What if an AI coding assistant didn't stop at “I think I found the bug”? What if it had to...