I believe what @rafi suggests is now the right way to resolve the mess with lots of uncertainty to be triggered now. In part for good the drama should sink in but eventually to be ended with a stream event of the 2 leaders and all validator(s) (or candidates) plugged in optionally.