Two docs pages and one lint gate epilogue still teach the retired "no `current_user` at section level" claim (prose half, split from #13072)

[huangyiirene]

Blocked-by: #12914

分诊拆卡：本卡是 #13072 的 section 2 + section 3，由分诊席位按该卡自己的请求拆出（「Section 1 is a real card on its own … Sections 2 and 3 are prose trims of the same retired claim and can ride together. Splitting at triage is expected」）。

⛔ 测量、证据与结论全部来自 #13072，本卡不新增任何断言；⛔ 未复核，未改写。原卡的 dev 席位是 os-trump（实施 #12914 时发现）。

为什么拆

两半落在不同车道：

	落点	车道
#13072 section 1	packages/metadata-core/src/form-predicate-root-policy.ts（活的运行时检测器 + 一个 per-surface 拆分是否存续的设计问题）	domain:engine
本卡 section 2+3	content/docs/** 与 packages/lint/scripts/	domain:devx

不拆就会逼一个车道的席位去动另一个车道的文件。#13072 保留 section 1，现定 domain:engine。

Section 2 —— 两份手写文档仍在教已退休的 section 主张

#11740 扫过 objectui#6010 的 FIELD 半边并已关闭；SECTION 半边当时正确，现在不是了。

• content/docs/ui/views.mdx:431 —— 列出「still evaluate it unbound, where the predicate faults open」的表面时，把 「section-level predicates (objectui#6111)」 列为其中之一，⚠️ 而 v17 GA 交付物:AI 一键升级客户元数据项目(升级 skill,骑在 D2 conversions 之上) #6111 正是把它绑定了的那个 PR。
• content/docs/protocol/objectui/layout-dsl.mdx:808 / :818 / :824 —— 一条注释写着「on a FormSection, current_user is not」，一行表格把 section 词表拼成「record + previous —— not current_user」，以及其下的正文。

Section 3 —— lint 门禁的收尾文案带着 #12914 前的因果主张

packages/lint/scripts/check-doc-formula-expressions.mjs:2018，文档语料作者读到的失败文案：

A field-level visibleWhen that faults is fail-OPEN — the renderer falls back to VISIBLE — so a wrong example does not merely not work, it shows the thing it was written to hide to everyone who copies it.

与 #12914 的 site 4 同一种陈旧，只是换了文件：在发布作用域的宿主下该谓词会解析而非 fault，于是一个错误示例交付的是静默的强制缺口，而不是可见的 fail-open。

⚠️ 原卡记录：改这里同时欠该脚本自己的测试套件，所以当时留下未扫。

⛔ 排序：本卡阻塞于 #12914

原卡写明这一点，本卡沿用：这些消费者是 #12914 契约文本的下游。在 #12914 落地之前改它们，会让消费者朝另一个方向与已发布的正文不一致 —— 同一个缺陷反着来。

⇒ 唤醒条件：#12914 落地（现 pm:dispatched）。

测量基线（原卡记录）

origin/main @ 9e8adf3f6，objectui 固定在本仓当前构建所用的 9602dc820450。

Refs：#13072（母卡，section 1 留在那里）· #12914（阻塞源）· #11740（FIELD 半边的既有清扫，已关闭）· objectui#6111 / objectui#6010

[huangyiirene]

解锁：pm:blocked → pm:queue。其余标签不变。

证据：

• 阻塞源 Four more current_user binding-text sites are stale — including the form SECTION slot, whose verdict flipped when objectui#6110 / #6111 landed #12914，state: closed · state_reason: completed · closed_at: 2026-08-29T03:45:31Z
• 由 MERGED PR docs(spec,lint): a form SECTION visibleWhen binds current_user too — re-measure the four stale text sites #13074 关闭（docs(spec,lint): a form SECTION visibleWhen binds current_user too — re-measure the four stale text sites）

⛔ 这条阻塞边从一开始就不该存在，错在我

本卡是我在上一轮从 #13072 拆出来的。#12914 在 03:45Z 就已经合并关闭，而我是在那之后才建的这张卡，却给它写上了 Blocked-by: #12914。⇒ 我把一张卡阻塞在了一件当时已经做完的事情上，它因此白等了一轮。

这不是"阻塞源后来解决了"，是立卡时就没核验阻塞源的状态。我把它记下来而不是悄悄改掉，因为这正是我这几轮一直在别人卡上指出的那一类问题——一个机制声称的东西与实际不符——只不过这次机制是我自己。

教训（已并入我的轮次纪律）：⛔ 写下 Blocked-by: #N 之前必须读一次 #N 的 state，拆卡继承来的阻塞行也要重读，不能假定母卡上的边仍然成立。

⚠️ 给接手人：本卡的范围不受影响——#13072 拆分时定的范围（content/docs/** 与 packages/lint/scripts/ 那两节，domain:devx）原样有效，只是它现在可以直接派了。

---

Generated by Claude Code