Repository navigation
os doctor prints ✓ Test coverage / ✓ Deprecations about a tree it never examined (in any user app) #10679
Description
Activity
Triage: lands in
packages/cli(doctor.ts—findMissingTests/findDeprecatedUsagesearly-returns + the✓print sites + theNot builtprobe) ⇒pm:queue·domain:cli· type Bug. Rationale: a ✓ over a tree that was never examined violates doctor's own withhold-the-✓ discipline (ledgerReadingIsCompleteprecedent at:2063) — restore the invariant: skip with a named reason or scope the line to what was actually walked.Serial constraint (fold-or-serial answered): #10680 also edits
doctor.ts. Family gate ① fails — different defect shapes (unexamined-tree ✓ scoping vs. a wrong prescribed command hint), different fixes — so the default is serial: this card first, #10680 after it lands (or the cli seat may fold both into one claim by answering the five gates itself at claim time; both are S/M and from the same QA audit). Whoever goes second merges main first and re-reads the touched lines.Size/model suggestion: S-to-M, opus floor.
Generated by Claude Code
- added a commit that references this issue
on Aug 23, 2026
Found by QA run #10663 driving
cli.doctor-health-reportat framework79ebb37. Also recorded in PR #10147 FOLLOW-UPS §7c (D12); this card is its extraction with live confirmation.Symptom
In any user-app cwd with no
<cwd>/packages/spec/src(a stockcreate-objectstack -t blankscaffold),os doctorprints verbatim:about a tree it never walked (
ls packages/spec/src→ "No such file or directory" in the same cwd). Reproduced ×2.Root cause
findMissingTests(doctor.ts:1141-1143) andfindDeprecatedUsages(:1159-1161) both early-return[]when<cwd>/packages/spec/srcdoes not exist; theelsebranches then print✓ Test coverage(:1939) and✓ Deprecations(:1951). This violates doctor's own withhold-the-✓ discipline (theledgerReadingIsCompletegate at:2063-2065used for the installed-packages ledger) — a ✓ over an unexamined tree should be withheld, scoped to the tree actually examined, or skipped with a named reason.Adjacent (same card)
⚠ @objectstack/spec Not built(doctor.ts:1837) probes<cwd>/packages/spec/distand is monorepo-anchored noise in a user app — same class.Suggested fix
Gate both ✓ lines on the scanned tree actually existing; when it does not, skip the check (named reason) or scope it. Both checks are monorepo-internal — they should not run, or should announce themselves as skipped, in a user app.
Passing clauses
The seven real health checks pass: env-provenance attribution (#5387), posture-as-error (#5382), ledger independence across postures (#5429), withheld unique-scope on incomplete ledger, config-analysis both ways (orphan view / circular / unused + the three ✓), exit contract (1 iff error, warnings never flip).
QA-source: #10663 · cli.doctor-health-report · clause 7 (expected-fail probe)