用途：把已接受的 nlspec 与当前代码转化为纵向工作切片，每片带一份临时切片规格和实现者交接契约。先加载规格撰写标准。输入为 nlspec 与当前代码，输出为纵向切片。
切片方式：纵向切，每片薄薄贯穿整个技术栈，尽早可演练（可 curl、可浏览、可演示声明）。拒绝按栈顺序的横向计划（迁移→服务→API→前端）。排序使每片至少演示一个声明或降低一个接缝风险，且不在契约中途横切接缝。片内步骤顺序通常为中间向外：先接缝契约配 mock 数据（可 curl），消费者对接 mock（可浏览），再接真实行为，最后持久化；但涉及持久性或幂等性的声明会把持久化提前。契约、声明或 nlspec 中命名的错误行为属于必需工作，须在验收前落在片内。
切片规格：依据 nlspec 与当前代码重新推导，内容包括调用栈树（diff 语法）、文件树 diff（尊重单元边界）、关键新函数的类型与签名、要修改的既有函数与类型、本片演示哪些声明及方式、本片枚举的工作项（验收分母）。实现者可在上下文中推导的内容省略；未来切片必须一致的内容经 HITL 提升到 nlspec。
Mock：mock 是对真实服务的声明，未经认证不可信。认证是证据性的：用真实凭据从真实服务录制的响应作为证明工件归档，且 mock 可复现该响应，并对照契约与文档行为复核。无真实访问时升级到 HITL，不得自行降级。已认证 mock 仅可替代单元本地声明，直到覆盖同一接缝的集成声明在真实服务上演示。
实现者交接：契约不可违反，若工作迫使重新评估契约，停止并报告，不得修改 nlspec。不可推导的决策或标记的延迟决策立即作为规格缺陷升级。预算超支停止工作。声明按 /proof-of-work 演示，不得删除、跳过或弱化失败测试。只构建规格要求的内容。
验收：退出阀通过且三项成立时接受：主要点被证明（每个路由声明按 /proof-of-work 演示，核心 100%）；无已知已演示缺陷；切片规格工作项完成 90–95%。达到阈值即指示接受。
审查范围：HITL 审查用于切片规格（实现前）、触及接缝的 diff、每个 nlspec 修订提议。处理凭据、认证授权决策、不可逆或破坏性操作、数据迁移的单元无论位置均人工审查。其他单元内部不做逐行审查。
退出阀：合并前验证提升、转换、归档与预算、审查。
限制：资料未提供具体安装命令、平台支持、收费或价格信息。