Указывает ли спецификация языка Java правила переопределения методов в подклассах?
Не могу найти это в JLS.
Да, это так.Это описано в разделе 8.4.8 .
Если есть какой-то конкретный аспект, который вы пытаетесь найти и у которого есть проблемы, пожалуйста, будьте более конкретны в своем вопросе - «правила переопределения метода»"довольно широкие.