diff --git a/.claude/skills/pm-dispatch/SKILL.md b/.claude/skills/pm-dispatch/SKILL.md
index 0f84f55ef3..b714550e98 100644
--- a/.claude/skills/pm-dispatch/SKILL.md
+++ b/.claude/skills/pm-dispatch/SKILL.md
@@ -511,18 +511,17 @@ PM 的工作是循环:选卡 → 认领 → 派发 → 收集 → 复核 → 报
 - 仅 `references/**` 面、或治理面上一行级机械文本改动的卡,降为默认判断档施工。
 - 纯机械一行 PM 酌定可至下限档;降档施工的补偿控制 = 复核席跑契约复审档。
 - 降档施工只经契约复审档复核到达维护者,⛔ 不新增标签不新增链。
-- 强制条款②:凡放宽接受集或扩大公开面的卡一律契约复审档;拉回已声明契约按常规档。
+- 强制条款②:凡放宽接受集或扩大公开面的卡默认判断档施工、契约复审档复核。
 - 条款②判据即代裁的机械边界测试与 `references/lanes/spec.md` 席内分派判据,⛔ 不另抄。
 - 负边界:运行时权限/安全行为变更不是条款②,归人工地板安全/权限边界类。
-- 条款②只指已发布契约面。
+- 条款②只指已发布契约面,拉回已声明契约不触它;卡面复述仍是条款②。
 - 删已发布契约文本本就否定的误拒本身是 `no`;该 `no` 须引那段文本,缺引即读作缺申报。
 - 引文不符 ⇒ 降为 `yes`;裁决守卫、安全拒绝、失败关闭是刻意拒绝非误拒,删之 `yes`。
 - 错误码已发布面 = `ERROR_CODE_LEDGER`/`StandardErrorCode`:新码恒 `yes`,无门亦然,漏登即缺口。
 - 机械放宽判别门禁落地前,入队前的席内契约复核是方向自述的补偿控制。
-- 卡面对条款②的复述仍是条款②;额度耗尽豁免及其 `needs:contract-review` 补偿一并及于它。
 - 豁免够不到的地板只有维护者裁决能设。
 - 席位档策略:skills 车道外的执行席与分诊席默认判断档会话。
-- 契约复审档留给裁决/复审子代理、skills 席与条款②工作。
+- 契约复审档留给裁决/复审子代理、skills 席与条款②复核。
 - 降档出口两条:额度耗尽豁免,与主动预降(余量吃紧可预先降档)。
 - 额度耗尽豁免仅当契约复审档实测不可用才落默认判断档,⛔ 不再往下。
 - 降档的档位与理由记入认领评论 Container & model 行;档位逐次派发显式传参,永不省略。
@@ -637,7 +636,7 @@ PM 的工作是循环:选卡 → 认领 → 派发 → 收集 → 复核 → 报
 
 - 细则见 `references/landing-operations.md`,落地窗口查阅。
 - 条款②入队闸门:翻 ready / 入队前先取 PR 实际 diff;diff 是事实,卡片语义是预测。
-- `--tier` 嫌疑行是提示非裁定;双肢命中任一且派发档位低于契约复审档 ⇒ ⛔ 禁止入队。
+- `--tier` 嫌疑行是提示非裁定;双肢命中任一 ⇒ 无席内契约复审档 PASS 在案 ⛔ 禁止入队。
 - 路径肢 = diff 触及契约面 `packages/spec/src/**`,含 error-code-ledger 与 `*.zod.ts` 契约 schema。
 - 声明肢 = 认领评论声明 `Clause-②: yes`,与路径无关;错误的 `no` 是可审计的假申报。
 - 交付后复核由派发席在席内完成:达档 PM 自审,或派契约复审档复核子任务。
@@ -673,6 +672,7 @@ PM 的工作是循环:选卡 → 认领 → 派发 → 收集 → 复核 → 报
 
 - 每轮向维护者打中文轮次报告(chat 通道):issue → 判决 → PR 链接 → 备注的表。
 - 报告加升级项、代裁清单(分诊)、awaiting a human merge 项、governed 合并审计清单。
+- 报告席记条款②默认档 FAIL 率入复审清单;超改制前达档史值 ⇒ 决策卡交维护者定回退。
 - 审计清单实跑 `node scripts/pm/check-governed-merges.mjs --since <上轮>`,⛔ 不凭记忆汇总。
 - 车道审计是早警;权威合并窗口与认定/回滚处置归总监席,见 `references/lanes/director.md`。
 - 报告含 `UNRECOGNISED` 行:对本轮门禁日志 grep `UNRECOGNISED` 逐行照录,`NOT APPLICABLE` 行也在内。
diff --git a/.claude/skills/pm-dispatch/references/contract-review.md b/.claude/skills/pm-dispatch/references/contract-review.md
index 6075387d49..c85b852e02 100644
--- a/.claude/skills/pm-dispatch/references/contract-review.md
+++ b/.claude/skills/pm-dispatch/references/contract-review.md
@@ -7,12 +7,12 @@
 - 内容肢及于 published `skills/**`:作可证伪的算子或契约语义主张的改动挂标走本复核。
 - ⛔ 判据不是提到契约:纯算子清单、拼写、格式不触发。
 - 受管面人工合并 ⛔ 不替代复核,两道保障叠加。
