当前证据与验收边界

本次九核 CPU/Arch/Core/OS runtime 与平台迭代必须重新执行验证。旧版本候选、 历史测试数量和开发目录不能继承为新 HEAD 的资格。实施台账的 implemented 表示源码和工具已落地；验收状态必须读取对应 HEAD 的执行报告。最终执行保存在外部 nexus-delivery/<HEAD>/；每份报告绑定源码、配置、依赖、工具、命令返回码和产物。

范围

当前执行入口

资格边界

Native／Core／OS／组件

tools/dev/dev.py test --preset native-debug，另执行 release 和 ASan／UBSan

实际软件所有权、线程、故障行为；不构成 MCU 电气资格

GoogleTest／GoogleMock

scripts/ci/tdd_gate.py --all；tests/google/

全量发现与实际非过滤执行、fresh XML、零跳过；不是历史编辑顺序的自动证明

Cortex-M CPU 机制

tests/google/arch_*、*atomic*；scripts/ci/arch_compile.py

九核宏／ABI／对象／指令／原子依赖；生产 cache/MPU/SAU 模型；不扩大 SoC/Board 或实板支持

CPU runtime / kernel

scripts/ci/cortex_runtime.py；tests/contracts/cortex_runtime/

公共 nexus_add_runtime 生产源图、Core/Arch/I/O/所选 OS 与真实 kernel context 的编译/ELF 审计；不是 MCU 执行

生成器

tools/testing/run_tool_tests.py --suite configure

平台/CPU runtime TOML、冻结 IR、显式可选能力/ABI、九类 Native factory、资源冲突、错误输入和 stale bundle

工具门禁

tools/testing/run_tool_tests.py --suite testing；tests/contracts/test_*.py；scripts/ci/

实际负路径、暂存区稳定、报告身份和执行退出码

STM／GD 寄存器模型

tests/google/*dma*、*uart_stream*、*adc_stream*、gd32_multi_test.cpp 与已有 C contracts

真实生产 TU；内存／线上排空、EN 拒绝关闭、迟到 IRQ、借用／隔离、校准／稳定

三板基础配置

六个 ARM presets

实际 startup／vector／provider 链接、ELF／BIN／map 和预算

H743／U575 参考纵切片

scripts/ci/stm32h743.py、scripts/ci/stm32u575.py

各自 empty／selected × 裸机／FreeRTOS，实际 vector／资源／保留；H743 另查 pre-RAM 电源入口，不证明 MCU 实际运行

可选 RAM 放置

scripts/ci/stm32_memory.py、scripts/ci/gd32_memory.py

F407 CCM、GD ADDSRAM／TCM 的链接和初始化域；不证明掉电／reset retention

高级 controller 夹具

tests/contracts/{stm32,gd32}_assembly/*.toml

九类、DMA、块接收／触发、多控制器实际 ARM 链接；明确是软件 Board

最小资源矩阵

tools/measurement/compare.py

三板 60 个 O2／Os／O3 ± LTO 镜像；18 empty GC 检查；实际 face／ops 存储成本

外部示例

独立 X-Gen-Lab/nexus-examples

精确 pin 后 Native 运行与十个 ARM 配置、二十个 ELF；产品实现留在外部

源码 SDK

cmake/package/package_source_sdk.py、verify_consumers.py

干净版本、source closure/identity、移动路径 C／C++ Native 和 Runtime consumer、STM／GD 固件链接

离线复现／候选

tools/evidence/reproduce.py、candidate.py、proof.py

两次独立 network-none 构建，相同源码／配置／工具／ELF 身份及必需 scope

HIL

tools/hil/prepare.py、admit.py、三板 fixture 与 station template

工装已准备；未连接设备，所有物理结果 not_executed

本轮 SoC 的 canonical commit、实际完整门禁、离线候选与剩余验收范围见 SoC 扩展执行记录； 早期基线记录 保留原版本证据。 版本化 datasheet／manual／errata 索引只建立来源；实际 silicon revision 和各 mode 的 workaround 适用性单独验收。 soc_costs.py 保存真实 ELF／反汇编／工具调用与可比 profile，不将不同 backend、 route 或容量的大小差解释为同配置优化，也不把指令数量当作测得 cycles。

tools/hil/soc_acceptance.py 对 SOC-37–55 提供十九项 plan/capture/validate 合同。plan 只产生 prepared_unbound；参考 G474/H743/U575 即使改名或重新计算 metadata hash，也不能跳过 reference-only admission。真实 station 与工具输入、 协议、仪器、连续非空 samples 和 reviewed limits 一起决定结果。物理 Flash 掉电还需外部产品提供擦除对齐且避开全部 firmware LOAD 的显式测试布局。

开发执行目录 build/controller-routes-factory/ 与 build/minimal-factory-resources/ 保留独立 attempt 和原始命令，不覆盖旧运行。资源 数字只描述对应 ELF；源码变化后重新执行。MSP 显式预留，heap=0；未使用的内存域 不因芯片具有该区域就自动驻留。汇编和 ELF 字节不能替代实际 cycles／IRQ latency。

本轮 CPU/runtime 开发执行目录为 /workspace/nexus-all-cortex-evidence，保存 CPU 事实/schema、原子 publication/RMW、九核寄存器模型、可选 feature 编译与 真实 kernel context 审计各自的原始报告。公开报告记录实际命令、退出码、工具 与 hash；通过数和 feature 范围由执行结果读取，不继承此前数字或一种组合。 Source/installed Runtime consumer 与完整平台 consumer 分开建立证据，前者 没有具体 startup、SoC、Board 或 factory，不能替代后者或 candidate 封存。

RED 日志保存在 tools/testing/evidence/，GREEN 为真实框架执行。既有正确合同的 迁移明确标识，不为了制造 RED 而修改生产行为。commit hook 开始和结束检查暂存 快照及 index tree，拒绝执行期间发生的行为变更；失败不发布新的成功摘要。

正式软件资格要求 clean source/dependency、准确工具环境与配置、非零 fresh tests、 同一 ELF／BIN／map、当前预算、源码 SDK 独立消费与离线双构建。支持范围以 精确支持矩阵 为准，不把软件夹具的 connector 继承到参考 Board。

所有物理时序、精度、波形、reset、掉电和长期负载项目尚未执行。FP/MVE context 切换、IRQ latency、cache/DMA coherence、MPU/SAU 和安全世界协作也未进行实板 验收；可选 restricted MPU task 和 split runtime 的软件执行不能建立实板隔离 资格。实际 HIL 必须 记录 PCB、chip UID、probe／serial／power、station、预算和同一候选 image。