Comment by monokh

And in fact they did just this when their vaults started bleeding money on an unfavourable position (JellyJelly). They handed out a closed source binary and the validators ran it immediately, closing out the market at an arbitrary price.