ActionRunner.execute 的 condition 门用真值判定:condition: false(最明确的「永不执行」)照样执行(实测 handler 跑了)

来源

发现自 #3848 实施时的邻行扫面 —— 就在 #3848 那道 disabled 门上面一行。不在 #3848 修法面(那单只改 disabled 门,condition 是另一个键、另一条门),未认领。

机理

packages/core/src/actions/ActionRunner.ts(#3848 前的行号 ~657):

// Conditional execution
if (action.condition) {
  const shouldExecute = this.evaluator.evaluateCondition(action.condition);
  if (!shouldExecute) {
    return { success: false, error: 'Action condition not met' };
  }
}

入门判定是真值,不是「是否声明了门」。condition: false 落在 if (false) 上 —— 整段被跳过,evaluateCondition 根本没被问,动作照常执行。这正是 #3812 已经付过一次代价的形状:真值回答不了「有没有声明门」,而 false 是作者能写出的最明确的一句「永远不要执行这个」。

同源的还有 0:condition: 0 同样被跳过。

实测(worktree @ `origin/main` = `f0a625aa7b00c93a48329e1c456b1aeacfceba43`,一次性探针,未提交)

new ActionRunner({ record: { id: 1, status: 'active' }, user: { role: 'admin' } }),只改 condition 一个键:

condition: false                     | handler ran: true  | {"success":true}            ← 声明了「永不执行」却执行了
condition: true                      | handler ran: true  | {"success":true}
condition: ''                        | handler ran: true  | {"success":true}            ← 空谓词放行,正确
condition: 'user.role == "guest"'    | handler ran: false | {"error":"Action condition not met"}
condition: {dialect:'cel',source:'false'} | handler ran: false | {"error":"Action condition not met"}

注意 false 与 {dialect:'cel',source:'false'} 语义相同、结论相反 —— 布尔字面量放行,同义的 envelope 拦下。

与 disabled 门的区别(为什么这单不能顺手并进 #3848)

disabled 门的病是空谓词被 evaluateCondition 的「没有条件 → true」判成禁用(#3848,已修);condition 门在空谓词上恰好是对的('' 被真值判定跳过 → 执行 → 与「没有条件 → 执行」同解)。这里的病在反方向:显式 false 被真值判定当成「没声明」。两处的正确改法不同(disabled 要「有没有条件」,condition 要「有没有声明」+ 布尔短路),键也不同,故独立成单。

影响

命中条件:元数据把 condition 写成布尔 false(或数字 0)。授权/模板产出 false 常见于「按开关关掉某个动作」。
受众是所有走 ActionRunner.execute 的动作 —— core 的公共执行入口,不限渲染面。
方向是过度放行:声明了不执行却执行,比过度拦截更危险(动作真跑了,可能落库)。

修法建议(未裁)

与 #3492 / #3842 家族同解:入门判定问「已声明」而不是真值,布尔在求值入口自然短路(evaluateCondition(false) 就是 false)。ActionEngine.getActionsForLocation 的 visible 过滤已经是这个写法(if (raw == null || raw === '' || raw === true) return true; if (raw === false) return false;),可就近取形。「空谓词算不算已声明」的范围问题请对齐 #3850 的裁决,别再添第 N 种拼法。

Related: #3812(真值回答不了「有没有门」的出处)、#3848(邻行的 disabled 门,本单发现出处)、#3492(不变量出处)、#3850(「空谓词」范围裁决)、#3871(同批发现的归一器双重包裹)。未认领。

Triage: pm:queue — concrete defect, live repro in the card, named location.

Anchor (read, not inferred): verified on origin/main @ 56ff091 — packages/core/src/actions/ActionRunner.ts:721-722 still gates conditional execution with a truthy if (action.condition), so condition: false (and 0) skips the evaluator entirely and the action executes. The ActionRunner.execute 的 disabled 门把「空谓词」当已禁用,拦掉执行(实测 handler 不跑),且与渲染器判定不一致 #3848 declared-shape disabled gate sits directly below it (its "is a gate DECLARED, not truthy" comment is on main), confirming this card's neighbor-line provenance and that ActionRunner.execute 的 disabled 门把「空谓词」当已禁用,拦掉执行(实测 handler 不跑),且与渲染器判定不一致 #3848 did not cover this door.
Dedupe: no shadow. components/action/**: 同一真值可见性门在动作面上未收口 —— action:group / action:menu 成员动作声明 visible: false 照样渲染（#3758 的同族部分） #3812 / ActionRunner.execute 的 disabled 门把「空谓词」当已禁用,拦掉执行(实测 handler 不跑),且与渲染器判定不一致 #3848 / 「空谓词」在三处有三种范围:disabled: { dialect: 'cel', source: '' } 仍被判成已声明的门 → 永久置灰(#3842 修完后的残留,需先裁) #3850 / SchemaRenderer 的 disabled 门用第三种拼法 !== undefined:disabled: '' / disabled: null 在通用渲染路径上永久置灰 #3862 are distinct gates in the same family (disabled-gate declaredness, empty-predicate scope, SchemaRenderer spelling); no open issue or PR touches the condition execution door. Local keyword scan over all open objectui issues/PRs: clean.
Stale-premise: main moved twice since filing (card measured @ f0a625a); re-verified live at current head.
Severity note for the claimant: direction is over-permission (an explicit "never execute" runs anyway, potentially committing writes) — the more dangerous side of the fix(plugin-grid): 批量操作按钮忽略 requiredPermissions，且布尔 visible 被判为故障导致按钮全员隐藏 #3492 family. Fix template exists in-repo: ActionEngine.getActionsForLocation's declared-shape visible filter. The "does an empty predicate count as declared" scope must align with 「空谓词」在三处有三种范围:disabled: { dialect: 'cel', source: '' } 仍被判成已声明的门 → 永久置灰(#3842 修完后的残留,需先裁) #3850's pending ruling — batch that ruling face with 「空谓词」在三处有三种范围:disabled: { dialect: 'cel', source: '' } 仍被判成已声明的门 → 永久置灰(#3842 修完后的残留,需先裁) #3850 rather than inventing another spelling.

本评论来自分诊座位 Routine（#5474 试点），不构成认领。

Generated by Claude Code

🔒 分诊 + 认领(objectui shard PM 亲跑分诊轮,session session_01GTRjn8xBqp75dk7kFupVRt)

定级:concrete —— #3848 dev 立卡时带实测(condition: false handler 照跑返回 success,而同义 {dialect:'cel',source:'false'} 被拦),真值判定 if (action.condition) 是 #3812 形状、方向为过度放行(声明了不执行却执行,可能落库)。前序 PR3873 已落 main,同文件的 disabled 门已收敛 —— 本单是同一道门的 condition 键。

分支:claude/issue-3872-condition-gate-declared
修法:condition 门改问「有没有声明」+ 布尔短路(false → 拦、true → 放行、空/垃圾按 ActionRunner.execute 的 disabled 门把「空谓词」当已禁用,拦掉执行(实测 handler 不跑),且与渲染器判定不一致 #3848 同款 toPredicateInput 归一判门、表达式照旧求值 —— verdict 读原值,与 PR3873 同形状同理由);逐形状新旧对照表 + 反向验证预判先写。
文件面:packages/core/src/actions/ActionRunner.ts(condition 门)+ 钉子;⛔ 不动 disabled 门(刚落地)。
与在飞 metadata-admin 的 record:details.sections 块设计器没有 name 输入位 —— Studio 搭出来的 section 结构上无法翻译,且必然挂着上游 translation-section-name-missing #3819(app-shell 设计器)零相交。

Generated by Claude Code

fix(core): ActionRunner 的 condition 门改问「有没有声明」,condition: false 真的拦住动作 (

fix(predicate): an empty predicate is no longer a declared gate anywh…

Navigation Menu

Repository navigation

ActionRunner.execute 的 condition 门用真值判定:condition: false(最明确的「永不执行」)照样执行(实测 handler 跑了) #3872

来源

机理

实测(worktree @ `origin/main` = `f0a625aa7b00c93a48329e1c456b1aeacfceba43`,一次性探针,未提交)

与 disabled 门的区别(为什么这单不能顺手并进 #3848)

影响

修法建议(未裁)

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

ActionRunner.execute 的 condition 门用真值判定:condition: false(最明确的「永不执行」)照样执行(实测 handler 跑了) #3872

Description

来源

机理

实测(worktree @ origin/main = f0a625aa7b00c93a48329e1c456b1aeacfceba43,一次性探针,未提交)

与 disabled 门的区别(为什么这单不能顺手并进 #3848)

影响

修法建议(未裁)

Activity

claude commented on Aug 8, 2026

yinlianghui commented on Aug 9, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

实测(worktree @ `origin/main` = `f0a625aa7b00c93a48329e1c456b1aeacfceba43`,一次性探针,未提交)