“…This follows directly from its construction. Indeed, taking a G-equivariant resolution of indeterminacy Y X × P 1 X , one realises the proper transform X0 ⊂ Y 0 as a G-invariant divisor of Y, implying that v X 0 is a G-invariant divisorial valuation on X , exactly as in Golota's proof in the Fano case [34,Proposition 3.13]. The second is that the integral test configuration associated with a G-invariant dreamy prime divisor is a G-equivariant test configuration, which, as noted by Zhu in the Fano setting [55, Theorem 3.5], follows immediately from its definition as…”