# The `verify` make target uses staticcheck as a correctness gate. We inherit
# staticcheck's default analyzers (bug detection SA*, simplifications S*, unused
# code U*) but disable ST1012, a purely cosmetic convention that error variables
# be named ErrFoo. Renaming the package's existing NotFound/NotImplemented would
# be lint churn unrelated to verification, so it is intentionally not enforced.
checks = ["inherit", "-ST1012"]