Add static and runtime type checking to the CAPI2 Schema.

.github/workflows/ci.yml

@@ -23,12 +23,11 @@ jobs:
         # https://github.com/olofk/fusesoc/issues/528
         #- { icon: 🧊, name: windows-latest }
         pyver:
-          - '3.7'
-          - '3.8'
-          - '3.9'
           - '3.10'
           - '3.11'
           - '3.12'
+          - '3.13'
+          - '3.14'
         exclude:
           #Fails because github can't find an arm64 image for Python 3.7???
           - os: {name: macos-latest}

.pre-commit-config.yaml

@@ -41,3 +41,40 @@ repos:
       - id: ruff-check
       # The formatter could be run in the future
       #- id: ruff-format
+  - repo: https://github.com/pre-commit/mirrors-mypy
+    rev: v1.13.0
+    hooks:
+      - id: mypy
+        # Typed runtime deps mypy needs to resolve imports for the
+        # strict-checked modules. Keep in sync with `pyproject.toml`'s
+        # `[project].dependencies` for any package that ships type info.
+        additional_dependencies:
+          - pydantic>=2.13.3
+          - typing_extensions
+          - pyparsing>=2.3.1
+          - types-PyYAML
+        args: [--config-file=pyproject.toml]
+        # Don't let pre-commit pass file paths as arguments — they would
+        # override `files = [...]` in pyproject.toml and pull every Python
+        # file into the check regardless of the strict whitelist.
+        pass_filenames: false
+  - repo: local
+    hooks:
+      # ty doesn't have an upstream pre-commit hook repo yet (Astral ships
+      # one for ruff and uv but not ty). Until it does, use a local hook
+      # with `language: python` so pre-commit installs the pinned ty into
+      # an isolated venv on every contributor's machine.
+      - id: ty-check
+        name: ty check
+        entry: ty check
+        language: python
+        # ty itself + the runtime deps needed to resolve imports for the
+        # checked modules. Mirror the mypy hook's additional_dependencies
+        # for the same project deps.
+        additional_dependencies:
+          - ty>=0.0.34
+          - pydantic>=2.13.3
+          - typing_extensions
+          - pyparsing>=2.3.1
+        types_or: [python, pyi]
+        pass_filenames: false