chore(typing): scope unresolved-import per-file, fix a confidence OverflowError, retract three doc claims - #439

Merged

damo-da merged 3 commits into

Jawafdehi:mainfrom

damodaha:chore/typing-review-followup

Aug 7, 2026

Commits on Aug 7, 2026

chore(typing): gate unresolved-import per-file, and run ty on uv.lock
oopsy
committed
4988414
fix(proposals): catch OverflowError on a confidence too big for a float
oopsy
committed
c66c8c5
docs: retract the ty-gate claims that did not survive verification
oopsy
committed
a77ad5d