Use the pyrefly strict preset

The strict preset enables unused-ignore along with implicit-any,
missing-override-decorator and other checks. Fix the new errors:
add @OverRide decorators, replace an untyped lambda sort key with a
typed function, and type two empty containers.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Author: adamtheturtle

pyproject.toml

@@ -454,7 +454,7 @@ search_path = [
     "src",
 ]
 errors.non-exhaustive-match = "error"
-errors.unused-ignore = "error"
+preset = "strict"
 
 [tool.pyright]
 typeCheckingMode = "strict"

src/mock_vws/_httpx2_mock_server/decorators.py

@@ -10,7 +10,7 @@
 import re
 from collections.abc import Callable, Mapping, Sequence
 from dataclasses import dataclass
-from typing import Protocol
+from typing import Protocol, override
 from unittest import mock
 from urllib.parse import urlparse
 
@@ -173,6 +173,7 @@ def __init__(
         self._fakes = fakes
         self._wrapped = wrapped
 
+    @override
     def handle_request(self, request: httpx2.Request) -> httpx2.Response:
         """Handle a request from a synchronous ``httpx2`` client.
 
@@ -217,6 +218,7 @@ def __init__(
         self._fakes = fakes
         self._wrapped = wrapped
 
+    @override
     async def handle_async_request(
         self,
         request: httpx2.Request,

src/mock_vws/_mock_common.py

@@ -1,11 +1,12 @@
 """Common utilities for creating mock routes."""
 
+import datetime
 import email.utils
 import json
 import uuid
 from collections.abc import Iterable, Mapping
 from dataclasses import dataclass
-from typing import Any
+from typing import Any, override
 
 from beartype import beartype
 
@@ -34,6 +35,7 @@ def __init__(self, url: str) -> None:
         super().__init__()
         self.url = url
 
+    @override
     def __str__(self) -> str:
         """
         Give a string representation of this error with a
@@ -80,6 +82,19 @@ class Route:
     http_methods: Iterable[str]
 
 
+@beartype
+def _upload_order_key(target: ImageTarget) -> tuple[datetime.datetime, str]:
+    """Give the sort key which orders targets by upload date, then ID.
+
+    Args:
+        target: The target to give a sort key for.
+
+    Returns:
+        The target's upload date and ID.
+    """
+    return (target.upload_date, target.target_id)
+
+
 @beartype
 def sorted_targets(*, targets: Iterable[ImageTarget]) -> list[ImageTarget]:
     """Put targets into a deterministic order.
@@ -94,10 +109,7 @@ def sorted_targets(*, targets: Iterable[ImageTarget]) -> list[ImageTarget]:
     Returns:
         The given targets, ordered by upload date and then by target ID.
     """
-    return sorted(
-        targets,
-        key=lambda target: (target.upload_date, target.target_id),
-    )
+    return sorted(targets, key=_upload_order_key)
 
 
 @beartype

src/mock_vws/_model_target_web_api.py

@@ -1335,7 +1335,7 @@ def _validate_dataset_request(
         for model in models:
             if isinstance(model.get("views"), list):
                 model["views"] = [
-                    view if isinstance(view, dict) else {}
+                    view if isinstance(view, dict) else dict[str, Any]()
                     for view in model["views"]
                 ]
         details = (

tests/mock_vws/test_model_target_web_api.py

@@ -2394,7 +2394,7 @@ def test_client_credential_authentication_errors() -> None:
         """Credential-management routes enforce bearer-token validity and
         scope.
         """
-        headers = [
+        headers: list[dict[str, str]] = [
             {},
             {"Authorization": "Bearer malformed"},
             {"Authorization": "Bearer e30.e30.signature"},