> さらに突っ込んだ質問:
>  上記 2 つの割り込みは,これらの API で遅延出来なくてもいいものでしょうか.

遅延できるのはmustです。例外の仕組みを再利用しているのはensureを実行したいというモチベーションから来ているので現在の動作はバグという認識