skills(pm-dispatch): clause-② is directional; false-rejection and error-code-face boundaries (#16501)

- SKILL.md: the criterion and the claim 判据 read 放宽接受集或扩大公开面;
  a narrowing lands at its ordinary tier; the false-rejection boundary (a
  `no` cites the published contract text; a deliberate refusal is never a
  false rejection); the error-code published face is the ledger/enum; the
  compensating control until the mechanical widening-tell gate lands.
  Four additions paid by four folds of restated lines (811 held).
- contract-review.md: the `Contract-text:` claim-comment spelling beside
  the declaration line, paid by one restated line (60 held).
- lanes/spec.md, lanes/engine.md: the lane restatements of the criterion
  take the same direction qualifier (line-neutral).


Claude-Session: https://claude.ai/code/session_019RfFHiRCSs3JXLK4cwcfox

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

Author: claude[bot]

.claude/skills/pm-dispatch/SKILL.md

@@ -470,11 +470,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 <paths>` 输出,⛔ 不凭记忆。
 - 末行 Serial constraints cleared 是落在评论里的读数,同包在飞单不点名等于没查。
-- 末行点名同包/同文件的前驱 PR 与在飞认领,及本卡 pin 断言的兄弟卡;无则 none。
 - 本卡 pin 断言兄弟卡在改的行为 ⇒ 派发令注明,并在用例内预登记翻转触发词,⛔ 不修绿。
 - 文件面申报到区域级,每单必填;分支名必须带 issue 号。
 - 家族派发的折叠认领:共享分支按链首卡命名;每张成员卡各留认领评论并点名该分支。
@@ -507,10 +505,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 ⇒ 补丁轮;⛔ 免复核不放行。
 - 真正设计分叉照旧进决策箱,席内复核 ⛔ 不替代维护者裁定。

.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,⛔ 不作独立复核;两行皆无的历史裁决恒静默。

.claude/skills/pm-dispatch/references/lanes/engine.md

@@ -17,7 +17,7 @@
 ## 常设承诺
 
 - driver conformance 台账只降不升:driver 卡的派发令要求 dev 前后各读一次 covered 与 DEBT。
-- 改变契约接受或拒绝行为的卡按条款②处理,判据与档位在 SKILL.md,⛔ 不另抄。
+- 放宽接受集或扩大公开面的卡按条款②处理,判据与档位在 SKILL.md,⛔ 不另抄。
 
 ## 席内判断
 

.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。
 - 生成物门禁重生成提交,⛔ 手改。