[finding] `packages/qa/dogfood/tsconfig.json` includes `src/**/*`, a directory the package does not have

[os-zhuang]

What

packages/qa/dogfood/tsconfig.json declares:

"include": ["src/**/*", "test/**/*"]

The package has no src directory. Its whole tree is CHANGELOG.md, README.md, package.json, test/, tsconfig.json, vitest.config.ts — measured on origin/main @ 9faa9bc51d:

$ ls -d packages/qa/dogfood/src
ls: cannot access 'packages/qa/dogfood/src': No such file or directory

Impact, stated honestly: low

Nothing is broken today. test/**/* matches real files, so tsc has inputs and typecheck (tsc --noEmit) behaves correctly; a non-matching include glob is simply dropped. This is a dead config entry, not a coverage hole — worth recording, not worth interrupting anyone for.

Why it is worth a line anyway

It is the neighbouring class to #10880 (GENERATED_COVERED, PR #10896), and the two are worth keeping distinct rather than merged:

• [finding] check:type-check-coverage has no invariant for a tsconfig include that names a GENERATED directory the package's typecheck script never generates #10880's class — an include root that is gitignored, i.e. deliberately produced by something. Its absence makes tsc read green over files that were meant to be in the program. That is now guarded.
• This one — an include root that is neither checked in nor generated. It simply names nothing, in either direction.

I deliberately did not widen the new invariant to cover it while implementing #10880. The detector there is "is this path gitignored", which cleanly separates "generated by design" from "names nothing"; folding this in would have meant flagging a dead glob with a message telling the author to declare a generator for it, which is the wrong remedy. It was the only instance the census turned up: of 101 include roots across the workspace, 3 are gitignored (all in apps/docs) and exactly 1 is a non-ignored root that does not exist — this one.

Possible dispositions, for triage rather than as a recommendation

1. Delete "src/**/*" from the array — correct if the package is test-only by design.
2. Leave it, if a src/ is expected to arrive.
3. If it is judged worth a mechanical guard, that would be a third invariant in check-type-check-coverage.mjs ("an include root that is neither tracked nor ignored names nothing"), with the caveat that its population is currently one entry and its impact is cosmetic — the four-axis case for spending a guard on it is not obviously positive, and I am not making it here.

Found while implementing #10880; deliberately kept out of PR #10896, whose diff is one file (scripts/check-type-check-coverage.mjs). Unassigned, and not queued.

[huangyiirene]

Triage (finding first-touch): promoted to pm:queue — domain:devx, type Task, S mechanical. Verified on origin/main @ 58563be0: packages/qa/dogfood/ has no src/ (tree is CHANGELOG/README/package.json/test/tsconfig/vitest.config), and the package is test-only by design (dogfood QA harness), so disposition (1) — delete "src/**/*" from the include array — is the ruled fix. ⛔ Not disposition (3): a third invariant for a population of one with cosmetic impact fails the focus axis; the filer's own four-axis read agrees. Foldable into any devx family batch as a rider if one is passing nearby (it is its own file — no serial constraint).

---

Generated by Claude Code