OppEval

1,032 个阻塞时刻里 84.5% 有 ≥2 个外部调用在途（若以 4,973 个决策点为分母则是 96.8%）；两个可从项计算的关键性谓词分别恒假、恒真 → 排序空间是真的，语言给不出用它的依据。

Stephen Mell 是 CMU 博后，compound-AI / opportunistic evaluation 方向。两个谓词恒真/恒假是关键限制。