用途：在功能切片落地后立即执行对齐重构，趁上下文仍新鲜时让代码与概念胶囊（术语表、不变量，即命名权威）保持一致。
主要能力：一是命名审计，把类型、函数、模块、测试套件等公开名称与术语表逐项比对，统一同名概念、标记缺失术语、处理多余术语；二是模块边界审计，用“本模块隐藏了关于____的决策”判断模块是否过载、重复或只是透传，并检查纯领域逻辑与 I/O 适配器、外壳调用核心的单向依赖；三是删除死代码，包括仅一个实现的抽象、注释掉的代码、占位结构与未使用引用；四是检查每条不变量由类型系统、构造器/校验器、测试或完全未加约束哪一层保障；五是对权威变更分类并路由到相应更新命令（如 /pragma:capsule update、/pragma:roadmap update、/pragma:milestone update、/pragma:assumptions update、/pragma:contract）；六是运行完整校验并单独提交。
使用方式：以“感觉不对的地方”或待检查范围作为 $ARGUMENTS 输入。开始前先定位概念胶囊；若不存在，先执行 /pragma:capsule。然后定位最近切片改动的文件与用户关注点。
限制：测试须始终保持绿色，重构在绿色下进行；不得新增功能，只改结构，缺失行为应写 /pragma:card。胶囊是权威——代码错而胶囊对则改代码，代码对而胶囊错则先更新胶囊再改代码。提交信息示例：Refactor: align naming/boundaries to capsule after [slice]。生命周期默认 Loop 为 /pragma:consult。