前人早已写下我们的递归基例

父节点：stages-and-gates · 参考：prior-art-task-decomposition

每一种任务分解传统都把这条停止规则标记为最难的问题，而它其实就是我们在 recursive-stages 中使用的同一个 P×C 基例——只是早了大约 50 年写下。

我们说的是"只递归到某个 gate 仍然值得为止 / 由 gate 成本 √(2δM) 设上限"；Annett 的 HTA（1971）说的是"递归直到失败概率 × 失败代价可以接受为止。"逻辑相同：只在错误的预期代价仍然值得付出时才继续分解/设 gate。我们独立地重新发现了 P×C。（参见 necessity 中的实物期权/缺陷成本推理，以及 reliability-and-checkpointing 中的检查点上界。）

HTA 的 P×C 停止规则就是我们那条"gate 是否仍然值得"的基例，只是换了个名字——这是 recursive-stages 诚实的谱系。