Look Before You Leap: Pre-Action Verification for LLM Agents 精读
针对 agent 动作的’静默失败’(产生貌似合理但错误的效果且不报错),本文提出 success/clean-failure/silent-failure 三分框架与确定性预检层:shell 命令侧 9,930 命令+482 工具上静态验证器捕获 95.8% 无效命令(语法/二进制检查 oracle-exact 零假阳性);代码编辑侧 640 编辑×224 文件基准揭示格式尖锐分化——内容锚定格式(search/replace、diff)近零静默失败,行号/函数名格式高静默失败。护栏微秒-毫秒级、零模型调用,可包裹任何黑盒前沿 agent。