切片收口

位置：交付期第 11 步，每个切片实施完一次，全部切片收口后整程一次。上一步 context-pack，下一步 progress-artifacts。顺序与例外见入口技能 single-session-dev-flow。

收口是验收，不是挑刺。拿到的上下文是 spec、不变式、本切片的改动和读数，核的是承诺的有没有做到、守的有没有守住。填收口清单，六步按顺序，前一步红了不进下一步。

两个尺度

结构读数与差分变异分两个尺度做，和 context-pack 的信息包正好反过来：信息包开工前整理一次全量，之后每个切片只补增量；读数每个切片只守关键位置，整程的改动等全部切片收口之后、交付之前全量跑一次。每片都按全部改动跑，同一批函数会被一片一片地重算，算的大多又不是错了代价大的地方，推进被拖慢；关键位置每片守住，其余的最后一次补齐。

关键位置是本切片碰到的、错了代价最大的地方：判据与不变式的守护点（spec 不变式对照「由什么守」那一列）、状态转移、并发、失败与清理分支（spec 失败语义表）、对外契约的边界。开工包的「技术细节设计与验证」写明它们的路径和为什么关键。本片没有就写「无关键位置：<理由>」，第 3、4 步写「本片不需要：无关键位置」，留给一程全量。

顺序

1 类型检查与 lint，再跑改动成员的合入检查

主代理自己在候选头上跑，命令从项目接入点取。不论代码由谁写，都不采用写者报告的结果。有失败先修，不进下一步。

接着跑接入点「改动成员的合入检查」：与项目合入检查同口径、只限本片改动的成员，含它们的全部测试层（慢的那层也在内）。合入检查是最贵的一道，不该是第一个发现问题的地方；改动成员自己的检查在这里先过，合入检查才只剩跨成员的组合问题。接入点没给这一格时跑项目的合入检查本身，并在收口记录里写明。

2 对照 spec 与不变式

只判 spec 已经写明的验收标准和不变式对照。每一条结论是达到或未达到；未达到的写明缺哪份证据或哪件产物。spec 没写的标准不补。某条未达到时不先重跑：写明根因在哪一处，修完只复跑这处改动能影响的检查。先答三问：应然、实然、差异。做法加载技能 think-ought-vs-is。形式化过的性质核契约测试是否在、是否变红过；按精化对照表逐行核，每一行有守它的类型或结果变体，也有用例。实现有没有遵守已采用的架构、技术设计与规格：问题要带反例，或指出缺的行为，测试通过不代替这一面。

本程更正过的裁定与 spec 原文冲突的，另列「冲突项」：写裁定、与之冲突的 spec 原句。冲突项不是达到或未达到，由主代理改 spec 后再核。

证据要贴出来：命令、输出尾部、测量摘要或日志摘要。只写结论不算证据。每个结论带证据，证据要真的检验了它声称检验的东西。做法加载技能 think-evidence。

证据要能检出错误的结果，否则通过不说明什么：

• 判据取自契约与 spec，不取被测实现自己报的结果；只断言「回调被调用了」不算验证了行为。
• 测量用的工具与夹具自己也要能检出错误：先确认它在故意做坏的输入上会报。不在夹具里补造产品行为再用它证明产品具备这个行为。
• 解析子进程输出的测试固定会改变输出字节的设置（颜色、语言区域、哈希缩写长度），再在不利的设置下跑一次。
• 有限模型检查、替身上的测试、真实组合上的运行分开陈述；普通的成功退出不等于证明成立。
• 不降阈值、不删断言、不跳过用例、不把预期的错误标成成功来换通过。

第 3、4 步跑得久时放后台，等完成通知，不循环等。等的时候只做下一片的开工包，不动下一片的代码；读数出来有要处置的，先回来处置完这一片。

3 结构读数

只摘本切片关键位置里改动函数的圈复杂度、认知复杂度与 CRAP，用本技能自带的 scripts/metrics.mjs，定义见结构读数与差分变异的模型。范围用 --scope <关键位置的路径,…>，覆盖率文件从项目接入点取，基线是本切片的起点提交。读数是抽查线索，CRAP 低不表示行为正确。CRAP 与圈复杂度一样有提醒线与红线（--crap <warn>,<alert>，与 --cc 同形），线从项目接入点取。多包仓库可一次给几份覆盖文件（--lcov a,b,c），同一源文件取各行、各分支命中的并。同一文件里重名的函数按名字加序号配基线，配不上的记「拿不准」、不报变差。表格全部列出，变差的（过线且新出现或比基线涨了）标「!」排在前面：收口逐条交代这些；原来就过线、没有变差的照列不解释，不替历史交代。命令失败时交回命令和输出，不手算冒充工具读数。改动不在度量范围内时写「未覆盖」，逐个列出未覆盖的文件，并给出标明是手算的替代证据。依赖方向的违规与环原样列出。

4 差分变异

