[dbrattli]

Summary

Dependabot's Python updates (e.g. #4843) edit pyproject.toml but leave uv.lock untouched, so the lock drifts behind its constraints. The cause is an ecosystem mismatch in .github/dependabot.yml: both Python projects use uv (each has a uv.lock), but they were configured as package-ecosystem: "pip", which reads pyproject.toml but cannot maintain uv.lock.

This PR:

• Switches both Python entries in .github/dependabot.yml from pip to uv, so future updates resolve through uv and commit the matching uv.lock changes in the same PR.
• Manually applies the pending ty bump and resyncs the lock, catching up the drift the pip-based config left behind:
  • pyproject.toml: ty>=0.0.62 → >=0.0.63
  • uv.lock: ty 0.0.58 → 0.0.63, and ruff 0.15.21 → 0.15.22 (pyproject already required ruff>=0.15.22; the lock was stale)

uv lock --check passes.

Supersedes #4843 (that PR bumps ty but does not sync the lock).

Test plan

• uv lock --check — lock is consistent with pyproject.toml
• CI green

[github-actions]

Python Type Checking Results (Pyright)

Metric	Value
Total errors	34
Files with errors	4
Excluded files	4
New errors	✅ No

Excluded files with errors (4 files)

These files have known type errors and are excluded from CI. Remove from pyrightconfig.ci.json as errors are fixed.

File	Errors	Status
temp/tests/Python/test_hash_set.py	18	Excluded
temp/tests/Python/test_applicative.py	12	Excluded
temp/tests/Python/test_nested_and_recursive_pattern.py	2	Excluded
temp/tests/Python/fable_modules/thoth_json_python/encode.py	2	Excluded