expression.zod.ts 的方言表仍把 js 列为活方言(还写着用于 "mapping"),且漏了 template —— 12 行之下的枚举正好相反

[qq9340100]

发现于 #5552(退役 FieldMapping.transform)测量过程,不在该 PR 范围内(该单指令明确 ⛔ 不碰 ExpressionDialect 本体)。

事实

packages/spec/src/shared/expression.zod.ts 模块级 TSDoc 的 "## Dialects" 表(L19-23):

| dialect | engine | use |
|:---|:---|:---|
| `cel`   | `@objectstack/formula` (cel-js + ObjectStack stdlib) | formulas, predicates, seed dynamic values |
| `js`    | sandboxed L2 hook bodies (`isolated-vm` / `quickjs`) | mapping, hook bodies |
| `cron`  | `cron-parser` | job schedules |

而同文件 L42,12 行之下:

export const ExpressionDialect = z.enum(['cel', 'cron', 'template']);

表和枚举两个方向都对不上:

1. 多了 js —— 该方言于 formula: retire the js expression dialect — redundant with L2 ScriptBody; hasDialect also mis-reports the stub as real #3278(ADR-0058 addendum)退役。讽刺的是,紧挨着枚举的那段注释自己把退役讲得很清楚("js was declared here but never shipped as an expression engine … Retired in formula: retire the js expression dialect — redundant with L2 ScriptBody; hasDialect also mis-reports the stub as real #3278"),但上方的表没跟着改。表还给它配了引擎(isolated-vm / quickjs)和用途,读起来完全像一个可选项。
2. 少了 template —— 它是枚举的真实成员,并且有自己的 author helper(TemplateExpressionInputSchema,用于通知标题/正文、titleFormat、prompt 模板),表里却没有。

影响

模块 TSDoc 进生成文档:content/docs/references/shared/expression.mdx:32 逐字复制了这一行。所以已发布的参考页正在告诉作者 js 是一个有引擎的方言,而 ExpressionSchema 会直接拒收 dialect: 'js'。这与 #5552 是同一类缺陷(describe/文档宣传一个运行时不兑现的方言名,Prime Directive #10),只是位置在方言表本身。

表里 js 的 "use" 列还写着 mapping —— 而 #5552 / PR #6078 刚刚把字段映射的整个 transform 联合退役掉,所以这一格在该 PR 落地后会更加不成立。

建议处置

纯文档修正(改表:删 js 行、补 template 行),不动枚举与任何 schema。范围应仅限 expression.zod.ts 的 TSDoc + 重跑 gen:schema && gen:docs。

需要留意的一点交给三诊:js 那行描述的能力(沙箱化 L2 hook body)本身是存在的,只是它不是 L1 expression dialect 而是 ScriptBody { language: 'js' }。所以正确的修法多半不是删一行了事,而是把它挪到一句"procedural JS 走 ScriptBody,不是 dialect"的说明里 —— 枚举旁那段现成注释已经这么写了,可直接复用措辞。

[claude]

分诊:入队(pm:queue)+ 域 domain:spec。

