来源
发现自 #3850 / #3862 结对实施(PR 分支 claude/issue-3850-3862-empty-predicate-gate)。#3850 把「已声明门」的唯一定义下沉到 @object-ui/core(hasDeclaredPredicate),渲染面(hasDeclaredVisibilityGate 保名 re-export)、SchemaRenderer 的 disabled 链、ActionRunner 的两处执行门都改读它。收敛后只剩一处 仍用自己的范围回答同一个问题:ActionEngine.getActionsForLocation 的 visible 过滤。
packages/core/src/actions/__tests__/ActionRunner.conditionGate.test.ts 里那条 DOCUMENTED DIVERGENCE 用例写的是「objectui#3850 的 follow-up 拥有统一它」—— #3850 落地时并没有统一(它的裁决面是「已声明门」的定义与放置,ActionEngine 的自有范围不在其中),所以这张卡把那个指针落成实体,而不是留一句指向不存在的 follow-up 的注释。观察类 :需要作者写出非谓词值或纯空白谓词才命中,今天没有已知用户路径。严重度请分诊裁。
机理
packages/core/src/actions/ActionEngine.ts:229-243(origin/main @ 65bb513dc073deb4e72950c287eef32cb56bf8ce):
const raw = ra . action . visible ;
if ( raw == null || raw === '' || raw === true ) return true ;
if ( raw === false ) return false ;
const expr = toPredicateInput ( raw ) ;
if ( expr === undefined ) {
// Not an evaluable predicate: an envelope with an empty `source`
// (→ nothing declared → visible), or a stray non-predicate value,
// which keeps the historical `Boolean(raw)` coercion.
return typeof raw === 'object' ? true : Boolean ( raw ) ;
} 三条腿各自处理了一部分「空」:raw === '' 显式放过、空 source 信封走 typeof raw === 'object'(与 #3850 裁决一致 → 显示)。剩下两类落到与共享定义不同 的答案上:
非对象的非谓词值 :Boolean(raw),于是 visible: 0 / NaN = 隐藏。共享定义答「不是谓词 → 没有门 → 显示」。纯空白串 :toPredicateInput(' ') 不折叠而是包成 '${ }'(≠ undefined),所以根本走不到上面那支,而是进入求值 → 求出 falsy → 隐藏。共享定义把纯空白明确列为「没有门」(它是 toPredicateInput 唯一不折叠、因而需要定义处点名的那一形状)。
一个值,两个入口,两个答案 —— 正是 #3314 立的那条不变量所禁止的形状。
实测(worktree @ 65bb513dc + 本 PR 的改动,一次性探针,未提交)
引擎面用 ActionEngine.registerAction + getActionsForLocation('record_section') 数结果条数;渲染面是 action:button 叶子渲染后 DOM 里有没有按钮。
value | ActionEngine | action:button 渲染面(#3850 后)| 一致?
0 | 隐藏 | 显示 | 分叉
NaN | 隐藏 | 显示 | 分叉
' '(纯空白) | 隐藏 | 显示 | 分叉
{} | 显示 | 显示 | 一致
'' | 显示 | 显示 | 一致
{dialect:'cel',source:''} | 显示 | 显示 | 一致
其中 ' ' 一行是本 PR 造成的新分叉 ,如实记录:改动前渲染面对纯空白也是隐藏(与引擎面一致),#3850 的裁决把「纯空白 = 没有门」定为语义后,渲染面变为显示,而引擎面没有跟着改(不在裁决的改读清单里)。方向上渲染面是对的 —— 一个什么都没说的谓词不该把动作从所有人面前藏起来 —— 分叉在引擎面。
两条方向,以及为什么它需要裁而不是顺手改
A —— 引擎面也改读 hasDeclaredPredicate(推荐) :非谓词值与纯空白 = 没有门 = 显示,与渲染面、执行入口一致,ActionEngine 不再是最后一处自带范围的消费者。代价:这是 visible 方向上的 fail-open 变更(今天 visible: 0 / ' ' 隐藏,改后显示),而 visible 的既有姿态在谓词抛错 时是刻意 fail-CLOSED 的(throwOnError: true + warnHiddenPredicate)。两者不冲突(一个说「谓词求值失败,宁可隐藏」,另一个说「这压根不是谓词/压根没有条件,不该由它决定命运」),但确实是同一个键上两种姿态并存,值得裁一次而不是由实施者顺手定。B —— 反过来,让所有面对非谓词值 fail-CLOSED :与「declared = enforced」更近,但会推翻 ActionRunner 已明确承诺的 catch { isDisabled = false } fail-open 姿态,且 disabled: 0 变回置灰 —— 「空谓词」在三处有三种范围:disabled: { dialect: 'cel', source: '' } 仍被判成已声明的门 → 永久置灰(#3842 修完后的残留,需先裁) #3850 ⛔ 不推荐 :在渲染面补一个「顺便把 junk / 空白也当隐藏」的本地判定 —— 那是把第 N 种范围写回消费者,动作 disabled 的「已声明」判定用 != null,disabled: '' 把按钮永久置灰(#3492 同族的另一半 predicate,探针实证) #3842 disabled 的「已声明」判定还有五处停在 != null(action-icon / action-group ×2 / action-menu / record-quick-actions),#3842 只修了两处 #3849 「空谓词」在三处有三种范围:disabled: { dialect: 'cel', source: '' } 仍被判成已声明的门 → 永久置灰(#3842 修完后的残留,需先裁) #3850
更彻底的方向是 producer 侧:@objectstack/spec 在发布期就拒绝非谓词值与空谓词(跨仓,domain:spec),那样运行期两个入口都不必猜。#3850 的分诊已把同类的 producer 侧半边(空 source 信封的拒收)判为「无需求证据前不排」,本卡同理只作记录。
Related: #3850 (「已声明门」范围裁决与定义下沉,本卡是它收敛后剩下的最后一处)、#3848 / #3872 (ActionRunner 两处执行门的 fail-open 姿态出处)、#3314 (一值一答的不变量)、#3862 / #3955 (SchemaRenderer 侧的同族)。未认领。
来源
发现自 #3850 / #3862 结对实施(PR 分支
claude/issue-3850-3862-empty-predicate-gate)。#3850 把「已声明门」的唯一定义下沉到@object-ui/core(hasDeclaredPredicate),渲染面(hasDeclaredVisibilityGate保名 re-export)、SchemaRenderer的disabled链、ActionRunner的两处执行门都改读它。收敛后只剩一处仍用自己的范围回答同一个问题:ActionEngine.getActionsForLocation的visible过滤。packages/core/src/actions/__tests__/ActionRunner.conditionGate.test.ts里那条DOCUMENTED DIVERGENCE用例写的是「objectui#3850 的 follow-up 拥有统一它」—— #3850 落地时并没有统一(它的裁决面是「已声明门」的定义与放置,ActionEngine的自有范围不在其中),所以这张卡把那个指针落成实体,而不是留一句指向不存在的 follow-up 的注释。观察类:需要作者写出非谓词值或纯空白谓词才命中,今天没有已知用户路径。严重度请分诊裁。机理
packages/core/src/actions/ActionEngine.ts:229-243(origin/main@65bb513dc073deb4e72950c287eef32cb56bf8ce):三条腿各自处理了一部分「空」:
raw === ''显式放过、空source信封走typeof raw === 'object'(与 #3850 裁决一致 → 显示)。剩下两类落到与共享定义不同的答案上:Boolean(raw),于是visible: 0/NaN= 隐藏。共享定义答「不是谓词 → 没有门 → 显示」。toPredicateInput(' ')不折叠而是包成'${ }'(≠undefined),所以根本走不到上面那支,而是进入求值 → 求出 falsy → 隐藏。共享定义把纯空白明确列为「没有门」(它是toPredicateInput唯一不折叠、因而需要定义处点名的那一形状)。一个值,两个入口,两个答案 —— 正是 #3314 立的那条不变量所禁止的形状。
实测(worktree @
65bb513dc+ 本 PR 的改动,一次性探针,未提交)引擎面用
ActionEngine.registerAction+getActionsForLocation('record_section')数结果条数;渲染面是action:button叶子渲染后 DOM 里有没有按钮。其中
' '一行是本 PR 造成的新分叉,如实记录:改动前渲染面对纯空白也是隐藏(与引擎面一致),#3850 的裁决把「纯空白 = 没有门」定为语义后,渲染面变为显示,而引擎面没有跟着改(不在裁决的改读清单里)。方向上渲染面是对的 —— 一个什么都没说的谓词不该把动作从所有人面前藏起来 —— 分叉在引擎面。两条方向,以及为什么它需要裁而不是顺手改
hasDeclaredPredicate(推荐):非谓词值与纯空白 = 没有门 = 显示,与渲染面、执行入口一致,ActionEngine不再是最后一处自带范围的消费者。代价:这是visible方向上的 fail-open 变更(今天visible: 0/' '隐藏,改后显示),而visible的既有姿态在谓词抛错时是刻意 fail-CLOSED 的(throwOnError: true+warnHiddenPredicate)。两者不冲突(一个说「谓词求值失败,宁可隐藏」,另一个说「这压根不是谓词/压根没有条件,不该由它决定命运」),但确实是同一个键上两种姿态并存,值得裁一次而不是由实施者顺手定。ActionRunner已明确承诺的catch { isDisabled = false }fail-open 姿态,且disabled: 0变回置灰 —— 「空谓词」在三处有三种范围:disabled: { dialect: 'cel', source: '' } 仍被判成已声明的门 → 永久置灰(#3842 修完后的残留,需先裁) #3850 刚裁掉的方向。不推荐。disabled的「已声明」判定用!= null,disabled: ''把按钮永久置灰(#3492 同族的另一半 predicate,探针实证) #3842 / disabled 的「已声明」判定还有五处停在 != null(action-icon / action-group ×2 / action-menu / record-quick-actions),#3842 只修了两处 #3849 / 「空谓词」在三处有三种范围:disabled: { dialect: 'cel', source: '' } 仍被判成已声明的门 → 永久置灰(#3842 修完后的残留,需先裁) #3850 三单合掉的正是这类分身。更彻底的方向是 producer 侧:
@objectstack/spec在发布期就拒绝非谓词值与空谓词(跨仓,domain:spec),那样运行期两个入口都不必猜。#3850 的分诊已把同类的 producer 侧半边(空source信封的拒收)判为「无需求证据前不排」,本卡同理只作记录。Related: #3850(「已声明门」范围裁决与定义下沉,本卡是它收敛后剩下的最后一处)、#3848 / #3872(
ActionRunner两处执行门的 fail-open 姿态出处)、#3314(一值一答的不变量)、#3862 / #3955(SchemaRenderer侧的同族)。未认领。