动作 `disabled` 的「已声明」判定用 `!= null`,`disabled: ''` 把按钮永久置灰(#3492 同族的另一半 predicate,探针实证)

[yinlianghui]

来源

发现自 #3835 实施(DeclaredActionsBar 的 visible 真值门)的同文件清扫。不在 #3835 的修法面(PM 已裁其范围为 visible 门 + barrel re-export),故独立成单,未认领。

机理

visible 一族已收敛到 hasDeclaredVisibilityGate(!= null && !== '' —— 空谓词不算门),但同一形状的 disabled 判定停在 != null,少了 !== '' 那一半:

• packages/app-shell/src/views/DeclaredActionsBar.tsx:
  disabled={((action as any).disabled != null ? isDisabledPred : false) || loading}
• packages/components/src/renderers/action/action-button.tsx:164:
  (schema as any).disabled != null ? isDisabled : schema.enabled != null ? !isEnabled : false

于是 disabled: '' 被判成「声明了 disabled 门」,verdict 交给求值入口 —— 而求值入口对空谓词的语义是「没有条件 → true」:
toPredicateInput('') → undefined → evaluateCondition(undefined) → true。
对 visible 这条链上 true 意味着「显示」(所以 '' 在 visible 侧是良性的、双重保护),对 disabled 则反向:true 意味着禁用。空谓词从「没有门」变成「永久置灰」。

方向对照:visible: '' → 渲染(正确);disabled: '' → 禁用(错误)。同一个「空谓词」,两个 key 得到相反待遇。

实证(origin/main@14c59c0b969c8324160071d447a4b99492dfc35f + #3835 分支,一次性探针,未提交)

DeclaredActionsBar 挂 location: 'record_section' 的声明动作,分别带 disabled: '' / 不带 disabled / disabled: false:

FAIL  PROBE 3835 declared `disabled` > disabled:'' should NOT disable the button (empty predicate is no gate)
Error: expect(element).not.toBeDisabled()

Received element is disabled:
  button
    data-testid="declared-action-approval_approve"
    disabled=""
    type="button"
    variant="outline"
  /

Tests  1 failed | 2 passed (3)

两个对照组(无 disabled、disabled: false)都是 enabled —— 坏的只是「已声明」的判定,不是求值。

action-button.tsx:164 是逐字相同的拼法,未单独探针(推断同形,请实施者自行验证后再改)。

影响

• DeclaredActionsBar 的宿主是审批收件箱记录区动作条(apps/console/src/pages/system/ApprovalsInboxPage.tsx:2014 / :2055),动作 def 来自服务端 metadata。一个 disabled: '' 的审批动作渲染成永久不可点的 Approve/Reject —— 与 app-shell/DeclaredActionsBar: 服务端声明动作的真值可见性门实证可达 —— visible: false 照样渲染（#3823 消费半径清扫发现的同族第五处） #3835 的 visible: false 相反的失败方向:那边是「本该隐藏却可点」,这边是「本该可点却置灰」,都无法从界面上分辨是元数据意图还是 bug。
• 需要元数据里确实出现 disabled: ''(空字符串谓词,例如授权表单留空、模板求值成空串)才会命中;不是今天必然可见的回归,严重度请分诊裁。

修法(与同族一致,应无新决定)

disabled 的「已声明」判定复用同一处命名定义(hasDeclaredVisibilityGate 的语义,或按 predicate-key 中立地重命名/新增一个 hasDeclaredPredicateGate,同一实现),两处一起改;enabled 那条 legacy 分支同理需要判断。钉子按同族对称性:'' 不置灰 / true 置灰 / false 不置灰 / 未声明不置灰,并区分 disabled 与 enabled 两条腿。

⚠️ 与 #3835 的 PR 同文件同区域(DeclaredActionsBar.tsx 的按钮 props / 门附近):建议等 #3835 落 main 后再派,或在派发时说明合并顺序。命名若要中立化(hasDeclaredVisibilityGate → 通用名),那是一次跨包重命名(components barrel + plugin-grid + app-shell),属于要先裁的小决定。

Related: #3835(发现来源、visible 侧第五处)、#3492(不变量出处)、#3758 / PR #3816、#3812 / PR #3825、#3823 / PR #3836、#1885(disabled 首次接线)。未认领。

[claude]

Triage: pm:queue (objectui in-repo — no routing label by protocol).

• Concrete defect, probe-proven: disabled: '' is treated as a declared gate (!= null at DeclaredActionsBar.tsx:212 and action-button.tsx:164, both live on origin/main @ f5f8744) and an empty predicate evaluates true ⇒ permanently disabled button. The visible family already converged on hasDeclaredVisibilityGate (!= null and not '' — invariant fix(plugin-grid): 批量操作按钮忽略 requiredPermissions，且布尔 visible 被判为故障导致按钮全员隐藏 #3492/行动作声明 visible: false 仍然渲染该菜单项——可见性门用真值判断（#3492 在行菜单上的未收口部分） #3758, helper live in components' visibility-gate module); this is its missing disabled/enabled half.
• Serial constraint: same file/region as app-shell/DeclaredActionsBar: 服务端声明动作的真值可见性门实证可达 —— visible: false 照样渲染（#3823 消费半径清扫发现的同族第五处） #3835 (dispatched, in flight) — dispatch after app-shell/DeclaredActionsBar: 服务端声明动作的真值可见性门实证可达 —— visible: false 照样渲染（#3823 消费半径清扫发现的同族第五处） #3835's PR lands, or state merge order explicitly in the dispatch prompt. The cross-package neutral-rename question stays PR-review level; default is reusing the existing invariant semantics without a rename.
• Dedup: repo-scoped search returns only this card; app-shell/DeclaredActionsBar: 服务端声明动作的真值可见性门实证可达 —— visible: false 照样渲染（#3823 消费半径清扫发现的同族第五处） #3835/components/action/**: 同一真值可见性门在动作面上未收口 —— action:group / action:menu 成员动作声明 visible: false 照样渲染（#3758 的同族部分） #3812/components/action/**: action:bar 成员动作的组件级真值可见性门实证可达 —— action:button / action:icon 声明 visible: false 照样渲染（#3812 第 3 条复核结论） #3823 are the visible-side siblings, all cross-linked and disjoint.

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

---

Generated by Claude Code

[yinlianghui]

🔒 认领(objectui 分片 PM,session_01GTRjn8xBqp75dk7kFupVRt)

• 分支:claude/issue-3842-disabled-declared-gate
• 前序已清:PR fix(app-shell,components): 服务端声明动作的 visible 门按「已声明」判定,visible: false 不再渲染 (#3835) #3843(app-shell/DeclaredActionsBar: 服务端声明动作的真值可见性门实证可达 —— visible: false 照样渲染（#3823 消费半径清扫发现的同族第五处） #3835)已落 main @ d3e738af8,同文件同区域串行条件满足。
• 命名裁定(正文小决定,PM 定):直接复用 hasDeclaredVisibilityGate(components barrel 已导出)+ 就地注释说明名称系历史、语义为谓词通用;⛔ 不跨包重命名、不加 hasDeclaredPredicateGate 别名(同一实现两个名字即轻度方言)。重命名如确有价值另立杂事单。
• 范围:DeclaredActionsBar.tsx 的 disabled 判定 + action-button.tsx:164(先自行探针验证同形再改,issue 明示未单独实证)+ enabled legacy 腿同理判断;钉子四形状('' 不置灰 / true 置灰 / false 不置灰 / 未声明不置灰)× 两条腿。与在飞 #3546切片五(i18n)不相交。

即将派发 os-dev 实施。

---

Generated by Claude Code