• 落点锚定:修复落在 packages/spec/src/shared/expression.zod.ts 的模块级 TSDoc(## Dialects 表)+ 重跑 gen:schema && gen:docs 重生 content/docs/references/shared/expression.mdx。packages/spec 及其生成物 ⇒ 域表 domain:spec 行。枚举与任何 schema 均不动。
• 过时前提检查(git fetch origin main,逐行核 9e3709a):表在 L17–23,| \js` | sandboxed L2 hook bodies (`isolated-vm` / `quickjs`) | mapping, hook bodies | **逐字仍在**;枚举在 **L42**,z.enum(['cel', 'cron', 'template'])—— 多js、少 template两个方向**都成立**(正文给的 L19-23 / L42 与 main 有 1–2 行偏移,内容一致)。该文件 main 上最近改动为7f1a635`(Author-time expression validator is blind to registry-injected system columns — record.owner_id / created_at / organization_id are rejected as unknown fields #5378 / PR fix(lint,spec,objectql): 编写期识别注册表注入的系统列 —— 一份权威派生,registry 与 linter 共用 (#5378) #5904),未触方言表。前提成立。
• 不判 needs-user-decision 的理由:这是文档与已落地实现不符的纯修正(js 于 formula: retire the js expression dialect — redundant with L2 ScriptBody; hasDialect also mis-reports the stub as real #3278 / ADR-0058 addendum 退役,枚举旁那段注释已把正确措辞写好、可直接复用),不改对外契约、不改枚举。正文提的「把 js 挪进一句『procedural JS 走 ScriptBody,不是 dialect』的说明」是修法细节,不是拍板项。
• 查重(三仓 issue + PR):与 shared/mapping.zod.ts 的 javascript 变换 describe 推荐 dialect="js",而 ExpressionDialect 只有 cel/cron/template —— 照着写会被拒 #5552(pm:queue / domain:spec,在飞 PR refactor(spec)!: 按 ADR-0049 退役 FieldMapping.transform 与整个 FieldMappingTransform 联合 —— 五成员零执行者 (#5552) #6078)同族不同单,不收敛 —— shared/mapping.zod.ts 的 javascript 变换 describe 推荐 dialect="js",而 ExpressionDialect 只有 cel/cron/template —— 照着写会被拒 #5552 的判据是 shared/mapping.zod.ts 的 .describe() 向作者推销 dialect="js";本单的判据是 expression.zod.ts 方言表本体同时多一个已退役方言、少一个真实成员。文件不同、判据不同、修法不同,cross-link 足够。另见 formula: retire the js expression dialect — redundant with L2 ScriptBody; hasDialect also mis-reports the stub as real #3278(js 退役来源)。三仓无其它重复单。
• 串行注记(共享生成物,非硬阻塞):PR refactor(spec)!: 按 ADR-0049 退役 FieldMapping.transform 与整个 FieldMappingTransform 联合 —— 五成员零执行者 (#5552) #6078 的 21 个文件已逐一核过,不触 expression.zod.ts,也不触 references/shared/expression.mdx ⇒ 无源文件冲突。但它触 packages/spec/api-surface.json、authorable-surface.json、json-schema.manifest.json、spec-changes.json 与 content/docs/references/index.mdx 这几份单体生成物,而本单跑 gen:schema && gen:docs 会重生同族产物 ⇒ 建议排在 refactor(spec)!: 按 ADR-0049 退役 FieldMapping.transform 与整个 FieldMappingTransform 联合 —— 五成员零执行者 (#5552) #6078 之后,或落地前重跑一次生成。另:正文「js 那行的 use 列写着 mapping」这一处的不成立程度随 refactor(spec)!: 按 ADR-0049 退役 FieldMapping.transform 与整个 FieldMappingTransform 联合 —— 五成员零执行者 (#5552) #6078 落地加深(FieldMapping.transform 联合退役后该格彻底失据),不影响本单独立成立。

本评论来自分诊座位 Routine(#5474 试点),不构成认领。

---

Generated by Claude Code

[claude]

更正(同处公开作废一条读数):上一条分诊评论里的「该文件 main 上最近改动为 7f1a635(#5378 / PR #5904)」是浅检出假读数,请勿据它推断该文件近期被动过。

• 当时本地检出是 shallow(50 提交),7f1a635 正是 graft 边界;边界之外的历史不可见,于是 git log -- <任意未在窗内改动的文件> 一律回落到该提交 —— 反证:同一读法下 README.md 也指向 7f1a635。这正是 SKILL「Operational notes」第 6 条第四款点名的那类看起来正常的错数字。
• git fetch origin main --deepen=400(695 提交,回溯至 2026-07-31)后重读:packages/spec/src/shared/expression.zod.ts 在窗内无任何改动(其 last-touch 落到新边界 a4e26844,README.md 此时已分离为 27799116,证明边界效应已排除)。

结论方向不变,且更强:该文件至少自 2026-07-31 起未被动过,方言表是长期存量而非新引入。分诊的实质判据从来不是历史读数,而是逐字实读 origin/main (9e3709a) 的当前内容 —— L17–23 的表含 js、L42 的枚举为 ['cel', 'cron', 'template'],两处已在上一条评论中逐字引用,前提成立不受本次更正影响。pm:queue + domain:spec 维持不变。

本评论来自分诊座位 Routine(#5474 试点),不构成认领。

---

Generated by Claude Code

[hotlong]

Release-board audit (maintainer-directed re-audit of non-board domain:spec items, 2026-08-07): adding target:v17 — criterion ④: the published reference page (rendered verbatim from the TSDoc dialect table) still advertises the retired js dialect, which ExpressionSchema rejects; the real member template is missing. Docs-as-written fails. Triage seat may veto.

---

Generated by Claude Code

[qq9340100]

Riding sweep #6243 —— 本单已并入首次 sweep 打包试点,由 draft PR #6288 的七条 Fixes 之一关闭(会话 session_011M7UwH25Unfi73UHim7ajY,分支 claude/issue-6243-description-truth-sweep)。本单落点:方言表删 js 行、补 template 行,并写明本表即 12 行下的 ExpressionDialect 枚举;新增 pin shared/expression-dialect-docs.pin.test.ts 比对表与枚举(反向验证已做:恢复 js 行该 pin 如期变红)。⛔ 枚举与任何 schema 未动。

---

Generated by Claude Code