From 20fbacd5caacdc4fc21709fb486bfcd31776c44b Mon Sep 17 00:00:00 2001 From: Tristan Simas Date: Thu, 29 Oct 2026 23:49:28 -0400 Subject: [PATCH] ClientTypeErrors measures AgentCommsProject through the audit's project parameter #3630 narrowed ClientTypeErrors.parts(repo: AgentCommsProject) to read repo.clients, and mypy rejected the override against Runner.parts(repo: Project) [override]; CI's debt-tools went red on #3566. The pinned audit now makes Runner, Compared and SideCounts generic in the project they read (refactor-audit fix/generic-project-runner b80510df), so the measure declares SideCounts[AgentCommsProject] and its parts takes the project it actually reads, with no narrowing. mypy (the TypeErrors measure's invocation) on tools/agent_comms_project.py: 1 error before, 0 after. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01RnH6dS2Kmg1WxNnAc78YHA --- src/agent_comms/skills/refactor-audit | 2 +- tools/agent_comms_project.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/agent_comms/skills/refactor-audit b/src/agent_comms/skills/refactor-audit index c69c4daf17..b80510df32 160000 --- a/src/agent_comms/skills/refactor-audit +++ b/src/agent_comms/skills/refactor-audit @@ -1 +1 @@ -Subproject commit c69c4daf175aa469545186b46df0c38e9a27fb44 +Subproject commit b80510df326823a99e4bfe018ef484e44394b1e8 diff --git a/tools/agent_comms_project.py b/tools/agent_comms_project.py index c5b1e8b779..553bc8d858 100644 --- a/tools/agent_comms_project.py +++ b/tools/agent_comms_project.py @@ -251,7 +251,7 @@ def grew(self, grown: int) -> str: "that client file uses; run mypy on it to see which") -class ClientTypeErrors(audit.checkers.SideCounts): +class ClientTypeErrors(audit.checkers.SideCounts[AgentCommsProject]): """Mypy errors in each stack client file that imports agent_comms, checked against each revision's package. Both sides read the same client commit, so the client's own errors cancel and an error the head adds is a name or signature the client uses that the change took away: