add-or-fix-type-checking

From README

Add Or Fix Type Checking Input : module or directory to type-check (if known). Optional make typing or CI output showing typing failures. Workflow Identify scope from the failing run: If you already have make typing or CI output, extract the failing file/module paths. If not, run: Choose the narrowest target that covers the failures. Run ty check for the target to get a focused baseline: Triage errors by category before fixing anything: Wrong/missing type annotations on signatures Attribute access on union types (for example X | None) Functions returning broad unions (for example str | list | BatchEncoding) Mixin/protocol self-type issues Dynamic attributes on objects or modules Third-party stub gaps (missing kwargs, missing version, etc.) Apply fixes using this priority order (simplest first): a. Narrow unions with isinstance() / if x is None / hasattr(). This is the primary tool for resolving union-type errors.