有关键位置就要跑，用本技能自带的 scripts/mutation.mjs。项目的范围从项目接入点取，本片的范围从开工包的关键位置取。它由 Stryker 执行，项目要用 vitest 并装着 Stryker（项目自己装，或 npm ci --prefix <本技能的 scripts 目录>）；一轮耗时约等于初跑一遍加每个变异体只跑碰到它的用例，超时的变异体一轮后单独复核，抬头写「复核 N」。别的运行器暂不支持，工具会退出并说明。多包仓库（根下没有 vitest 配置、每个成员各有一份）按改动的成员各调一次 --project <成员目录>，输出路径仍相对 Git 根；成员的用例导入自己的构建产物（例如 dist/）时再加 --build-command <构建命令>，否则用例跑的是没插桩的产物，变异体碰不到。只在本切片的最终头上跑一次，修复轮一开始，就停掉旧头上还在跑的。缺省只变异改动的行：差分变异回答「这次的改动有没有被测试守住」，函数里没改的行测的是改动之前的代码，它们的存活是旧欠账，按本步的规则要逐条处置，等于把圈外的活推给这次改动。要顺手还一个函数的旧账时才给 --whole-units，范围扩到改动行所在单元自己的全部行，这一轮的存活里有多少落在没改的行上，收口记录里分开写。范围只取关键位置：--scope <关键位置的路径,…> 只收其中的改动行，基线第一轮用本切片的起点提交，修复轮用 --base <上一轮收口头> 收窄到修复改的行；判据与状态机所在的关键文件用 --files <路径,…> 点名，点名的文件全部有名单元都打，不论改没改。起变异前先在沙箱里用同一份配置把测试跑一遍，没跑通时整个成员测量无效并列出没跑通的测试文件；只跑某一层测试用 --vitest-config <那一层的配置>；给了 --whole-units 时，单元自有行数超过 --unit-max-lines（缺省 200）只变异改动行与包住它的最小嵌套函数，抬头写明收窄了哪些；超时复核最多 --recheck-limit 个（缺省 8），超出的记「超时未复核」，成员测量无效；有运行时报错的位点时成员测量无效。增量由 Stryker 负责：工具、vitest 版本与配置文件的内容、测试文件、Stryker 版本、给了构建命令时的构建产物（--build-output，缺省 dist）都没变时沿用上一轮的结果，抬头写「沿用 N」；指纹变了整轮重跑。先只列范围（--plan-only），核对后再正式运行。存活与无覆盖原样列出；命令失败交回命令和输出，不把未跑写成零存活。把存活判为等价变异之前，先说明能否改夹具或代码让它可判定。

5 去 AI slop

加载技能 pstack:deslop；写的散文加载技能 pstack:unslop。

6 证明可用

在真实产物上跑一次本切片的行为：起服务、跑命令、打开页面，读实际的值。加载技能 pstack:principle-prove-it-works。

一程全量读数

全部切片收口之后、交付声明之前，在一程的最终头上做一次。

• 基线是 spec 抬头的起点提交（--base <起点>）。范围是项目接入点给的范围，不按关键位置收窄。多包仓库按整程改动的成员，差分变异各调一次 --project。Stryker 的增量照旧生效。
• 读法与切片收口相同：变差逐条交代，存活与无覆盖原样列出。关键位置之外的存活三选一：补用例；判为等价变异（先说明能否让它可判定）；不变式排除的记「不变式排除」，不补。改了代码的回到第 1 步，再在新头上用 --base <全量读数时的头> 复跑改动的行。
• 项目的合入检查已经按整程改动跑同样的读数时，接入点写明那条命令，这里贴它的结果，不跑第二遍。
• 记录填收口清单末尾的「一程全量读数」，交付声明指向它。

两轮不收敛

连续两轮出现同一类阻断时，停止逐个补洞。先质疑判定本身：这一类承诺是否正确、合理、本阶段必需。不必需的缩窄承诺，工具对这一类不再下确定结论，交人工复核或按未达到记录。仍要修的，先答三问：应然、实然、差异。做法加载技能 think-ought-vs-is。再按 delegate-brief「升级」换路径。

不做的

• 不做对抗性评审，不派子代理「找问题」「挑战设计」。对抗性评审的上下文和实施方不对齐，带来过度设计、过度优化和鸡毛蒜皮。
• 不为读数本身优化。圈复杂度高但行为正确、测试在，先记下，不在收口里重构；要重构归收口之前的做好一轮。
• 不接受放宽或删除已有断言的改动，spec 明确要求改写的除外。

常驻要求

对自己和派出去的子代理同样按写代码的四条要求代码品味、架构优雅与代码整洁；判设计与实践的完整依据加载技能 ub-mode；TypeScript 的写法加载技能 pstack:typescript-best-practices。

做好一轮在收口之前单独做完，按结构读数、差分变异与品味核对单收拾本片的改动，核对单的答案写进收口清单。先做对，再单独做好一轮。做法加载技能 think-right-then-well。

外部技能

• 对照标准的评审加载技能 mattpocock-skills:code-review，只用它的标准面。
• 派只读评审者时按 delegate-brief「派评审者时」。

收口之后

切片级清理按 cleanup：只判断还要不要，下一片用不到的直接删，要用的原地留，Git 历史与汇报件就是留痕，所以不打包，也不在文档里写「待删」「已删」。向人汇报按 progress-artifacts，提交。提交后按 plan 的「文档维护表」逐份核对给人看的文档：进度总览、本片收口记录、上下文包增量、汇报件、本片改了应然时对应的规格或架构正文；更新的只改该文档对应的节，不整份重写，改完把维护表该行的「最近更新」改成本次时刻。最后跑 spec-and-plan 的 scripts/check-plan.mjs 核 plan 与 spec 的结构，退出 0 才算收口。