Repository navigation
TypedPython gate: cut the type-report overhead #21
Description
What
The gate costs about 8× a plain pyrefly check (1800-line synthetic module, design §6.1). Most of it is presumably --report-pysa writing typeshed copies; that is not yet broken down. Measure where the time goes, and reduce it before the gate runs on every build (1b).
Done when
The measurement test shows the gate at ≤ 2× a plain pyrefly check, measured alone (AGENTS.md §8). Otherwise the remaining cost is explained, with numbers.
Activity
b-re-w commentedon Oct 3, 2026
Quiet-window reading (develop e888e7f, load about 1.2 at start): 1800-line module, plain pyrefly 278 ms, gate 1368 ms, ratio 4.93x. Under load it was 7.6x. Still above the 2x target. Next step, when usage allows: a numeric breakdown of the gate's fixed cost (pysa report, probe pass, forbidden-construct scan, process start-up) to decide between reaching 2x and closing with the breakdown, as agreed.
b-re-w commentedon Oct 3, 2026
Also covers the first-import delay of the development-mode import gate (#183): every first import of a changed module pays this fixed cost.
Merge pull request #267 from thisisthepy/feat/tp-gate-cost
b-re-w commentedon Oct 24, 2026
Landed in develop via #267 (8x -> 6.2x; remaining cost explained in the PR). Quiet-window number to follow.