agentic-flow-kit 1.8.2 → 2.0.0

package/templates/engine/.agents/skills/papercut-fix/SKILL.md

@@ -0,0 +1,92 @@
+---
+name: papercut-fix
+description: 修 workflow/papercuts.md 里指定的未升级 papercut 条目（把存量债降到 0 的回路执行器）。按指令/台账给的行号定位症状、照「拟修」列改权威文件、回写台账并跑验证门；也用于同一错误反复出现时的错类挖掘与执法层级选择。
+---
+
+# papercut-fix — 单条 papercut 升级执行器
+
+## 目标
+将 `workflow/papercuts.md` 中指定的一条 papercut 条目状态更新为「已消债」。
+
+## 触发条件
+- 用户指令：`跑一轮 papercut 回路` / `清 papercut 存量` / `修第 N 条 papercut`。
+- 用户指令：`跑一轮错题回路` / `同一类错又犯了` / `把这类错固化` → 先走 §0，再逐条走 §1–§4。
+
+## 0. 错题回路（批量模式，与单条模式互斥）
+
+只治**引擎面**反复犯的错（业务代码债按 incident 走，不进本回路）。四源取数，默认窗口近 3 个自然月：
+
+| 源 | 读法 |
+|---|---|
+| `.agents/judgments.jsonl` | `node .agents/scripts/agg-judgments.mjs --retire-candidates`（per-rule 计数与候选） |
+| `workflow/delegations.md` | 返工原因枚举分布 + 月度聚合快照 |
+| `workflow/reviews.d/<YYYY-MM>.md` | 意见级采纳/拒绝/误报，按根因方向归并 |
+| `workflow/incidents/` | 根因枚举（仅引擎面条目） |
+
+**聚类阈值**：同一错类 ≥3 次才立规则；单次只记 papercut（若可操作），不立规则——避免对单例过拟合。
+
+> 数据面注意：`judgments.jsonl` / `verifications.jsonl` 是 gitignore 的本地运行态，新 clone / 新 worktree 可能只有零星行。缺源时以 `delegations.md`、`reviews.d/`、`incidents/` 为准，**不因缺源造错类**；窗口内不足 3 次就写「数据不足」，不立规则。
+
+**落点阶梯**（选最高可行层；降层必须写明不可行理由）：
+
+| 层 | 手段 | 不可行信号 |
+|---|---|---|
+| 1 | 类型 / 编译期（类型、schema、枚举、契约） | 约束表达不出来 |
+| 2 | 门禁脚本或钩子（check-loop 段、commit-check、verify 门） | 误报压不住，或触发频率撑不起 |
+| 3 | 自动化用例（dotnet test / vitest / 引擎 `*.test.mjs`） | 环境不可达、非确定性 |
+| 4 | 冒烟脚本（`regression-smoke.mjs` 脚本组） | 断言不了（纯视觉/交互） |
+| 5 | 命令 / 技能 / 角色文本（prompt-only） | 无（最后手段） |
+
+- 落到第 5 层：在 `workflow/papercuts.d/` 新增行的**症状列**前缀 `[prompt-only]`，挂债待后续升层。
+- 落到第 2 层新增门禁：必须同时登记 `mechanism-registry.md`（含退役阈值），并遵守 `rule-budgets.txt` 一进一出。
+- 与既有口径的关系：`workflow/regression-checklist.md` 规则 5/7 是本阶梯在回归条目上的特化（第 3–5 层顺序 + 执法者列），不另立第二套。
+
+**输出**（先给表，再动手）：`错类 | 次数 | 证据位置 | 现执法者 | 缺口 | 选定层 | 拟改文件`。确认后逐条进入 §1–§4，每轮仍只处理一条。
+
+## 约束与红线
+- **单一目标**：每轮执行仅处理一条目标，禁止顺手修复相邻条目或夹带其他改动。
+- **范围限制**：改动仅限文档面（`.agents/commands/`, `.agents/roles/`, `.agents/skills/`, `.githooks/`, `.agents/scripts/`, `workflow/`）。
+- **绝对禁区**：禁止修改 `backend/`, `frontend/`, `tests/`, `wiki/`，禁止连接数据库。超出范围时必须停止并报告用户。
+- **验证优先**：禁止凭台账描述臆测现状。必须先读权威文件验证症状是否成立。
+- **编辑规范**：改 `workflow/` 文档用 `node .agents/scripts/rewrite-file.mjs <文件> --find <字面串> --replace <字面串>`（与 `stages.md` Build §4 相同）。
+- **消债判定**：分支 A（修复）与分支 B（暂缓/失效）**均**满足 `debt -1` 不变量（debt = 台账待修
+  行数，人工清点：触碰行带终态标记且不新增待修行；原定时报债传感器已退役 2026-11-08）。
+
+## 工作流
+
+### 1. 定位与预检
+- 从指令给定提取：`行号` (Lxx), `位置` (路径), `症状`, `拟修`。
+- 使用 Read 工具读取该行及其上下文。
+
+### 2. 现状验证
+- 读取「位置」列指定的权威文件。
+- **判定结论**：
+    - **缺陷仍在** $\rightarrow$ 进入分支 A。
+    - **已失效** (已被其他改动修复/文件已删除) $\rightarrow$ 进入分支 B。
+    - **方向相反/描述有误** $\rightarrow$ 重新定性后再执行。
+
+### 3. 执行修复
+- **分支 A (缺陷仍在)**：
+    1. 对权威文件执行最小化修复。
+    2. 在 `workflow/papercuts.md` 该行末尾追加：`✅ 已升级修复(YYYY-MM-DD): <改动描述> <commit>`。
+    3. 若原「拟修」描述已不适用，在追加记录中写明实际修法。
+- **分支 B (已失效)**：
+    1. 在 `workflow/papercuts.md` 该行末尾追加：`⏸ 暂缓(YYYY-MM-DD): <失效理由>`。理由必须明确。
+    2. **核实纪律**：
+        - 检查用户级路径 (`~/.workbuddy/skills/` 等) 确认文件是否仅是迁移而非删除。
+        - 区分「环境约束」与「代码缺陷」。
+        - 针对「跨环境」症状，使用 `git worktree` 构建真实检出态实验证伪。
+        - 针对「已落地」症状，使用 `git log -S` 追溯引入提交日期。
+- **分支 C (越界)**：停止执行，报告理由并请求授权。
+
+### 4. 验证与收尾
+- **备份**：修改台账前强制 `cp workflow/papercuts.md tmp/papercuts.wip-backup.md`。
+- **运行检查**：
+    - 触碰行已带终态标记（`✅ 已升级修复` / `⏸ 暂缓`），且本轮未新增待修行（`debt -1`，人工清点）。
+    - 检查 `workflow/papercuts.md` 的总行数、列数分布及是否存在超长行（压行信号）。
+- **体积检查**：若修改了 `.agents/commands/` 或根 `AGENTS.md`，跑 `node .agents/scripts/rule-budget.mjs --all`，以其退出码为准。
+
+## 回报要求
+- 参照 `references/response-template.md` 输出。
+- 包含：行号、位置、分支结论(A/B/C)、改动文件、验证结果（触碰行终态标记 / debt 前后值人工清点）、待决策事项。
+- **禁令**：禁止自动 commit 或 push。

package/templates/engine/.agents/skills/papercut-fix/references/response-template.md

