Optimize the Pyright type checker for speed. The baseline is a frozen Pyright v1.1.400 binary. The agent must pass a minimum number of tests and produce diagnostics that exactly match the baseline output.
Evaluation
Metricgeometric mean speedup vs frozen Pyright v1.1.400 binary
Correctness gate≥1,500 / ~1,858 Jest tests passing + diagnostic output must match baseline exactly