配置、开发与证据工具

工具保留真实进程退出码与输入身份。准备计划不是执行证据；模型通过不是物理资格。从仓库根目录运行维护命令，并将所选工具放在 PATH 上。

执行这些工具前使用固定源码取得指南；默认分支克隆可能没有文档中的入口。

入口

任务

成功不建立以下结论

tools/dev/dev.py configure/build/test

显式 CMake／CTest 预设路径

其他预设、跳过测试或 HIL

tools/dev/dev.py doctor/check

工具可用性与仓库检查

平台候选

tools/configure/configure.py

init/list-bindings/check/explain/generate

PCB 电气事实

scripts/ci/tdd_gate.py

实际完整工具与 GoogleTest／GoogleMock 执行

历史 RED 顺序或 HIL

cmake/package/package_source_sdk.py

打包或验证精确源码字节

MCU 执行或发行升级

cmake/package/verify_consumers.py

搬移后公共消费工程编译／运行／链接

硬件时序

tools/measurement/

实际 ELF 资源、布局与保留检查

实测栈峰值或 WCET

tools/hil/

通过不同命令完成准备、准入、采集与原始记录验证

从未执行的物理用例

tools/evidence/

绑定执行范围、环境和实际产物字节

产品签名或安全认证

完整任务见SDK 教程、装配参考、TDD 工作流和性能／HIL 指南。详细标志由各维护 CLI 的 --help 给出，不在此维护第二份解析器规范。

新报告要求实际执行数量大于零，并保留原始日志。工具缺失、空 XML、只有跳过的运行、陈旧输出或输入变化都不能通过门禁。完整验收执行不得过滤或分片。开发子集保留有限范围，不能关闭完整候选退出条件。