-- `Clause-②: yes | no` 按设计临时:只定派发档位的保守方向,⛔ 非终审。
+- `Clause-②: yes | no` 按设计临时:只定是否必过契约复审档复核的保守方向,⛔ 非终审。
 - 删误拒的 `Clause-②: no` 附 `Contract-text:` 引已发布契约文本,双载体同载;缺引即缺申报。
 - 真闸门在 PR 或报告时点的档位复核;声明被档位推翻 ⛔ 不作席位过失。
-- 机械地板 claim 时可查树:新导出符号或已发布载荷上的新键恒 `yes`,直接锁契约复审档。
+- 机械地板 claim 时可查树:新导出符号或已发布载荷上的新键恒 `yes`,锁契约复审档复核。
 - conformance 类 ⛔ 不机械化:填充已声明字段、在两个已发布码之间重选输入类都需判断。
-- claim 拿不准 ⇒ 按 `yes` 派契约复审档;⛔ 不建全量分类学与 claim 时决策程序。
+- claim 拿不准 ⇒ 按 `yes` 挂标走契约复审档复核;⛔ 不建全量分类学与 claim 时决策程序。
 - PR 与卡双载体同笔挂:PR 一存在即挂;报告先于 PR 到达则先挂卡侧,ACCEPT 时补齐 PR 侧。
 - 同笔在卡上记一行条款②认定;停靠只防误入队,⛔ 无等外部席位的无限期状态。
 - 前瞻的条款②事实住卡上裁决与分诊评论、`Clause-②` 申报和 `--tier` 输出。
diff --git a/.claude/skills/pm-dispatch/references/core-rules.md b/.claude/skills/pm-dispatch/references/core-rules.md
index 85c044d2d1..154136d870 100644
--- a/.claude/skills/pm-dispatch/references/core-rules.md
+++ b/.claude/skills/pm-dispatch/references/core-rules.md
@@ -110,7 +110,7 @@
 - 认领原子对:一次标签写入完成认领与状态对调,随后留 `Claim:` 开头的评论并重读全线程。
 - 更早的他会话认领即让行并交出已诊断的一切;认领逾一天且无合并证据即疑死。
 - 回收前先救工作树,有提交的活分支 ⛔ 永不回收。
-- 一单一次派发调用,档位逐卡显式传参,协议语义面与契约变更卡恒走契约复审档。
+- 一单一次派发调用,档位逐卡显式传参;语义面卡恒契约复审档施工,契约变更卡恒其复核。
 - 派发词 ⛔ 不整段粘贴 issue 正文,只带增量,并要求子代理自查正文完整性。
 - 派发词分三区:裁决不可重裁、机制假设须实测、建议路线可换,⛔ 不把假设写成裁决。
 - 标准非协商条款 ⛔ 不抄进派发词,清单、路径与行号在派发那一刻从树上取。
@@ -121,7 +121,7 @@
 - 复核对 GitHub 核验 ⛔ 不对自述核验,逐项过清单并亲核形态、范围与整包价值密度。
 - CI 收敛读数只属于复核侧;判决三种:验收落卡、返工最多两轮、升级走决策通道。
 - 验收后先取 PR 路径面,一条命中受管面即分叉,⛔ 不翻正式、不入队、不挂自动合并。
-- 受管面 PR 留 draft 并向两个授权批准账户请审;档位不足的契约卡 ⛔ 禁止入队。
+- 受管面 PR 留 draft 并向两个授权批准账户请审;无达档复核 PASS 的契约卡 ⛔ 禁止入队。
 - 入队资格是每一个检查全绿 ⛔ 不是必查子集;碰生成物的 PR 入队前先同步再重生成。
 - 跟到合并为止并每轮读队列成员资格与 `origin/main`;踢出按签名台账四分支处置。
 - 合并即发布的仓无验证层不合并,落地判据是已发布且探测通过 ⛔ 不是 MERGED。
diff --git a/.claude/skills/pm-dispatch/references/lanes/cli.md b/.claude/skills/pm-dispatch/references/lanes/cli.md
index c624e5ecce..a01f898ae5 100644
--- a/.claude/skills/pm-dispatch/references/lanes/cli.md
+++ b/.claude/skills/pm-dispatch/references/lanes/cli.md
@@ -15,7 +15,7 @@
 ## 常设承诺
 
 - PR 侧绿不等于队列侧绿;队列分支条目名、队序重建与出队滞留住 `../platform-readings.md`。
-- `dispatch-gates.mjs` 只报路径推导的地板,条款②从卡内容判且优先于它。
+- `dispatch-gates.mjs` 只报路径推导的地板;条款②从卡内容判,只定复核档不定施工档。
 - 已知盲区:它不点名 `pnpm lint` 族 ⇒ 本车道派发令恒补一句跑 `pnpm lint`。
 - ⛔ 永不削弱门禁:棘轮上跳是门禁在报你的改动有缺陷。
 - 规则文案里自带的逃生舱只用于它描述的那种情形。