# 后续改进清单

核对日期：2026-10-31。下表以当前代码、测试及文档为依据，区分已经交付的能力和仍未实现的研究内容。长期条目不是本轮待办，也不是新增交付承诺。

## 已完成，移出待办

| 已交付内容 | 实现或验收依据 |
| --- | --- |
| 段、点、边统一位置与查询 | `location.mbt`；段界、闭合点和末边归属测试 |
| 约束原因、余量与最差位置 | `diagnostics.mbt`、`api.mbt`；压力角及偏置因子诊断 |
| 网页定位与曲线联动 | `web/app.mjs`、`web/diagnostics.mjs`；段高亮、接触点、滑块和曲线游标使用同一点号 |
| 三档采样比较 | 同一最终尺寸下逐档分析，记录指标、位置及状态；不宣称连续收敛 |
| 交叉与不确定边对证据 | `topology.mbt`；有上限的边对证据、完整计数和网页高亮 |
| 几何鲁棒判定与不确定状态 | 归一化方向判定、保守处理近退化情况；不确定、失败和未检查均不接受 |
| 接口、上限、错误与文档统一 | `contract.mbt`、生成契约文档、结构化字段路径及文档同步检查 |
| 运动段表格与逐段规律 | 添加删除、JSON 导入/保存、MoonBit 实时校验与行内错误；校验不改变导出缓存 |
| 完整中文操作教程 | 超限→定位→搜索→采样比较→导出，配输入文件、截图和浏览器验收 |
| Mooncakes 版本发布与独立安装 | 0.4.0 已发布；仓库外消费工程从注册表安装精确版本，JS / Wasm-GC 分析通过，见[版本说明](releases/0.4.0.md) |
| 引擎版本追溯与在线工作台 | 实际引擎提供版本和源码指纹，JSON/CLI 保留；GitHub Pages 在检查通过后更新 |
| 性能回归护栏 | 高分辨率拓扑访问量、128 段标量路径与固定搜索验收，摘要体积及宽松耗时门禁 |
| 自动验证与独立数值对照 | 四后端测试、接口/CLI/浏览器测试、独立数值与 ezdxf 读取验证；详细范围见验证记录 |
| 独立数值对照扩展与采样区间 | Bernstein 路线逐点核对 205 组参数、149,983 个采样点；采样最大值改为两侧区间并给出实测亏欠 |
| 随机性质测试与模糊输入 | `property_wbtest.mbt` 八组（四后端）、`tests/property.test.mjs` 八组含 1,500 例变异 |
| 跨平台一致性比对 | `tests/consistency.mjs` 清单 + `tests/consistency.check.mjs` 比对；CI 在 Ubuntu 与 Windows 上比对 |

操作见[完整操作案例](完整操作案例.md)与[位置、诊断与采样比较](位置诊断与采样比较.md)，测试数量与方法见[验证记录](验证记录.md)。

## 原十项的当前状态

保留原编号，方便对应此前清单。“部分完成”只指表中写明的已有能力，不表示剩余研究目标已经达到。

| 原编号与方向 | 当前状态 | 已有能力 | 尚未实现的部分与验收依据 |
| --- | --- | --- | --- |
| 1 连续极值求解 | 未实现 | 已报告采样最差值与位置 | 在段内求解压力角、曲率的连续极值，与高精度参考解对照；当前采样最大值不能替代它 |
| 2 全局滚轮干涉检查 | 未实现 | 已有局部约束和采样轮廓自交检查 | 检测滚轮与远处轮廓的穿透，提供局部通过但全局失败的案例；轮廓零交叉不等于滚轮全局无干涉 |
| 3 不确定几何的精确分类 | 部分完成 | 已有独立不确定状态、保守判定、相关边号及高亮 | 以精确或自适应高精度谓词进一步区分相切、共线重叠和数值不确定；现有证据不编造精确交点 |
| 4 带误差界的轮廓离散 | 未实现 | 已有保留段界的采样折线 | 按弦高或几何误差自适应细分，输出有依据的离散误差记录 |
| 5 带误差界的采样研究 | 配套已完成，误差界未实现 | 已有约束余量、多档数值变化、最差位置和状态比较 | 研究可证明的采样误差界；三档相近或状态一致不作为证明 |
| 6 更多运动规律 | 未扩展 | 当前支持摆线、3-4-5、4-5-6-7，各段可独立选择 | 增加改进正弦等新规律并验证导数及连接性质；逐段选择不是新增规律 |
| 7 摆动滚子从动件 | 未实现 | 当前是直动滚子模型 | 建立独立几何模型、压力角定义与验证算例 |
| 8 平底从动件 | 未实现 | 当前是滚子模型 | 实现对应包络、接触点范围与局部可实现条件 |
| 9 变转速与接触载荷 | 未实现 | 当前为恒定正转速下的时间导数 | 变转速使用完整链式求导；载荷模块明确质量、弹簧等假设 |
| 10 公差敏感度与 CAD 互操作 | 部分完成，读取与 FreeCAD 导入验证 | ezdxf 1.4.5 读取 3 组导出；FreeCAD 1.1.4 原生导入 3 组，核对闭合、点数、尺寸和顶点坐标 | 公差扰动与敏感度尚未实现；已有 FreeCAD 1.1.4 三组原生导入与几何查询记录，完整 GUI 截图和加工验证尚未完成；不能据此声称全面兼容 |

上述三处已有进展分别是：第 3 项的保守判定与证据、第 5 项的余量与比较、第 10 项的独立读取验证。其余条目不能因已有相近基础能力而标为完成。

## 后续维护顺序

优先修复明确缺陷、失败用例和用户反馈，再处理发布与接入问题。0.4.0 的版本发布与注册表独立安装验证已完成；网页与报告现已包含引擎版本和源码指纹，性能回归护栏已接入 CI。

FreeCAD 1.1.4 三组原生导入与几何查询已验收，见 [CAD 导入验收](CAD导入验收.md)；完整 GUI 截图与其他 CAD 应用尚未纳入已验证范围。扩展连续证明、全局干涉、运动规律或从动件模型前，应先核对申报范围，并同步更新[算法与适用范围](算法与适用范围.md)和验证记录。