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