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 + shared polymorphic face contracts |
|
TL;Core |
|
docs/design/next-generation-platform.md;io/include/nexus/io |
|
immutable faces; independent contexts; cold factory; explicit lifecycle |
|
implemented |
|
not_applicable |
|
fresh external evidence for exact source HEAD |
FP-002¶
原字段 |
原值 |
|---|---|
|
FP-002 |
|
P0 |
|
testing |
|
GoogleTest and GoogleMock offline host framework |
|
QA;Build |
|
tests/google/CMakeLists.txt;dependencies/googletest.lock.json;dependencies/source |
|
exact archive SHA; C++ host only; no firmware dependency |
|
implemented |
|
not_applicable |
|
fresh external evidence for exact source HEAD |
FP-003¶
原字段 |
原值 |
|---|---|
|
FP-003 |
|
P0 |
|
automation |
|
TDD and commit checks |
|
QA;Build |
|
scripts/ci/tdd_gate.py;.pre-commit-config.yaml;AGENTS.md;tools/testing |
|
actual complete fresh execution; no filters/skips; staged snapshot; recorded RED/GREEN |
|
implemented |
|
not_applicable |
|
fresh external evidence for exact source HEAD |
FP-004¶
原字段 |
原值 |
|---|---|
|
FP-004 |
|
P1 |
|
configuration |
|
TOML schema2 authoring and immutable typed IR |
|
Build;BSP |
|
tools/configure/authored.py;tools/configure/ir.py;tools/configure/configure.py |
|
strict fields; exact resources; frozen nested values; common CLI frontend |
|
implemented |
|
not_applicable |
|
fresh external evidence for exact source HEAD |
FP-005¶
原字段 |
原值 |
|---|---|
|
FP-005 |
|
P1 |
|
factory |
|
generated static instances and typed IDs |
|
Core;Build |
|
tools/configure/factory.py;tools/configure/bindings.py |
|
constant face; uint16 IDs; invalid returns NULL; controller and endpoint identities distinct |
|
implemented |
|
not_applicable |
|
fresh external evidence for exact source HEAD |
FP-006¶
原字段 |
原值 |
|---|---|
|
FP-006 |
|
P1 |
|
native |
|
multiple independent Native providers |
|
Core;QA |
|
io/native;tests/google/native_instances_test.cpp;tests/google/native_factory_test.cpp |
|
actual generated factory; independent resources; stopped admission; borrowed storage retained |
|
implemented |
|
not_applicable |
|
fresh external evidence for exact source HEAD |
FP-007¶
原字段 |
原值 |
|---|---|
|
FP-007 |
|
P2 |
|
platform |
|
three boards and baremetal/FreeRTOS composition |
|
BSP;Build |
|
boards;soc;CMakePresets.json |
|
six real ARM preset ELF/BIN/map and budget reports; explicit routes |
|
implemented |
|
not_executed |
|
fresh external evidence for exact source HEAD |
FP-008¶
原字段 |
原值 |
|---|---|
|
FP-008 |
|
P2 |
|
io |
|
all nine interface kinds share static ops |
|
Core;BSP |
|
io/include/nexus/io;io/src;soc/*/drivers;io/native |
|
production SDK private; all calls use exact context; C/C++ ABI consumers |
|
implemented |
|
not_executed |
|
fresh external evidence for exact source HEAD |
FP-009¶
原字段 |
原值 |
|---|---|
|
FP-009 |
|
P2 |
|
components |
|
common narrow ports and separate application examples |
|
Components;Build |
|
components;X-Gen-Lab/nexus-examples |
|
generic components and actual relocated consumers; external source pin matches core |
|
implemented |
|
not_executed |
|
fresh external evidence for exact source HEAD |
FP-010¶
原字段 |
原值 |
|---|---|
|
FP-010 |
|
P3 |
|
wake |
|
explicit bounded IRQ wake |
|
Core;BSP |
|
io/include/nexus/io/wake.h;io/src/wake.c;tests/google/irq_wake_test.cpp |
|
latched predicates; actual publisher priority ceiling; detach publishers before release |
|
implemented |
|
not_executed |
|
fresh external evidence for exact source HEAD |
FP-011¶
原字段 |
原值 |
|---|---|
|
FP-011 |
|
P3 |
|
dma |
|
STM32 USART1 finite TX DMA |
|
BSP;QA |
|
soc/stm32f407/drivers/uart_dma.c;tests/google/stm32_uart_dma_test.cpp |
|
DMA2 stream7 channel4; memory-domain rejection; memory TC distinct from wire TC; quarantine |
|
implemented |
|
not_executed |
|
fresh external evidence for exact source HEAD |
FP-012¶
原字段 |
原值 |
|---|---|
|
FP-012 |
|
P3 |
|
dma |
|
GD32 USART0 finite TX DMA |
|
BSP;QA |
|
soc/gd32f470/drivers/uart_dma.c;tests/google/gd32_uart_dma_test.cpp |
|
DMA1 channel7 selector4; independent wire and engine drain; late IRQ protection |
|
implemented |
|
not_executed |
|
fresh external evidence for exact source HEAD |
FP-013¶
原字段 |
原值 |
|---|---|
|
FP-013 |
|
P3 |
|
dma |
|
STM32 SPI1 full duplex finite DMA |
|
BSP;QA |
|
soc/stm32f407/drivers/spi_dma.c;tests/google/stm32_spi_dma_test.cpp |
|
DMA2 RXstream0/TXstream3 channel3; nonoverlapping buffers; CS retained until idle |
|
implemented |
|
not_executed |
|
fresh external evidence for exact source HEAD |
FP-014¶
原字段 |
原值 |
|---|---|
|
FP-014 |
|
P3 |
|
dma |
|
GD32 SPI4 full duplex finite DMA |
|
BSP;QA |
|
soc/gd32f470/drivers/spi_dma.c;tests/google/gd32_spi_dma_test.cpp |
|
DMA1 RXchannel3/TXchannel4 selector2; no poll-as-async; exact CS interval |
|
implemented |
|
not_executed |
|
fresh external evidence for exact source HEAD |
FP-015¶
原字段 |
原值 |
|---|---|
|
FP-015 |
|
P3 |
|
components |
|
separate optional async SPI owner executor |
|
Core;QA |
|
components/bus_owner/src/spi_async_owner.c;tests/google/spi_async_owner_test.cpp |
|
reject foreign bus before admission; preserve payload during quarantine; small polling executor |
|
implemented |
|
not_executed |
|
fresh external evidence for exact source HEAD |
FP-016¶
原字段 |
原值 |
|---|---|
|
FP-016 |
|
P4 |
|
stream |
|
bounded fixed-block loans and Native producers |
|
Core;QA |
|
io/src/stream.c;io/native/stream.c;tests/google/native_async_test.cpp |
|
never overwrite loan; epoch identity; loss ordering; stop joins producers and consumers |
|
implemented |
|
not_applicable |
|
fresh external evidence for exact source HEAD |
FP-017¶
原字段 |
原值 |
|---|---|
|
FP-017 |
|
P4 |
|
stream |
|
STM32 and GD32 UART RX IDLE/block providers |
|
BSP;QA |
|
soc/*/drivers/uart_stream.c;tests/google/*uart_stream_test.cpp |
|
exact mode; whole/IDLE prefix publication; bounded loss; final block and held consumer survive stop |
|
implemented |
|
not_executed |
|
fresh external evidence for exact source HEAD |
FP-018¶
原字段 |
原值 |
|---|---|
|
FP-018 |
|
P4 |
|
adc |
|
STM32 and GD32 timer trigger DMA block providers |
|
BSP;QA |
|
soc/*/drivers/adc_stream.c;tests/google/*adc_stream_test.cpp |
|
timer and conversion limits; disabled normal DMA before publication; pause/rearm without overwrite |
|
implemented |
|
not_executed |
|
fresh external evidence for exact source HEAD |
FP-019¶
原字段 |
原值 |
|---|---|
|
FP-019 |
|
P4 |
|
controllers |
|
multiple GD32 controllers and reviewed resources |
|
BSP;Build |
|
soc/gd32f470/private/gd32f470_provider.h;tests/google/gd32_multi_test.cpp;tests/contracts/gd32_assembly/multi.toml |
|
independent UART/SPI/I2C descriptors; exact controller clocks and generated IRQ state |
|
implemented |
|
not_executed |
|
fresh external evidence for exact source HEAD |
FP-020¶
原字段 |
原值 |
|---|---|
|
FP-020 |
|
P4 |
|
performance |
|
actual ELF interface and resource cost audit |
|
QA;Build |
|
tools/measurement/interfaces.py;tools/measurement/compare.py;tests/contracts/test_interface_cost.py |
|
readonly two-pointer face; no writable ops; actual retained symbols; O2/Os/O3 +/- LTO |
|
implemented |
|
not_executed |
|
fresh external evidence for exact source HEAD |
FP-021¶
原字段 |
原值 |
|---|---|
|
FP-021 |
|
P5 |
|
sdk |
|
clean source SDK and external pin |
|
Build;Components |
|
cmake/package;X-Gen-Lab/nexus-examples |
|
clean current HEAD; relocated C/C++ Native and ARM consumers; no host framework in firmware SDK |
|
implemented |
|
not_applicable |
|
fresh external evidence for exact source HEAD |
FP-022¶
原字段 |
原值 |
|---|---|
|
FP-022 |
|
P5 |
|
evidence |
|
offline reproduction and software candidate |
|
Build;QA |
|
tools/evidence;docs/delivery/qualification.md |
|
same clean source/config/dependency/tool/ELF; fresh nonempty tests; two network-none builds |
|
implemented |
|
not_applicable |
|
fresh external evidence for exact source HEAD |
FP-023¶
原字段 |
原值 |
|---|---|
|
FP-023 |
|
P5 |
|
hil |
|
three-board HIL tooling and unbound plans |
|
QA;BSP |
|
tools/hil/prepare.py;tools/hil/admit.py;tools/hil/fixtures |
|
explicit station/PCB/probe/serial; missing identity and budget rejected; no invented physical pass |
|
implemented |
|
not_executed |
|
fresh external evidence for exact source HEAD |
FP-024¶
原字段 |
原值 |
|---|---|
|
FP-024 |
|
P5 |
|
delivery |
|
scope freeze and conditional physical acceptance |
|
TL;QA;Build |
|
docs/delivery/support.md;docs/delivery/verification.md;docs/delivery/qualification.md |
|
software and physical status separate; physical execution only when connected; exact tested tuples |
|
implemented |
|
not_executed |
|
fresh external evidence for exact source HEAD |