@@ -0,0 +1,81 @@
+# papercut-fix 回应模板
+
+单轮回路执行器的最终输出格式。给用户看，决定他是否放行这次改动。
+
+---
+
+## 模板
+
+```markdown
+papercut 回路 · 第 N 轮
+
+**目标**：L{line} `{location}`（{date}，第 {hits} 次命中）
+**结论**：{A 缺陷仍在 / B 已失效 / B2 账未销（拟修已由别的改动落地）/ B3 台账方向记反（检出态实验证伪）/ C 越界待授权}
+
+### 改动
+
+| 文件 | 改了什么 |
+|---|---|
+| `{权威文件路径}` | {一句话} |
+| `workflow/papercuts.md` | 回写行标记：{`✅ 已升级修复（日期）` / `⏸ 暂缓（日期）：理由`} |
+
+### 验证
+
+- debt 前后值（人工清点待修行数）：{before} → {after}（预期 -1）；触碰行已带终态标记
+- {其他检查，如体积预算核对：通过 / 不适用}
+
+### 台账依据
+
+{若实际修法与「拟修」列描述不一致，在此说明「拟修」列写的什么、实际怎么做的、为什么。
+ B2 结论必须写出落地提交：`由 <sha>（<日期>，<标题>）落地`。}
+
+### 需你决定
+
+{列出需要用户拍板的事项；没有则写「无」。典型场景：
+ - 结论为 C（越界）——是否单独授权改源码/连库
+ - 「拟修」列描述已过期——是否更新该列文本
+ - 台账中标注「待人工定性」的条目——是否本轮顺带定性
+ - 改动触及常驻面体积预算——是否接受，或改为下沉/删除被取代条目}
+```
+
+---
+
+## 格式要求
+
+1. **先给结论，再给细节**。用户扫第一行就要知道"修了哪条、结论是什么"。
+2. **「需你决定」不许空着**。即使本轮无事，也显式写「无」——让"没有待决事项"和"忘了写"可区分。
+3. **验证值给具体数字**，不要只说"验证通过"。debt（待修行数）的前后值与触碰行终态标记必须可核。
+4. **不粉饰失败**。验证门红了就写红，附命令与原始报错摘要。回路的价值在于给出可信的账，不是好看的账。
+5. **不写"建议接下来…"式的空话**。要写就写具体动作 + 具体条目编号。
+
+---
+
+## 示例（结论 A，真实一轮）
+
+```markdown
+papercut 回路 · 第 3 轮
+
+**目标**：L34 `.agents/skills/verify-ui/SKILL.md`（步骤 2 `npm run dev` + §关键坑）（2026-09-18）
+**结论**：A 缺陷仍在
+
+### 改动
+
+| 文件 | 改了什么 |
+|---|---|
+| `.agents/skills/verify-ui/SKILL.md` | §1「起服务」补一条：dev server 存活判据以 HTTP 探活为准，不以进程存在为准；§关键坑 补对应条目 |
+| `workflow/papercuts.md` | 回写 L34 标记：`✅ 已升级修复（2026-10-07）` |
+
+### 验证
+
+- debt 前后值（人工清点）：16 → 15（预期 -1）；L34 已带 `✅ 已升级修复（2026-10-07）` 标记
+- 体积预算：`.agents/skills/` 不在 `.agents/config/rule-budgets.txt` 管控范围，不适用
+
+### 台账依据
+
+「拟修」列写的是「补一条 dev server 缓存失效的判定说明」。实际执行时发现症状描述的是 transform 缓存，而 §1 真正缺的是**存活判据**（缓存失效只在源码改动后需要，判据本身该按 HTTP 探活而非进程存在）。两者相邻但不同，已按存活判据写，缓存条目并入同节。
+
+### 需你决定
+
+- 「拟修」列文本与实际修法有偏差（见上），是否更新该列描述以免下次复发时对不上？
+- 台账「待人工定性」3 条（`.trae/skills/jdp-dataview-analyze` 下，L50/L51/L52 路径已不存在）——注意 L32 指向的 `check-loop.sh` 性能问题已在 2026-09-26 全量迁 node 时解决，本轮修完 L32 后建议一并定性。要不要现在处理？
+```

package/templates/engine/.agents/skills/pause-safely/SKILL.md

@@ -0,0 +1,31 @@
+---
+name: pause-safely
+description: 长跑中断/离开前留可续现场——写 resume brief（状态/下一步/未决/证据指针），停掉自己起的进程，不提交不删除；供暂停、离线、上下文压缩、会话重启前使用。
+---
+
+# pause-safely — 暂停留痕
+
+## 触发
+
+- 用户说「先停 / 我走了 / 明天继续」。
+- 上下文即将压缩、会话即将重启。
+- 长跑（`autonomous-run` / `pipeline-run`）需要挂起。
+
+## 步骤
+
+1. **写 resume brief** 到 `tmp/pause-<slug>.md`（不提交）：
+   - **现场**：分支、HEAD 短 SHA、worktree 路径、`git status --porcelain -uall` 摘要。
+   - **做到哪**：已完成单元 + 对应绿凭证 `headShort` / 决策轨迹行。
+   - **下一步**：第一个未完成动作，具体到文件/命令。
+   - **未决**：等用户拍板的分叉、已知风险、被阻塞项。
+   - **证据指针**：`workflow/plans/...` 勾选态、`decisions.tsv`、`tmp/verify-*.log`、截图路径。
+   - **进程**：自己起的服务/端口/PID（只记自己起的）。
+2. **不提交、不推送、不删除**：未提交改动原样保留；需要提交时先问用户。
+3. **停进程**：只停本会话启动的进程；不按进程名杀，按 PID/端口。
+4. **恢复**：新会话先按 `.agents/skills/session-resume/SKILL.md` 重建，再读 resume brief；不靠记忆。
+
+## 边界
+
+- 不清理 worktree、不删临时文件、不 `git reset`——暂停不是收尾。
+- 不把 resume brief 写成流水账；只留「下一个人能接着做」的事实。
+- 不提交半成品；不 `--no-verify`。

package/templates/engine/.agents/skills/perf/SKILL.md

@@ -0,0 +1,42 @@
+---
+name: perf
+description: 性能问题排查 playbook——先基线后单变量，复测过噪声带才接受；供「慢 / 卡 / 加载久 / 接口耗时」类任务使用。
+---
+
+# perf — 性能排查
+
+## 触发
+
+- 用户报「慢 / 卡 / 加载久 / 接口 N 秒」。
+- 方案含性能取舍，需要用实测定夺。
+
+## 0. 先定义可测目标
+
+指标（LCP / 接口 p95 / 列表首屏 / 构建耗时）+ 场景（页面 / 接口 / 数据量）+ 达标线。说不清指标 → 先测量再谈优化，禁凭感觉改。
+
+## 1. 基线（同机 / 同数据 / 同并发）
+
+- 复跑 $\ge 3$ 次，取中位与最慢；记录机器负载与数据量。
+- 证据落 `tmp/perf/<topic>-baseline.json`（或 stdout 存档）。
+
+## 2. 定位
+
+- 前端：Performance trace / LCP / 长任务；后端：慢查询、N+1、无界取数（性能三项见 `.agents/skills/review-method/SKILL.md`）。
+- 一次只验证一个假设；假设被证伪就写下结论再换。
+
+## 3. 单变量改动
+
+一次只改一处；不改口径、不换数据、不调机器。门禁耗时类改动区分「门变快」与「质量提升」。
+
+## 4. 复测与接受
+
+- 同场景复跑 $\ge 3$ 次；改善必须超过噪声带（数字可信性单源 `.agents/skills/number-vetting/SKILL.md`）。
+- 未过噪声带 → 回滚或记「未证实」，不写进结论。
+
+## 5. 落账
+
+表格：基线 / 改动 / 复测 / 结论 + 证据路径。环境抖动（共享库锁、机器负载）先隔离复跑，按 `review-method/golden-set.md` #21 口径归属，不误报回归。
+
+## 红线
+
+- 不同时改两个变量；不用单次运行；不优化没有测量的部分。

package/templates/engine/.agents/skills/review-method/SKILL.md

