Thank you Jakub for tackling the problem of inconsistency between policy and practice.
Taking my PR as case study, under this policy I am allowed to choose whatever approach I want? Either deprecation or validation error. https://github.com/php/php-src/pull/15647 > - Behavior changes in undefined or undocumented edge cases MAY be allowed if > well justified. However, care SHOULD be taken to minimize disruption. Kind regards, Jorg