链式验证是一套让模型通过工具核验自身断言的流程,用于抓出幻觉。它适用于报告、评审等含事实断言的产出;简单文件清单、不产生断言的快速修复、已对同一内容跑过缓存的情况不必使用。
四步协议:一步起草,正常生成答案,先不追求正确;二步规划3至5个聚焦问题,问题须能由工具(Read/Bash/Grep/Glob)回答、独立于草稿、指向具体断言;三步执行,逐个运行工具并记录实际结果,而非推理应然;四步修订,逐条对照草稿断言:已证实保留,被反驳修正,无法证实则弱化或删除,并标出修正处。
适用断言类型包括测试通过数、覆盖率、安全问题、函数是否存在、接口返回、耗时、行数、改动是否破坏功能等,均须以实际运行或读取结果为准。
反模式:凭记忆验证、提含糊或诱导性问题、因疲惫跳过、问题超过5个、原位修改不标注改动。相关规则文件见 rules/workflow/chain-of-verification.md(第4阶段强制)等。