Block Lanczos only works with high probability, and the most that anyone has proved is that failure is extremely rare when the initial vector is chosen randomly. There is no way to tell when failure will happen, otherwise proving convergence would not be an interesting problem :)
More here