代码执行的反馈通常只是一个通过/失败的布尔值，粒度太粗；代码相似度无法映射到最终视觉输出；为特定任务训练的验证器缺乏泛化能力。