机械式 Stage-Gate（面向随机执行体）
Cooper 设想的执行体是人类跨职能团队；他的关卡是一场周期性评审会（重、靠人的判断）。vibe-linter 把这两样都换掉了：
- 执行体 = 一个不可信的、随机性的 AI → "阶段内的自由"变成了 agent 循环的自由
- 关卡 = 一个可机械验证的
done（一次确定性的铸造判定）、持续 / 自动 —— 不再是经理的去留判断
在形式化地图（formalizations）中的精确坐标：
顺序 Hoare 三元组（1b）+ 监督性关卡（1d）+ option 的终止（1c）——执行体换成 LLM，关卡换成一种LCF 内核式的机械化认证。
= 一个自动化、机械式关卡控制的 Stage-Gate（阶段-关卡模型）/ 分层 option 系统，服务于不可信的 AI 执行体。 Cooper 提供了成熟的结构与原则（漏斗而非隧道、逐步升级的投入、交付物 + 准入标准）；RL 的 option 提供了递归 + 终止；Hoare/LCF 提供了"关卡 = 证明义务"；这里的贡献是把它移植到 Cooper 那个年代还不存在的执行体上，并用机器关卡取代判断性关卡。
命名：阶段（自由区）+ 关卡（边界）；把阶段骨架写成脚本，在边界上设关卡 → script 的正确用法。