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