为什么大任务需要它
对一个大任务来说，分阶段设关卡不是官僚形式主义——它是必要的，五条独立的论证共同指向这一点：
- 近可分解性（Simon, 1962；钟表匠寓言）——霍拉（Hora）以稳定的子组件逐步搭建并完工；坦普斯（Tempus）整体式地搭建，每次被打断都前功尽弃。关卡，就是你把一个子组件稳定下来的地方。
- 误差累积——一段长时间的自主运行，其成功概率 P(success) ≈ pⁿ，随时间跨度衰减；关卡在误差滚雪球之前把它限制住、重置掉。
- 不确定性下的实物期权（Dixit–Pindyck；Gompers 1995）——任务越大、越不可逆、越不确定，放弃权的期权价值就越高；分阶段正是在购买这份期权。
- 缺陷成本曲线（Boehm）——一个缺陷发现得越晚，修复成本大致呈指数级上升；关卡把它尽早捕获。
- Cooper 的新产品开发基准研究——有纪律的阶段-关卡流程，实证上表现出更高的成功率。
→ 一个"大任务"＝长时间跨度＋不确定＋不可逆＋误差累积＋（往往还）执行者不可信。其中每一条都独立地要求阶段与关卡。
形式化推导
以上都是论断；严谨的支撑材料——每一篇都写得能独立成文（精确的设定、明确的假设、完整的证明、引用与自证分明区分、诚实标注适用范围）——收录在 derivations 中：
- adaptive-commitment-value ——期权价值＝信息价值（也就是一个关卡的价值），用测度论的凸分析给出
- reliability-and-checkpointing —— pⁿ 衰减，以及精确的最优检查点间隔 √(2δM)
- simon-ando ——近可分解性 ⇒ 谱隙 ⇒ 双时间尺度聚合（退化摄动）
- holmstrom-informativeness ——当中间信号能反映努力程度时，就该对不可信的执行者设关卡