Бред. Наследник должен вести себя так же, как интерфейс/родитель - где тут про типы аргументов? Если интерфейс не требует обязательных параметров, мы не можем использовать наследника, который требует. Всё. ЧТД
вы давно определение LSP читали?
лень с вами спорить
но добавление еще одного однородного аргумента в реализацию, при условии, что в контракте явно записано "любое количество однородных аргументов" не нарушает принцип подстановки
другое дело, что в PHP для этого нет языковых средств