教科书案例

父级：stages-and-gates

领域	阶段（自由发挥）	关卡（可验证的检查点）
编译器	词法分析 / 语法分析 / 类型检查 / 优化 / 代码生成	良构性——类型检查器拒绝类型错误的代码（"类型正确的程序不会出错"，这就是那道关）
CI/CD	构建 / 测试 / 部署	质量关：测试全绿、覆盖率、lint、签名
TDD	写测试 / 写代码 / 重构	红 → 绿 → 棘轮式推进（绿了就不能再变回红）
临床试验	I/II/III 期研究设计	安全性关 → 有效性关；坏药越早淘汰越好；成本随阶段递增
风投融资	种子轮/A轮/B轮的公司成长	进入下一轮之前的里程碑检查（分阶段融资 = 复合期权）
航空航天评审	两次评审之间的工程工作	PDR → CDR → TRR → FRR；TRL 1–9 就绪度
细胞周期	G1 / S / G2 / M 生化过程	字面意义上的检查点：G1/S（DNA是否完整）、G2/M（复制是否完成）、纺锤体检查点SAC（染色体是否已附着）
Stage-Gate（Cooper）	范围界定 / 商业论证 / 开发	继续 / 终止 / 暂缓 / 打回重做（交付物 + 判定标准）
三幕剧	每一幕的写作	情节转折点把一幕推向下一幕
正当程序	侦查 / 审判 / 量刑	大陪审团（证据是否足以起诉）；"排除合理怀疑"
课程	你如何学习一门课程	先修要求 / 考试解锁下一部分

反复出现的母题：很多关卡的判据其实就是类型检查 / 良构性检查——这道关在给上一阶段的产出做类型检查。