refactor: remove obsolete core ty overrides

[lbliii]

Summary

• remove all three obsolete parser, compiler, and analysis unresolved-attribute = "warn" overrides
• restore normal ty error severity across Kida's core parsing, codegen, and static-analysis pipelines
• preserve only unrelated, explicitly justified overrides for safe-string wrappers and optional imports

Advances #142. Draft PR #163 supplies the non-overlapping RFC/history update required by that issue.

Verification

• make ty
• make lint
• make test (4280 passed, 5 skipped)
• uv run pytest tests/analysis tests/unit/test_a11y.py tests/unit/test_purity.py tests/unit/test_type_checker.py (289 passed)
• uv run pytest tests/test_kida_parser_edge_cases.py tests/test_kida_property_parser.py tests/test_compiler_expr_dispatch.py tests/test_kida_compiler_edge_cases.py (135 passed, 1 skipped)
• git diff --check

Steward Notes

• Consulted: static-analysis, parser/syntax, compiler/codegen, and planning stewards
• Accepted: remove each override only after independently proving its included modules pass at normal ty severity
• Required proof: full make ty, full test suite, affected analysis tests, and parser/compiler regression suites
• No collateral: runtime behavior, public APIs, syntax, diagnostics, docs, examples, schemas, and benchmarks are unaffected because this only strengthens existing static-check configuration
• Planning collateral: handled in draft PR [codex] clarify active and historical plans #163 to avoid conflicting edits to the same historical RFCs

[Copilot]

Pull request overview

This PR removes previously broad ty override blocks that downgraded unresolved-attribute to warnings for core compiler/parser/analysis modules, restoring normal ty error severity while keeping narrowly scoped, explicitly justified overrides (safe-string wrappers and optional imports).

Changes:

• Removed the three obsolete unresolved-attribute = "warn" override blocks covering core compiler, parser, and analysis modules.
• Preserved existing targeted overrides for safe-string wrapper LSP exceptions and optional imports used by contrib/terminal tooling.