docs(pm-dispatch,os-dev): 假引擎的 delete() 一律路由 assertEngineDeleteDispatch,并收编 run-summary 的盲区实例 (#5197)

[os-zhuang]

Fixes#5197

三个落点,前两个是同措辞的一行纪律,第三个是评论里已定位的盲区实例收编。

为什么值得动 agent 定义文件

同一天三个互不相同任务、互不相同包的 dev agent(3/3)新写假引擎全部踩 check:engine-double-contract 判红,错误一模一样 —— 手抄守卫、未路由 assertEngineDeleteDispatch(#5173、#5191、#5192),各花一轮 CI 往返 ≈15 分钟;#5584 的新测试是第四次同款命中(即当前 main 上的 #5604)。门禁没漏,防线是好的;代价纯粹是「新增测试 + 需要假引擎 + delete 路径」这个高频组合缺一行提交前的提示。

两处措辞相互一致,都点名手抄守卫真有洞这一实测事实(而不是「风格不推荐」):#5173 的手抄副本放行了 where: { id: { $in: [...] } } —— 看着像 id,实为多行谓词,真引擎无 multi 时拒收。样板引用的是「门禁绿跑时自己列出的 pinned 假引擎」,不是一个会过期的计数。

• .claude/agents/os-dev.md —— 进「Toolchain traps」第 5 条(该列表的定义就是「每条都让至少一个 agent 白跑一轮红」,正好是这件事)。
• .claude/skills/pm-dispatch/SKILL.md —— 派发词模板的 Non-negotiables 末条。⛔ 模板其余部分未动,pm-dispatch skill 缺六条实测规程:阻塞解除后的重新定价、带前提的裁决、收益是否穿过下游边界、多面组件的测试落点、跨仓 pin 滞后、死代码删除的复核 #5513(同文件六条新规程)是另单。

第三处:run-summary.test.ts 的盲区实例

packages/services/service-automation/src/run-summary.test.ts 的内联假引擎 async delete() { return false; } 对谓词删除照单全收。而 delete_record 自 #5393 起转发 multi: cfg.multi === true,所以 { objectName: 'deal', filter: { stale: true } } 这一形状真引擎是 reject。

该文件既不在 pinned 也不在 DEBT 台账:门禁的形参个数判据(isEngineDeleteShape 要求 delete 至少两个形参)够不到零形参的 delete,所以这是检测器盲区,不是已登记的债。这个扫描面缺口连同实测口径另立 #5629(实测:只放开该判据,发现面从 59 个 double/58 文件涨到 150 个/107 文件),⛔ 本 PR 不修它。后果不是假设 —— #5225 里 showcase 的 showcase_inquiry_purge 从上线起每次 acted: 0,单测却一路绿。

收编按补声明处置,不是重写断言:该 fixture 从来就不是契约内合法的,补 multi: true 声明其批量意图,于是 sweep 真的到达驱动、驱动报告匹配 0 行,用例原本的主题(计数器读 0)完整保留。执行器侧的 reject 传播已由 builtin/crud-bulk-intent.test.ts:153 钉住,此处不重复。@objectstack/objectql 早已是本包 devDependency(#5393 加的),无需动 package.json,无 turbo 环。

反向验证:预期红,实测仍然绿 —— 所以断言也得加强

先说方向,再说结果。预期是「假引擎收编 + 撤掉 multi:true → 判红」。实测绿:

Test Files 1 passed (1)
Tests 1 passed | 33 skipped (34)

原因是 acted: 0 既是「删了 0 行」也是「删除被拒」留下的痕迹 —— 运行失败了,summary 照样记 acted: 0,原用例唯一的断言两种情形都满足,是为空而绿(os-dev.md 里 fixture triage 那条「assertion keeps passing because nothing is produced」的活体标本)。

所以只收编假引擎对这个用例买不到任何东西,断言必须同时加强。补 res.success 与该节点 runs: 1 / failures: 0 / acted: 0 之后,同一撤销才真的判红:

FAIL src/run-summary.test.ts > delete_record reports 0 when the driver reports nothing deleted
AssertionError: expected false to be true
❯ src/run-summary.test.ts:443:29 expect(res.success).toBe(true);

恢复 multi: true 后全绿。这一步是实测逼出来的,不是顺手加固。

验证

• pnpm --filter @objectstack/service-automation test → Test Files 59 passed (59) / Tests 713 passed (713)。
• pnpm check:engine-double-contract —— 改动前:58 in 57 test file(s) — 24 pinned, 34 in the shrink-only baseline,1 problem;改动后:59 in 58 test file(s) — 25 pinned, 34 in the shrink-only baseline,仍是 1 problem,且仍是同一个main 全仓红:check:engine-double-contract 挂在 #5584 刚落地的 action-execution-calldata-not-found.test.ts(2 个 double 未接 assertEngineDeleteDispatch,基线无条目)——所有新 PR 的 ESLint job 都过不去 #5604 的 action-execution-calldata-not-found.test.ts。即本 PR 只让 run-summary.test.ts 进入 pinned 计数(24→25),台账 34 未动 —— 收编是钉接,没有记债。--self-test 绿。
• node scripts/check-nul-bytes.mjs 绿;三个改动文件另做了越过门禁扫描面的自扫(含 DEL 与 0x01 那一类),无控制字节。
• 类型:本包在仓库的 turbo run typecheck 里没有 typecheck 任务([P2] framework: 66 个包用 tsup 构建、无人做类型检查 —— 实测 18 个包共 380 处 code-tier 错误(#4118 的 framework 侧对应) #4311 的面),直跑 tsc --noEmit -p 有 5 处先存报错,全部落在本 PR 未触碰的 engine.test.ts 与 nested-region-parity.test.ts,run-summary.test.ts 零报错。
• ESLint job 全仓红 = main 全仓红:check:engine-double-contract 挂在 #5584 刚落地的 action-execution-calldata-not-found.test.ts(2 个 double 未接 assertEngineDeleteDispatch,基线无条目)——所有新 PR 的 ESLint job 都过不去 #5604 签名(main 既有),非本 PR 引入,不追。

变更集

.claude/ 文档 + 测试-only,无用户可见面 → 走 skip-changeset 标签路线,未写空 frontmatter changeset。请 PM 落标签。

---

Generated by Claude Code

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

1 Skipped Deployment

Project	Deployment	Actions	Updated (UTC)
objectstack	Ignored		Aug 5, 2026 8:55pm

[github-actions]

📓 Docs Drift Check

No hand-written docs reference the 0 changed package(s). ✅

[os-zhuang]

门禁口径追记 —— 正文里的「改动后仍是 1 problem」是在分支切点 cc5b048a0 上量的,而 #5615(fix(runtime): route #5138 test engine doubles through assertEngineDeleteDispatch)已在此后落地 main(2614aefb3),#5604 那个红点已经被它修掉。

把本分支与当前 origin/main 做一次一次性试合(git merge --no-commit --no-ff,量完即 --abort,不入本 PR 历史)后重跑,门禁整体全绿:

engine doubles: 59 in 58 test file(s) — 27 pinned to ObjectQL.delete's dispatch predicate, 32 in the shrink-only baseline.
check-engine-double-contract: OK — 27 pinned, 31 in the DEBT ledger, 1 exempt.

即 25(切点上含本 PR 的 +1)+ 2(#5615 收编的两个)= 27 pinned;台账 34 → 32 是 #5615 顺带对账掉的两条,不是本 PR 动的(本 PR 一个字都没动 scripts/engine-double-contract.baseline.json)。发现面 59 / 58 文件在两侧一致 —— 那两个 double 本来就在扫描面内,只是从 unguarded 变成 pinned。

同时核过在飞重叠:cc5b048a0..origin/main 的 4 个 commit 无一触碰本 PR 的三个文件,也没碰门禁脚本与台账。

---

Generated by Claude Code