Problem
The python-codestyle skill names only pyright mechanisms for relaxing type-check strictness:
.agents/skills/python-codestyle/SKILL.md, the type-checking baseline paragraph, relaxes third-party strictness only through "a targeted, commented # pyright: ignore[...] or a scoped [tool.pyright] override"..agents/skills/python-codestyle/references/code-style.md, the # type: ignore bullet, configures a recurring false-positive suppression "project-wide in [tool.pyright]".
The #1941 change makes mypy strict a first-class choice as a build directory's only CI checker. In that directory CI never runs pyright, so neither mechanism suppresses the mypy error failing the gate. The mypy equivalents, a [[tool.mypy.overrides]] entry and # type: ignore[<code>], are never mentioned. The same gap applies to relaxing a test tree under mypy's strict flags, which is done flag by flag in an override.
Expected
Each passage names the mechanism for whichever checker is the CI gate, the pyright form and the mypy form side by side.
Found by a local strict review pass on the #1941 change. It predates that change.
Problem
The python-codestyle skill names only pyright mechanisms for relaxing type-check strictness:
.agents/skills/python-codestyle/SKILL.md, the type-checking baseline paragraph, relaxes third-party strictness only through "a targeted, commented# pyright: ignore[...]or a scoped[tool.pyright]override"..agents/skills/python-codestyle/references/code-style.md, the# type: ignorebullet, configures a recurring false-positive suppression "project-wide in[tool.pyright]".The #1941 change makes mypy strict a first-class choice as a build directory's only CI checker. In that directory CI never runs pyright, so neither mechanism suppresses the mypy error failing the gate. The mypy equivalents, a
[[tool.mypy.overrides]]entry and# type: ignore[<code>], are never mentioned. The same gap applies to relaxing a test tree under mypy's strict flags, which is done flag by flag in an override.Expected
Each passage names the mechanism for whichever checker is the CI gate, the pyright form and the mypy form side by side.
Found by a local strict review pass on the #1941 change. It predates that change.