01/设计
设计。
定义任务、环境边界、可用工具和成功谓词。
任务及验收合同
04/从意图到证据
验证方法
设计世界。然后让结果负责。
仅当剧集的模式、重置、重播、验证者和出处检查通过时，剧集才会被接纳。失败的门仍然是失败的门。
以下顺序说明了生产方法。已执行的生产证据和说明性过程模型是分开识别的。
设计→交付完整结构
过程模型不是现场制作工作
02/生成
生成。
从受控输入和记录的种子构造版本化的初始状态。
初始状态和依赖关系
03/执行
执行。
在商定的约束下记录实际的转换和工具结果。
参考轨迹
04 / 失败
失败。
保留具体的中断及其证据。一个失败的案例永远不会悄无声息地变成成功。
失败状态及拒绝原因
05/恢复
恢复。
执行恢复进度的行动；将恢复路径与参考路径分开。
恢复轨迹
06/验证
验证。
检查模式、重置、重播、最终状态验证和出处。
验收门
07 / 交付
交付。
仅打包具有版本、权限边界和可复制接口的接受记录。
版本化的交付包
验收管道。
- 01
设计
同意任务、操作界面和成功谓词。
- 02
生成
版本控制的输入和初始状态。
- 03
执行
记录操作、转换、失败和恢复。
- 04
验证
应用模式、重置、重放、验证者和来源门。
- 05
交付
发布已接受的记录及其证据和权利边界。
失败和恢复属于执行内部。仅当所需的检查通过时，结果才会被承认。