executing-univer-plans

执行 Univer 计划

按 Migration Pack 逐个执行书面的 Univer 工作簿计划。本技能会将计划转化为 SaC 源码工作，同时不丢失工作簿领域契约。

开始时请宣布：“我正在使用 executing-univer-plans 技能来执行此 Univer 计划。”

没有由 `writing-univer-plans` 编写的计划时，不要执行复杂的 SaC 工作簿任务。

如果计划不完整，请先停止并修复计划，然后再编写断言或 Migration Pack。

规则

开始处理执行文件前，先查看工作簿成功标准和计划，然后针对每个 Pack 使用测试驱动的 Univer 开发。

digraph executing_univer_plans {
    "Written Univer plan" [shape=doublecircle];
    "Load success criteria and plan" [shape=box];
    "Plan complete?" [shape=diamond];
    "Stop and repair the plan" [shape=box];
    "Pick next Migration Pack" [shape=box];
    "Load test-driven-univer-development" [shape=box];
    "Write plan-derived failing assertion" [shape=box];
    "Implement pack minimally" [shape=box];
    "Verify and repair from report" [shape=box];
    "More packs?" [shape=diamond];
    "Final handoff" [shape=doublecircle];

    "Written Univer plan" -> "Load success criteria and plan";
    "Load success criteria and plan" -> "Plan complete?";
    "Plan complete?" -> "Stop and repair the plan" [label="no"];
    "Stop and repair the plan" -> "Load success criteria and plan";
    "Plan complete?" -> "Pick next Migration Pack" [label="yes"];
    "Pick next Migration Pack" -> "Load test-driven-univer-development";
    "Load test-driven-univer-development" -> "Write plan-derived failing assertion";
    "Write plan-derived failing assertion" -> "Implement pack minimally";
    "Implement pack minimally" -> "Verify and repair from report";
    "Verify and repair from report" -> "More packs?";
    "More packs?" -> "Pick next Migration Pack" [label="yes"];
    "More packs?" -> "Final handoff" [label="no"];
}

流程

步骤 1：加载成功标准并审查计划

1. 阅读计划中引用的成功标准文件。
2. 阅读计划文件。
3. 根据成功标准、工作簿契约、区域角色、决策证据、Pack 顺序、断言关卡和验证命令，对计划进行严格审查。
4. 如有疑虑，请停止并修复成功标准或计划，然后再开始执行。
5. 如无疑虑，请创建或更新任务列表，每个 Migration Pack 对应一项任务。

步骤 2：执行任务

针对每项 Pack 任务：

1. 将 Pack 任务标记为 in_progress。
2. 严格按照计划中的每个复选框步骤执行。
3. 计划涉及断言或 Migration 工作时，加载 test-driven-univer-development。
4. 运行计划和 TDD 技能指定的验证。
5. 只有在取得有意义且通过的断言证据后，才将 Pack 任务标记为 completed。

步骤 3：完成开发

所有 Pack 任务完成后，在宣布完成前使用 superpowers:verification-before-completion 或本地仓库的完成关卡。对于 Univer SaC 工作，完成时仍需提供最终的 univer sac verify <package.univer> --json 状态和返回的断言证据。

加载成功标准并审查计划

编辑 assertions.ts 或 migrations/ 之前，先严格审查成功标准和计划。

确认其中包括：

• 引用了 success-criteria/<topic>.md 文件，其中包含检查清单、明确的非目标和计划阶段的歧义
• 工作簿可见的目标和明确的非目标
• 已使用的基线证据和只读探查
• 具有读取／写入／保留规则的区域角色
• 与任务相关的工作簿行为契约字段
• 高风险决策的契约决策证据
• Migration Pack 顺序
• 每个非平凡变更 Pack 的断言关卡
• 完成验证命令

如果缺少任何一项，请停止并修复计划。不要凭记忆继续。

停止并修复计划

出现以下情况时，请在执行前修复计划：

• 计划未引用成功标准
• 计划中缺少成功检查清单中的项目，或与其相矛盾
• 区域角色不明确
• 高风险决策缺少足够有力的证据
• 某项假设是隐含的，或被当作证据
• 某个 Pack 没有持久的工作簿意图
• 某个 Pack 没有断言关卡
• 缺少验证命令
• 计划与观察到的工作簿证据相冲突

