1105216375-alt/resimind 是一个公开神经-符号（neuro-symbolic）智能体架构的仓库，该架构与模型自行提出的阶段相互独立，重新进行领域检查，只把通过检查的内容保留为事实。2026 年 10 月 15 日的提交 4055d9c 以“Prepare reliability update and clarify evaluation evidence”为提交信息，修改了文档，方向是收窄评估主张所能被支撑的范围。README 和 README.zh-CN 中新增了 v0.16.0 之后的进展，以“main”为准。
修改的内容大致分为两块。一是把记忆（memory）的来源、过期、迁移审计（audit）文档摆到前面，并预留一个残余驱动修订（residual-driven revision）阶段，用来重新修正 ChinaTravel 集成中的验证失败点。二是把 MiniF2F、LeanDojo 用的外部定理适配器（benchmarks.external_theorem_adapter）从“固定（pinned）”边界下调为“实验性（experimental）”边界。该适配器在调用方准备好的 .lean 模板中查找唯一的 RESIMIND_PROOF_HOLE 标记，安装候选证明，用已安装的 Lean 工具链编译，并拒绝 sorryAx。实验协议文档也改为“修改后的协议”，说明过去的批次保持固定设置，并把原生 ReAct 循环从 60 步降到 50 步。
不过，提交自身列明的限制很大。适配器不下载数据，仅在给出 source_sha256 时才校验哈希，而 dataset_commit 和 mathlib_commit 只是调用方的声明，并未与实际检出的 Git 修订进行比对。最新官方 12 题的结果是 ResiMind-ReAct 0/12、官方 ReAct 0/12、官方 NeSy 3/12，因此尚未看到外部解题方面的优势。其他记录中的 5/12 和 1/12 属于更早的实验批次，不能与这些结果合并。开发重跑在两个样本上都没有达到官方通过，而且由于初始搜索没有触及预留的阶段边界，40/20 预算分配的因果收益未能得到证明。MiniF2F、LeanDojo 成绩仍然是 not_run/blocked，154 题的完整运行还需要固定数据、官方 sandbox、macOS sandbox-exec 和 DEEPSEEK_API_KEY。也就是说，这次变更并没有产出成绩，而更接近于用文档把“尚无成绩”这一事实以及失败类型固定下来。