Factory and TDD ledger¶
This page is derived from the original CSV; it is not a new status authority, execution record or software qualification. Original IDs, order and all fields come from the original ledger. Source: docs/design/factory-platform-execution.csv; SHA-256: 49215c9d35115fd258b86d516869215950c78ee5579ca440d9427de731780836.
Different ledgers overlap in scope; do not add their counts or calculate a project-wide completion rate. Interpret implementation, software and physical status separately. development_passed does not mean execution at the current documentation HEAD. Consult the exact results index for the source and scope of qualification_record_authority. Absolute /workspace and /dev/shm locators retain their original bytes and only identify the original execution host. See the software-evidence entry for retrievable archives and member locations.
Original exit fields are only fields actually present in the original CSV. Tasks, qualification prerequisites and contract links also retain their original wording; they cannot be used to invent an execution.
This table contains 24 original records; this is only the source row count.
FP-001¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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 |