typecheck¶
Type-check with all four gating checkers, in parallel.
basedpyright runs --warnings so a warning fails the gate exactly as an
error does — a warning nobody has to act on is a warning everybody stops
reading. mypy is strict on footman itself and checks every test body as
consumer code — once per platform (linux from config, darwin and win32
by flag), since mypy has no all-platforms mode; ty and pyrefly check
every platform at once (python-platform = "all") at the scopes
pyproject pins. All four gate: a checker footman uses is a checker the
tree is clean against.