Native - tag - 沐木https://oldletter.cn/tags/native/Native - tag - 沐木Hugo -- gohugo.iozh-cnSat, 11 Jul 2026 00:00:00 +0000工程正确性（四）：构建成功不等于交付物可用https://oldletter.cn/posts/engineering-correctness-04-coordinate-precision/Sat, 11 Jul 2026 00:00:00 +0000mumuhttps://oldletter.cn/posts/engineering-correctness-04-coordinate-precision/

系列导航：11 | 12 | 13 | 14

编译器显示成功，只能证明源码在当前环境生成了产物。用户安装的是 JAR、npm 包或容器，真正的验收对象是这些文件能否被目标运行时加载，Native 资源是否随包分发，文档示例是否使用了正确入口。发布链路如果只跑单元测试，问题会在上传后才出现。

GMKit 的发布整理说明了这条边界：Java 的 gmkit-sm9 需要把多平台 Native 运行时装入同一个 JAR，TypeScript 包还要检查 tarball 内容和生产依赖。源码测试通过并不能证明打出来的包包含这些资源。

flowchart TD subgraph Build[源码验证与构建] direction LR Source[源码与向量] --> Verify[测试与 parity] --> Package[构建制品] end subgraph Audit[制品审计] direction LR Inspect[包内容与 checksum] --> Install[干净环境安装] --> Smoke[运行时 smoke] end subgraph Release[发布] direction LR Publish[发布仓库] end Package --> Inspect Smoke --> Publish Inspect -->|缺资源或多余文件| Reject[阻断发布]

先确定交付清单

Java 发布清单写明 group、artifact、版本、依赖、服务文件和 Native 路径。gmkit-sm9 的 JAR 中应有 META-INF/gmkit/sm9-native.properties、各平台运行时和摘要文件，加载逻辑按当前平台选择资源并校验 checksum。Native 库缺失时启动要给出明确错误，不能回退到一个“未实现但返回成功”的空实现。

]]>