验证记录与数值边界
验证需要回答具体问题：位置公式是否表达了约定几何？接触弧能否回代？事件是否遗漏或改变身份？日期和盘面是否采用相同政策？这些问题有不同的测试，数量不能随意合并。
以下为2026年10月2日、astro-go v1.5.312 对应实现的记录。它是版本化的样本证据，不是任意参数空间或线上界面的保证。
位置与逆投影
| 模型 | 有效 C 位置对照 | 原始 C 不可用 | 最大位置差，度 |
|---|---|---|---|
| APC | 2,016 | 144 | 约1.734×10⁻¹¹ |
| Alcabitius | 2,160 | 0 | 约2.558×10⁻¹³ |
| Meridian | 2,160 | 0 | 约1.137×10⁻¹³ |
每个模型另有2,160次逆投影回代。既有 Polich–Page、Sunshine 同样对照2,160个冻结位置输入，最大差分别约 5.08146×10⁻⁶°、1.46343×10⁻¹⁰°。这类数字属于位置对照，不能直接换称事件日期误差。
APC 赤道边界
原始144个 C 非有限结果仍标为参考不可用。追踪发现反余弦输入在理论值1处舍入为 1.0000000000000002；仅修正临时 C 副本后重新核对，原有有限 C 输出不变。
正式 Go 另通过432个赤道解析极限检查，以及1,296个赤道表格接触与432个盘面投影。原始参考、修正副本和解析检查分别统计；没有把 Go 自己的输出写回原参考再声称对照通过。
表格、时间与盘面分别检查
| 检查 | 记录范围 |
|---|---|
| 三个新增模型的表格矩阵 | 72组参数、816个接触及时间回代；方向子集另核对 |
| 新模型盘面 | 96组独立投影；120组真实星历双盘 |
| 月球与动态键 | 36组维度、运动和日期政策组合 |
| 十模型基本工作流 | 19个合法表格模式组合、10个双盘、8条太阳日期路径 |
| 旧四法公开表格 | 88组政策、8,489个事件的完整 JSON 回放 |
| 旧四法公开主限盘 | 512组投影、方向、内盘、地点与显示政策 |
| 既有派生对象等回放 | 80组政策、89,346个事件 |
这些记录来自库的不同测试集合，有部分重叠，不相加为“独立案例总数”。公开兼容回放与独立接口的接触定义也分别验证。
已处理的数值和稳定性问题
PU 平行崩溃有专项回归；高黄纬恒星的局部几何越界保留诊断并继续其他接触。此前约0.0006角秒的盘面差异，经 Morinus 原始方法和逐项中间量替换，定位到旧 Go 移植对 MC 赤经的参考系处理：旧路径混用了本命与推进时刻的黄赤交角。新几何政策分开推进轴框架和本命行星恢复；历史兼容政策另行保留。这一定位针对已核对样本，不能只凭差值很小就认定任何算法正确。
跨架构整秒边界则同时比较未取整时间和旧、新结果，见时间钥匙页。这些问题的原始过程、输入与报告保存在完整研究归档中。
仍然需要明确的边界
一般数值扫描目前核对简单过零根，尚未证明枚举了所有切触与重根。因此表格 Complete=false 表示全根完备性未认证，不表示整张表崩溃。
Sunshine/APC 参考圈不相交、半弧退化等是真正的局部几何域问题。非法参数、星历获取失败和未定义政策则属于请求错误，不能全部夹成“可计算”。
库测试、HTTP接口测试、客户端显示、服务部署及案例观察分别说明。某一层通过不能代替其他层。本次专题建设不更新服务部署。
可下载的记录
算例使用合成坐标，便于检查定义；真实星历与历史兼容的矩阵另在实现的验证记录中保存。资料章节见来源页。