[cli] Separate lines of source code checked & lines of dependencies checked in summary

[rosmur]

Describe the Bug

When checking with uvx pyrefly check, the reported number of lines (eg: 180400) is far larger than number of lines in my source code. It is likely including in this number everything in the venv.

Sandbox Link

No response

(Only applicable for extension issues) IDE Information

No response

[ndmitchell]

It is indeed reporting the entire venv, since it is checking everything in the venv. This makes sense in terms of how much work Pyrefly did, which is why we were initially displaying. I guess you were hoping to see how many lines are in your code?

[rosmur]

I guess you were hoping to see how many lines are in your code?

Yep correct

I guess you were hoping to see how many lines are in your code?

Hmm, isn't it ignoring the venv by default?

Also, the modules reported are correct (dont include the venv) but the lines aren't, thus there's an internal inconsistency (example attached).

Reporting the N lines of your project code that pyrefly went over is what the user would care about more?

[grievejia]

Would it be better if we clarify the message of "XXX lines" to "XXX lines in transitive dependencies"? Or do you want us to report "XXX lines in my project" as well?

[yangdanny97]

Maybe the format could be like:

7 modules (XXX lines), 492 transitive dependencies (180,400 lines)

[rosmur]

yeah that looks good! I'd propose a minor modification for readability like:

SOURCE CODE: x modules, y lines
TRANSITIVE DEPENDENCIES: x models, y lines