Prouver et avouer, ne pas seulement linter (fr)

Pourquoi les règles exécutables ne sont que la moitié facile : les vérifications autour du code écrit par des agents doivent exiger la présence, rapporter leurs angles morts, et être écrites comme un standard plutôt que collectées comme des règles.