qw doctor (top-level) is referenced as planned product surface but is not implemented (only qw warpspace doctor exists). Now that qw init resolves Wesley from a crate install source, there is a clear, useful first scope for it.
Idea: implement qw doctor as a toolchain/workspace health check that reports:
- whether the resolved Wesley binary (
crate source) is on PATH, its path, and wesley --version vs the manifest's declared version (with the cargo install wesley-cli hint when missing),
- whether declared family schemas + materialized contracts exist,
- whether
warpspace.lock.json is consistent with warpspace.toml / the manifest,
- the resolved runner/command set and which projections it can actually emit.
It gives users a one-command answer to "is my stack toolchain set up correctly?" and is the natural home for the new crate-source resolution diagnostics. Pairs well with the manifest-validation idea.
qw doctor(top-level) is referenced as planned product surface but is not implemented (onlyqw warpspace doctorexists). Now thatqw initresolves Wesley from acrateinstall source, there is a clear, useful first scope for it.Idea: implement
qw doctoras a toolchain/workspace health check that reports:cratesource) is onPATH, its path, andwesley --versionvs the manifest's declared version (with thecargo install wesley-clihint when missing),warpspace.lock.jsonis consistent withwarpspace.toml/ the manifest,It gives users a one-command answer to "is my stack toolchain set up correctly?" and is the natural home for the new crate-source resolution diagnostics. Pairs well with the manifest-validation idea.