chore(types): annotate four containers mypy could not infer

Each element type is taken from how the container is used rather than
guessed: kept_items is returned from trim_to_fit, whose signature is
already list[Any]; traces collects the dicts built at the append site;
expert_results and tool_outputs are keyed by tool_name (str) and hold
ToolReturnPart.content.

tracing_router.py needed `from typing import Any` added — it had no
import for it, so annotating without that would have traded a
var-annotated error for a name-defined one. Function-body variable
annotations are not evaluated at runtime, so this would not have raised;
mypy was the only thing that would have caught it.

90 errors -> 86.

Co-Authored-By: Claude <noreply@anthropic.com>
This commit is contained in:
2026-08-19 16:30:22 +02:00
co-authored by Claude
parent 3696a40f97
commit 7c5fca06c3
3 changed files with 5 additions and 4 deletions
+2 -2
View File
@@ -736,8 +736,8 @@ class TatlockAgent(AgentInterface):
# Extract tool calls and results from the agent's messages # Extract tool calls and results from the agent's messages
tools_called = [] tools_called = []
expert_results = {} expert_results: dict[str, Any] = {}
tool_outputs = {} tool_outputs: dict[str, Any] = {}
# Parse through new messages to find tool calls and returns # Parse through new messages to find tool calls and returns
for msg in result.new_messages(): for msg in result.new_messages():
+2 -1
View File
@@ -7,6 +7,7 @@ Only available when DEBUG=true.
from datetime import UTC from datetime import UTC
from pathlib import Path from pathlib import Path
from typing import Any
from fastapi import APIRouter, HTTPException from fastapi import APIRouter, HTTPException
from fastapi.responses import HTMLResponse, JSONResponse from fastapi.responses import HTMLResponse, JSONResponse
@@ -82,7 +83,7 @@ async def list_traces(
reverse=True, reverse=True,
) )
traces = [] traces: list[dict[str, Any]] = []
for path in trace_files: for path in trace_files:
if len(traces) >= limit: if len(traces) >= limit:
break break
+1 -1
View File
@@ -83,7 +83,7 @@ class ContextWindow:
return [] return []
# Start from most recent, work backwards # Start from most recent, work backwards
kept_items = [] kept_items: list[Any] = []
current_tokens = 0 current_tokens = 0
for item in reversed(items): for item in reversed(items):