源码、软件证据与物理资格¶
文档描述代码，发布文档自身不会使代码合格。结果适用于实际执行的精确源码、配置、环境和产物。当前文档源码、所描述代码源码和已合格历史代码源码是独立身份。
FIG-11 表示证据输入及其独立范围。任何箭头都不会把模型或工作流变成物理测量。
证据 |
能够建立的结论 |
限制 |
|---|---|---|
Native/GoogleTest/GoogleMock |
针对选定模型/端口实际执行的软件合同 |
不是物理时序或电气事实 |
ARM ELF/BIN/map |
实际编译/链接、向量表、配置和资源绑定 |
不是 MCU 执行 |
搬移后的 Source SDK 消费者 |
公共包含路径/ABI 闭包与实际消费者构建/运行/链接 |
不是产品集成或 HIL |
两次新生成的离线构建 |
绑定环境内的实际字节比较 |
不是仅有摘要或普遍可复现承诺 |
软件候选 |
干净精确范围、身份与保留的无签名产物 |
不是签名产品发布、安全认证或 LTS |
真实 HIL 记录 |
一个已准入的工位上观察的硬件/负载/仪器范围 |
不是未观察负载或任意板卡 |
定位实际记录¶
交付索引保留原始结果和限制。构建系统结果绑定已验证代码 cc6a065c；后续文档提交不把这些测试继承到新 HEAD。较早 SoC 扩展证据独立绑定 98270512。阅读关联 JSON result 和原始回执，核对完整精确源码身份、选定范围、产物摘要和失败尝试。
当前 MCU 物理记录保持 not_executed：没有已连接 Board 工位建立时钟精度、IRQ/DMA 时序、缓存行为、上下文保留、电气输出、Flash 掉电或长期性能。不能编辑软件参考 HIL 夹具来建立物理资格。
新实现必须执行其适用门禁，提供新生成的非空报告。新的纯文档构建可明确显示身份并引用旧已验证代码，但不得改写旧记录或把旧用例数当成本次执行。见性能/HIL 指南和构建合同。