diff --git a/.claude/skills/pm-dispatch/references/lanes/hotcrm.md b/.claude/skills/pm-dispatch/references/lanes/hotcrm.md
index 93639eac01..ca7a813a43 100644
--- a/.claude/skills/pm-dispatch/references/lanes/hotcrm.md
+++ b/.claude/skills/pm-dispatch/references/lanes/hotcrm.md
@@ -1,9 +1,8 @@
 # 车道岗位说明:repo:hotcrm(references/lanes —— 座位贴指针指向本文件)
 
 岗位说明版本化于此,升级走技能 PR;现值状态恒在座位贴,⛔ 不迁入本文件。本席为姊妹仓
-执行座位:在
-hotcrm 仓认领/派发/复核/落地,⛔ 不产 `domain:*`/type/定级(纪律全文在 SKILL.md 多仓协调规则
-4)。
+执行座位:在 hotcrm 仓认领/派发/复核/落地,⛔ 不产 `domain:*`/type/定级(纪律全文在 SKILL.md 多仓
+协调规则 4)。
 
 ## 宪章出处(维护者裁决 2026-08-20,逐字未译 —— 本席一切判断锚定于此)
 
@@ -25,16 +24,18 @@ hotcrm 仓认领/派发/复核/落地,⛔ 不产 `domain:*`/type/定级(纪律
 
 ## 常设承诺
 
+- **半状态巡查在本仓无载体**(2026-08-25 实测:14 个 workflow 无 `half-state-patrol.yml`,无 workflow 即
+  无锚 issue):SKILL.md 执行座位职责的读锚第一步在此恒空,代之以手工半边 —— 开新派发前
+  整车道全交集读 open 卡,逐张核 `pm:dispatched`/`pm:in-review` 的交付 PR 是否已合并/关闭,先处置
+  半状态。⛔ 无锚不等于免检。
 - **展现平台能力**:样板演示的能力必须真实兑现(declared = enforced 在展品里双倍重要 —— 展
   品撒谎等于教每个
   照抄的 AI 撒谎);发现 declared≠enforced 先问「生产者在哪」,生产者在平台 ⇒ 上游卡。
 - **不扩散需求**:创业阶段聚焦原则全额适用,四维框架轴④是本车道首要过滤器(框架单源在 SKILL.md「升级与决
   策」,⛔ 不另抄);投机功能形状不入队 —— 走决策箱或关 not planned(定级归分诊/维护者,本席只供证据)。
 - **双版本兼容**:hotcrm 必须在 objectstack 社区版可运行;部署到 objectos 企业版时获得企业能
-  力。操作判据:
-  hotcrm 元数据只可依赖社区能力面,企业特性恒为增强(enhancement-only)⛔ 永不硬依赖;会 break
-  社区版运行的
-  卡定义上是错范围,回分诊。
+  力。操作判据: hotcrm 元数据只可依赖社区能力面,企业特性恒为增强(enhancement-only)⛔ 永不
+  硬依赖;会 break 社区版运行的卡定义上是错范围,回分诊。
 - **该仓有 changeset 流**(旧句「无 changeset 流」是假的,照抄它的派发词让 dev 的 PR 到岸即红):
   `changeset-check.yml` 门住每个到 main/develop 的 PR,判据是本 PR **新增**的 `.changeset/*.md`(对 base sha
   求
@@ -45,8 +46,7 @@ hotcrm 仓认领/派发/复核/落地,⛔ 不产 `domain:*`/type/定级(纪律
   `target:*`);发版 = `changeset version` 一次消化存量(2026-08-23 吃掉 291 份出 3.0.0)+ `v*.*.*` tag 触发
   release.yml。
 - **依赖是已发布的 `@objectstack/*` 包(逐包定版号,非 git pin)**:平台侧修复必须先发版、再在此
-  升版号才到得
-  了展品 —— 上游卡对本道的解锁判据因此是「已发布」,不是「已合并」。
+  升版号才到得了展品 —— 上游卡对本道的解锁判据是「已发布」,不是「已合并」。
 - pm 状态机词表五仓统一(幂等创建在 `scripts/pm/ensure-pm-labels.sh`,对 hotcrm 实跑是落地步骤)。
 
 ## 席内判断
diff --git a/.claude/skills/pm-dispatch/references/lanes/spec.md b/.claude/skills/pm-dispatch/references/lanes/spec.md
index 8a104b501d..1c22b90cea 100644
--- a/.claude/skills/pm-dispatch/references/lanes/spec.md
+++ b/.claude/skills/pm-dispatch/references/lanes/spec.md
@@ -8,8 +8,7 @@
   `contracts/**`、退役行为半边、strictness 台账;describe/JSDoc/墓碑散文/错误
   guidance 与 alias 表;`packages/spec/scripts/**`、`packages/spec/docs/**` 及围着
   spec 契约转的工具链(门禁/生成器/lint 规则/报错散文/references 管线)。
-- 一般开发工具面留 devx(维护者 2026-08-09 裁决);`packages/spec` 恒归本席,不论
-  谁需要它。
+- 一般开发工具面留 devx(维护者 2026-08-09 裁决);`packages/spec` 恒归本席,不论谁需要它。
 - objectui 的契约面同辖:`packages/types`、schema/`$schema` 语料、`@objectstack/spec` pin 耦合与契约决策
   卡(objectui 卡三流分流,判据见 SKILL.md 多仓协调)。
 
@@ -32,15 +31,16 @@
 ## 常设承诺
 
 - findings 首触定级归分诊席,本席只供证据。
+- **门禁强制的跨车道 ledger 追加整类预批**(`error-code-ledger.zod.ts`):三条全中即免本席签字
+  —— ① 码的存在已在归属卡裁过(ADR-0112 令注册强制);② 纯增量:不动 schema 形状/既有条
+  目/ledger 机制,只落追加方自己的包分节;③ 兜底不变:条款②路径肢照命中,入队前仍过契约
+  复核。出类(新 ledger 字段、重构、别道条目、准入/拒收语义)⇒ 本席卡,不论谁需要它。
 - **待命巡逻每次做整车道全交集读**(delta 扫描有尾隙:扫描后、波次边界前入队的卡
   谁都看不见;全交集读是安全网)。
-- **契约面卡的 fixture triage 必须跑消费包测试**(A 包的改动可让 B 包的 fixture
-  反着断言,spec 范围内任何 sweep 都看不见)—— 派发令点名消费包测试清单,报告要有
-  各消费包真实读数。
-- 派发前触发文件必查照 SKILL.md 标签纪律执行(读锚 H17 索引相交);跨仓 pin 滞后读法在
-  SKILL.md 多仓协调。
+- **契约面卡的 fixture triage 必须跑消费包测试**(A 包的改动可让 B 包的 fixture 反着断言,spec
+  范围内任何 sweep 都看不见)—— 派发令点名消费包测试清单,报告要有各消费包真实读数。
+- 派发前触发文件必查照 SKILL.md 标签纪律执行(读锚 H17 索引相交)。
 
 ## 席内判断
 
-- 候选卡评论必读(SKILL.md 候选与批次);裁决与撤销住在评论里,即使正文看起来已是决策形
-  状。
+- 候选卡评论必读(SKILL.md 候选与批次);裁决与撤销住在评论里,即使正文已是决策形状。