Ruff + Ty vs Ruff + Pyrefly — which type checking stack makes more sense in 2026?

I’m trying to decide between two Python tooling stacks:

• Ruff + Ty
• Ruff + Pyrefly

Curious what people are using in practice.

• When does Pyrefly become worth the extra complexity?
• Is Ty “enough” for most real-world projects?
• Are they solving fundamentally different problems?