证据

「证」负责收集并筛选能够实质改变当前判断的代码、接口、测试、执行轨迹与工具回执，同时明确已知、未知、假设及证据边界；

循证螺旋正是将这一可反驳性转化为递归式自我改进的认识与工程门控：系统先界定当前主张、假设及证据边界，再为其提出可观察的失败条件；

说明：对模型综合能力作出全面评估，需明确基准评测的证据边界。

「伪」主动检验候选方案的前提、实现与正确性声明，推导可观察的失败条件，定位矛盾、错误与证据缺口；

它将一次软件工程任务编译为多轮、分阶段且相互约束的模型调用，而非对同一Prompt机械重试：不同轮次分别承担候选生成、反证、定向探究、修订与验证等职责，并接收由Harness动态构造的结构化工作包，其中持续携带任务契约、代码上下文、前轮产物、工具回执、测试错误、证据缺口、失败归因及修复边界。

由此，团队重新定义递归式自我改进：它不是系统反复修改自身，而是经证据纠正的方法开始改变系统未来如何发现、判断和纠正错误，并且该方法仍可被新的证据再次证伪。

「化」则只将通过验证门的结果、失败类型、适用条件与有效修复原则压缩为下一轮可调用的证据状态、方法约束与预防规则。

研究的意义不在于被谁铭记，而在于探索未知，并把经得起证据检验的事情做下去。

团队下一阶段将把研发与商业化重心转向通用CodeAgent：底层模型作为可替换的推理内核，生产级Self-Harness负责维护任务契约、仓库状态、证据义务与方法版本，编排分工明确的多轮模型调用和工具执行，并将自然语言目标转化为可观察、可反驳、可验证、可回滚的状态变化。

Self-Harness同时维护假设、行动、探究方向、证据义务、方法版本与停止条件，将检索、测试、静态分析和运行轨迹组织为可追溯的证据事务，并通过上下文隔离、状态更新、证据采纳、验证门、方法晋升、预算治理、权限控制、失败回退与版本回滚，决定何时继续调用模型、调用哪一阶段、向其提供哪些证据，以及哪些修订可以执行或被后续任务继承。

修订作用于与失配相对应的层级，既可修复当前结果，也可调整问题分解、证据义务、工具选择、验证策略或停止条件；

只有当这一方法候选在后续独立任务中被实际调用，并确实改变证据义务如何生成、工具如何选择、修订如何定位或验证如何组织，且再次获得证据支持时，它才被写入新的纠错方法，完成从当前结果纠正到未来方法更新的跃迁。

在运行层面，VeriLoopCoder-E1由Self-Harness维护任务锚点、证据义务与版本化状态。

若仍存在足以改变决策的未知，系统便登记对应的证据义务，调用代码检索、静态分析、测试、运行Trace或其他工具获取带来源的观测，并仅允许可采纳且能够改变判断的结果更新系统状态。

「化」则只将通过验证门的结果、失败类型、适用条件与有效修复原则压缩为下一轮可调用的证据状态、方法约束与预防规则。