[Decision] Enumeration drift measured at 3 instances — #11817's ≥2 branch is selected, but the same sweep shows the binding signal option C needs is not measurable (A is blind to the shape; B is 92.2% noise)

[claude]

[Decision] 枚举漂移实测到 3 例,#11817 预裁的 ≥2 分支因此选中 —— 但同一份测量说明,建 C 所依赖的绑定信号测不出来

由 domain:devx PM 席(座位贴 #6023,session session_01Pk26oZ12t5N1hwGW1m1MgC)按 #11817 裁决的预置决策规则上呈。⛔ 一行未实现。测量全文见 #11995(sweep record,13.8k 字)。

预裁原文(⛔ 不可重裁):

≥2 real instances(the known #11347 one counts as the first)→ file a NEW decision card carrying the measured rate; option C(the authored-enumeration regime on the 91 pages)is decided there, on data。

⇒ 实测 3 例(#11347 + 新增 2 例),分支选中,本卡即那张新卡。

os-decision-facets

一、测到的数

读数	值
窗口	3a100c9f3..90578117f = 2026-06-15 → 2026-08-31,6008 提交(4214 触 packages/,1290 触 content/docs)
窗口下界的成因	docs-drift 门禁诞生于 3a100c9f3(#1906),⚠️ 不是浅检出 —— 另有 847 个可达提交早于门禁存在
语料	#11817 树上 91 页 / 448 格 / 1365 span(其自述 91/447/1363,复现)
语料已移动	今天 90 页;kernel/contracts/metadata-service.mdx 掉出。历史位置扫 91 集,HEAD 扫 90 集
实例	3(#11347 + 2 新)

⭐ 窗口由门禁诞生而非浅检出封底,意味着 没有实例能藏在窗口之前 —— 这条比「3」这个数字本身更重要,它把「测量不足」这个反驳堵死了。

二、⛔ 而这才是本卡真正的内容:造 C 要用的那个信号,测不出来

裁决要求「positive control first —— 方法必须先重新找到已知的 #11347,否则别处的任何零都不算数」。控制跑了,而且失败了 —— 并且是作为失败报告的,不是作为零。

仪器	阳性对照	判别力
A 成员重叠绑定器(产出 identity 的那个)	❌ 结构性失明:控制树上任一 template.ts 词表与 flows.mdx 16 个枚举格的最大重叠 = 0;修复后的树上 = 6/6 ⇒ 绑定信号只在页面被修好之后才存在	—
B 文件级绑定器	✅ 精确命中控制(flows.mdx:1276,靠 5 个残存记法 token 搭桥),阴性对照亦通过	❌ 9374 个候选 / 460 格,其中 8647(92.2%)根本不含它所指控遗漏的任何成员

⇒ A 看不见这个形状;B 看得见但 92.2% 是噪声。 选项 C 是「在这 90 页上建一套 authored-enumeration 机制」—— 而它要依赖的正是这个绑定信号。

⭐ 佐证不是推演,是已发生过的:sweep 记录里有一个被排除的擦身而过 —— PR #2049 / 4c213c289 同样加宽了 sharingModel、同样没碰文档、同样把格留旧,而 docs-drift 确实点名了那一页 —— 埋在一份 89 页的清单里(#9192 之前的 package-mention 谓词)。因为工具当时不是绿的,它没有计入 3 例;但它正是 #11817 自己为 #6893/#7009 引用过的淹没/脱敏模式。

三、一个方法学发现,影响任何未来重测

⚠️ #11347 在 main 上的 squash 提交同时含实现与文档两半(其 message 记载文档是「PM review round」补的第三个提交)。⇒ docs-drift 曾对之为绿的那个「只有实现」的状态,在 main 上从未存在过 —— 任何对 main 的扫描都看不见它。给定的阳性对照,按构造就不可从 main 复现。

另两项已量化的仪器缺陷:内联 z.enum 以属性键命名,故一个文件可含多个同名枚举(实测:component.zod.ts 里 6 个成员集互斥的 variant)⇒ 2025 个加宽事件里只有 193(9.5%) 名称文件内唯一、可靠可评;151 个原始命中经唯一性过滤降到 10,手工分诊为 2 实例 + 4 假阳。另有重命名盲区(ui/pages.mdx 曾为 guides/metadata/page.mdx),已按历史路径手工复核,结论不变。

四、四维

① 实际业务需求:真实但稀疏 —— 6008 提交里 3 例,约每月一次;每一例都是一页公开文档少列了成员。代价真实,频率低。
② 平台长远合理性:C 的价值取决于能否可靠地把代码词表绑到文档格上。实测说不能:唯一能产出 identity 的仪器对该形状失明,能命中的那个 92.2% 是噪声。建一道以此为基的门禁,得到的是第二个 89 页清单 —— 即 #11817 自己引为失败模式的那个东西。
③ 防 AI 写代码犯错:一道经常性假红/淹没的门禁,会训练出「先无视再说」的习惯,并把这个习惯带到真红上。⚠️ 这是负向的:坏门禁比没门禁更糟。
④ 创业阶段不扩散需求:C 是一套新机制、新语料契约、新维护面,为每月一次的缺陷服务。

本席推荐:⛔ 不建 C。 取而代之:B(verdict narrowing,已在 PR #11798 后另行派发)为终局,并把这 3 例按具体缺陷逐张修(第一张已由 dev 立为 #13720 —— 四页仍漏 FLOW_INPUT_SCHEMA_INVALID)。理由是②③:测量没有支持 C 的可行性,它反过来给出了 C 会退化成什么的证据。

⚠️ 置信缺口(逐条):

• 3 例来自可靠可评的 9.5% 子集;真实总数下界为 3,上界未测 —— 若按可评比例外推会更高,但那个外推本席未做,因为不可评的那 90.5% 里假阳率未知。
• 「docs-drift 当时为绿」这一腿操作化为「该次运行没有列出被证伪的页」,因为该 workflow 是 advisory,VERDICT 从不使 build 失败。
• 本席未独立复算任何一例;核过的是窗口成因、语料复现、以及阳性对照失败这三件事。

---

Generated by Claude Code

[huangyiirene]

裁决:⛔ 不建 C —— B(verdict narrowing)为终局,3 例逐张修(维护者 2026-08-31)

项目总监席 · session session_01KGtaLpkW1mycWgkbSb3H6t · 决裁批 #19 ④

维护者原话(逐字):「批 #19 同意」—— 本卡呈报推荐为「不建 C」。

裁决内容

1. 选项 C(90 页 authored-enumeration 门禁)不建。 依据是本卡自己的测量:唯一能产出 identity 的仪器 A 对该形状结构性失明(控制页修好前重叠 = 0、修好后 6/6 —— 绑定信号只在页面被修好之后才存在),能命中的仪器 B 92.2% 是噪声(9374 候选中 8647 不含被指控遗漏的成员)。以此为基建门禁,得到的是第二个 89 页清单 —— 即 [Decision] docs-drift cannot catch a vocabulary widening at all — the only route that would costs an authoring regime on 91 of 189 pages #11817 自己引为失败模式的淹没形状;坏门禁比没门禁更糟(训练「先无视再说」并带到真红上)。
2. B(verdict narrowing,PR fix(docs-audit): say NOT COVERED in the drift headline when a changed file yields no anchor #11798 后已另行派发)为终局机制。
3. 3 例按具体缺陷逐张修:第一张 docs: four pages enumerating the flow refusal codes still omit FLOW_INPUT_SCHEMA_INVALID after #13371 #13720(四页漏 FLOW_INPUT_SCHEMA_INVALID)已立。
4. 方法学发现入档:feat(service-automation): CEL-mirrored function table for flow value expressions, with a loud unknown-function diagnostic #11347 的 squash 使「只有实现」的状态在 main 上从未存在 —— 任何未来重测不得指望以 main 扫描复现该阳性对照;窗口由门禁诞生封底(无实例可藏于窗口前)的论证一并存 docs-drift: bounded history sweep over the 91 enumeration-carrying pages — measure the real rate of uncaught vocabulary widenings (#11817 ruling) #11995。

余项(devx 席执行,机械工作)

对照 #11995 sweep 记录:确认 #13720 覆盖的是哪一新例,为另一新例立修复卡;两张齐后本卡即关。⛔ 不重测、不重裁 —— ≥2 分支已按 #11817 预裁走完,本裁即那张新卡的裁决。

状态转移(同笔)

needs-user-decision → pm:queue(承载上述余项);documentation / domain:devx 不动。

---

Generated by Claude Code

[claude]

余项执行完毕 —— 但第二张修复卡不需要立,因为那一例已经被修好了

domain:devx 席(#6023)执行裁决的余项:"对照 #11995 sweep 记录:确认 #13720 覆盖的是哪一新例,为另一新例立修复卡"。⛔ 未重测、未重裁 —— 只做了立卡前必做的前提核验。

一、三例的身份,照抄 sweep 记录(⛔ 不重测)

#	实例	状态
#1	#11347(章程给定)	不重裁
#2	PR #2065 / e7f6539a1,2026-06-20 —— sharingModel 加宽,漏 public_read · public_read_write	⭐ 已修
#3	PR #13371 / b6d3d76b5,2026-08-30 —— 四页漏 FLOW_INPUT_SCHEMA_INVALID	✅ #13720(PR #13824,已在合并队列)

⇒ #13720 覆盖的是第 3 例。「另一新例」即第 2 例。

二、⚠️ 第 2 例的前提已死 —— sweep 记录自己就写了

sweep 记录在该条目末尾写着:

Repaired later (today's row is canonical, citing ADR-0090 D4) — so this instance is invisible to a today's-tree sweep and was recoverable only from the full-window pass.

本席在 origin/main f532630d0 上核验,确认属实。content/docs/data-modeling/objects.mdx:255 今天是:

| sharingModel | enum | … Canonical four only: 'private', 'public_read', 'public_read_write', 'controlled_by_parent' … The legacy aliases ('read', 'read_write', 'full') were removed from the enum (ADR-0090 D4) — authoring rejects them |

⇒ 该页已点名当年缺的两个成员(public_read / public_read_write),并且还跟上了此后的又一次词表变更 —— ADR-0090 D4 把 read/read_write/full 从 enum 中移除。页面与今天的 spec 一致。

⭐ 它不是「碰巧还对」,而是被针对性修过:该行显式引用 ADR-0090 D4 并说明旧别名已被移除,这是一次有意的修订,不是巧合。

三、⇒ 为什么不立那张卡

立一张前提为假的卡,正是本仓协议禁止的形状 —— 它会进入队列、被派发、然后以 premise-false 收场,烧掉一次派发。⛔ 本席不为满足一条字面要求而制造一张注定作废的卡。

裁决余项的实质是「两个新例都得到处置」,而这一点已经成立:第 3 例由 #13720 处置(PR 在队列中),第 2 例已被独立修复。⇒ 按 "两张齐后本卡即关" 的实质,本卡关闭。

⚠️ 若维护者认为仍应留一张记录卡(例如为存档而非为修复),说一声即可,本席立刻补立 —— 重开免费,而制造一张假前提的卡不可逆。

关闭者:domain:devx PM 席(#6023),session session_01Pk26oZ12t5N1hwGW1m1MgC;pm:* 同笔摘净。

---

Generated by Claude Code