用途：把来源承诺（spec、ticket 或对话）转换为与候选实现无关的验收契约，用于规划验收，而非实现、验证或发布。规划前需先阅读验收契约协议，其中定义 spec 信封、修订规则、证据术语与交接方式。
主要能力：解析规范契约位置，读取来源、现有契约、待定修订与适用父契约，来源无法确立时报告缺口并停止。将已有验收标准（含 GitHub 复选框）与契约对齐，提取每项实质承诺与必要不变量，保留来源引用。每条可独立伪造的承诺占一行，拆分复合标准、合并重复声明、记录重构时的 ID 映射；重跑时保留已有 ID，为新行分配未用 ID。记录来源或结果要求的边界（空输入、重试、重启、授权、并发、部分失败等），投机行为置于契约之外。检查已约定规格、TDD 接缝、公共接口、现有测试、约束与配置命令，复用接缝并为每行指定独立判定与具体证据路径；缺失可信路径标为 gap 并说明原因。按协议修订规则记录经授权的实质变更并保留历史版本，未决变更以问题形式提出。审计每个来源承诺，为新增不变量给出来由，检查缺失与超范围，实现偏好不得进入需求。
使用方式：按返回格式输出契约，plan state 只用 planned 或 gap；旧的证明结论移入单独标识的证明报告并保留原始候选与上下文，或标注缺失来源为 gap。包含存储交接，注明规范目标与修订，以及保存是否待定；由调用方保存并确认检索，规划本身不发布。
限制：不实现、不验证、不发布；无法确立来源时必须停止；证据路径缺失只能标记 gap，不得伪造。