例外が発生してもリソース漏洩やデータ破損が起こらないという保証を何と呼ぶか。

「例外が発生してもプログラムの状態を一切変更しない（失敗前の状態に戻す）」保証レベルはどれか。