みなさんありがとうございます。

>>906
次に優先権を得るタイミングは第2メイン‥と勘違いしてました。
戦闘終了ステップがありましたね。。。

>>913
MTGwikiとGathererを確認したら、能力解決時に
戦場を離れていたらライブラリには戻さず
シャッフルだけはやる、とのことでご指摘の通りでした。

初心者でギルドキットのディミーアを買ったら
いきなりMTGの奥深いところを理解することになってよかったです。
誘発型能力がスタックに乗るタイミング、
状況起因処理が入るタイミングがポイントでしたね。