skills(pm-dispatch): charter references — clause-② applicability, the shape-1 red exception, the two-layer landing, the three-class blocker rule, the director batch (#17942 chain, second half)

.claude/skills/pm-dispatch/references/contract-review.md

@@ -6,10 +6,9 @@
 
 - 内容肢及于 published `skills/**`:作可证伪的算子或契约语义主张的改动挂标走本复核。
 - ⛔ 判据不是提到契约:纯算子清单、拼写、格式不触发。
-- 受管面人工合并 ⛔ 不替代复核,两道保障叠加。
 - `Clause-②: yes | no` 按设计临时:只定是否必过席内契约复核的保守方向,⛔ 非终审。
 - 删误拒的 `Clause-②: no` 附 `Contract-text:` 引已发布契约文本,双载体同载;缺引即缺申报。
-- 真闸门在 PR 或报告时点的席内复核,达档只在 spec 席;声明被复核推翻 ⛔ 不作席位过失。
+- 真闸门在 PR 或报告时点的席内复核;声明被复核推翻 ⛔ 不作席位过失。
 - 机械地板 claim 时可查树:新导出符号或已发布载荷上的新键恒 `yes`,锁席内契约复核。
 - conformance 类 ⛔ 不机械化:填充已声明字段、在两个已发布码之间重选输入类都需判断。
 - claim 拿不准 ⇒ 按 `yes` 挂标走席内契约复核;⛔ 不建全量分类学与 claim 时决策程序。
@@ -23,27 +22,29 @@
 
 ## 复核归属与资格(席内)
 
-- 归属该卡派发席,交付后收集复核当轮席内完成。
-- spec 席审低档实现者的契约增量,非自身产物;余席条款②复核 = 默认判断档自审加门禁。
+- 归属该卡派发席,交付后收集复核当轮席内完成;借复核不移卡,新 spec 工作恒归 spec 席。
+- 逐车道:spec 席达档审契约增量;余席默认档自审加门禁、挂标;豁免仅独立性件与保险丝。
 - 复核记录 = 一条评论落 PR 或卡,达档与默认档同形;散文、dev 自评、`os-dev-report` 恒不算。
 - 同形 = `## Contract review` 题头、所审 head sha 码段、①②③ 逐项、独立性对、PASS/FAIL 判词。
 - 同形含首行 `Served-tier:`:值取转录 harness `model` 盖章,可前置 N/N;无此行不成裁决。
 - ① derived judgments 逐项:diff 引出的接受集与公开面变化逐条点名判对错。
 - ② semver 定级:变更级别与 changeset 声明一致。
 - ③ 边界旗处置:dev 挂旗与 `open_questions` 逐旗答复或升级。
-- 独立性件,spec 席:契约判断真分叉或 dev 挂旗 ⇒ 起上下文隔离的达档复核子代理。
+- 独立性件:契约真分叉、dev 挂旗或派发后的跨车道面(含 spec)⇒ 起隔离的达档复核子代理。
 - 只喂卡片、既有裁决与 PR 本体,⛔ 不喂派发令与派发席自己的结论;简报写成对抗性。
 - 独立性对(机读):`Implemented-by:` 写产 diff 者身份;`mode:subagent` 记分支,`mode:remote` 记 session id。
 - `Reviewed-by:` 写渲染或采纳裁决的席位 session;隔离复核子代理无 session,记采纳它的席位。
 - 两者同 session ⇒ 报 SELF-REVIEW;值紧跟冒号,前置词即不可读;两行皆无的历史裁决恒静默。
 - 清标即落地:PASS ⇒ 同席同笔剥双载体;清标同笔落 PR provenance 评论,引记录 id 与所判 head。
 - 随后按 `landing-operations.md` 走落地前检 → 转 ready → 挂 auto-merge 或入队。
 - 轮次报告设复审清单专节,形状与代裁清单同为强制审计。
-- 落地前检三条:① 席内条款②复核 PASS 在案,即 PR 或卡上同形的复核记录(spec 席达档)。
+- 落地前检三条:① 席内条款②复核 PASS 在案,即 PR 或卡上同形的复核记录(档位按逐车道)。
 - ② 双载体已清,逐对机读 `node scripts/pm/check-clause2-carriers.mjs --pair PR-NUMBER`。
 - 0 = 双肢一致、无放宽 tell、head 上有记录;4 = 任一不成立;3 = 环境答不了,⛔ 不作干净。
 - 放宽 tell 由 `scripts/pm/check-widening-tells.mjs` 判,`no` 撞新键/成员/导出/登记即拒,附 file:line。
-- ③ PR 全部 check 全绿,⛔ 非 required 子集;受管面不适用,draft-only 终局不变。
+- ③ PR 全部 check 全绿,⛔ 非 required 子集;例外:merge-base 上同名同失败签名的红不计。
+- 签名 = 失败步 + 首错行,读 base check runs 的 API ⛔ 不凭口述;主干红止血立单不变。
+- 规则层等维护者的字;受管路径全在 `.claude/skills/pm-dispatch/references/` 者达档过本三条入队。
 
 ## 降档保险丝(机读)
 
@@ -55,6 +56,5 @@
 - 清标前 `--pair`:裁决 `Served-tier:` ≠ `CONTRACT_REVIEW_TIER` ⇒ exit 4,点名 PR、评论、读数。
 - 施工档只取 harness `model` 盖章或认领 Container & model 行;`Co-Authored-By` = 署名常量 ⛔ 非证据。
 - 产出裁决的每轮都须读到契约复审档位,见回退证据 ⇒ 裁决整体作废。
-- 父会话只有两个合法动作:逐字采纳,或整体作废(核验失败、越范围、格式不完整)。
-- ⛔ 永不改写、删节或润色子代理裁决。
-- 契约复核 ⛔ 不适用额度耗尽豁免降档:豁免对象是派发,复核正为补偿低档派发而存在。
+- 父会话只可逐字采纳或整体作废(核验失败、越范围、格式不完整),⛔ 永不改写润色。
+- 契约复核 ⛔ 不适用额度耗尽豁免降档:豁免对象是派发,复核 ⛔ 不随派发档位免除。

.claude/skills/pm-dispatch/references/decision-analysis.md

@@ -13,8 +13,8 @@
 - 批序:在飞被阻塞 > 运营阻塞 > 用户可见 > 结构性;每卡 = 六项写法 + 四棱块。
 - 回批一行式逐卡对应字母选项;带的附加条件随执行落地,⛔ 不为它另起请示轮。
 - 呈递详解 = 逐卡散文按正文六项;⛔ 表格行、判词、栅格不构成详解,压缩批次是违规。
-- 重分析轮同纪律;适用面 = 任何席位向维护者呈递需其裁决的决策项。
-- ⛔ 不及结果陈述:轮次报告的表格照旧。
+- 受管草稿批例外:一 PR 一行(改了什么/为什么/席位意见/一个动作),⛔ 不套六项;速读住 PR。
+- 重分析轮同纪律;适用面 = 任何席位向维护者呈递的待裁项,⛔ 不及结果陈述如轮报表格。
 
 ## 落卡分析模板
 

.claude/skills/pm-dispatch/references/dispatch-runbook.md

@@ -154,12 +154,12 @@
 - 把死 agent 没跑完的验证完整重跑并报真实输出。
 - assignee、认领评论与分支全部不动:这是既有认领的延续,不是新认领。
 
-## 跨车道简单阻塞项直接接手
+## 在飞卡衍生与阻塞项三类细则
 
-- 只覆盖等一周与做十分钟的形状。
-- `packages/spec` 恒归 spec 座位,本条不豁免:唯一所有者规则更硬。
-- 判据是依赖形状:只做被本车道开卡 `Blocked-by:` 点名的那一个阻塞项。
-- 做完即回,⛔ 不顺手接第二张。
+- 衍生 sub-issue:认领席同笔写父卡域与优先级、附查重词后派发;父卡 checklist 评论记一行。
+- 无主阻塞项:只做 `Blocked-by:` 点名的那一张,做完即回,⛔ 不顺手接第二张。
+- 无主阻塞项的契约面(含 `packages/spec`)走 `contract-review.md` 独立性件的隔离达档复核。
+- 在飞阻塞项:等待者在阻塞卡留一行点名自卡;父卡 p0/p1 ⇒ 阻塞卡同笔升同级,沿链重复。
 
 ## 停摆复位梯度
 

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

@@ -13,7 +13,6 @@
 - 召唤间隔里决策卡与审计窗口停放是设计安全态;复核放行不在其内,常设归派发席席内。
 - 档位由维护者逐场按项目人工定,⛔ 无档位硬门、无免档整理态;本文不写模型名。
 - 开场读一次服役档记入会话审计行,读法见 `../platform-readings.md`;⛔ 不因档位拒裁停四职。
-- 唯一裁决者:决策箱、代裁与一类自裁只出自本席;维护者在哪个仓工作就在哪个仓召唤。
 - 双射 carve-out:一张 `pm:seat` 座位贴,四段照旧;状态块逐场一行,各记己锚,⛔ 无占席人。
 - 不占 `domain:*` 车道,范围按职责标签跨车道跨仓;永不认领 backlog、永不写码。
 
@@ -30,7 +29,7 @@
 - 裁决仍被尊重但非放行必要条件,⛔ 不与席内复核抢同一载体的放行动作。
 - 非机械 CI 红交回具名读者;机械红可接手,经派发 dev 执行。
 - 处理三分支之一,收尾 PASS 且工已完 ⇒ 跟到合并为止。
-- 非受管 code PR 走清标即落地全链;受管面照旧 draft-only 加人工合并。
+- 非受管 code PR 走清标即落地全链;受管面两层落地见 `../contract-review.md` 落地前检③。
 - 到合并 = 推进到就绪并点名等待,⛔ 不代维护者合并。
 - 之二,大的错误 FAIL 或 REWORK ⇒ 改标签即交接,端态按 `../contract-review.md` 载体纪律。
 - ⛔ 散文点名不是交接:标签才是收件箱,散文对候选查询与 sweep 全不可见。
@@ -42,6 +41,9 @@
 - 决策收件箱 `needs-user-decision` 跨仓勤务,按基本原则批呈。
 - 一行回批即全链执行,裁后四件原子执行不再请示。
 - 批间新到滚入下批,收件箱清零才收工;⛔ 不复活已退役的汇总 issue。
+- 受管草稿批:两仓 `is:pr is:open is:draft label:needs-user-decision` 对照等人合清单,差集点名。
+- 有席内 ACCEPT 者呈一批 ≤5 行,写法见 `../decision-analysis.md`;四件缺一者列缺口不呈。
+- 回批原话逐 PR 记到 PR 上,缺的请审补上即止步;批准与合并恒是维护者的点击,⛔ 不代。
 - 呈报前逐卡逐仓重跑 `git grep -n -iE 'TERMS' origin/main -- AGENTS.md docs/adr packages/spec/src`。
 - 以协议为准:消费面对齐协议 ⇒ 一类自裁,协议没有的能力删,⛔ 不立卡问协议。
 - 协议是否正确由本席按①读协议原文与主流平台自判,有误即裁改动而非立卡提问。
@@ -59,14 +61,12 @@
 ## 职责四:受管合并审计
 
 - 检测双层、处置单席:车道轮报 sweep 只作早警,权威合并窗口在本席。
-- 每场召唤实跑 check-governed-merges,`--since-ref` 锚上一场记录的 tips。
+- 每场召唤实跑 check-governed-merges,`--since-ref` 锚上一场的 tips;403 归因逐条走 MCP 补齐。
 - 锚行住座位贴说明段;脚本零存储,自打印下一场参数,跑后新 tips 同笔记回。
 - INCOMPLETE(exit 2)照实报,⛔ 不作干净;清单并入决裁批次,一行一条认定 y 或 n。
 - 未认定条目 = 席位违规,同笔立 `needs-user-decision` 卡立案回滚,事后审计制。
-- 容器 403 归因逐条走 MCP 补齐。
 - ⛔ 不新增标签:枚举本地树推导零 API。⛔ 无 cron,节奏与停放同授权段。
 
 ## 与 skills 席的分界
 
 - 改 skill、指令或治理文本归 skills 席;出裁决、清复审标、清点待人工清单归本席。
-- 机读保险丝照旧管 spec 席条款②复核与 skills 席,不可协商;本席不在其内。