мне во всех случаях кажется логичным, когда латиноязычные заклинания оставляются в первозданном виде
а заклинания на языке героев (т.е. на английском) переводятся на язык текста.
т.е. в русском переводе - остолбеней, а не ступефай
но crucio, а не круцио.
подумал и решил, что когда о заклинаниях говорят, а не используют их, логичнее вариант 3).