pyrefly.toml

project-includes = [
    "src/socketio-stubs",
    "src/tests",
    ".agents/skills/socketio-stub-updater/**/*.py",
]
python-platform = "linux"
python-version = "3.12"
min-severity = "warn"
check-unannotated-defs = true
infer-return-types = "checked"
strict-callable-subtyping = true

[errors]
abstract-method-call = "error"
annotation-mismatch = "error"
bad-argument-count = "error"
bad-argument-type = "error"
bad-assignment = "error"
bad-class-definition = "error"
bad-context-manager = "error"
deprecated = "warn"
implicit-abstract-class = "error"
implicit-any = "error"
implicit-import = "error"
implicitly-defined-attribute = "error"
non-exhaustive-match = "error"
not-required-key-access = "error"
open-unpacking = "error"
redundant-cast = "error"
redundant-condition = "error"
reveal-type = "warn"
unannotated-attribute = "error"
unannotated-parameter = "error"
unannotated-protocol-member = "error"
unannotated-return = "error"
unnecessary-comparison = "error"
unreachable = "error"

# Keep third-party stub noise out unless we explicitly decide to enforce it.
untyped-import = "ignore"
unresolvable-dunder-all = "warn"
unused-ignore = "error"
variance-mismatch = "warn"

# stub only
missing-source = "ignore"
missing-override-decorator = "ignore"

[[sub-config]]
matches = "src/tests/**"

[sub-config.errors]
implicit-any = false