该论文提出一种证据门控机制，将自主编码Agent的DONE声明转化为可验证证据，要求状态转换依赖新鲜、绑定的机械验证证据。实验显示，该机制将虚假通过案例从31例降至2例，错误传播概率降低两个数量级，并在实际应用中解决94.8%的问题，显著提升系统可靠性。