On the double-affine Bruhat order: the $\varepsilon =1$ conjecture and classification of covers in ADE type