diff --git a/pyproject.toml b/pyproject.toml
index c7a2099..7ea447b 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -82,46 +82,6 @@ include = ["src/kida/utils/html.py", "src/kida/utils/terminal_escape.py", "src/k
 [tool.ty.overrides.rules]
 invalid-method-override = "ignore"
 
-# Compiler mixin patterns: mixins access attributes defined in sibling
-# mixins or the host class. ty cannot resolve cross-mixin attribute access.
-# See plan/rfc-mixin-protocol-typing.md for the long-term fix.
-[[tool.ty.overrides]]
-include = [
-    "src/kida/compiler/core.py",
-    "src/kida/compiler/expressions.py",
-    "src/kida/compiler/coalescing.py",
-    "src/kida/compiler/stream_transform.py",
-    "src/kida/compiler/partial_eval.py",
-    "src/kida/compiler/block_recompile.py",
-    "src/kida/compiler/utils.py",
-    "src/kida/compiler/statements/*.py",
-]
-[tool.ty.overrides.rules]
-unresolved-attribute = "warn"
-
-# Parser mixin patterns: same cross-mixin attribute access issue.
-[[tool.ty.overrides]]
-include = [
-    "src/kida/parser/core.py",
-    "src/kida/parser/expressions.py",
-    "src/kida/parser/statements.py",
-    "src/kida/parser/blocks/*.py",
-]
-[tool.ty.overrides.rules]
-unresolved-attribute = "warn"
-
-# Analysis visitor pattern: visitor methods dispatch on node type and access
-# subclass-specific attributes via the base Node type.
-[[tool.ty.overrides]]
-include = [
-    "src/kida/analysis/dependencies.py",
-    "src/kida/analysis/purity.py",
-    "src/kida/analysis/a11y.py",
-    "src/kida/analysis/type_checker.py",
-]
-[tool.ty.overrides.rules]
-unresolved-attribute = "warn"
-
 # Optional framework integrations (not installed in minimal dev env).
 [[tool.ty.overrides]]
 include = ["src/kida/contrib/flask.py", "src/kida/contrib/starlette.py"]