Repository navigation
packages/qa/dogfood 的 tsconfig 没人跑 —— 14 个类型错误积在一个「声明了但未执行」的门后面 #4855
Description
Activity
认领(PM 分派)
- session:
session_018iARDqtrhQgz6fVHDeDkbQ - 分支:
claude/issue-4855-dogfood-typecheck-wired - 车道:
domain:devx(落点packages/qa/dogfood)
阻塞解除:#4719 的 PR #4999 已过审进队(动了同包的 enterprise-organizations 测试),从最新 main 开分支即可。本单形状与全会话主线一致:strict tsconfig 声明了、没有
typecheckscript 执行它 —— declared ≠ enforced,14 个类型错误积在门外。
Generated by Claude Code
- session:
审核通过 — PR #5002 已取消草稿并挂上 auto-merge(SQUASH)
议题前提被更正,而更正后的事实比原指控更有说服力:
check-type-check-coverage的门禁不是没看见这个包 —— 它把 dogfood 记成了DEBT(12),COVERED 不变量被"有台账条目"这条分支满足。真实的发现是:台账在 3 天里从 12 漂到 14 —— 用一条记录顶替一次执行,记录就会漂,这正是毕业(修完 + 接线 + 同 PR 删台账条目)而非重测计数的论据。dev 走的正是台账自己文档写明的毕业路径,COVERED / RECONCILED 两条不变量都不违反。覆盖率 60/77 → 61/77。14 个错误里挖出一个真契约缺陷(议题的三类机械分类漏了它):测试用
handler!({})冒充引擎派发,而引擎总是传两个参数 —— 只因这个 MCP handler 恰好忽略ctx才一直没炸。修在调用点(补第二参)而不是把生产者的ctx放宽成可选 —— 方向对:contract-first,不为测试的便利松动生产契约。: Flow优于议题建议的as const,理由是本质性的:as const只让报错闭嘴,类型标注让整个 fixture 对着 spec 的真实 schema 被检查 —— 反向验证的 sabotage(塞非法type字面量)之所以能被抓到,全靠这一点。而且标注后零额外报错,证明 fixtures 一直结构合法,只是type字面量此前不受约束。恢复证明用了 turbo 的缓存哈希:revert 后
cache hit, replaying logs 238d29ba02f83710,与注入前的绿运行哈希逐字相同 —— 精确态恢复,不是陈旧缓存的假绿。这个证法值得推广。共享文件:
scripts/check-type-check-coverage.mjs删 4 行台账(毕业要求),零冲突面。留给维护者的一条观察(dev 提出,不立单):DEBT 机制的固有漂移(3 天 +2)说明冻结数字的台账需要一个"重测对账"的节拍,否则每个 DEBT 条目都在静默过期 —— 若哪天有人想做,
check-type-check-coverage的 self-test 是现成的挂点。
Generated by Claude Code
- added a commit that references this issue
on Aug 4, 2026 - added a commit that references this issue
on Aug 4, 2026
发现于 #4700 的收尾验证(顺手跑了一次
tsc --noEmit),与那条 issue 无关,按 Prime Directive #10 单独归档,未在 #4700 的 PR 里修。现象
packages/qa/dogfood/tsconfig.json是一份认真的配置 ——strict: true、module/moduleResolution: NodeNext、include: ["src/**/*", "test/**/*"]。但packages/qa/dogfood/package.json的 scripts 只有test:packages/qa/dogfoodtestpackages/qa/downstream-contracttypecheck,testpackages/qa/http-conformancetest,typecheck根
pnpm typecheck是turbo run typecheck,只会跑声明了该 script 的包。于是 dogfood 这份 tsconfig 从来没有被执行过 —— 三个 qa 包里唯一漏掉的一个。积下来的量
分三类:
field-zoo-roundtrip.dogfood.test.ts:24与field-zoo-value-shape.test.ts:17都写from './field-zoo.matrix'。文件确实在(test/field-zoo.matrix.ts),但moduleResolution: NodeNext要求'./field-zoo.matrix.js',所以报TS2307: Cannot find module。vitest 能跑,tsc 不认。type没收窄(多处) ——test/fixtures/flow-durable-suspend-fixture.ts:103、flow-function-effect-fixture.ts:71等,对象字面量推成type: string,赋给 flow 那个字面量联合(api | schedule | autolaunched | screen | record_change)时失败。加as const或显式标注即可。attachments-permission-matrix.dogfood.test.ts:67,81,token ? { Authorization } : {}展开后与HeadersInit不兼容。为什么值得记一笔
这就是「declared ≠ enforced」在构建配置层的形状:一份
strict的 tsconfig 摆在那里,读代码的人(和写代码的 agent)会合理地假设它在 CI 里把关,于是照着它的严格度写;实际上没有任何一步跑它。dogfood 是这个仓最重的行为门,它的 fixture 类型漂移没有任何东西会挡。而且它是可修的:14 个错误都是机械性的,没有一个需要架构决定。建议
packages/qa/dogfood/package.json加"typecheck": "tsc --noEmit",让它进turbo run typecheck的图 —— 与两个 sibling qa 包一致。如果结论是「dogfood 故意不做类型检查」,那么该删的是这份 tsconfig(或把它降到非 strict),而不是让一份没人执行的严格配置继续留在那里误导人。
Refs: #4700(发现处)、Prime Directive #10