> and you can restrict / audit the use of unsafe by the translator.

No. You need to audit for correctness in additional to safety.