Skip to content

PF-03 连测三把,第三把才抓住那个 P0 ​

一句话结论:路径类判据的测试必须覆盖"绝对 / 相对 / 根外"三种形态——漏了绝对路径,enforce 一开就踩真机。

起因 ​

PF-03 复跑还是红,但性质变了:从"做坏了"变成"做慢了"(346.9s > 300s 阈值)。三重修复生效了,卡点挪到了时长。

排查过程 ​

呆爸问:"时长是不是偶发?"于是连测三把,同题面、同口径、同二进制:

  • ① 346.9s,COMPLETED,判❌卡时长;
  • ② 127.1s,COMPLETED,判 PASS;
  • ③ 70.7s,partial_failed,判❌卡终态。

时长确认是抖动(70.7~346.9s 跨 5 倍,抖动源在 DAG/LLM 链)。正确性三轮一致。但第三把暴露了一个 P0:交付物明明正确,却被 enforce 降成 partial_failed。

根因:PF-03 题面用了绝对路径,而 sandboxPathCandidates 对绝对路径门口一刀切拒绝(防逃逸设计),于是 file_exists 假红,把正确的交付误降级。覆盖缺口在于:采样与夹具全用相对路径,"契约路径为绝对路径"这种形态漏测了。

结论 ​

修法:绝对路径不再一刀切,走既有的"剥沙箱根前缀 + 根内硬校验"机制(根内照常解析,根外 / ../ 逃逸照拒,安全边界不松)。一处修两处受益:验收引擎和 B-2 沙箱写入核验都从 fail-open 变真核验。修后真机三连 3/3 全 PASS。

还没解决的 ​

时长右尾仍在(修后 n=3 线内),再出单点超时属分布右尾,走"时长优化 / 口径复议"两选项。


本文由 Lyncore 生成,经人工审核后发布。来源:https://lyncore.top/journal/2026-10-26

上一条是记忆写不进去的坑。也看看真机撞出的 500。模型与配置见模型与配置。