Factory 与 TDD 台账¶
本页由原 CSV 派生，不是新的状态权威、执行记录或软件资格。
原编号、顺序和全部原字段来自 原台账。
源文件：docs/design/factory-platform-execution.csv；SHA-256：49215c9d35115fd258b86d516869215950c78ee5579ca440d9427de731780836。
不同台账范围重叠，不相加数量或计算全项目完成率。实现状态与软件、
物理状态分别解释；development_passed 不表示当前文档 HEAD 已执行。
qualification_record_authority 要回到精确结果索引判断源码和范围。
绝对 /workspace、/dev/shm 定位保留原字节，仅说明原执行主机位置；
可取得归档及 member 定位见 软件证据入口。
原退出字段只有原 CSV 中实际存在的字段；任务、资格前提和合同链接 也按原文保留，不能据此补造某次执行。
本表包含 24 条原记录，仅表示来源行数。
FP-001¶
原字段 |
原值 |
|---|---|
|
FP-001 |
|
P0 |
|
architecture |
|
factory 与共享多态 face 合同 |
|
TL;Core |
|
docs/design/next-generation-platform.md;io/include/nexus/io |
|
不可变 face；独立 context；冷态 factory；显式生命周期 |
|
implemented |
|
not_applicable |
|
精确源码 HEAD 的全新外部证据 |
FP-002¶
原字段 |
原值 |
|---|---|
|
FP-002 |
|
P0 |
|
testing |
|
GoogleTest 与 GoogleMock 离线主机框架 |
|
QA;Build |
|
tests/google/CMakeLists.txt;dependencies/googletest.lock.json;dependencies/source |
|
精确归档 SHA；仅用于 C++ 主机；无固件依赖 |
|
implemented |
|
not_applicable |
|
精确源码 HEAD 的全新外部证据 |
FP-003¶
原字段 |
原值 |
|---|---|
|
FP-003 |
|
P0 |
|
automation |
|
TDD 与提交检查 |
|
QA;Build |
|
scripts/ci/tdd_gate.py;.pre-commit-config.yaml;AGENTS.md;tools/testing |
|
真实完整的全新执行；无过滤或跳过；暂存快照；记录 RED/GREEN |
|
implemented |
|
not_applicable |
|
精确源码 HEAD 的全新外部证据 |
FP-004¶
原字段 |
原值 |
|---|---|
|
FP-004 |
|
P1 |
|
configuration |
|
TOML schema2 编写与不可变类型化 IR |
|
Build;BSP |
|
tools/configure/authored.py;tools/configure/ir.py;tools/configure/configure.py |
|
严格字段；精确资源；冻结的嵌套值；统一 CLI 前端 |
|
implemented |
|
not_applicable |
|
精确源码 HEAD 的全新外部证据 |
FP-005¶
原字段 |
原值 |
|---|---|
|
FP-005 |
|
P1 |
|
factory |
|
生成的静态实例与类型化 ID |
|
Core;Build |
|
tools/configure/factory.py;tools/configure/bindings.py |
|
常量 face；uint16 ID；无效值返回 NULL；控制器与端点身份不同 |
|
implemented |
|
not_applicable |
|
精确源码 HEAD 的全新外部证据 |
FP-006¶
原字段 |
原值 |
|---|---|
|
FP-006 |
|
P1 |
|
native |
|
多个独立 Native provider |
|
Core;QA |
|
io/native;tests/google/native_instances_test.cpp;tests/google/native_factory_test.cpp |
|
真实生成 factory；独立资源；停止后拒绝接纳；保留借用存储 |
|
implemented |
|
not_applicable |
|
精确源码 HEAD 的全新外部证据 |
FP-007¶
原字段 |
原值 |
|---|---|
|
FP-007 |
|
P2 |
|
platform |
|
三块板与裸机／FreeRTOS 组合 |
|
BSP;Build |
|
boards;soc;CMakePresets.json |
|
六个真实 ARM preset 的 ELF/BIN/map 和预算报告；显式路由 |
|
implemented |
|
not_executed |
|
精确源码 HEAD 的全新外部证据 |
FP-008¶
原字段 |
原值 |
|---|---|
|
FP-008 |
|
P2 |
|
io |
|
全部九类接口共享静态 ops |
|
Core;BSP |
|
io/include/nexus/io;io/src;soc/*/drivers;io/native |
|
生产 SDK 保持私有；所有调用使用精确 context；C/C++ ABI 使用者 |
|
implemented |
|
not_executed |
|
精确源码 HEAD 的全新外部证据 |
FP-009¶
原字段 |
原值 |
|---|---|
|
FP-009 |
|
P2 |
|
components |
|
通用窄端口与独立应用示例 |
|
Components;Build |
|
components;X-Gen-Lab/nexus-examples |
|
通用组件与实际搬移使用者；外部源码固定版本与核心一致 |
|
implemented |
|
not_executed |
|
精确源码 HEAD 的全新外部证据 |
FP-010¶
原字段 |
原值 |
|---|---|
|
FP-010 |
|
P3 |
|
wake |
|
显式有界 IRQ 唤醒 |
|
Core;BSP |
|
io/include/nexus/io/wake.h;io/src/wake.c;tests/google/irq_wake_test.cpp |
|
锁存谓词；真实发布者优先级上限；释放前分离发布者 |
|
implemented |
|
not_executed |
|
精确源码 HEAD 的全新外部证据 |
FP-011¶
原字段 |
原值 |
|---|---|
|
FP-011 |
|
P3 |
|
dma |
|
STM32 USART1 有限 TX DMA |
|
BSP;QA |
|
soc/stm32f407/drivers/uart_dma.c;tests/google/stm32_uart_dma_test.cpp |
|
DMA2 stream7 channel4；拒绝错误内存域；内存 TC 与线侧 TC 分离；隔离保留 |
|
implemented |
|
not_executed |
|
精确源码 HEAD 的全新外部证据 |
FP-012¶
原字段 |
原值 |
|---|---|
|
FP-012 |
|
P3 |
|
dma |
|
GD32 USART0 有限 TX DMA |
|
BSP;QA |
|
soc/gd32f470/drivers/uart_dma.c;tests/google/gd32_uart_dma_test.cpp |
|
DMA1 channel7 selector4；独立的线侧与引擎排空；防护迟到 IRQ |
|
implemented |
|
not_executed |
|
精确源码 HEAD 的全新外部证据 |
FP-013¶
原字段 |
原值 |
|---|---|
|
FP-013 |
|
P3 |
|
dma |
|
STM32 SPI1 全双工有限 DMA |
|
BSP;QA |
|
soc/stm32f407/drivers/spi_dma.c;tests/google/stm32_spi_dma_test.cpp |
|
DMA2 RXstream0/TXstream3 channel3；buffer 不重叠；空闲前保留 CS |
|
implemented |
|
not_executed |
|
精确源码 HEAD 的全新外部证据 |
FP-014¶
原字段 |
原值 |
|---|---|
|
FP-014 |
|
P3 |
|
dma |
|
GD32 SPI4 全双工有限 DMA |
|
BSP;QA |
|
soc/gd32f470/drivers/spi_dma.c;tests/google/gd32_spi_dma_test.cpp |
|
DMA1 RXchannel3/TXchannel4 selector2；不以轮询冒充异步；精确 CS 区间 |
|
implemented |
|
not_executed |
|
精确源码 HEAD 的全新外部证据 |
FP-015¶
原字段 |
原值 |
|---|---|
|
FP-015 |
|
P3 |
|
components |
|
独立可选异步 SPI owner 执行器 |
|
Core;QA |
|
components/bus_owner/src/spi_async_owner.c;tests/google/spi_async_owner_test.cpp |
|
接纳前拒绝其他总线；隔离时保留 payload；小型轮询执行器 |
|
implemented |
|
not_executed |
|
精确源码 HEAD 的全新外部证据 |
FP-016¶
原字段 |
原值 |
|---|---|
|
FP-016 |
|
P4 |
|
stream |
|
有界固定 block 借用与 Native producer |
|
Core;QA |
|
io/src/stream.c;io/native/stream.c;tests/google/native_async_test.cpp |
|
不覆盖借用；epoch 身份；丢失顺序；停止时等待 producer 与 consumer 完成 |
|
implemented |
|
not_applicable |
|
精确源码 HEAD 的全新外部证据 |
FP-017¶
原字段 |
原值 |
|---|---|
|
FP-017 |
|
P4 |
|
stream |
|
STM32 与 GD32 UART RX IDLE/block provider |
|
BSP;QA |
|
soc/*/drivers/uart_stream.c;tests/google/*uart_stream_test.cpp |
|
精确模式；发布整块或 IDLE 前缀；有界丢失；停止后保留最后 block 和 consumer 持有项 |
|
implemented |
|
not_executed |
|
精确源码 HEAD 的全新外部证据 |
FP-018¶
原字段 |
原值 |
|---|---|
|
FP-018 |
|
P4 |
|
adc |
|
STM32 与 GD32 定时器触发 DMA block provider |
|
BSP;QA |
|
soc/*/drivers/adc_stream.c;tests/google/*adc_stream_test.cpp |
|
定时器与转换限制；发布前禁用普通 DMA；暂停／重新装载不覆盖 |
|
implemented |
|
not_executed |
|
精确源码 HEAD 的全新外部证据 |
FP-019¶
原字段 |
原值 |
|---|---|
|
FP-019 |
|
P4 |
|
controllers |
|
多个 GD32 控制器与已审查资源 |
|
BSP;Build |
|
soc/gd32f470/private/gd32f470_provider.h;tests/google/gd32_multi_test.cpp;tests/contracts/gd32_assembly/multi.toml |
|
独立 UART/SPI/I2C 描述符；精确控制器时钟与生成 IRQ 状态 |
|
implemented |
|
not_executed |
|
精确源码 HEAD 的全新外部证据 |
FP-020¶
原字段 |
原值 |
|---|---|
|
FP-020 |
|
P4 |
|
performance |
|
真实 ELF 接口与资源成本审计 |
|
QA;Build |
|
tools/measurement/interfaces.py;tools/measurement/compare.py;tests/contracts/test_interface_cost.py |
|
只读双指针 face；无可写 ops；真实保留符号；O2/Os/O3 与启用／禁用 LTO |
|
implemented |
|
not_executed |
|
精确源码 HEAD 的全新外部证据 |
FP-021¶
原字段 |
原值 |
|---|---|
|
FP-021 |
|
P5 |
|
sdk |
|
干净源码 SDK 与外部固定版本 |
|
Build;Components |
|
cmake/package;X-Gen-Lab/nexus-examples |
|
干净当前 HEAD；搬移后的 C/C++ Native 和 ARM 使用者；固件 SDK 不包含主机框架 |
|
implemented |
|
not_applicable |
|
精确源码 HEAD 的全新外部证据 |
FP-022¶
原字段 |
原值 |
|---|---|
|
FP-022 |
|
P5 |
|
evidence |
|
离线复现与软件候选 |
|
Build;QA |
|
tools/evidence;docs/delivery/qualification.md |
|
相同干净源码／配置／依赖／工具／ELF；全新非空测试；两次无网络构建 |
|
implemented |
|
not_applicable |
|
精确源码 HEAD 的全新外部证据 |
FP-023¶
原字段 |
原值 |
|---|---|
|
FP-023 |
|
P5 |
|
hil |
|
三板 HIL 工装与未绑定计划 |
|
QA;BSP |
|
tools/hil/prepare.py;tools/hil/admit.py;tools/hil/fixtures |
|
显式 station／PCB／probe／serial；拒绝缺失身份或预算；不伪造实板通过 |
|
implemented |
|
not_executed |
|
精确源码 HEAD 的全新外部证据 |
FP-024¶
原字段 |
原值 |
|---|---|
|
FP-024 |
|
P5 |
|
delivery |
|
范围冻结与有条件物理验收 |
|
TL;QA;Build |
|
docs/delivery/support.md;docs/delivery/verification.md;docs/delivery/qualification.md |
|
软件与物理状态分离；接入实板后才执行物理验证；保留精确测试组合 |
|
implemented |
|
not_executed |
|
精确源码 HEAD 的全新外部证据 |