修复计划可能需要执行只读 univer 探查。请将有用的发现记录回计划，然后再继续。如果目标结果发生变化，请先更新成功标准，再修复计划细节。

一次执行一个 Migration Pack

对于每个 pack：

1. 将该 pack 标记为当前执行单元。
2. 将该 pack 任务标记为 in_progress。
3. 严格按照计划中的每个复选框步骤执行。
4. 加载 test-driven-univer-development。
5. 首先编写或更新源自计划的断言门槛。
6. 对于已应用的 pack，运行 univer sac verify <package.univer> --json，并确认断言因预期的工作簿可见原因而失败。对于全新待处理的 pack，不要使用空 pack／无操作 pack 来人为制造 RED；而应先通过基线证据确认缺失的行为，然后编写最小的实际迁移源文件。
7. 实现能够满足断言的最小 Migration Pack 变更。
8. 按照 TDD 技能的要求运行 apply/verify。
9. 阅读 univer sac verify <package.univer> --json 的断言证据，并根据证据修复。
10. 如果执行过程中发现行为约定发生变化，则更新计划。
11. 将该 pack 任务标记为 completed。
12. 只有当前 pack 有有意义的断言通过证据后，才能转到下一个 pack。

计划中的断言门槛尚未补齐时，不要编辑 Migration Pack。 不要将多个 pack 批量合并为一个未经检查的实现步骤。

审查关卡

每个 pack 完成后，检查：

• 实现前断言是否因正确原因失败？
• 通过的断言是否证明了工作簿可见行为，而不只是命令成功？
• 是否覆盖了保留要求和否定约束？
• 执行过程中是否发现了必须记录的计划变更？
• 是否有 pack 被跳过，或有任何已变更的 pack 仍然没有断言？
• RED/GREEN 证据是否依赖于 SAC_EMPTY_MIGRATION_PACK、SAC_PACK_FILE_INVALID、checkedPacks: 0 或全部跳过的 verify 运行？如果是，这就不是有意义的证据。

何时停止并寻求帮助

出现以下情况时，立即停止执行：

• 遇到阻碍，例如缺少工作簿制品、依赖项或命令
• 计划说明不清楚或相互矛盾
• 验证反复失败
• 尚未确定的假设会影响用户可见的工作簿行为
• 计划与工作簿证据不一致
• verify 报告未清楚区分源文件和断言
• 似乎必须改用非 Univer 电子表格库

如果决策会影响工作簿可见行为，请先请求澄清，不要猜测。

何时返回前面的步骤

出现以下情况时，返回“加载并审查计划”：

• 用户更新了范围、要求或工作簿制品
• 执行过程中发现缺少范围角色、决策或断言门槛
• verify 证据改变了预期行为
• 计划需要调整 pack 顺序或拆分方式

不要强行越过阻碍。先修复计划，再继续执行 pack。

请记住

• 先批判性地审查计划。
• 严格按照每个复选框步骤执行。
• 不要跳过验证命令。
• 编写断言或迁移源代码的步骤，应参考 test-driven-univer-development。
• 遇到阻碍时停止；不要猜测工作簿语义。
• 绝不要将 univer sac apply 视为完成证据。

集成

必需的工作流技能：

• writing-univer-plans：创建本技能要执行的工作簿领域计划。
• test-driven-univer-development：以断言优先的方式实现每个 pack。
• superpowers:verification-before-completion：在宣称完成之前验证最终状态。

危险信号

出现以下想法时，请停止：

想法	实际情况
“计划基本完成了；我可以边写代码边补齐缺漏。”	执行依赖完整的工作簿契约。
“我先实现迁移包，然后再编写断言。”	每个迁移包都需要先有一个源自计划且会失败的断言。
“有几个迁移包彼此相关，所以我会一起实现。”	批量执行会让迁移包级别的证据消失。
“验证命令通过了一次，所以所有迁移包都完成了。”	变更过的迁移包需要有充分的断言证据。
“我可以通过匹配迁移输出修复失败的断言。”	应根据工作簿证据判断是源文件还是断言有误。

最终交接

外部测试框架提供交付或停止门槛时，请在创建所需的交接产物后遵循该框架。交接后不要继续收集辅助证据。

交接必须包含：

• 计划路径
• 成功标准路径
• 已执行的迁移包顺序
• 验证命令
• 最终状态
• 每个变更过的迁移包的断言证据
• 跳过的迁移包（如适用）
• 尚无法确定的假设