[Decision] Does published skills/** text fall under clause ②'s CONTENT limb? — today nothing but a seat's judgement routes it to contract review
Provenance. Raised by the os-dev agent on #13539 as its option C, and forwarded — ⛔ not adjudicated — by the domain:devx seat (post #6023, session session_01Pk26oZ12t5N1hwGW1m1MgC), R33. Filed separately so it does not die inside a closed card.
The one-line problem
A false published-skill line changes what the contract PROMISES without touching a contract file.
Clause ② has two limbs: a PATH limb (packages/spec/src/**) and a CONTENT limb (changes contract accept/reject behaviour or widens the public surface). Published skill text under skills/** is customer-reachable documentation of the contract. It can state that an operator means one thing when the drivers implement another — which is precisely what #13539 found and fixed — while touching zero contract files.
⇒ the PATH limb cannot see it, and whether the CONTENT limb reaches it has never been ruled.
The concrete instance that raised it
On #13539 the dev measured, honestly and against itself, that neither limb fires on its own two PRs: zero packages/spec/** paths, and no Clause-2: yes declaration in the dispatch. It attached needs:contract-review anyway — riding the card's standing determination, which had been made for a packages/spec JSDoc site fenced out of its scope — and ⛔ self-cleared nothing. Correct on both counts, and it left the question standing rather than resolving it by convenience.
四维分析
1 — 实际业务需求。 这是客户今天就会撞上的面。#13539 的两处 published skill 文本教的是「$exists 测键是否存在」,而三个 driver 实现的全是「有没有值(!= null)」。⇒ 一个照着 skill 写查询的客户会得到与文档相反的结果,而没有任何门禁会红。这不是理论风险,是已发生并已修的实例。
2 — 平台长远合理性。 契约的权威文本与契约的描述文本正在分叉治理:前者有 PATH 肢兜底,后者只靠某个座位当天恰好想到。⭐ 关键不对称:skills/** 已经是受管面(人工合并),所以它已经被认为足够重要到不许 AI 自行落地 —— 但它不触发契约复审。⇒ 「重要到要人工合并」与「不重要到不必过契约复审」这两个判断同时成立,至少有一个是错的。
3 — 避免 AI 写代码犯错。 ⛔ 最大的风险是扩面过宽:若把「任何提到契约的文本」都拉进条款②,复审队列会被 4 个纯算子清单、拼写修正和格式改动淹没,而复审是稀缺的人工资源 —— 淹没一条通道等于关掉它。#13539 的实测正好给了收窄的形状:10 处 content/docs 命中里,只有 3 处作出语义主张,4 处是无主张的算子清单。⇒ 判据应当是「是否作出可证伪的语义主张」,不是「是否提到契约」。
4 — 创业阶段不扩散需求。 便宜的出口存在且不必新建机制:published skills/** 里作出算子语义主张的改动 ⇒ 挂 needs:contract-review,复用现有标签与现有复审链,⛔ 不新增状态、不新增 sweep、不新增门禁。若判定不值得,那也要明写「published skill 文本不属条款②」,让下一个座位不必再猜一次。
三条候选,⛔ 本席不裁
⚠️ A 与 C 不互斥,很可能应当同时采纳:C 抓已知措辞,A 兜住新措辞。
⚠️ 与 #13557 的分界 —— 邻卡,⛔ 不是重复
#13557 问的是何时挂:2026-08-28 对 #12887 的裁定废止了预挂,标签只在可复审增量存在时挂载,而两日内复发 9 例(其中就包括本卡引出的 #13539 本身,由总监席于 2026-08-31 摘除)。它的根因假设是 SOP 文本把「判定」与「挂载」两个动作写在了同一笔。
本卡问的是是否属于:published skills/** 文本根本上算不算 CONTENT 肢。两者正交 ——
#13557 即使完全修好,本卡的面仍然没有任何机制把它路由进复审;本卡即使裁 B(明确排除),
#13557 的时序缺陷照旧存在。
⭐ 值得注意的是本卡的实例同时验证了 #13557 的修法方向:#13539 的 dev 在开 PR 的同一笔重挂了标签(正是 9 例摘除评论共同注明的「PR 存在的同笔即重挂」),⇒ 时序这一半按裁定执行是可行的;卡住的是适用性这一半,而那正是本卡。
⛔ 本席的边界
本席不代裁:这是协议形状问题(条款②覆盖面),按人工地板归维护者。上面的建议是建议,不是裁决。
Refs:#13539(引出本卡的实例,含实现层证据)· #13582(词表棘轮路径)· #13531(filter-logic-conformance.ts 的陈旧格,domain:spec 在飞)
Generated by Claude Code
[Decision] Does published
skills/**text fall under clause ②'s CONTENT limb? — today nothing but a seat's judgement routes it to contract reviewProvenance. Raised by the
os-devagent on #13539 as its option C, and forwarded — ⛔ not adjudicated — by thedomain:devxseat (post #6023, sessionsession_01Pk26oZ12t5N1hwGW1m1MgC), R33. Filed separately so it does not die inside a closed card.The one-line problem
Clause ② has two limbs: a PATH limb (
packages/spec/src/**) and a CONTENT limb (changes contract accept/reject behaviour or widens the public surface). Published skill text underskills/**is customer-reachable documentation of the contract. It can state that an operator means one thing when the drivers implement another — which is precisely what #13539 found and fixed — while touching zero contract files.⇒ the PATH limb cannot see it, and whether the CONTENT limb reaches it has never been ruled.
The concrete instance that raised it
On #13539 the dev measured, honestly and against itself, that neither limb fires on its own two PRs: zero
packages/spec/**paths, and noClause-2: yesdeclaration in the dispatch. It attachedneeds:contract-reviewanyway — riding the card's standing determination, which had been made for apackages/specJSDoc site fenced out of its scope — and ⛔ self-cleared nothing. Correct on both counts, and it left the question standing rather than resolving it by convenience.四维分析
1 — 实际业务需求。 这是客户今天就会撞上的面。#13539 的两处 published skill 文本教的是「
$exists测键是否存在」,而三个 driver 实现的全是「有没有值(!= null)」。⇒ 一个照着 skill 写查询的客户会得到与文档相反的结果,而没有任何门禁会红。这不是理论风险,是已发生并已修的实例。2 — 平台长远合理性。 契约的权威文本与契约的描述文本正在分叉治理:前者有 PATH 肢兜底,后者只靠某个座位当天恰好想到。⭐ 关键不对称:
skills/**已经是受管面(人工合并),所以它已经被认为足够重要到不许 AI 自行落地 —— 但它不触发契约复审。⇒ 「重要到要人工合并」与「不重要到不必过契约复审」这两个判断同时成立,至少有一个是错的。3 — 避免 AI 写代码犯错。 ⛔ 最大的风险是扩面过宽:若把「任何提到契约的文本」都拉进条款②,复审队列会被 4 个纯算子清单、拼写修正和格式改动淹没,而复审是稀缺的人工资源 —— 淹没一条通道等于关掉它。#13539 的实测正好给了收窄的形状:10 处
content/docs命中里,只有 3 处作出语义主张,4 处是无主张的算子清单。⇒ 判据应当是「是否作出可证伪的语义主张」,不是「是否提到契约」。4 — 创业阶段不扩散需求。 便宜的出口存在且不必新建机制:published
skills/**里作出算子语义主张的改动 ⇒ 挂needs:contract-review,复用现有标签与现有复审链,⛔ 不新增状态、不新增 sweep、不新增门禁。若判定不值得,那也要明写「published skill 文本不属条款②」,让下一个座位不必再猜一次。三条候选,⛔ 本席不裁
skills/**中作出算子/契约语义主张的改动落入条款② CONTENT 肢。代价:复审量增加;收益:关掉一条今天只靠运气的通道。scripts/check-role-word.mjs已在content/docs+skills上做同型棘轮,加一个词即可覆盖本类)。代价:只覆盖能被词表捕捉的漂移。#13557 问的是何时挂:2026-08-28 对 #12887 的裁定废止了预挂,标签只在可复审增量存在时挂载,而两日内复发 9 例(其中就包括本卡引出的 #13539 本身,由总监席于 2026-08-31 摘除)。它的根因假设是 SOP 文本把「判定」与「挂载」两个动作写在了同一笔。
本卡问的是是否属于:published
skills/**文本根本上算不算 CONTENT 肢。两者正交 ——#13557 即使完全修好,本卡的面仍然没有任何机制把它路由进复审;本卡即使裁 B(明确排除),
#13557 的时序缺陷照旧存在。
⭐ 值得注意的是本卡的实例同时验证了 #13557 的修法方向:#13539 的 dev 在开 PR 的同一笔重挂了标签(正是 9 例摘除评论共同注明的「PR 存在的同笔即重挂」),⇒ 时序这一半按裁定执行是可行的;卡住的是适用性这一半,而那正是本卡。
⛔ 本席的边界
本席不代裁:这是协议形状问题(条款②覆盖面),按人工地板归维护者。上面的建议是建议,不是裁决。
Refs:#13539(引出本卡的实例,含实现层证据)· #13582(词表棘轮路径)· #13531(
filter-logic-conformance.ts的陈旧格,domain:spec在飞)Generated by Claude Code