用途：实现一个薄的端到端功能切片，遵循由内而外（inside-out）流程。输入由 tracer-bullet 卡片定义（$ARGUMENTS）。前置条件：需先有概念胶囊（否则先运行 /pragma:capsule），并需有卡片（否则先运行 /pragma:card）。从卡片中提取目标行为、边界跨越、风险/假设、完成定义；卡片不完整则停止并建议重跑 /pragma:card。
主要步骤：0. 预检门禁，确认卡片含明确的 BUY-OR-BUILD 决策，行为仍不清晰则先跑 /pragma:spike。1. 先写规格测试（红），把完成定义转成测试并确认至少一个因预期原因失败。2. 功能核心：用胶囊术语定义类型，核心函数为纯变换，无 I/O 与副作用，覆盖目标行为测试，在构造边界强制不变量。3. 命令式外壳：最小 I/O 适配层，外壳调用核心而非反向，不含业务逻辑。4. 端到端接线并写集成测试。4.5 提交行为（建议），消息风格 Behavior: <目标行为>。5. 对齐重构（非可选）：命名对齐胶囊术语、模块边界、删除死代码、切片内聚。6. 运行项目现有验证工具，全部通过。7. 单独提交重构，消息风格 Refactor: align slice to capsule。8. 分类权威增量（强制），按语义/策略/阶段控制/置信度/执行就绪分别路由到 /pragma:capsule、/pragma:roadmap、/pragma:milestone、/pragma:assumptions、/pragma:contract，无变化写 none。9. 更新假设台账（强制），运行 /pragma:assumptions update。
限制：一次只做一个切片，不做相邻行为或未来功能；针先于线，规格测试未因正确原因变红前不写行为代码；不做推测性抽象；重构属于完成的一部分；显式声明假设；不得静默漂移权威。输出包含已交付行为、变更文件、权威增量、假设与建议下一步。