とりあえず、 Actor のメソッド中の最後の suspension point の後と、（ Actor Context がないときの）呼び出し元の await の後は同期的だと思ってましたけど、それは違うと（どのスレッドで実行されるかわからない）。 Actor Context は静的に解決されると考えて、それ以外に想定外なところはなさそう。