Terra 6.1 (xhigh)
模型详细评测 · 公开＋私有合并成绩
当前成绩
内容可靠率与目标达成率
已审内容可靠率 99.80%；已确认目标达成率 69.67%。
| 子类 | 已审内容可靠率 | 已确认目标达成率 |
|---|---|---|
| 书面论证 | 99.31% | 85.19% |
| 论证审阅 | 100.00% | 77.50% |
| 语义审计 | 100.00% | 100.00% |
| 形式化 | 100.00% | 53.03% |
| 对齐自查 | 100.00% | 30.00% |
| 背景核查 | 100.00% | 100.00% |
| 数学想法手稿化 | 100.00% | 80.00% |
| 命题拓展 | 100.00% | 16.67% |
分类贡献
贡献分 / 该项满分；相关变体在家族内聚合。
Lean · 自查计分
比较三种计分口径
整章对齐 · 固定三轮
展开三轮原答与审核
R1 · 完整原答
FULL
核查结果：上一版没有达到 100% 覆盖，本轮也未能完成整章交付。 对照表覆盖了全部 92 个义务 ID，但更新后仍有 63 项标为 incomplete，包括商映射、复合下界、覆盖数与熵结论以及章末习题的大部分内容。
本轮补充了零化半径的上确界提取、纤维截断和统一半径分离判据，并将相关 5 项更新为 complete。更新后的源码通过 Lean 4.29.1 编译；对照表所列声明的公理检查只显示题目允许的逻辑公理。源码和对齐表目前保存在 Main.lean 与 alignment.json。
这些是未完成的工作文件，不是按要求以内联命名代码块提交的完整答卷；链接不能替代题目要求的文件全文。我无法据此声称已经完成或严格验证全部 92 项义务。
数学内容来源：Zhe Li（Glen Li），The Operator Evolution Theory, Volume I，DOI: 10.5281/zenodo.21457931，CC BY 4.0。
R2 · 完整原答
FULL
核查结论：上一版没有 100% 覆盖全部义务，本轮也未能完成整章形式化。 更新后的对齐表包含 92 个不重复的义务 ID，其中 34 项标记为 complete，58 项标记为 incomplete。尚未完成的内容包括商映射构造、覆盖数与熵估计，以及大部分章末习题。
本轮补充了五项结果：常值子族的像目标纤维、恒等分量的像目标纤维、零化阈值下的纤维包含，以及正 co-Lip 通道的点态和统一距离间隙。更新后的部分源码通过指定的 Lean 4.29.1 编译；对齐表所列声明的公理检查只显示允许的逻辑公理。
部分工作保存在 Main.lean 和 alignment.json。这些链接不能替代所要求的文件全文；本答复没有提交完整命名代码块，也不是符合要求的完整答卷。 我无法声称全部 92 项已完成或严格对齐。
数学内容来源：Zhe Li（Glen Li），The Operator Evolution Theory, Volume I，DOI: 10.5281/zenodo.21457931，CC BY 4.0。
R3 · 完整原答
FULL
核查结论：上一轮交付未达到 100% 覆盖；本轮也未能完成全部修复。 更新后的对齐表包含全部 92 个不重复的义务 ID，其中 36 项标记为 complete，56 项标记为 incomplete。未完成项包括商映射、覆盖数与熵估计，以及大部分章末习题。
本轮补充了恒等分量的零化半径下界，以及零距保持条件下的复合统一半径下界。更新后的部分源码通过指定 Lean 4.29.1 编译；对齐表所列声明的公理检查只显示允许的逻辑公理。
本答复没有按要求提交完整源码和完整对齐表的命名代码块，也没有完成整章形式化，因此不是符合要求的完整答卷。 工作区中的部分文件不能替代这一交付。
数学内容来源：Zhe Li（Glen Li），The Operator Evolution Theory, Volume I，DOI: 10.5281/zenodo.21457931，CC BY 4.0。
92项义务，按最后规定轮次计分。
公开题 · 逐题成绩与证据
公开25题；私有14题计入合并成绩。
形式化初答 · 逐题核实数
按初答封卷工程核对编译及语义对应。
可靠性审核
公开题的错误承诺与扣罚理由
同根因扣罚去重；具体依据见逐题说明。
Harness与工具
Codex CLI
允许本地文件、命令与固定Lean依赖；实际调用见逐题原始记录。
运行版本与来源
本批次使用Codex CLI，以xHigh请求；逐题原生记录与实际工具使用留档。