@@ -0,0 +1,92 @@
+---
+name: review-method
+description: 代码复核走查方法（Standards×Spec 双轴 + 坏味道清单 + 合入标尺）。供 independent-reviewer 或主智能体复核 diff 时使用；是 .agents/commands/review.md 执行流程的方法层单源，不依赖宿主全局技能。
+---
+
+# review-method — 复核走查方法
+
+## 定位与分工
+复核三层各自单源，本文件只管「怎么走查」：
+
+| 层 | 单源 |
+|---|---|
+| 拦什么（不变量） | `.agents/commands/review.md` P0/P1 表 |
+| 以什么身份查（证据纪律） | `.agents/roles/independent-reviewer.md` Constraints |
+| 怎么走查（本文件） | 双轴框架 + 坏味道清单 + 合入标尺 |
+
+宿主有全局 `code-review` / `review-verification-protocol` 技能时可叠加；无则本文件兜底。
+
+## 校准集（golden-set.md）
+同目录 `golden-set.md` 是独立复核质量的已知答案样本库（正例=应报缺陷、负例=应放行，每条带本仓上下文要点）。复核员/新会话上岗前可对样本盲评后对答案自检校准差；月度对账抽样（mechanism-registry 登记）用它做比对基线，须**双臂**跑（A=载本技能 / B=干净会话只给样本内联上下文，Δ 才是上下文注入的效果）并对可疑判定做**方差复跑**（翻转者计题面歧义、不计校准差）。命中差连续两月 >20% 时在 papercuts 登记校准债；样本答案锚定闭环时定性，代码后续演进不改答案。
+
+## 双轴框架（分轴报告，禁合并排序）
+| 轴 | 问的问题 | 依据 |
+|---|---|---|
+| **Standards** | 是否符合本仓成文标准 | 根/目录级 `AGENTS.md` + review.md P0/P1 表 |
+| **Spec** | 是否忠实实现入口文档承诺 | intent/plan「验收标准」+ spec §测试用例 |
+
+两轴独立成立：合规范但做错事（Standards 过、Spec 挂）与做对事但破规范（Spec 过、Standards 挂）都存在——分开报告防一轴掩盖另一轴。Spec 轴报三类发现：承诺缺失/部分落地、超范围（scope creep）、实现走样。
+
+### 派发前自检与轴隔离
+- **基准自检先行**：派复核（或自查）前 `git rev-parse <基准>` 可解析 + `git diff <基准>...HEAD` 非空——坏引用/空 diff 在派发前失败，不在两个轴的走查中途爆。
+- **Spec 源发现序**：commit 消息里的 workflow 引用 → 用户给的路径 → 入口文档同名家族（intent/spec/plan）→ 都没有则问用户；找不到时 Spec 轴显式报「无 spec 可依」，禁静默跳过整轴。
+- **双轴可分派隔离**：宿主支持子代理时两轴分派两个只读子代理并行走查（上下文隔离防互染），聚合时逐轴原样呈现——跨轴重排的禁令不因此放松。
+
+## 坏味道走查清单（Standards 轴补充）
+P0/P1 表之外的判断项。约束：仓库成文标准优先（成文认可即压制本清单）；始终是判断项非硬违规；门禁/tooling 已拦的跳过。每条 = 是什么 $\rightarrow$ 怎么修：
+
+| 坏味道 | 是什么 $\rightarrow$ 怎么修 |
+|---|---|
+| Mysterious Name 神秘命名 | 名字不揭示用途 $\rightarrow$ 重命名；起不出诚实名字 = 设计混浊 |
+| Duplicated Code 重复代码 | 同形逻辑在多处出现 $\rightarrow$ 提取共享实现，两处调用 |
+| Feature Envy 依恋情结 | 方法够别家数据多过自己 $\rightarrow$ 把方法移到所依恋的数据上 |
+| Data Clumps 数据泥团 | 几个字段/参数总是结伴出行 $\rightarrow$ 捆成一个类型传递 |
+| Primitive Obsession 基本类型偏执 | 原始值顶替领域概念 $\rightarrow$ 为概念建专属小类型 |
+| Repeated Switches 重复开关 | 对同一类型的 switch/级联 if 反复出现 $\rightarrow$ 多态或共享映射 |
+| Shotgun Surgery 霰弹式修改 | 一个逻辑变更迫使多文件分散编辑 $\rightarrow$ 聚拢到同一模块 |
+| Divergent Change 发散式变化 | 一个模块因多个不相关原因被改 $\rightarrow$ 按单一变化理由拆分 |
+| Speculative Generality 投机泛化 | 为 spec 没有的需求加抽象/参数/钩子 $\rightarrow$ 删掉内联，等真实需求出现 |
+| Message Chains 消息链 | 长 `a.b().c().d()` 导航 $\rightarrow$ 在首对象上藏一个方法 |
+| Middle Man 中间人 | 类/函数几乎只做转发 $\rightarrow$ 删掉，直调真目标 |
+| Refused Bequest 拒绝继承 | 子类忽略/覆盖大部分继承物 $\rightarrow$ 弃继承改组合 |
+
+性能三项（P1 分页条款之外）：N+1 查询、无界取数/循环、热路径大对象。
+
+### 存储宿主选型（2026-10-23 追加，来源 incident 2026-10-23-pml-pbs-relation-host）
+
+新旧系统共存期，**业务关系表（A↔B 多对多）的宿主表选型必须回答「旧系统是否已有同义表」**：
+
+- 旧系统已有 → **沿用**，并在 spec 固化该表的列语义（外键指向哪张表、类型码口径、哪些列不落库需读时反查）。
+- 确实要新建 → spec 写明**为什么不沿用**。
+- 沿用共享表时**结构一律不动**（不加列/不加索引/不加约束），去重与约束由服务端承担。
+
+复核动作：对 spec/diff 里每一张新表或新映射，回旧系统源码或库元数据核一次是否已有同义表。
+
+**为什么必须靠人/复核代理主动核**：`SchemaLedgerDriftTests` 只校验「已声明的表结构是否与实库一致」——表结构正确即绿，无法发现「这张表本不该新建」；静态门对「同一业务关系存在两套表」也无感。2026-09-28「关联PBS 单值改多值」即因此默认新建了私有表 `MM_PML_ProductionPMLPBS`，与旧系统既有表 `BOM_PalletPBS_Relation` 长期并存两套存储，直到 2026-10-23 用户指令才改回沿用。
+
+### 持久化列的语义是否被展示诉求改写（2026-10-23 追加，来源 incident 2026-10-23-pml-quota-substitute-identity-overwrite）
+
+需求说「这个字段要显示成 X」时，先分清是**展示投影**还是**存储身份改写**：
+
+- **展示投影**：只改读侧/前端映射，底层列语义不变 → 优先。
+- **存储身份改写**：把「应该显示什么」写成对既有列的覆盖 → 只有当该列语义本就该变时才可，且必须回答三问：覆盖后**原值去哪**（有无留痕列 / 能否还原）、**能否回滚**、**下游按该列取值的地方是否全部同口径**。
+
+复核动作：对 spec 里每一句「改写 X 列」「X 列更新为 Y」，先问「X 列原本代表什么？这个语义**该不该**变？」——不要只核「改完之后自洽」。
+
+**为什么必须靠人/复核代理主动核**：静态门只看结构与可编译性，读不出列语义；测试若与实现同源，会把错误口径**固化成期望**（本件 20 个用例全部按旧口径断言、改前全绿），无从发现口径本身错；spec 一旦写成「事实源」还会持续自我强化。本件 spec `2026-10-13-pml-quota-substitute-rewrite` 项二即把「代用后定额行显示成谁」实现成了「改写定额行物资身份（编码/名称/规格/常备/单位/TAG）」，并**经独立复核逐条核证通过**，直到 2026-10-23 用户指令才反转。
+
+### spec 半落地核验（2026-11-02 追加，来源批次三）
+
+复核 spec/plan 的 `done` 声明前，逐条对照「可观察判据」：每条判据能否指认到代码、测试或可执行脚本？不能指认即半落地；半落地不得标 `done`，须补测试或降级为登记项，并在 incident/notes 留指针。
+
+**为什么必须靠人/复核代理主动核**：静态门只能证明编译/结构，无法证明「承诺的行为真的落地」；实现与测试同源时，半落地仍可全绿。
+
+## 结构化修复动作
+报结构问题时给命名动作，禁只说「这里复杂」让作者猜：消条件链建类型/分发器、折叠重复分支、编排与业务分离、特性逻辑移回所属层、复用权威 helper 禁近亲复制、显式类型边界消下游分支、删无澄清价值的透传包装、抽 helper 或拆大文件。
+
+## 合入标尺（防 P2 纠缠）
+确定改善整体代码健康即建议合入，不因「不是我会这么写」而拦——完美不存在，持续改进是目标。样式偏好与假设性风险禁报（证据纪律见角色契约 Constraints）。
+
+## 出处
+- 双轴框架与坏味道清单：提炼自宿主全局 `code-review` 技能（Fowler《Refactoring》ch.3 基线）。
+- 结构化修复动作与合入标尺：借自 [addyosmani/agent-skills](https://github.com/addyosmani/agent-skills)（MIT）。

package/templates/engine/.agents/skills/review-method/golden-set.md

@@ -0,0 +1,61 @@
+# 独立复核黄金集（golden-set）
+
+> 校准资产（2026-10-16 建集，调研建议4）：从已闭环 incident/papercut 提炼的带已知答案评审样本。
+> 用途：①月度对账抽样比对独立复核结论与事后结果（mechanism-registry 登记）；②复核员/新会话自检——
+> 对样本盲评后对答案，命中差 = 校准差。**每条样本带本仓上下文要点**（泛化样本无校准力，外部实证：
+> 注入仓库上下文 96% vs 野外 56.3% 拒绝）。
+> 纪律：样本引用的是闭环时事实；对应代码后续演进不改已知答案（答案锚定当时的 incident 定性）。
+
+## 使用方法
+
+1. **盲评（双臂）**：遮住「已知答案 / 上下文要点」两列，按本技能双轴框架独立给结论——报/不报 + 级别（P0/P1/P2）+ 根因方向一句话。
+   - **A 臂（默认）**：复核员装载本技能（含本仓回归清单与红线口径）。
+   - **B 臂（对照，月度抽 5–8 条即可）**：把同样的题面交给**干净会话**，只给样本内联的仓库上下文，不载本技能。
+   - **Δ = A 命中差 − B 命中差**是唯一能证明「上下文注入起作用」的数；两臂同样准说明校准力来自样本内联而非技能文档，两臂同样差说明该样本的已知答案不可判——两种情形都记进留痕表的「臂」列，不互相冒充。
+2. **对答案**：三档记——**命中**（动作与定性同向：应报且档位/根因同向，或应放行且未报）；**误报**（应放行却报）；**漏报**（应报未报，或报了但根因方向错）。
+3. **方差复跑**：同会话对**可疑判定**（与已知答案不符，或与常识相悖的轻松命中）原样再评一次；判定翻转 → 归**评分方差**（题面或 rubric 有歧义），本轮不计入命中差，另开 papercut 修题面；判定不翻转才计**校准差**。目的：别让基础设施噪声冒充模型/复核方差。
+4. **记录**：**首月留痕起于本表下方「月度盲评留痕」**（2026-10-17 前该资产已建成但零次跑数——登记册状态列「现役」指集已存在，不指已有数据）。按月汇总：月份 | 参评样本数 | 臂（A/B）| 命中/误报/漏报 | Δ | 方差复跑翻转次数 | 与 `workflow/reviews.d/` 当月片互参的备注。该片是复核事件级的「采纳/拒绝/误报」计数，本表是样本级命中差——两种粒度不混算，只在备注列关联。
+5. **校准债**：命中差（误报+漏报 ÷ 参评样本数）连续两月 >20% → 在 `workflow/papercuts.d/` 当月片登记校准债，拟修指向角色契约 / 复核提示词条目。**前提**：先按第 3 步剔掉方差翻转的判定，否则评的是题面、不是复核员。
+
+## 月度盲评留痕
+
+| 月份 | 参评样本数 | 臂 | 命中 | 误报 | 漏报 | 命中差 | Δ(A−B) | 方差翻转次数 | 备注 |
+|---|---|---|---|---|---|---|---|---|---|
+| 2026-10 | 25 | A | 24 | 0 | 1 | 4% | —（B 臂未跑，下月抽 5–8 条） | 0 | 首跑（2026-10-21，门禁极小化第 2 批）：主会话 A 臂按「先判后对」实现单会话盲评。唯一漏报 #13（T-SQL 关键字方括号根因——题面未内联该线索，方差复跑不翻转照计校准差，题面线索完备性待复核不改答案）；#1 档位偏一档（P1 vs P0，定性同向计命中）。与 reviews.d/2026-10 事件级面互参：66 意见采纳率 70% / 误报 0%，与样本级 4% 命中差同向 |
+| 2026-11 | 8 | B | 6 | 0 | 1 | 0%（剔除翻转后 0/7） | +4pp（A 4% vs B 0%，参评数 25:8 仅方向参考） | 1（#13 跨会话复现翻转） | 2026-11-08 跑（finder 6→3 减配后首跑，兑现 registry「B 臂定 2026-11」）：干净会话（不载技能，只给题面+内联上下文）。7/7 稳定命中、0 误报；#13 三评两错一对（A 臂 10 月漏、B1 判「非保留字」、复现会话完整命中）→ 判评分方差/知识边界样本，按口径不计入本轮命中差，题面已补保留字线索（答案不变）。Δ≈0：两臂几乎同样准——校准力主要来自样本内联上下文而非技能文档 |
+
+## 样本
+
+| # | 类型 | 来源 | 评审对象 | 题面 | 已知答案 | 上下文要点 |
+|---|------|------|----------|------|----------|------------|
+| 1 | 正例·口径单源 | workflow/incidents/2026-08-29-code-template-l3-readd-duplicate.md「独立复核」节 | 「L3 小类可归属 L1」修复 diff（`CodeTemplateService.GetSpecConfigAsync` 谓词改写 + 前端 filteredSC/selectCategory），预览公式路径 BuildVariablesAsync 不在改动清单内 | 编码生成侧 L3 解析已改兼容 L3-under-L1，预览侧未动；静态门全绿。复核是否应报？ | 应报 P0——BuildVariablesAsync 的 L3 谓词未与 GetSpecConfigAsync 同步，预览对 L3-under-L1 退化为「匹配任意同 AttrCode 节点」，存量全局 L3 与 L3-under-L1 撞码时取错节点 → 预览≠生成（独立复核实战抓出；修复后补回归用例 BuildVariablesAsync_L3UnderL1_ResolvesL3Variable） | 需知本仓「同一解析语义多消费点须同口径」的单源纪律（随后 2026-08-31 即踩导出侧漏改同族）；需知 L3-under-L1 是合法拓扑（ParentType='L1'） |
+| 2 | 正例·数据完整性 | workflow/archive/2026-10/incidents/2026-09-29-inbound-duplicate-receipt-guard.md（复盘三件套 2） | 入库重复收货守卫首版实现 diff（草稿明细占用计算 + 可用列表过滤） | 守卫按「草稿明细占用」拦同一到货明细二次入库；下推草稿被编辑改小数量后占用是否仍足额？ | 应报 P1——首版只计草稿明细占用、漏「已下推整单占用」，下推草稿改小后留下同明细两张入库单窗口；修为 max(草稿占用, 已下推且非本单 ? 送货量 : 0) 并加第 4 例钉住，可用列表同步排除已下推到货单 | 需知下推路径以 ArrivalOrder.InboundOrderID back-link 表达占用、手工路径以明细 ReceivedQty 表达占用——两种占用表达并存是判「足额」的前提；需知「数量守恒的服务端复校」红线 |
+| 3 | 正例·数据完整性（预防性） | workflow/archive/2026-10/incidents/2026-09-29-outbound-inventory-row-key-align.md | 出库确认扣减的库存行定位（确认侧 FirstOrDefaultAsync 按物料+仓库+库位+批次，无 ProjectID、无 ORDER BY） | 当时 dev 库同键冲突组为 0（库存仅 3 行且 ProjectID 全 NULL），定位查不错行。复核是否应放行？ | 不应放行——写入/冲销/转储/申请可用量四处键均含 ProjectID，确认侧独缺项目维且无定序取任意行；同键多行是写入键决定的正常形态，属结构性缺口，环境数据未触雷不构成放行理由。修复=抽 FindInventoryRowForDetailAsync 单一实现 + ThenBy(ID) 确定性定序 | 需知库存写入键含 ProjectID（不同项目入库同物料/库位/批次即分行）；需知「同语义查询共用单一实现+确定性定序」既有规范与货权批次回退时整批删掉定序的沿革 |
+| 4 | 正例·跨端同源 | workflow/incidents/2026-10-08-pml-export-column-parity.md | 页签列变更 diff（「常备物资」列前移、「代用物资」加列，仅前端 index.vue 列定义数组） | 两次页签列变更只改前端；导出端（PMLService.Export*Async 硬编码表头数组）未动，构建与既有测试全绿。复核是否应报？ | 应报——同一「列清单」前后端各一份、无同源约束，导出列序/列集已漂移（常备物资错位、缺代用两列）；加列 intent 的「非目标」排除导出但未登记 follow-up。修复 1d28ddaf，并落「页签列变更须同批改导出三数组、测试断言完整列序禁抽样」条目 | 需知「导出列序=页签列序去掉操作列」口径；需知当时 PMLQuotaExportTests 只抽样断言 3 个表头格（抽样正是位移漏检原因）、ExportMatchMTOAsync 零覆盖 |
+| 5 | 正例·DTO 契约/测试钉子 | workflow/incidents/2026-10-09-basecode-apply-operator-name-redundant.md | 列表 DTO 的 OperatorName 字段与其测试断言（Assert.Equal(姓名, item.OperatorName)）及回归清单旧条目 | Service 无条件 dto.OperatorName = dto.Operator，两字段永远同值；测试断言与回归清单条目均钉住该赋值，全门绿。复核是否应报？ | 应报——spec 2026-09-22 Operator 语义归正后 Operator 已是显示名，OperatorName 无独立语义，双字段永远同值属契约冗余；且测试把冗余当正确性固化、回归清单旧条目同病（注释级信号未触发评审警觉）。修复=删字段+改断言（前端渲染值等价） | 需知 Operator/OperatorJobNo/OperateTime 由 EFRepository 统一回填且 Operator 已归正为显示名；需知「DTO 字段须有独立语义」无机器门（check-audit-fields 只管写端） |
+| 6 | 正例·派生字段对账 | workflow/incidents/2026-10-09-pr-buyer-group-unmatched-and-list-state.md（根因·缺陷①） | 「应用此编码」创建物资链路（CodeGeneratorService 签发占号 token → MaterialCodeService 保存回填 → 采购组匹配） | 物资分配已配采购员，采购申请仍报「未匹配到采购组」；匹配以 MaterialCode.TemplateCode 为键。复核定位应指向哪里？ | 指向占号缓存字段集缺口——TempCodeHold 无 TemplateCode 字段、签发不写、保存只取 dto（前端默认空串）→ codegen 路径 TemplateCode 落 NULL → 匹配键 NULL 恒 continue。深层=占号缓存字段集与创建 DTO 分类字段集未对账（共享表单第二宿主同族先例）。修复=增字段+签发写入+保存回填（显式值优先），变异验证：注释回填行用例转红 | 需知「应用此编码」是 MaterialCodeForm 共享表单的第二宿主路径、派生字段以 TempCodeHold 为载体；需知采购组匹配键为 NULL 时静默跳过不断链报错 |
+| 7 | 正例·测试确定性 | workflow/incidents/2026-10-10-integration-legacy-row-page-assert.md | 四处「存量行 NULL 读取不炸」集成用例（直插 OperateTime 为默认值的行 + 无过滤默认分页列表断言） | 写用例时共享库行数少恒绿；断言种子行出现在默认列表第 1 页（Page=1/PageSize=20，按 OperateTime 倒序）。复核是否应放行？ | 不应放行——断言把「读取路径不炸」与「该行在第 1 页」绑定；直插行不经 EFRepository 故 OperateTime 排序垫底，共享 dev 库行数 ≥20 后被挤出首页，门禁红随环境数据量而非代码（真红实录 434/435），同族 4 处成族。修法=按种子唯一业务键过滤查询（同族第三形态：无过滤键用例须 PageSize 取 PagedQueryDto.MaxPageSize 显式取消分页，见 incidents/2026-10-10-outbound-request-keyword-empty-page-size.md） | 需知 verify.mjs 的 dotnet test 直连共享 dev 库（DEVE_CSS_YZGY）且多会话并行为本仓常态；需知 RollbackTestBase 事务回滚使「用例自身行数」不代表查询面全量 |
+| 8 | 正例·守卫缺位 | workflow/incidents/2026-10-12-po-businesstype-match-mto-direct-guard.md（根因①④） | PO 引入/建单守卫（业务类型联动校验与列表预过滤 + 关闭守卫） | 业务类型联动对「代管(2)」维度全绿；关闭守卫按 pr.MTOOrderID 覆盖申请来源行。普通⇄固定资产互串与明细直连 MTO（PurchaseRequestID 空）两形态，复核是否应报？ | 应报双缺口——① 联动仅守代管维度，普通(1)⇄固定资产(3)互串静默落库（修为全值域匹配、null 申请放行）；④ 关闭判定链锚在申请上，直连 MTO 行整行跳过守卫（前端不可达、仅 API 直连可触，仍属守卫缺位——修为 ValidateMtoDirectLinesClosedAsync，集成测试 DirectMtoDetailLine_ClosedMto_BlockedOnCreate 钉住） | 需知「下游守卫与上游状态机对账」无机器门；需知「前端不可达≠不可达」——API 直连可触的路径自动化天然漏配，须显式造用例 |
+| 9 | 正例·谓词限定/spec 固化 | workflow/incidents/2026-10-16-category-level-guard-scope.md（根因·缺陷1 + spec 独立复核节） | 分类层级「下级对象」判定谓词（HasChildCategoryAsync：ParentCode == 本行 AttrCode）与同名 spec 草稿 | 子级判定只按编码相等；同模板内跨层级同码（L2 码 01 与其唯一小类 L3 码 01）即互认父子，prod 60 个 code=01 的小类全部被误拦。复核 spec 与实现应报什么？ | 应报 P1 级谓词缺限定+spec 固化——分类码只在「层级×父级」命名空间内唯一，子级判定须加 ParentType == LevelType（空值 fail-closed）；同文件 HasSpecAttributeParentReferenceAsync 已有正确写法可对照；2026-10-09 intent 把错误谓词逐字固化进 spec，复核 spec 时即应拦（SpecReviewGuard 实战 P1×5 全部采纳返修）。实证面：POC_MM 169 行/73 键假子级、dev 90 行/62 键 | 需知本仓分类码命名空间按「层级×父级」分片（2026-09-18-l3-global-owned-code-collision 先例）；需知「复用既有口径时命名空间前提不得遗落」与 ParentType 空 fail-closed 约定 |
+| 10 | 正例·多实现漂移 | workflow/archive/2026-10/incidents/2026-10-13-materialcode-l3-name-cross-l1.md（根因 + 时间线·独立复核） | L3 名称解析修复 diff（CategoryNameResolver 加 RootCode 消歧）及同页面其他消费点 | 修复聚焦列表/导出/申请列表共用的解析器；同页面「物资分类」级联的分类树端点内联了另一份 L3 名解析、wiki 导出 SQL 工具还有一份。复核是否放行？ | 不应放行——独立复核 Reject：P1-1 分类树端点第四份实现漏修（投影未取 RootCode）、P1-2 复算口径无脚本留痕、P2-2 导出 SQL 第五份实现漂移；用户裁定扩面后读侧全仓单源 + 口径对账测试 10 例。核心根因=L3 分支缺 RootCode 判据（L2 编码跨 L1 复用时同码 L3 命中多节点按查询顺序取首条） | 需知 L2 编码可跨 L1 复用、RootCode 列为消歧而设；需知「同一解析语义须全仓单源」——本仓已三度记录该族漂移（2026-08-29、2026-09-18 审查、本件） |
+| 11 | 正例·SQL 数据保真 | workflow/archive/2026-10/incidents/2026-10-14-outbound-lock-rawsql-decimal-scale.md | 原生 SQL 增量回写（ExecuteSqlRawAsync 对象数组参数更新 LockedQty/LockedUsageQty） | SQL 已参数化（未拼字符串），静态门全过；但申请数量三位小数（7.125）占用后 LockedQty 落库 7.130000。复核应报什么？ | 应报——EF Core 6 对对象数组 decimal 参数不带 Precision/Scale，provider 按 2 位小数下发（7.125→7.13），与列精度 (18,6)/(18,4) 失配；占用/释放同式收敛往返净零，但汇总值与占用行之和可差 ≤0.005。修法=命名占位符 + CreateParameter 显式 precision/scale；先红后绿实证（修复前 7.13 / 4.065）。同机制 MTOChangeService 一处未收口另行立项 | 需知 IUnitOfWork.CreateParameter 的精度显式约定（既有注释只禁拼接字符串）；需知既有占用用例数量全为整数或 ≤2 位小数，对 2 位收敛判别力为零 |
+| 12 | 正例·测试同步 | workflow/archive/2026-10/incidents/2026-10-15-inbound-location-required-test-fixture-gap.md 与同目录 -stale-tests.md（同族两件） | 「入库明细库位必填」校验提交（b6cfd0db 与 b8ce1247 两次引入，均只落产品代码） | 全量单测 6 例红（报「第 N 行请选择库位」），改动只含产品代码。红的归属与修法？ | 归属=存量债非当批引入（其中一件以 git diff develop..HEAD tests 为空实证逐字节相同）；根因=新增必填校验未同步既有测试 DTO 夹具（LocationID 是 Guid? 编译门不拦，只在运行期转红），且 pre-commit 只 build 不 test、develop 直推不跑后端测试门 → 红长期潜伏。修法=补两处夹具（纯测试面，产品零改动），非回退校验；同族两件同日前后独立发现，形态成族 | 需知 commit-check 后端项为 dotnet build 不含 test、verify.mjs fail-fast 使门 17 红遮蔽后序门；「服务层新增必填校验须全仓检索既有测试 DTO 构造并同步」已落回归清单 |
+| 13 | 正例·schema 台账/门禁假绿 | workflow/archive/2026-10/incidents/2026-10-12-outband-column-readd-recurring.md（根因② + 全库残留清扫） | schema 批次脚本 2026-09-26-pml-quota-fields/01-alter.sql（DROP COLUMN LineNo 未加方括号）与其 02-verify.sql | 批次已入库、02-verify 一直在跑；应用侧写入报错后有人临时给 LineNo 加了默认约束。复核这组脚本应报什么？ | 双缺陷——① LineNo 是 T-SQL 关键字，删列语句未加方括号恒语法错误、静默不生效，02-verify 自 2026-09-26 起一直红而无人跟进（台账与实库长期不一致）；② 02-verify 以「SELECT 行=失败项」形式上报时，断言失败不产行即整体假绿（部分批次同病）。修复=加方括号+先删依赖约束（af7c193）+ 漂移门补该表断言 + 新机具 check-schema-residue.mjs | 需知 schema 漂移门（SchemaLedgerDriftTests）当时未覆盖该表（漏检点）；需知「dev 结构性变更须入库批次」纪律与「失败必须 RAISERROR/置失败计数」的核验脚本规范；**题面线索（2026-11-08 补）**：LineNo/LINENO 是 T-SQL 保留字（niladic 函数），裸标识符必语法错——三次盲评两错一对证实缺此线索时该样本处知识边界（答案不变） |
+| 14 | 正例·前端样式 | workflow/archive/2026-10/incidents/2026-10-13-outbound-material-check-dialog-overflow.md | 「材料检查」弹窗宽表（a-modal width 1100，11 列宽合计 1350px，无 :scroll.x） | 功能口径（满足/不满足判定、空态）UI 实测全过；表格横向溢出弹窗边界。复核该改动应报什么？ | 应报样式缺陷——列宽合计 1350px 超弹窗内容区约 1052px 且无横向滚动容器，溢出顶出弹窗；深层=后续加列按各列可读性独立定宽、未以容器宽度做总量预算。修法=压缩列宽 1350→1048 + :scroll 补 x 兜底（b118b9b2）；防复发条目「宽表列宽合计超容器必须配 scroll.x」 | 需知 vue-tsc/构建门对布局无感、该弹窗上线时 UI 实测只验功能口径未验容器收纳；需知 scroll.x 在本仓是散落惯例未成文（复核可引既有页面先例） |
+| 15 | 正例·文档协议 frontmatter | workflow/papercuts.d/2026-09.md（2026-09-12 行） | 一批已闭环 intent/incident 的状态留痕方式（正文「状态：done（附注）」类中文格式变体行） | 对账脚本按正文正则匹配中文状态格式，实报 18 份未勾 done、实际更多——格式变体致漏统计。复核这批文档的状态协议应报什么？ | 应报（根因级）——状态等机器字段散在正文、格式变体使对账漏统计；修法=frontmatter 受限子集（状态/级别/日期/发现/流程/确认结果/确认时间严格枚举迁 YAML 头，215 份存量脚本化迁移），check-loop 改 fm_get 读 frontmatter 断言并补 12 场景 fixture（含本变体回归）。此后复核闭环文档：状态口径只认 frontmatter，正文不再承载 | 需知本仓 workflow 文档 frontmatter 受限子集协议（2026-09-13 起）与 check-loop 读 frontmatter 的机器口径；legacy 回填件加「流程: legacy」豁免行 |
+| 16 | 负例·误报更正（死代码误判） | workflow/archive/2026-10/incidents/2026-09-29-inbound-update-field-loss.md（复盘三件套 P2 更正） | 入库单 CreateAsync 修复 diff 中 detail.DeliveryQty = detailDto.DeliveryQty ?? arrDetail.DeliveryQty | 修复同批发现「?? 右侧恒不生效（DTO 同名字段总在前）」拟作死代码顺带清理。作为复核员是否同意清理？ | 不同意——独立复核 P2 更正：InboundOrderDetailSaveDto.DeliveryQty 实为 decimal?，下推编辑载荷不含该字段时取 null，?? 生效且必要（取到货明细送货量），本件有意保留不清理。清理即引入「下推编辑丢送货量」回归 | 需知下推生成的入库单编辑载荷七字段不提交（本 incident 根因正是字段抹值）；需知「顺带清理死代码」须先证伪取值路径——类型可空即存在生效场景 |
+| 17 | 负例·遗留项归属 | workflow/incidents/2026-10-08-drawer-form-validate-residue.md（验证记录 + 遗留项） | 四页抽屉校验残留修复后的 UI 实测证据（47 PASS / 0 FAIL，console 出现 arrival-orders 2 条 exception: Object） | 修复后实测控制台仍有未处理 Promise 拒绝（handleSave 无 catch）。复核是否报「本修复引入异常」？ | 不报——该 2 条为既有实现非本批引入（校验失败路径本就缺 try/catch 与汇总 toast），本批只登记遗留项不动代码；pml 1 条 antd Tabs 弃用告警同属既存基线。修法（对齐另三页）留待后续单独立项 | 需知「异常归属既有遗留/非本单引入」的裁定口径与控制台既有基线登记；需知本单修复面是 clearValidate 复位而非保存异常路径（范围归属判断） |
+| 18 | 负例·判据非空转 | workflow/delegations.md 委派结果表（2026-10-08 ui-verifier 行） | 抽屉表单校验残留修复的浏览器实测证据（47 PASS / 0 FAIL / 22 NOTE，四页独立复跑与原证据逐行一致） | 实测全绿且与原证据一致，怀疑「判据空转」（断言恒真、测了个寂寞）。复核是否应判证据无效或要求重测？ | 放行——判据非空转有三重论证：① 关闭后表单实例存活而错误态断言为 0（若判据恒真，销毁表单也会绿）；② no-op 探针（改回硬编码变异）当场重现残留使断言转红；③ 控制台异常逐条归属（2 条既有遗留非判据对象）；另有全程 0 写请求佐证 | 需知本仓 UI 实测证据口径（PASS/FAIL/NOTE + 修复前对照红 + 变异自证）；校准点：判「实测绿是否可信」看判据对缺陷的判别力实证，不看通过数 |
+| 19 | 负例·证据时点 | workflow/incidents/2026-10-12-po-businesstype-match-mto-direct-guard.md（时间线·②③ 截图产物） | 用户提供的缺陷截图——取消弹窗旧文案「关联采购申请将退回已审核」、超量提醒旧文案「采购申请 {单号} 本次下单…」 | 截图显示现行文案违反「取消不改申请状态」与「行号+物料编码定位」口径。复核是否报两项文案缺陷？ | 不报——②③ 为修复前截图产物：旧文案亡于 11f6848（2026-09-28）、超量旧文案亡于 df98fb7（2026-10-10），截图内单据日期均早于修复，HEAD 代码已符合口径。处置=零代码改动 + 环境同源复验留痕现行文案 | 需知文案消亡的提交时点可 git log -S 追溯，证据时点须与 HEAD 对账；需知运行服务可能落后于 HEAD（发布目录 DLL 时间戳比对） |
+| 20 | 负例·红的归属（修测试不修产品） | workflow/archive/2026-10/incidents/2026-10-08-inbound-group-conservation-assert-drift.md | CI 首跑红的单测 Create_PartialInbound_WithinRemainingQty_SucceedsAndOverIsRejected（期望文案「可入库数量不足」vs 实际「本次实收数量合计…超过可收数量…」） | 单测红、断言与实现文案不符。复核应报产品缺陷还是测试缺陷？修哪边？ | 修测试——38bbad8（09-28 储位拆分批次）新增同组守恒前置守卫（同一到货明细多行合计 ≤ 可收数量）先拦（场景 3+8=11>10），轮不到旧行级余量校验文案；生产实现无缺陷且文案信息量更足，纯断言滞后。修法=断言对齐现行守卫文案 + 补两道守卫执行序注释。本条即 CI 管线首跑首个战果 | 需知守卫执行序（同组守恒前置守卫在行级校验之前）；需知「断言锁定文案」型测试随实现演进的同步纪律（新增公共行为须同步测试） |
+| 21 | 负例·环境抖动归属 | workflow/incidents/2026-10-12-integration-tests-shared-db-flake.md | 全量门 14 红 6 例（PerfGuardLatency + PO/PR 域集成用例），同一提交此前两轮全绿 | 全量 verify 红 6 例、fail-fast 连带后序门未跑、绿凭证落不了账。复核是否报 6 个产品回归并阻断关单？ | 不报回归——隔离复跑 18/18 全绿；同时段只读 sqlcmd 报 Msg 1205 死锁牺牲品，佐证共享 dev 库并发锁竞争真实存在 → 判环境抖动非代码回归。处置=降抖（跨会话 sp_getapplock 互斥 + 性能预算可配，e74a6bd）而非放宽断言/瞬时重试（后者因「可能掩盖真回归」被明确不采纳） | 需知多 worktree 并行共用同一 dev 库为本仓常态、TEST_DB_CONN 已支持但用户裁定暂不建；需知「偶发红先隔离复跑定因，禁以重试/放宽断言掩盖真回归」纪律 |
+| 22 | 负例·行为变化正确收敛 | workflow/archive/2026-10/incidents/2026-10-13-materialcode-l3-name-cross-l1.md（影响面·复算数据面） | L3 名称解析修复后三库复算——POC_MM 28 条中 1 条（FOOML1F4100002）小类列由「焊烟净化器」转为空 | 修复使一条记录的显示从有值变空。复核是否报「修复引入显示回归」？ | 不报——该记录属既有「跨父级存储」形态（导入 L3 按名兜底把别的父级下节点存进来），修复后「链上无节点→空」与生成侧权威口径一致（三库受影响记录逐条比对 0 偏差），属正确收敛但用户可见变化需披露（已披露）。另发现的「记录名↔分类链不一致」30/9/17 条为独立既有问题（与变化集交集 0）另行立项 | 需知名称解析正确性的基线=生成侧 CategoryLevelResolver 口径而非「修复前显示值」；需知导入按名兜底造成的跨父级存储既有形态 |
+| 23 | 负例·环境同源 | workflow/incidents/2026-10-10-po-import-sort-mto-closed-qty-warning.md（遗留项） | PO 引入排序/守卫修复后的 UI 实测——实测复现旧行为（排序未生效/守卫未拦），改动已提交 | 修复已提交，实测却复现旧行为。复核应报「修复未生效/实现错误」吗？ | 先验环境同源再定性——当时 API 从 %TEMP% 发布目录运行且 dotnet publish 增量跳过重编（DLL 时间戳早于修复提交）、前端 5203 由另一份 checkout 的 vite 提供：自证的是旧代码。处置=--no-incremental 重发布重启 + 本 worktree 起 vite 后重测全绿。教训已成文：UI 实测前必须确认运行服务与本 worktree 同源（2026-10-12 复核同样先核发布 DLL 时间戳晚于产品提交） | 需知 runtime-env §2/§3（编译输出锁、端口与进程归属）；需知 api-local.ps1 的本地约定（调用勿接管道） |
+| 24 | 负例·UI 证据误判（antd 覆盖层） | workflow/papercuts.d/2026-10.md（2026-10-07 行「antd 覆盖层选择器」） | PML 取消提交守卫的 UI 实测记录——popconfirm 点「确定」后 toast 为上一行的守卫文案 | 实测记录「点了取消确认，却被守卫文案拦截」。复核是否报「取消守卫误拦合法操作」？ | 不报（假红）——antd v5 关闭后的 popconfirm 节点仍留 DOM 仅 display:none（不带 ant-popover-hidden 类），按类名排除隐藏态会命中上一次打开的气泡，点的「确定」实为上一行操作，toast 自然是旧行守卫文案；连带清理失败留 1 条测试托盘亦由此误判。正解=按 getBoundingClientRect().width > 0 过滤取末位（verify-ui 技能已落该条） | 需知 antd 覆盖层关闭后的 DOM 存续行为与本仓 verify-ui 技能「关键坑」口径；需知判定 UI 证据前先验测试脚本选择器形态 |
+| 25 | 负例·网络假红 | workflow/papercuts.d/2026-10.md（2026-10-15 nuget-audit 超时行与 frontend-audit TLS 断连行） | 全量 verify 安全段门红——nuget-audit 60s 超时「解析不出档位」、npm audit「TLS socket disconnected」 | 漏洞审计门红。复核是否报「依赖漏洞暴增需紧急升版」？ | 不报——网络类假红：隔离重跑 15s / 18.6s 通过（Critical 0）；同会话三个网络依赖门各命中一次瞬时抖动，全量需重跑 3 次才落绿凭证。反方向同门另有假绿缝：内网镜像不代理漏洞数据面（npm 镜像 404、Nexus 无 VulnerabilityInfo 时同一 sln 报 0 条 advisory 且 exit 0）——三门已于 2026-10-16 退役出关单门表。判据：输出含 timed out / socket disconnected 即归网络类 | 需知漏洞数据只来自公网源（npm/NuGet 官方端点）、内网镜像不代理该面（runtime-env §6.4）；校准点：同一门既可能假红也可能假绿，双向都要防 |
+
+## 建集统计与维护
+
+- 2026-10-16 建集：25 条（正例 15 / 负例 10）。类别分布——后端数据完整性/守卫/谓词 6、跨端同源与 DTO 契约 3、SQL/schema 数据保真 2、测试基建与确定性 3、前端样式 1、workflow 文档协议 1、证据/环境/归属类负例 9（部分跨类）。
+- 补样门槛：只收**已闭环、定性明确、可从文档追溯**的案例；同族第二例须带来新失败形态才入集（宁缺毋滥）。
+- 退役条件：样本引用的口径若被后续规范显式废止（如三门退役之于 #25），保留样本并在该行尾注记「口径已变更，答案仍锚定闭环时定性」。

package/templates/engine/.agents/skills/session-resume/SKILL.md

@@ -0,0 +1,69 @@
+---
+name: session-resume
+description: 会话重入与中断落盘——接手、切换 worktree、压缩/新会话续作时，先用机器事实重建当前态再动手；供主智能体在任何级别开工前使用。
+---
+
+# session-resume — 会话重入与中断落盘
+
+## 触发
+
+- 新会话 / 上下文压缩后继续既有任务；接手他人分支或 worktree。
+- 用户问「做到哪了 / 还有什么没提交」。
+- 动手前发现工作树不干净，但说不清改动归属。
+
+## 1. 重建（机器事实优先，不靠记忆）
+
+按序跑，全部只读：
+
+| 问 | 命令 | 读什么 |
+|---|---|---|
+| 在哪 | `node .agents/skills/session-resume/scripts/worktree-audit.mjs`（分类 + 清理建议，只读） | 主区 / 活跃 / 可清理 / 失效，一次看全 |
+| 什么没落盘 | `git status --porcelain -uall` + `git stash list` | 未跟踪文件与 stash（最易漏） |
+| 在飞什么 | `workflow/{plans,specs,intents,incidents}` 活跃态 + `.agents/cache/pipeline-runs/*.json` 末次 | 任务清单勾选态、编排 run 的 stage 进度 |
+| 上次绿在哪 | `.agents/verifications.jsonl` 末行（钉 headShort + 24h 窗） | 当前 HEAD 是否已有绿凭证 |
+
+> L2/L3 的 plan 勾选态对齐口径单源 = `.agents/commands/stages.md` Build 章「会话重入」；本技能不复制，只补 L1 与跨 worktree 场景。
+
+### 1.5 梦境报告装载（若存在）
+
+若 `tmp/dream-report-*.md` 或 `tmp/dream-judge-brief-*.md` 存在（gitignore 运行态，删除可从 git + 台账重建），按 `.agents/skills/dream/SKILL.md` 装载：
+
+1. 读最新报告与 AI Judge 简报；
+2. 委托 independent-reviewer 核验 AI Judge 抽样；
+3. 核验结论回写 papercuts / 修正笔记（不自动 commit / push）。
+
+## 2. 对齐（不符先停手）
+
+- 勾了未提交 / 提交了未勾 / 工作树有来源不明的改动 → 先确认归属再继续，不覆盖。
+- 跨 worktree：未提交改动**不会**自动跟过来。用 `git diff | sha1sum` 比对两树，确认是否同一批改动，避免双份提交。
+- 两分支指向同一提交但各有一份改动 = 两套独立工作树，不是共享。
+
+## 3. 输出（4 行简报，先给结论）
+
+```
+位置：<worktree> @ <branch> (<headShort>)，ahead/behind
+未落盘：<N 改 / M 删 / K 未跟踪 / stash 数>
+下一步：<活跃 plan 的下一未勾项 或 run 的下一 stage>
+阻塞：<需用户决定的唯一事项；没有写「无」>
+```
+
+## 4. 中断落盘（pause）
+
+写 `.agents/cache/handoff.md`（gitignore，本地运行态，可丢弃；git 才是真相）：
+
+```
+日期 / 分支 / worktree / HEAD
+在飞任务：<workflow 文件>
+已完成：<勾选项>
+下一步：<第一条>
+未提交：<文件清单 + 归属>
+阻塞：<无 / 事项>
+```
+
+恢复时先读它，再按 §1 核验；两者不符以 git 为准，并回写 handoff。
+
+## 红线
+
+- 不凭记忆续作；不覆盖来源不明的未提交改动。
+- 不自动 commit / push WIP；落盘不等于入库，需用户明确要求。
+- 不把 `.agents/cache/` 当权威：删除后必须能从 git + 台账重建。

package/templates/engine/.agents/skills/session-resume/scripts/worktree-audit.mjs

@@ -0,0 +1,110 @@
+#!/usr/bin/env node
+// worktree-audit — 盘点 git worktree，分类 主区 / 活跃 / 可清理 / 失效。
+// 默认只读（不删除、不清理、不 prune）；`--execute` 只删「可清理」（干净且已合入主分支），
+// 失效走 `git worktree prune`；活跃/主区永不删。删除动作仍须显式 `--execute`。
+// 用法：node .agents/skills/session-resume/scripts/worktree-audit.mjs [--root <dir>] [--json] [--execute]
+// 判据：脏（含未跟踪）或未合入主分支 = 活跃；干净且已合入 = 可清理；目录缺失 / prunable = 失效。
+import fs from 'node:fs';
+import path from 'node:path';
+import { spawnSync } from 'node:child_process';
+
+const argv = process.argv.slice(2);
+const asJson = argv.includes('--json');
+const execute = argv.includes('--execute');
+const root = path.resolve(argv.includes('--root') ? argv[argv.indexOf('--root') + 1] : process.cwd());
+
+const git = (args, cwd) => spawnSync('git', args, { cwd, encoding: 'utf8' });
+const out = (args, cwd) => {
+  const r = git(args, cwd);
+  return r.status === 0 ? r.stdout.trim() : null;
+};
+
+const porcelain = out(['worktree', 'list', '--porcelain'], root);
+if (porcelain === null) {
+  console.error('worktree-audit: 不是 git 仓库（或 git 不可用）');
+  process.exit(2);
+}
+
+// 主分支锚：origin/main > main > master；都没有则不判「已合入」
+const mainRef = ['origin/main', 'main', 'master'].find((ref) => git(['rev-parse', '--verify', '--quiet', ref], root).status === 0) || null;
+
+const blocks = porcelain.split(/\r?\n\r?\n/).map((b) => b.split(/\r?\n/)).filter((ls) => ls.some((l) => l.startsWith('worktree ')));
+const primary = (blocks[0] || []).find((l) => l.startsWith('worktree '))?.slice('worktree '.length) || '';
+
+const rows = blocks.map((lines) => {
+  const field = (name) => lines.find((l) => l.startsWith(`${name} `))?.slice(name.length + 1) || '';
+  const wt = field('worktree');
+  const head = field('HEAD');
+  const branchRef = field('branch');
+  const prunable = field('prunable');
+  const branch = branchRef ? branchRef.replace(/^refs\/heads\//, '') : '(detached)';
+  const exists = fs.existsSync(wt);
+
+  let dirty = null;
+  let upstream = null;
+  let ahead = null;
+  let behind = null;
+  let merged = null;
+  let lastDate = null;
+
+  if (exists) {
+    dirty = (out(['status', '--porcelain', '-uall'], wt) || '') !== '';
+    upstream = out(['rev-parse', '--abbrev-ref', '--symbolic-full-name', '@{u}'], wt);
+    if (upstream) {
+      const lr = out(['rev-list', '--left-right', '--count', '@{u}...HEAD'], wt);
+      if (lr) { const [b, a] = lr.split(/\s+/).map(Number); behind = b; ahead = a; }
+    }
+    if (mainRef) merged = git(['merge-base', '--is-ancestor', 'HEAD', mainRef], wt).status === 0;
+    lastDate = out(['log', '-1', '--format=%cs'], wt);
+  }
+
+  let kind;
+  if (!exists || prunable) kind = '失效';
+  else if (path.resolve(wt) === path.resolve(primary)) kind = '主区';
+  else if (dirty) kind = '活跃(未提交)';
+  else if (merged === false || (ahead !== null && ahead > 0)) kind = '活跃(未合并)';
+  else if (merged === true) kind = '可清理';
+  else kind = '未知';
+
+  return { path: wt, branch, head, dirty, upstream, ahead, behind, merged, lastDate, kind, prunable };
+});
+
+if (asJson) {
+  console.log(JSON.stringify({ mainRef, worktrees: rows }, null, 2));
+  process.exit(0);
+}
+
+const pad = (s, n) => {
+  const clip = (v) => ([...String(v)].length > n ? [...String(v)].slice(0, n - 1).join('') + '…' : String(v));
+  const t = clip(s);
+  const w = [...t].reduce((acc, ch) => acc + (ch.charCodeAt(0) > 255 ? 2 : 1), 0);
+  return t + ' '.repeat(Math.max(0, n - w));
+};
+
+console.log(`主分支锚: ${mainRef || '（无）'}｜worktree ${rows.length} 个`);
+console.log(`${pad('分类', 14)}${pad('分支', 34)}${pad('HEAD', 10)}${pad('领先/落后', 12)}${pad('最后提交', 12)}路径`);
+for (const r of rows) {
+  const ab = r.ahead === null ? '—' : `${r.ahead}/${r.behind}`;
+  console.log(`${pad(r.kind, 14)}${pad(r.branch, 34)}${pad(r.head.slice(0, 8), 10)}${pad(ab, 12)}${pad(r.lastDate || '—', 12)}${r.path}`);
+}
+
+const stale = rows.filter((r) => r.kind === '可清理' || r.kind === '失效');
+if (execute) {
+  const removable = rows.filter((r) => r.kind === '可清理');
+  const invalid = rows.filter((r) => r.kind === '失效');
+  let removed = 0;
+  for (const r of removable) {
+    const res = git(['worktree', 'remove', r.path], root);
+    if (res.status === 0) { console.log(`✅ 已删除 ${r.path}`); removed++; }
+    else console.error(`❌ 删除失败 ${r.path}：${(res.stderr || '').trim()}`);
+  }
+  if (invalid.length) {
+    const res = git(['worktree', 'prune'], root);
+    if (res.status === 0) console.log(`✅ 已 prune ${invalid.length} 个失效 worktree`);
+    else console.error(`❌ prune 失败：${(res.stderr || '').trim()}`);
+  }
+  console.log(`\n--execute：删除 ${removed} 个可清理 worktree；活跃/主区未动。`);
+  process.exit(0);
+}
+console.log(`\n可清理/失效 ${stale.length} 个。默认只读；确认后加 --execute 删除（只删可清理，失效走 prune）：`);
+for (const r of stale) console.log(`  git worktree remove ${r.kind === '失效' ? '--force ' : ''}"${r.path}"`);