chore: switch type checker from mypy to pyright strict

Replace mypy with pyright as the primary type checker. pyright is
faster, catches more real bugs (better type narrowing, generic
inference, union handling), and is the industry standard for production
Python SDKs (used by OpenAI, Anthropic, Stripe).

- Replace mypy with pyright in noxfile.py (typecheck + ci sessions)
- Swap mypy for pyright in type_check dependency group
- Remove [tool.mypy] config section
- Add [tool.pyright] with typeCheckingMode = "strict"
- Update uv.lock

The generated SDK passes pyright strict with 0 errors across 374 files.

This also addresses #600 (SsoProviderType enum removal) — the emitter
generates all spec enums as str/Enum classes, restoring attribute
access (e.g., EnumName.VALUE) that was lost when v5 switched to
Literal type aliases.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: gjtorikian

noxfile.py

@@ -56,8 +56,8 @@ def format_fix(s: nox.Session) -> None:
 
 @session(uv_groups=["type_check"])
 def typecheck(s: nox.Session) -> None:
-    """Run type checking with mypy."""
-    s.run("mypy")
+    """Run type checking with pyright."""
+    s.run("pyright")
 
 
 @session(uv_groups=["test", "lint", "type_check"])
@@ -68,5 +68,5 @@ def ci(s: nox.Session) -> None:
     """
     s.run("ruff", "format", "--check", ".")
     s.run("ruff", "check", ".")
-    s.run("mypy")
+    s.run("pyright")
     s.run("pytest")

pyproject.toml

@@ -25,6 +25,7 @@ dev = [
   { include-group = "lint" },
   { include-group = "type_check" },
   { include-group = "nox" },
+  "pyright>=1.1.408",
 ]
 test = [
   "pytest==8.3.4",
@@ -33,25 +34,13 @@ test = [
   "six==1.17.0",
 ]
 lint = ["ruff==0.14.5"]
-type_check = ["mypy==1.14.1"]
+type_check = ["pyright>=1.1.408"]
 nox = [
   "nox>=2024.10.9",
   "nox-uv>=0.7.0",
 ]
 
 
-[tool.mypy]
-packages = "workos"
-warn_return_any = true
-warn_unused_configs = true
-warn_unreachable = true
-warn_redundant_casts = true
-warn_no_return = true
-warn_unused_ignores = true
-implicit_reexport = true
-strict_equality = true
-strict = true
-
 [tool.ruff.lint.per-file-ignores]
 "*/__init__.py" = ["F401", "F403"]
 
@@ -62,6 +51,10 @@ max-complexity = 10
 source-include = ["py.typed"]
 source-exclude = ["tests*"]
 
+[tool.pyright]
+typeCheckingMode = "strict"
+include = ["workos"]
+
 [build-system]
 requires = ["uv_build>=0.8.15,<0.9.0"]
 build-backend = "uv_build"