Technical question: How is a "Server BUG" being determined in practice?

Which one? This?