单位圆盘覆盖测试 · 项目说明

# AI 使用本仓库


这是单位圆盘覆盖测评的公开入口，不是求解器。先读 README.md，再读 benchmark.json。

## 执行一次测试

1. 查看 benchmark.json 中目标题目的 localized_prompts，读取所选 n 的完整中文题面。记录当前 Git 提交 SHA、题面和协议版本。
2. 明确模型/推理设置、起始材料、工具、联网规则、硬件、时间和费用预算。合同未冻结时，不自行声称正式排名。
3. 按题面完成研究；不得把候选图、浮点优化、有限采样或哈希匹配称为严格证明。未知项如实报告，不编造多项式、区间或证书。
4. 将答案系数 JSON 和高精度半径保存在本地，读 docs/answer-protocol.txt，运行 tools/diskcover_answer.py。不要把巨大整数经过浮点转换。
5. reference_sha256 为 null 时，只能生成自身指纹；有标准值时传 --expected-sha256。退出码0是工具成功或答案匹配，1是不匹配，2是输入错误。工具不证明最小性或不可约性。
6. 保存有理隔离区间和完整证明；它们不包含在 v1 哈希内。用 prompts/research-work-report.txt 生成基于真实记录的报告。
7. 分数用 tools/score.py 按事先约定条件计算；历史记录不可默认为当前合同通过。公众提交关闭，不自动创建 Issue/PR、上传答案或公布研究材料。 n≤30 的时限固定为43200秒，截止时刻内取得有效结果才可计非零分，超时后完成仍为0分；调用时传 --n N。

## 环境与修复

先发现本机 Python 命令与版本，要求3.9+。只需标准库，无需 pip 安装。Windows 可使用 python 或 py -3；Linux/macOS 常用 python3。Python缺失时说明所需环境，由运行者选择安装方式，不自动改动全局环境。

运行 python tools/check_tools.py：退出码0表示工具自检通过，非0须查看报错。自检使用合成数据，不解决数学题。修改工具编码前先核对协议；字段、舍入或编码变化须升级协议版本，不能静默沿用旧哈希。

## 维护边界

没有参考哈希、报告或运行配置时保留 null。只添加发布者授权公开的内容，不自动读取本机研究目录、聊天日志、凭据或私人证明。新增 n 须同步题面和 benchmark.json，复核链接、工具自检与隐私。禁止把演示输入当作标准答案。

公开仓库提供下载工具与测试材料；网站源码在私有仓库维护。不得自动发布答案或更改网站部署。

# AI 使用本仓库


这是单位圆盘覆盖测评的公开入口，不是求解器。先读 README.md，再读 benchmark.json。

## 执行一次测试

1. 查看 benchmark.json 中目标题目的 localized_prompts，读取所选 n 的完整中文题面。记录当前 Git 提交 SHA、题面和协议版本。
2. 明确模型/推理设置、起始材料、工具、联网规则、硬件、时间和费用预算。合同未冻结时，不自行声称正式排名。
3. 按题面完成研究；不得把候选图、浮点优化、有限采样或哈希匹配称为严格证明。未知项如实报告，不编造多项式、区间或证书。
4. 将答案系数 JSON 和高精度半径保存在本地，读 docs/answer-protocol.txt，运行 tools/diskcover_answer.py。不要把巨大整数经过浮点转换。
5. reference_sha256 为 null 时，只能生成自身指纹；有标准值时传 --expected-sha256。退出码0是工具成功或答案匹配，1是不匹配，2是输入错误。工具不证明最小性或不可约性。
6. 保存有理隔离区间和完整证明；它们不包含在 v1 哈希内。用 prompts/research-work-report.txt 生成基于真实记录的报告。
7. 分数用 tools/score.py 按事先约定条件计算；历史记录不可默认为当前合同通过。公众提交关闭，不自动创建 Issue/PR、上传答案或公布研究材料。 n≤30 的时限固定为43200秒，截止时刻内取得有效结果才可计非零分，超时后完成仍为0分；调用时传 --n N。

## 环境与修复

先发现本机 Python 命令与版本，要求3.9+。只需标准库，无需 pip 安装。Windows 可使用 python 或 py -3；Linux/macOS 常用 python3。Python缺失时说明所需环境，由运行者选择安装方式，不自动改动全局环境。

运行 python tools/check_tools.py：退出码0表示工具自检通过，非0须查看报错。自检使用合成数据，不解决数学题。修改工具编码前先核对协议；字段、舍入或编码变化须升级协议版本，不能静默沿用旧哈希。

## 维护边界

没有参考哈希、报告或运行配置时保留 null。只添加发布者授权公开的内容，不自动读取本机研究目录、聊天日志、凭据或私人证明。新增 n 须同步题面和 benchmark.json，复核链接、工具自检与隐私。禁止把演示输入当作标准答案。

公开仓库提供下载工具与测试材料；网站源码在私有仓库维护。不得自动发布答案或更改网站部署。