# 长任务工作簿

## 任务与未知

- 想要的最终结果：
- 当前已知：
- 会改变方案的未知：
- 需要用户决定：

## Plan

| 里程碑 | 可交付结果 | 机械验证 | 人工验证 | 回退 | 暂停条件 |
| --- | --- | --- | --- | --- | --- |
| 1 |  |  |  |  |  |
| 2 |  |  |  |  |  |
| 3 |  |  |  |  |  |

## Goal

- Outcome：
- Constraints：
- Verification：

## 并行边界

- 可独立任务：
- 写入重叠：
- 合并顺序：

## 状态记录

- 最后安全状态：
- 已完成证据：
- 剩余风险：
- 下一步：
- 需要的授权：