slice-closeout
Installation
SKILL.md
切片收口
收口是验收，不是挑刺。拿到的上下文是 spec、不变式、本切片的改动和读数，核的是承诺的有没有做到、守的有没有守住。填收口清单，六步按顺序，前一步红了不进下一步。
两个尺度
结构读数与差分变异分两个尺度做，和 context-pack 的信息包正好反过来：信息包开工前整理一次全量，之后每个切片只补增量；读数每个切片只守关键位置，整程的改动等全部切片收口之后、交付之前全量跑一次。每片都按全部改动跑，同一批函数会被一片一片地重算，算的大多又不是错了代价大的地方，推进被拖慢；关键位置每片守住，其余的最后一次补齐。
| 尺度 | 什么时候 | 范围 | 基线 |
|---|---|---|---|
| 切片收口 | 每个切片收口的第 3、4 步 | 开工包写的关键位置：其中本片改动的函数，加上点名的关键文件 | 本切片的起点提交；修复轮是上一轮收口头 |
| 一程全量 | 全部切片收口之后、交付声明之前，一次 | 整程改动的全部函数；多包仓库按改动的成员各一次 | spec 抬头的起点提交 |
关键位置是本切片碰到的、错了代价最大的地方：判据与不变式的守护点（spec 不变式对照「由什么守」那一列）、状态转移、并发、失败与清理分支（spec 失败语义表）、对外契约的边界。开工包的「技术细节设计与验证」写明它们的路径和为什么关键。本片没有就写「无关键位置：<理由>」，第 3、4 步写「本片不需要：无关键位置」，留给一程全量。