fix(lint): 收敛 validate-expressions / validate-security-posture 的 spec 不声明键 ?? 别名读法 (#5017) (#5046)

* fix(lint): 收敛 validate-expressions / validate-security-posture 的 spec 不声明键 `??` 别名读法 (#5017)

#4984 → #5009 同族第三轮。两条规则都以 `input: 'parsed'` 注册,看到的是
`ObjectStackSchema` 解析后的产物,所以读一个 spec 不声明的键对任何能解析的
stack 都不执行。议题点名五条,全包 grep 又找出同形的两条,一并处置为只读
canonical;`obj.security?.sharingModel` 整段删除 —— `ObjectSchema` 根本没有
`security` 键。

其中 `rule.expression ?? rule.predicate ?? rule.condition ?? rule.formula`
不是死代码而是活着的错:canonical 排第三,同时写了 `condition` 和被拒别名
`expression` 的规则,lint 校验的是 schema 会拒绝的那个,作者声明的那个从未
被读。测试里重建旧链演示该差异。

三个 example 与平台 default permission sets 上,改动前后 findings 逐字相同。
补两层结构性 meta-guard(declared-key ⊆ schema.shape + reachability),七条
读法各自通过变异测试。

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_018iARDqtrhQgz6fVHDeDkbQ

* fix(cli,lint): 把消费被拒别名拼法的 fixture 改为 canonical (#5017)

#5046 把 validate-expressions / validate-security-posture 收敛为只读 spec
声明的键之后,两处 fixture 用的正是被拒的别名拼法,规则不再读它们:

- `packages/cli/test/authoring-rule-command-parity.test.ts:90` —— CI Test Core
  判红点。`validations: [{ name: 'r', expression: … }]` 里 `expression` 是
  `validation.zod.ts` 按名拒绝的四个别名之一,收敛后没人读,`expression-invalid`
  在三命令上都不再触发。改为 canonical `condition`,并补上 `type` / `message`
  让 fixture 除了那条**刻意种下的**裸引用缺陷之外完全 spec 合法 —— parity 测试
  本就该跑在 spec 合法元数据上,原来的 fixture 等于种了两个缺陷。

- `packages/lint/src/runtime-gate.test.ts:125,150` —— 这两处此前是绿的,但绿得
  没有意义:`validationRules` + `expression` 双重别名,使得"上下文里有一条坏
  验证规则"的 fixture 实际产生 0 条 finding(实测),所以 D4 那条断言
  `result.errors).toEqual([])` 通过的原因是**没有东西可减**,而不是减法正确。
  改为 canonical 后上下文真的产出 1 条 `invalid CEL predicate` finding,减法
  逻辑第一次被真正跑到 —— 且仍然通过。

全包 grep 过 `expression:` / `predicate:` / `formula:` 作 validation 键、
`criteria:` 作 sharing 键、`validationRules:`、`security: { sharingModel }`、
`reference_to` / `referenceTo`:其余命中要么是 #5046 里刻意 pin 住 schema 拒绝
的别名 fixture,要么属于本 PR 未改动的规则(`validate-rule-compilability.ts`
自己读 `validationRules`,已另开 #5096),要么是 objectql / driver 等包自己的
内部形状,与本次收敛无关。

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_018iARDqtrhQgz6fVHDeDkbQ

---------

Co-authored-by: Claude <noreply@anthropic.com>

Author: xuyushun441-sys

.changeset/lint-expressions-security-alias-reads.md

@@ -0,0 +1,44 @@
+---
+"@objectstack/lint": patch
+---
+
+fix(lint): 收敛 `validateStackExpressions` / `validateSecurityPosture` 里读 spec 不声明键的 `??` 别名链 (#5017)
+
+两条规则都以 `input: 'parsed'` 注册,看到的是 `ObjectStackSchema` 解析后的产物。
+#4984 → #5009 清掉了 sharing rule 字段层和 org-axis 规则里的同形读法;这一轮是同族
+第三轮,落在另外两个文件。议题点名五条,全包 grep 又找出同形的两条,一并处置:
+
+| 原读法 | spec 事实 | 处置 |
+|:--|:--|:--|
+| `rule.expression ?? rule.predicate ?? rule.condition ?? rule.formula`(两处) | 四个别名全是 `validation.zod.ts` 的 `aliases: { …: 'condition' }` **按名拒绝**的键;canonical 排第三 | 收敛为 `rule.condition` |
+| `obj.validations ?? obj.validationRules` | `ObjectSchema` 只声明 `validations`,strict 按名拒绝 | 收敛为 `obj.validations` |
+| `rule.condition ?? rule.criteria ?? rule.predicate` | `criteria` 是运行时编译产物 `criteria_json` 的拼法(#3896),`predicate` 直接拒绝 | 收敛为 `sharingRule.condition` |
+| `def.reference ?? def.referenceTo` | `field.zod.ts:331` 把 `referenceTo` 映射为 `reference` | 收敛为 `def.reference` |
+| `action.objectName ?? action.object` | canonical 是 `objectName`;`object` 按名拒绝 | 收敛为 `action.objectName` |
+| `obj.sharingModel ?? (obj.security)?.sharingModel` | **`ObjectSchema` 根本没有 `security` 键** —— OWD 三个拨盘是平铺的,且 strict:嵌套写法被整包拒绝 | **删除整个 fallback** |
+| `def.reference ?? def.reference_to` | 同 `referenceTo` | 收敛为 `def.reference` |
+
+对任何能解析的 stack,判定结果不变 —— 三个 example(crm / showcase / todo)与平台
+default permission sets 上,改动前后两条规则的 findings 逐字相同。
+
+**其中一条不是死代码,是活着的错。** `rule.expression ?? … ?? rule.condition ?? …`
+把 canonical 的 `condition` 排在两个被拒别名之后,所以一条同时写了 `condition` 和
+`expression` 的规则,lint 校验的是 schema 会拒绝的那个,而作者声明的那个**从头到尾
+没被看过**:producer 和 consumer 对同一份元数据给出两套说法。测试里重建了旧链来演示
+这个差异,而不是只描述它。
+
+真正的代价从来不是漏报,而是误导 —— `object.security.sharingModel` 出现在**安全
+linter**里,足以让下一位作者(人或 AI)相信对象级 `security` 信封是真实的授权面。
+
+同时补上两层结构性 meta-guard(#4992 模式,#5018 形状),让下一条死读法在 review
+前就红:
+
+- **declared-key guard** —— 规则源码里从每个 surface 上读的键,必须出现在该 surface
+  自己的 Zod `.shape` 里。扫源码不是扫行为是刻意的:不可达分支没有行为可断言。
+- **reachability guard** —— `validateSecurityPosture` 全部 15 个 `findings.push`
+  落点都必须被一条 schema **不报 `unrecognized_keys`** 的 fixture 触达。判据不是
+  #5018 的 `safeParse` 全绿,而这正是这条规则的特点:它被文档明确设计为也跑在
+  parse 前,好让 `os lint` 对 zod 会拒绝的**值**(`sharingModel: 'read'`)给出更
+  好的信息。被拒的**值**和被拒的**键**是两回事 —— 后者在 parsed 路径上压根到不了。
+
+七条读法各自做过变异测试:任意一条加回去,都至少有一条测试转红。

packages/cli/test/authoring-rule-command-parity.test.ts

@@ -87,7 +87,13 @@ const CASES: ReadonlyArray<{ rule: string; blindTo: readonly AuthoringCommand[];
     rule: 'expression-invalid',
     blindTo: ['lint'],
     stack: withBaseline({
-      objects: [{ name: 'parity_lead', label: 'Lead', sharingModel: 'private', fields: { lead_score: { type: 'number', label: 'Score' } }, validations: [{ name: 'r', expression: 'lead_score > 100' }] }],
+      // The planted defect is the BARE `lead_score` (a record-scoped predicate
+      // binds fields under `record`, so this silently evaluates to null) — not
+      // the key it is written under. Spelled `condition`, which is the only key
+      // `validation.zod.ts` declares: `expression` is one of the four names it
+      // rejects outright, so a fixture using it planted TWO defects and let the
+      // rule under test read a stack `os validate` would never accept (#5017).
+      objects: [{ name: 'parity_lead', label: 'Lead', sharingModel: 'private', fields: { lead_score: { type: 'number', label: 'Score' } }, validations: [{ type: 'script', name: 'r', message: 'Score out of range', condition: 'lead_score > 100' }] }],
     }),
   },
   {

packages/lint/src/runtime-gate.test.ts

@@ -122,7 +122,12 @@ describe('runtime publish gate (#4463)', () => {
       {
         name: 'leave_request',
         fields: { owner: { type: 'text' } },
-        validationRules: [{ name: 'bad', expression: 'record.owner ==', message: 'x' }],
+        // Spelled with the two keys the spec declares (`validations` /
+        // `condition`). Written as `validationRules` / `expression` — both
+        // rejected aliases — the broken CEL was not reachable by the rule at
+        // all, so this fixture proved the subtraction worked by having nothing
+        // to subtract (#5017).
+        validations: [{ type: 'script', name: 'bad', message: 'x', condition: 'record.owner ==' }],
       },
     ];
 
@@ -147,7 +152,12 @@ describe('runtime publish gate (#4463)', () => {
       {
         name: 'leave_request',
         fields: { owner: { type: 'text' } },
-        validationRules: [{ name: 'bad', expression: 'record.owner ==', message: 'x' }],
+        // Spelled with the two keys the spec declares (`validations` /
+        // `condition`). Written as `validationRules` / `expression` — both
+        // rejected aliases — the broken CEL was not reachable by the rule at
+        // all, so this fixture proved the subtraction worked by having nothing
+        // to subtract (#5017).
+        validations: [{ type: 'script', name: 'bad', message: 'x', condition: 'record.owner ==' }],
       },
     ];
     const result = runRuntimeAuthoringRules({