They should vibe code a fix
Clearly we need an EmailChange-Verified benchmark since this is such a difficult problem.