diff --git a/.claude/skills/pm-dispatch/SKILL.md b/.claude/skills/pm-dispatch/SKILL.md index 46f0e57566..c50d397f02 100644 --- a/.claude/skills/pm-dispatch/SKILL.md +++ b/.claude/skills/pm-dispatch/SKILL.md @@ -469,11 +469,9 @@ PM 的工作是循环:选卡 → 认领 → 派发 → 收集 → 复核 → 报 - ② 认领评论(英文),固定形状见 模板与表 节;首行以字面 `Claim:` 开头是机器判据。 - 巡查谓词只认 `Claim:` 这一个拼写且保持严格,修法是全舰队向它收敛,⛔ 不放宽谓词。 - session ID 不可省;`mode:subagent` 的 dev 与 PM 同会话同 ID,甄别身份是分支。 -- `Clause-②: yes | no` 是条款②内容肢的强制申报,恒英文机器判据,恰这两种拼写。 -- Clause-② 判据:本卡改变契约接受/拒绝行为或扩大公开面吗;`yes` 绑定入队闸门。 +- `Clause-②: yes | no` 恰这两种拼写,恒英文机器判据;判据:本卡放宽接受集或扩大公开面吗。 - Container & model 行的档位引当次 `node scripts/pm/dispatch-gates.mjs --tier ` 输出,⛔ 不凭记忆。 - 末行 Serial constraints cleared 是落在评论里的读数,同包在飞单不点名等于没查。 -- 末行点名同包/同文件的前驱 PR 与在飞认领,及本卡 pin 断言的兄弟卡;无则 none。 - 本卡 pin 断言兄弟卡在改的行为 ⇒ 派发令注明,并在用例内预登记翻转触发词,⛔ 不修绿。 - 文件面对跨域例外单必填、普通单建议;分支名必须带 issue 号。 - 家族派发的折叠认领:共享分支按链首卡命名;每张成员卡各留认领评论并点名该分支。 @@ -506,10 +504,14 @@ PM 的工作是循环:选卡 → 认领 → 派发 → 收集 → 复核 → 报 - 仅 `references/**` 面、或治理面上一行级机械文本改动的卡,降为默认判断档施工。 - 纯机械一行 PM 酌定可至下限档;降档施工的补偿控制 = 复核席跑契约复审档。 - 降档施工只经契约复审档复核到达维护者,⛔ 不新增标签不新增链。 -- 强制条款②:凡改变契约接受/拒绝行为或扩大公开面的卡一律契约复审档。 +- 强制条款②:凡放宽接受集或扩大公开面的卡一律契约复审档;拉回已声明契约按常规档。 - 条款②判据即代裁的机械边界测试与 `references/lanes/spec.md` 席内分派判据,⛔ 不另抄。 - 负边界:运行时权限/安全行为变更不是条款②,归人工地板安全/权限边界类。 - 条款②只指已发布契约面。 +- 删已发布契约文本本就否定的误拒本身是 `no`;该 `no` 须引那段文本,缺引即读作缺申报。 +- 引文不符 ⇒ 降为 `yes`;裁决守卫、安全拒绝、失败关闭是刻意拒绝非误拒,删之 `yes`。 +- 错误码已发布面 = `ERROR_CODE_LEDGER`/`StandardErrorCode`:新码恒 `yes`,无门亦然,漏登即缺口。 +- 机械放宽判别门禁落地前,入队前的席内契约复核是方向自述的补偿控制。 - 卡面对条款②的复述仍是条款②;额度耗尽豁免及其 `needs:contract-review` 补偿一并及于它。 - 豁免够不到的地板只有维护者裁决能设。 - 席位档策略:skills 车道外的执行席与分诊席默认判断档会话。 @@ -637,8 +639,6 @@ PM 的工作是循环:选卡 → 认领 → 派发 → 收集 → 复核 → 报 - `--tier` 嫌疑行是提示非裁定;双肢命中任一且派发档位低于契约复审档 ⇒ ⛔ 禁止入队。 - 路径肢 = diff 触及契约面 `packages/spec/src/**`,含 error-code-ledger 与 `*.zod.ts` 契约 schema。 - 声明肢 = 认领评论声明 `Clause-②: yes`,与路径无关;错误的 `no` 是可审计的假申报。 -- ⛔ 永不把路径触发读作条款②的完整覆盖:它只盖路径肢,内容肢由声明行承载。 -- 档位以 dispatch-gates 常量 `CONTRACT_REVIEW_TIER` 为准,模型升级只改一行一个文件。 - 交付后复核由派发席在席内完成:达档 PM 自审,或派契约复审档复核子任务。 - PASS ⇒ 同席剥标、ready、auto-merge;FAIL ⇒ 补丁轮;⛔ 免复核不放行。 - 真正设计分叉照旧进决策箱,席内复核 ⛔ 不替代维护者裁定。 diff --git a/.claude/skills/pm-dispatch/references/contract-review.md b/.claude/skills/pm-dispatch/references/contract-review.md index 615acdbc13..380f8f3e07 100644 --- a/.claude/skills/pm-dispatch/references/contract-review.md +++ b/.claude/skills/pm-dispatch/references/contract-review.md @@ -8,6 +8,7 @@ - ⛔ 判据不是提到契约:纯算子清单、拼写、格式不触发。 - 受管面人工合并 ⛔ 不替代复核,两道保障叠加。 - `Clause-②: yes | no` 按设计临时:只定派发档位的保守方向,⛔ 非终审。 +- 删误拒的 `Clause-②: no` 附 `Contract-text:` 引已发布契约文本,双载体同载;缺引即缺申报。 - 真闸门在 PR 或报告时点的档位复核;声明被档位推翻 ⛔ 不作席位过失。 - 机械地板 claim 时可查树:新导出符号或已发布载荷上的新键恒 `yes`,直接锁契约复审档。 - conformance 类 ⛔ 不机械化:填充已声明字段、在两个已发布码之间重选输入类都需判断。 @@ -31,7 +32,6 @@ - ③ 边界旗处置:dev 挂旗与 `open_questions` 逐旗答复或升级。 - 独立性件:契约判断真分叉、或 dev 挂旗待裁 ⇒ 起上下文隔离的复核子代理出第二意见。 - 只喂卡片、既有裁决与 PR 本体,⛔ 不喂派发令与派发席自己的结论;简报写成对抗性。 -- 未达档席 ⛔ 不凭自述复核,恒走本路径;子代理裁决按转录核验采信。 - 裁决载独立性对(机读):产出 diff 的身份写 `Implemented-by:`,出裁决的席位写 `Reviewed-by:`。 - `mode:subagent` dev 记其分支 `claude/issue-…`(子代理无自有 session);`mode:remote` dev 记 session id。 - 两者同 session ⇒ 报 SELF-REVIEW,⛔ 不作独立复核;两行皆无的历史裁决恒静默。 diff --git a/.claude/skills/pm-dispatch/references/lanes/engine.md b/.claude/skills/pm-dispatch/references/lanes/engine.md index a35d891f70..fd7e378c88 100644 --- a/.claude/skills/pm-dispatch/references/lanes/engine.md +++ b/.claude/skills/pm-dispatch/references/lanes/engine.md @@ -17,7 +17,7 @@ ## 常设承诺 - driver conformance 台账只降不升:driver 卡的派发令要求 dev 前后各读一次 covered 与 DEBT。 -- 改变契约接受或拒绝行为的卡按条款②处理,判据与档位在 SKILL.md,⛔ 不另抄。 +- 放宽接受集或扩大公开面的卡按条款②处理,判据与档位在 SKILL.md,⛔ 不另抄。 ## 席内判断 diff --git a/.claude/skills/pm-dispatch/references/lanes/spec.md b/.claude/skills/pm-dispatch/references/lanes/spec.md index a4701cd979..8703b18569 100644 --- a/.claude/skills/pm-dispatch/references/lanes/spec.md +++ b/.claude/skills/pm-dispatch/references/lanes/spec.md @@ -16,7 +16,7 @@ - 语义与文本按合法元数据集合变没变分:改动前过校验的输入改动后同判 ⇒ 文本面。 - 文本面的 changeset 恒 patch,默认 sweep-first;否则语义面。 -- 任何改变接受或拒绝行为的卡,不论多小,按语义面处理,即条款②。 +- 放宽接受集或扩大公开面的卡,不论多小,即条款②;收窄仍是语义面,不触条款②。 - 机器面改围契约的机器,与文本面不交,⛔ 不碰 `packages/spec/src/**/*.zod.ts` 与 strictness 台账。 - 产物随源走:describe 与 JSDoc 改动重生成的 references 产物归触发它的源 PR。 - 生成物门禁重生成提交,⛔ 手改。