用途：在动手写任何 SaC 断言或迁移源码之前，先把工作簿领域的目标结果与执行计划写成文件。它面向电子表格行为规划，而非通用软件规划，要求把 Excel 领域含义、范围角色、公式、格式、校验、保留边界和断言门显式化。
主要能力：先写成功标准清单（<package.univer>/success-criteria/<topic>.md），再写计划（<package.univer>/plans/<topic>.md）。计划需包含工作簿意图、基线证据、源文件映射、范围角色、工作簿行为契约、契约决策证据表、迁移包拆分、TDD 门与逐包任务。范围角色区分源数据、目标输出、辅助/控制输入、查找/引用、示例/演示、既有输出、仅保留区域，并说明可读、可写、可替换或必须保留。
使用方式：按顺序执行——成功标准第一、计划第二、断言第三、迁移源码第四。计划头部须声明使用 executing-univer-plans 子技能逐包执行。每个非平凡迁移包需先写失败断言，运行 univer sac verify <package.univer> --json 确认预期失败，再做最小迁移改动，再次运行确认通过，最后提交或准备交接。
适用场景：复杂 SaC 工作簿行为、Facade 迁移包、范围角色划分、迁移边界、断言门设计等规划阶段。
限制：不得在成功标准之前写计划，不得在计划之前写 assertions.ts，不得在计划派生的断言之前编辑迁移包；顺序错误需停下补齐后从计划重启执行。高风险决策需有区分性证据，证据强度分为 explicit、inferred、underdetermined assumption；欠定决策在交互任务中应先询问用户。不得用 TBD、TODO 或空白必填段占位。具体命令、路径与文件结构以资料为准，其余细节暂未提供。