pub fn tool_version(
cwd: &Path,
gate: &TreeGate,
deadline: Instant,
cancel: &AtomicBool,
) -> Option<String>Expand description
The version of the tool the gate actually runs, as best it can be read
without running the gate. Never touches .venv or the network on its own
account; a wrapper that does (pyright’s) is bounded by deadline and
cancel, like any gate run. None when it could not be read in time —
the caller withholds rather than guess.