осталось только инпуты научиться валидировать, чтобы можно было пхпдоки ставить не на авось) Ну т.е. в рантайме positive-int не закроешь, например. С другой стороны это, наверное, не оч частые кейсы
инструменты есть, а вот подумать и написать - это уже сложнее 🤔 я про то, что человекам не сразу может быть понятно где и в каких местах (и почему) можно @var-ом заткнуть psalm, а где нет