4.1 KiB
4.1 KiB
CM95 S-52 日本全国 B 阶段辅助导航工程验收首轮报告 v1
- 日期：2026-09-26，日本时间；设备：Linux X220；项目：
/root/sourceserver/cm95。 - 目标 Release：
cm95-d1-62a85bd40d3a-ae61b8866e80；Dataset ID=1；profile=delivery；AOI 日本全国。 - 标准：工程辅助导航（B）；不等于官方 ENC / ECDIS 认证，不允许用任务 PASS 或 PBF 可解码代替安全语义与实际显示验收。
- 本次范围：生产 SQLite/摘要、报告全量审计、9 地区×3 zoom 解码、名称冲突的 Trace→PBF 核对、既有呈现报告及文件可用性核查。
- 未修改：Builder、MySQL、PBF、Style、Sprite、生产 SQLite 状态；未重试 5 个已接受的失败任务。
1. 生产及样本证据
production_run_v1.sqlite：177389 Jobs；177384 PASS；5 FAILED；177383 PBF；2983260 个输出要素；已确认的一份空 Tile。- 失败 Tile：
0/0/0、1/1/0、2/3/1、3/7/2、3/7/3；均为 Buffer 扩展导致非法经度的 MySQL 3616，用户已批准作为遗留项。 - z4～z12 全部 PASS；仍不得表述 z0～z3 完整，特别是全球 z0/0/0 缺失。
- 北海道函馆、仙台、东京湾、大阪湾、广岛湾、福冈、唐津、长崎、那霸 × z10/z11/z12：27/27 PBF 文件存在且解码成功；这是结构抽样，不是安全语义或视觉 PASS。
2. 完整构建报告审计
- 原始机器输出：
build/audits/cm95_s52_japan_B_build_reports_audit_20260926.json。 - 177384 份报告：planned/output 2983260/2983260；hard_gate_unmapped=0；encoder_dropped=0。
- 审计脚本原始 OVERALL=FAIL，failure_count=10，仅来自 name_conflict_groups=10。不能修改该原始事实。
- 核对已冻结 v1.4.7
AMBIGUOUS_DIRECT_NAMES_OMIT_LABEL_FAIL_CLOSED：3 个 Tile 的 10 条 Trace→PBF occurrence、4 个 unique output ID；候选名称冲突且最终 label 缺省，10/10 符合安全省略约定。 - 因此上述 10 条记为政策允许的已知名称省略，不视为航标实体丢失；此结论不是将报告原始 FAIL 擅改为 PASS。
- quantization_fallbacks=23；quantization_omissions=1375，含 depth_contour 275、s52_areas 37、s52_lines 36、anchorage_area 3、fixed_fishing_gear_area 2 等。
- 省略可能为当前 Tile 量化后不可绘制，不等于已证实安全：需对照邻接 Tile/源要素/实际可见性，尤其水深等深线与 S-52 对象。
3. B 阶段验收矩阵
| Gate | 当前结果 | 说明 |
|---|---|---|
| B1 转换/覆盖 | PASS_WITH_ACCEPTED_EXCEPTIONS | 5 个低 Zoom 失败真实保留；z4～z12 Job 全 PASS。 |
| B2 PBF 结构/几何 | PARTIAL | 27 个区域样本解码 PASS；未完成全国几何与坐标、邻 Tile 连续性校验。 |
| B3 安全关键语义 | NOT_PROVEN | 需处理 1375 条量化省略的风险分类，逐项证明重要对象和属性守恒。 |
| B4 S-52 资源/呈现 | NOT_PROVEN | 当前全国 Release 未找到独立 Finalize 和全国范围 release-scoped Style/Runtime 验收产物。 |
| B5 缩放/离线/覆盖 | PARTIAL | z0～z3 有已知缺图；NavSea 离线与失效提示尚未实测。 |
| B6 NavSea 实机运行 | NOT_TESTED | 未执行 Phone/Pad 的地图、GPS、航线叠加、灯火及报警链路验收。 |
4. 历史呈现风险及结论
- 2026-09-21 的九州 v4 OpenCPN 流程对照报告：Branch 121 PASS、0 FAIL、85 NOT_PROVEN；Gate A=FAIL，F/G/I=NOT_PROVEN，Target Portrayal=FAIL。它针对九州旧 Release，不能直接判定本次全国 Release 同样失败或通过；需要基于本次 Release 重新取证。
- 当前总体：B_NOT_YET_PASS / TEST_READY_WITH_KNOWN_ISSUES。 不是 B 全量通过，也不是禁止开展开发和地图测试。
- 后续验收必要条件：对量化省略完成风险分类和原始对象守恒核对；建立全国 Release 自身的 Finalize、Style/Sprite/Runtime 证据；对安全关键对象进行源→PBF→Style→NavSea 显示核对；四设备场景及离线状态完成实际测试。
- 已接受的 5 个 Tile 和名称冲突安全省略无需为了本轮 B 标准而强制修复；不得掩盖其缺图或名称缺省的实际表现。