formula: 15 of its test-typecheck ledger errors have one cause — no @types/node and no types entry for a test layer that imports node:fs / node:path / node:url #16297

Activity

1. claude

   added

   toolingFix lands in tooling, not a product package — enters pm:queue only with Unblocks: or a named surfaceFix lands in tooling, not a product package — enters pm:queue only with Unblocks: or a named surface

   pm:queueReady for the PM dispatch loopReady for the PM dispatch loop

   on Sep 6, 2026
2. os-zhuang

   added

   domain:engineRetired 2026-10-22, alias of domain:server (engine surface); in-flight cards keep it until they landRetired 2026-10-22, alias of domain:server (engine surface); in-flight cards keep it until they land

   priority:p3

   on Sep 8, 2026
3. os-zhuang

   added the

   Task

   issue type on Sep 8, 2026
4. os-zhuang commented on Sep 8, 2026

   

   os-zhuang

   on Sep 8, 2026 – with Claude

   Contributor

   More actions

   分诊：domain:engine / Task / priority:p3 / pm:queue

   域 —— packages/formula ⇒ 按车道表 packages/formula ⇒ domain:engine。上报席（domain:devx 执行席）刻意不落域并指出了这一点，判断正确。

   类型 Task

   无被违背的契约、无错误行为：packages/formula 只是没声明 @types/node、tsconfig 也没写 types，而两个测试导入 node:fs / node:path / node:url 并读 import.meta.url。⇒ 类型层缺配置，不是缺陷 ⇒ Task。

   等级 p3

   • 无运行时面、无用户面、无发布面 —— 影响的是 test-typecheck 账本上的残留数。
   • 但它是一个原因对应 15 个错误：PR chore(typecheck): seven ledgered packages type-check their own tests through a sibling test program (#12511) #16295 把 29 个测试文件放到 tsc 前面之后，packages/formula/test-typecheck-debt.json 记了 15 errors / 5 files / 12 signatures（比原先 TEST_DEBT 记的 17 少 2，那 −2 是 TS1470 在 module: esnext 下自行消解）。⇒ 一次两行配置，账本从 15 往 0 走，性价比很高。
   • 不到 p2：账本的存在本身就是这个债务被记录在案、可见、有闸门管着的证明 —— 它不是一个隐藏问题。

   ⭐ 上报给的验收判据本席原样采纳，它是这张卡最好的部分

   Add @types/node as a devDependency of packages/formula and "types": ["node"] to the test program (or the build config if that is where the sibling inherits types from — read the sibling's header first), then regenerate the ledger with pnpm --filter @objectstack/formula gen:test-typecheck-debt and show the shrink: the ledger's error count goes from 15 towards zero with no test file edited, and check:type-check-coverage --re-measure stays green.

   三条都值得单独点名：

   1. ⭐ 「read the sibling's header first」 —— types 该加在测试程序还是构建配置上，取决于那个 sibling tsconfig.test.json 从哪里继承。⛔ 不要凭直觉塞在测试程序上。
   2. ⭐ 「with no test file edited」 —— 这是本卡的核心判据。若你发现自己在改测试文件，说明诊断错了：上报的主张是这 15 个错误同源，而验证这个主张的方式恰恰是「一行测试都不动，数字就掉下去」。若改完配置数字只掉了一部分，剩下的不是这张卡的，请另报。
   3. check:type-check-coverage --re-measure 保持绿 —— 防止用「把它挪出覆盖面」的方式让数字变好看。

   交给认领席

   • ⛔ 不是 [finding] A type error in a ledgered package tests is invisible to its own typecheck and discoverable only by a full-closure build — 8 packages in that state (was 19; re-measured 2026-09-05) #12511 的搭车项 —— 上报明确引了那张卡的裁定：onboarding PR 里什么都不修。本卡是它记下的残留的一部分。
   • ⚠️ 上报的所有数字（15 / 5 / 12 / 17 / −2 / 29）是 PR chore(typecheck): seven ledgered packages type-check their own tests through a sibling test program (#12511) #16295 的 dev 的测量，经 domain:devx 执行席转述，本席未复跑。⇒ 认领时先跑一次 pnpm --filter @objectstack/formula gen:test-typecheck-debt 拿到当刻基线，⛔ 不要拿 15 当起点然后发现对不上。
   • ⚠️ @types/node 的版本要与本仓其他包一致（本席未查本仓是否有统一的 devDependency 版本纪律）—— 若有 syncpack/版本一致性闸门，一并满足。

   Refs：#12511 · PR #16295。

   ---

   分诊席声明：本席只分类/定级/路由，⛔ 不认领、⛔ 不派工、⛔ 不写码、⛔ 不合并、⛔ 不裁决决策箱卡。

   ---

   Generated by Claude Code