I/O 完善台账¶
本页由原 CSV 派生,不是新的状态权威、执行记录或软件资格。
原编号、顺序和全部原字段来自 原台账。
源文件:docs/design/platform-refinement-execution.csv;SHA-256:e4496e72ba53be176407804fffa805ef5b12f9da1e0949d2f3e8a20292d27e8b。
不同台账范围重叠,不相加数量或计算全项目完成率。实现状态与软件、
物理状态分别解释;development_passed 不表示当前文档 HEAD 已执行。
qualification_record_authority 要回到精确结果索引判断源码和范围。
绝对 /workspace、/dev/shm 定位保留原字节,仅说明原执行主机位置;
可取得归档及 member 定位见 软件证据入口。
原退出字段只有原 CSV 中实际存在的字段;任务、资格前提和合同链接 也按原文保留,不能据此补造某次执行。
本表包含 60 条原记录,仅表示来源行数。
IO-01¶
原字段 |
原值 |
|---|---|
|
IO-01 |
|
ADC mode reset |
|
implemented |
|
development_passed |
|
not_executed |
|
soc/stm32f407/drivers/adc.c |
|
tools/testing/evidence/adc-iteration |
|
stream to polling clears scan sequence before sample |
|
codex |
IO-02¶
原字段 |
原值 |
|---|---|
|
IO-02 |
|
ADC retry calibration |
|
implemented |
|
development_passed |
|
not_executed |
|
soc/gd32f470/drivers/adc.c |
|
tools/testing/evidence/adc-iteration |
|
retry repeats bounded stable reset calibration |
|
codex |
IO-03¶
原字段 |
原值 |
|---|---|
|
IO-03 |
|
GPIO inferred mask validation |
|
implemented |
|
development_passed |
|
not_applicable |
|
tools/configure/configure.py |
|
tools/configure/test_configure.py |
|
omitted mask cannot authorize extra initial bits |
|
codex |
IO-04¶
原字段 |
原值 |
|---|---|
|
IO-04 |
|
Current support documentation |
|
implemented |
|
development_passed |
|
not_applicable |
|
tools/configure/documentation.py;docs/delivery/support.md |
|
tools/testing/evidence/configure-iteration |
|
mode MPU split and reviewed route statements match production |
|
codex |
IO-05¶
原字段 |
原值 |
|---|---|
|
IO-05 |
|
SPI polling owner identity |
|
implemented |
|
development_passed |
|
not_executed |
|
components/bus_owner/src/spi_owner.c |
|
tools/testing/evidence/spi-polling-identity-green.log |
|
foreign controller rejected before borrowing or hardware |
|
codex |
IO-06¶
原字段 |
原值 |
|---|---|
|
IO-06 |
|
Example startup rollback |
|
implemented |
|
development_passed |
|
not_executed |
|
os/freertos/freertos.c;X-Gen-Lab/nexus-examples |
|
X-Gen-Lab/nexus-examples/tests/evidence/startup-rollback;X-Gen-Lab/nexus-examples/tests/evidence/scheduler-return |
|
close drain join or prestart discard; preserve cleanup responsibility |
|
codex |
IO-07¶
原字段 |
原值 |
|---|---|
|
IO-07 |
|
I/O service diagnostics |
|
implemented |
|
targeted_passed |
|
not_executed |
|
io;components |
|
tools/testing/evidence/io-observer-iteration |
|
progress and failures observable without hidden worker |
|
codex |
IO-08¶
原字段 |
原值 |
|---|---|
|
IO-08 |
|
Mode ownership cancellation matrix |
|
implemented |
|
targeted_passed |
|
not_executed |
|
soc;tests/google;scripts/ci/io_lifecycle_matrix.py |
|
tools/testing/evidence/io-lifecycle-iteration |
|
203 reviewed bounded properties; source/object/binary capture and canonical all-plan executable admission; final fresh complete plan is the qualification authority |
|
codex |
IO-09¶
原字段 |
原值 |
|---|---|
|
IO-09 |
|
Quarantine integration and recovery |
|
implemented |
|
targeted_passed |
|
not_executed |
|
components;X-Gen-Lab/nexus-examples |
|
tools/testing/evidence/io-observer-iteration |
|
retain borrowed storage; explicit recovery owner |
|
codex |
IO-10¶
原字段 |
原值 |
|---|---|
|
IO-10 |
|
Stream capacity backpressure budget |
|
implemented |
|
targeted_passed |
|
not_executed |
|
io/src/stream.c;tools/hil |
|
tools/testing/evidence/io-observer-iteration |
|
bounded capacity and caller policy; no overwritten loans |
|
codex |
IO-11¶
原字段 |
原值 |
|---|---|
|
IO-11 |
|
Optional read-only capabilities |
|
implemented |
|
development_passed |
|
not_applicable |
|
tools/configure/factory.py;tools/configure/providers/common.py |
|
tools/testing/evidence/configure-iteration |
|
selected descriptors; simulated Native flags; no hot path cost |
|
codex |
IO-12¶
原字段 |
原值 |
|---|---|
|
IO-12 |
|
UART RX DMA and IDLE |
|
implemented |
|
targeted_passed |
|
not_executed |
|
soc/stm32f407/drivers/uart_receive.c;soc/gd32f470/drivers/uart_receive.c |
|
tools/testing/evidence/uart-iteration;tools/testing/evidence/configure-streams |
|
reviewed DMA routes; finite and continuous ownership |
|
codex |
IO-13¶
原字段 |
原值 |
|---|---|
|
IO-13 |
|
UART duplex DMA blocks |
|
implemented |
|
targeted_passed |
|
not_executed |
|
soc/stm32f407/drivers/uart_receive.c;soc/gd32f470/drivers/uart_receive.c |
|
tools/testing/evidence/uart-iteration;tools/testing/evidence/configure-streams |
|
TX DMA plus RX blocks without default state growth |
|
codex |
IO-14¶
原字段 |
原值 |
|---|---|
|
IO-14 |
|
UART RTS CTS and RS485 |
|
implemented |
|
targeted_passed |
|
not_executed |
|
io/src/uart_rs485.c;soc;tools/configure |
|
tools/testing/evidence/uart-iteration;docs/design/uart-dma-rs485.md |
|
reviewed pins; actual TC; DE delay borrowing contract |
|
codex |
IO-15¶
原字段 |
原值 |
|---|---|
|
IO-15 |
|
Continuous ADC DMA |
|
implemented |
|
targeted_passed |
|
not_executed |
|
io/src/stream.c;soc/*/drivers/adc_continuous.c |
|
tools/testing/evidence/adc-iteration;tools/testing/evidence/configure-streams |
|
preposted targets; hardware address replacement proof |
|
codex |
IO-16¶
原字段 |
原值 |
|---|---|
|
IO-16 |
|
ADC channel timing expansion |
|
implemented |
|
targeted_passed |
|
not_executed |
|
io/src/adc_observer.c;soc;tools/configure |
|
tools/testing/evidence/adc-iteration |
|
sample-time and scan rate hardware bounds |
|
codex |
IO-17¶
原字段 |
原值 |
|---|---|
|
IO-17 |
|
DMA topology facts |
|
implemented |
|
targeted_passed |
|
not_executed |
|
io/src/dma.c;tools/configure |
|
tools/testing/evidence/configure-iteration |
|
common opaque IDs; provider validates reviewed physical topology |
|
codex |
IO-18¶
原字段 |
原值 |
|---|---|
|
IO-18 |
|
SPI one-way DMA |
|
implemented |
|
targeted_passed |
|
not_executed |
|
io/src/spi.c;soc/*/drivers/spi_dma.c |
|
tools/testing/evidence/spi-memory-arm-commands.json |
|
caller dummy discard; actual spans; per-direction MINC |
|
codex |
IO-19¶
原字段 |
原值 |
|---|---|
|
IO-19 |
|
I2C interrupt DMA async |
|
implemented |
|
targeted_passed |
|
not_executed |
|
io/src/i2c.c;soc/common/i2c_v1_async.c;soc/*/drivers/i2c_async.c |
|
tools/testing/evidence/i2c-async-iteration;tools/testing/evidence/configure-streams |
|
ACK final byte sequence; BTF STOP; request final access |
|
codex |
IO-20¶
原字段 |
原值 |
|---|---|
|
IO-20 |
|
I2C physical bus clear |
|
implemented |
|
targeted_passed |
|
not_executed |
|
io/src/i2c_bus_clear.c |
|
tests/evidence/i2c-bus-clear |
|
bounded pulses STOP; open-drain and cleanup ownership |
|
codex |
IO-21¶
原字段 |
原值 |
|---|---|
|
IO-21 |
|
Additional reviewed controller routes |
|
implemented |
|
targeted_passed |
|
not_executed |
|
soc/*/drivers;tests/google |
|
tools/testing/evidence/multi-controller-iteration |
|
static multi-controller assembly across three exact parts and two backends; 18 authored firmware fixtures, pure cold I2C identity and retained lifecycle; final maintained ARM and clean SDK qualification required |
|
codex |
IO-22¶
原字段 |
原值 |
|---|---|
|
IO-22 |
|
GD additional SRAM and TCM linker |
|
implemented |
|
targeted_passed |
|
not_executed |
|
core/include/nexus/core/memory.h;soc/gd32f470/memory_init.c;tools/configure/memory.py;cmake/platform |
|
tools/testing/evidence/memory-iteration;tools/testing/evidence/configure-memory-metadata |
|
explicit sections and budgets; DMA TCM rejection |
|
codex |
IO-23¶
原字段 |
原值 |
|---|---|
|
IO-23 |
|
Three Board electrical fact review |
|
blocked |
|
pending |
|
blocked |
|
boards |
|
pending |
|
actual PCB revision connector crystal and NOR identity |
|
codex |
IO-24¶
原字段 |
原值 |
|---|---|
|
IO-24 |
|
Resolver emitter common limits |
|
implemented |
|
targeted_passed |
|
not_applicable |
|
tools/configure/providers/common.py;tools/configure/providers/*/bindings.py |
|
tools/testing/evidence/configure-limits-clock |
|
factory limits derive from public contract; reviewed clock tuple; four selected ARM graphs with resource/retention evidence |
|
codex |
IO-25¶
原字段 |
原值 |
|---|---|
|
IO-25 |
|
Physical FP MVE task context |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
real target observations; current three boards are M4F |
|
codex |
IO-26¶
原字段 |
原值 |
|---|---|
|
IO-26 |
|
Physical clock tick deadline accuracy |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
bound timer drift tick and monotonic evidence |
|
codex |
IO-27¶
原字段 |
原值 |
|---|---|
|
IO-27 |
|
Runtime MSP task stack peaks |
|
implemented |
|
targeted_passed |
|
blocked |
|
tools/hil;os |
|
tools/testing/evidence/stack-owner-iteration |
|
bounded quiescent stack scan and actual pinned kernel ownership rounds; physical MCU stack/soak not executed |
|
codex |
IO-28¶
原字段 |
原值 |
|---|---|
|
IO-28 |
|
OS owner lifecycle endurance |
|
implemented |
|
targeted_passed |
|
blocked |
|
os;components;tools/hil |
|
tools/testing/evidence/stack-owner-iteration |
|
bounded quiescent stack scan and actual pinned kernel ownership rounds; physical MCU stack/soak not executed |
|
codex |
IO-29¶
原字段 |
原值 |
|---|---|
|
IO-29 |
|
Board tickless continuous timer port |
|
implemented |
|
targeted_passed |
|
blocked |
|
soc;os/freertos |
|
tools/testing/evidence/timebase-lowpower-iteration |
|
explicit fixed-profile shallow WFI timebase port; actual4ARM/defaultomission/model50; physical wake accuracy unexecuted |
|
codex |
IO-30¶
原字段 |
原值 |
|---|---|
|
IO-30 |
|
Fail-stop and product safety output hooks |
|
implemented |
|
targeted_passed |
|
blocked |
|
core/src/fault.c;os;X-Gen-Lab/nexus-examples |
|
tools/testing/evidence/fault-observation;tests/evidence/threadx-fault-observer |
|
stateless observer before retaining fail-stop; preserves stronger incoming masks and actual fault context; external safety policy and physical outputs separately qualified |
|
codex |
IO-31¶
原字段 |
原值 |
|---|---|
|
IO-31 |
|
Physical restricted MPU isolation |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
software fixtures cannot prove actual memory fault isolation |
|
codex |
IO-32¶
原字段 |
原值 |
|---|---|
|
IO-32 |
|
Physical split security isolation |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
requires matching secure target and real SAU attribution |
|
codex |
IO-33¶
原字段 |
原值 |
|---|---|
|
IO-33 |
|
Selectable OS object cost |
|
implemented |
|
targeted_passed |
|
not_executed |
|
os/freertos/freertos.c;scripts/ci/os_resources.py;tests/contracts/os_resources |
|
tools/testing/evidence/os-optimization;/workspace/nexus-delivery/bd6df2c7a1b9a6cb613947c0528f998ff21d31e3/github/all-cortex/reports/os-resources/report.json |
|
actual eight ABI resource variants and 56 commands refreshed, 1136 evidence identity references verified; final clean source costs remain independently bound |
|
codex |
IO-34¶
原字段 |
原值 |
|---|---|
|
IO-34 |
|
Additional real RTOS backend |
|
implemented |
|
targeted_passed |
|
not_executed |
|
os/threadx;tools/configure/threadx.py |
|
tests/evidence/threadx-integration;tools/testing/evidence/threadx-dependency;tools/testing/evidence/threadx-context-iteration |
|
official locked ThreadX Linux and CortexM4 backend; actual62Google and two complete62 TSan executions plus sixBoardARM; Linux scheduler state snapshots and signal posture repaired; final clean installed SDK consumers required; no physical qualification |
|
codex |
IO-35¶
原字段 |
原值 |
|---|---|
|
IO-35 |
|
Optional nominal factory IDs |
|
implemented |
|
development_passed |
|
not_applicable |
|
tools/configure/factory.py;tools/configure/test_factory_features.py |
|
tools/testing/evidence/configure-iteration |
|
C and C++ compile reject cross-kind IDs; no default RAM cost |
|
codex |
IO-36¶
原字段 |
原值 |
|---|---|
|
IO-36 |
|
Executable TOML documentation |
|
implemented |
|
development_passed |
|
not_applicable |
|
tools/configure/documentation.py;tools/configure/test_documentation.py |
|
tools/testing/evidence/configure-iteration |
|
resolve every complete snippet; explicit fragment rationale |
|
codex |
IO-37¶
原字段 |
原值 |
|---|---|
|
IO-37 |
|
Provider property failure matrix |
|
implemented |
|
targeted_passed |
|
not_executed |
|
tests/google;scripts/ci/io_lifecycle_matrix.py |
|
tools/testing/evidence/io-lifecycle-iteration |
|
203 bounded properties from same fresh unfiltered production target execution; canonical all-plan/source/object/binary identity; final strict complete plan required |
|
codex |
IO-38¶
原字段 |
原值 |
|---|---|
|
IO-38 |
|
New mode resources and GC |
|
implemented |
|
targeted_passed |
|
not_executed |
|
tools/measurement/retention.py;soc//CMakeLists.txt;tests/contracts/_assembly |
|
tools/testing/evidence/configure-streams;tools/testing/evidence/provider-empty-input-iteration |
|
maintained fixture-driven ARM assembly gate checks exact inputs, budgets and selected/omitted operation retention; final whole 87-fixture execution recorded outside source; legal empty SDK identities retained; 35 admission regressions and 92 related checks passed |
|
codex |
IO-39¶
原字段 |
原值 |
|---|---|
|
IO-39 |
|
Physical poll IRQ DMA benchmark |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
same artifact clock load optimization and raw timing |
|
codex |
IO-40¶
原字段 |
原值 |
|---|---|
|
IO-40 |
|
CI artifact source identity |
|
implemented |
|
targeted_passed |
|
not_applicable |
|
.github/actions/record-identity;tools/maintenance/job_identity.py |
|
tools/testing/evidence/ci-identity |
|
every job actual checkout tree deps config tool identity |
|
codex |
IO-41¶
原字段 |
原值 |
|---|---|
|
IO-41 |
|
Evidence retention and attestation |
|
implemented |
|
runtime_pending |
|
not_applicable |
|
.github/workflows/release.yml;dependencies/actions.lock.json |
|
tools/testing/evidence/ci-identity |
|
immutable archive and provenance; no fabricated signature |
|
codex |
IO-42¶
原字段 |
原值 |
|---|---|
|
IO-42 |
|
API schema SDK compatibility version |
|
implemented |
|
targeted_passed |
|
not_applicable |
|
dependencies/platform-compatibility.json;tools/configure/metadata.py;tools/maintenance/compatibility.py;cmake/package |
|
tools/testing/evidence/source-compatibility;tools/testing/evidence/source-compatibility-integration;tools/testing/evidence/configure-memory-metadata;tools/testing/evidence/source-sdk-archive-exclusion-iteration |
|
canonical epochs and exact source-only SDK closure; 45 SDK boundary regressions passed; same-HEAD owned archive exclusion removes 183996010 bytes; final relocated clean canonical consumers required |
|
codex |
IO-43¶
原字段 |
原值 |
|---|---|
|
IO-43 |
|
Agent maintenance responsibility |
|
implemented |
|
development_passed |
|
not_applicable |
|
.github/maintainer-roles.json;tools/maintenance/ownership.py |
|
tools/testing/evidence/agent-maintenance |
|
Codex owns all domains; no named people required |
|
codex |
IO-44¶
原字段 |
原值 |
|---|---|
|
IO-44 |
|
Remote rules and required checks |
|
blocked |
|
pending |
|
not_applicable |
|
.github/workflows |
|
pending |
|
current connector cannot inspect branch protection; no fake CODEOWNERS |
|
codex |
IO-45¶
原字段 |
原值 |
|---|---|
|
IO-45 |
|
Defect review release execution ownership |
|
implemented |
|
targeted_passed |
|
not_applicable |
|
AGENTS.md;tools/evidence/reproduce.py;.github/workflows |
|
tools/testing/evidence/ci-identity;tools/testing/evidence/fixture-lifetime-iteration;tools/testing/evidence/freertos-failstop-parent-iteration |
|
Codex owns every domain; independent review and actual failure evidence retained; release validation distinct from ordinary CI and promotion remains external; three fixture lifetime gaps closed with 224 before/after regular and sanitizer executions; failstop eight cases passed regular/ASan/TSan after actual old timeout reproduction |
|
codex |
IO-46¶
原字段 |
原值 |
|---|---|
|
IO-46 |
|
Locked dependency upgrade maintenance |
|
implemented |
|
targeted_passed |
|
not_applicable |
|
tools/maintenance/dependency_proposals.py;.github/workflows/dependency-maintenance.yml |
|
tools/testing/evidence/source-compatibility |
|
weekly read-only workflow defined; actual schedule pending default-branch workflow; upgrades require exact evidence |
|
codex |
IO-47¶
原字段 |
原值 |
|---|---|
|
IO-47 |
|
Real HIL station binding |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
three physical probes serial and chip identity unavailable |
|
codex |
IO-48¶
原字段 |
原值 |
|---|---|
|
IO-48 |
|
Physical clock reset GPIO watchdog |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
actual station capture and reset reason |
|
codex |
IO-49¶
原字段 |
原值 |
|---|---|
|
IO-49 |
|
Physical UART SPI DMA fault waveforms |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
logic-analyzer and serial raw capture matching artifact |
|
codex |
IO-50¶
原字段 |
原值 |
|---|---|
|
IO-50 |
|
Physical I2C electrical protocol |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
ACK NACK STOP line voltage bus clear observed |
|
codex |
IO-51¶
原字段 |
原值 |
|---|---|
|
IO-51 |
|
Physical ADC PWM EXTI |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
real stimulus and independent instrument observations |
|
codex |
IO-52¶
原字段 |
原值 |
|---|---|
|
IO-52 |
|
Physical Flash power interruption |
|
blocked |
|
pending |
|
blocked |
|
tools/hil;X-Gen-Lab/nexus-examples |
|
pending |
|
destructive test region explicitly owned externally |
|
codex |
IO-53¶
原字段 |
原值 |
|---|---|
|
IO-53 |
|
Physical concurrent endurance and latency |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
same firmware soak interrupt latency stack load evidence |
|
codex |
IO-54¶
原字段 |
原值 |
|---|---|
|
IO-54 |
|
CAN platform interface and controllers |
|
implemented |
|
targeted_passed |
|
not_executed |
|
io;soc |
|
tools/testing/evidence/can-iteration;tools/testing/evidence/configure-can |
|
classic CAN IRQ request/frame rings; shared filter-domain ownership; two generated instances; no physical bus claim |
|
codex |
IO-55¶
原字段 |
原值 |
|---|---|
|
IO-55 |
|
Ethernet MAC PHY raw frames |
|
implemented |
|
targeted_passed |
|
not_executed |
|
io;soc;components/dp83848;tools/configure/ethernet.py |
|
tools/testing/evidence/ethernet-iteration;tools/testing/evidence/configure-ethernet |
|
RMII borrowed descriptor/frame buffers; verified cold SRAM gates and generation; actual two-family factory/model tests and four ZG ARM graphs; physical PHY/link/PCB not executed |
|
codex |
IO-56¶
原字段 |
原值 |
|---|---|
|
IO-56 |
|
USB clock endpoints lifecycle |
|
implemented |
|
targeted_passed |
|
not_executed |
|
io;soc;tools/configure/usb_device.py |
|
tools/testing/evidence/usb-device-iteration;tools/testing/evidence/usb-clock-iteration;tools/testing/evidence/configure-usb |
|
DWCFS PIO endpoints and epoch-preserving assembly; actual48MHz proof and NVIC drain models/six selectedARM; no physical USB claim |
|
codex |
IO-57¶
原字段 |
原值 |
|---|---|
|
IO-57 |
|
Timer capture advanced PWM |
|
implemented |
|
targeted_passed |
|
not_executed |
|
io; soc/*/drivers; tools/configure/timer_advanced.py |
|
tools/testing/evidence/timer-iteration;tools/testing/evidence/timer-factory-iteration |
|
two-family timer capture and complementary PWM deadtime break ownership; actual shared-resource and cold cleanup regressions, selected/default ARM graphs; physical output and timing not executed |
|
codex |
IO-58¶
原字段 |
原值 |
|---|---|
|
IO-58 |
|
SoC sleep and clock lifecycle |
|
implemented |
|
targeted_passed |
|
not_executed |
|
soc;os |
|
tools/testing/evidence/clock-domain-iteration |
|
caller-owned clock leases and exact fixed-profile shallow sleep; actual drain/wake/clock readback models; dynamic PLL/STOP and physical timing not supported |
|
codex |
IO-59¶
原字段 |
原值 |
|---|---|
|
IO-59 |
|
Additional SoC Board complete vertical |
|
implemented |
|
targeted_passed |
|
not_executed |
|
soc/stm32g474;boards/stm32g474re_hse24_reference;tools/configure/providers/stm32g474 |
|
tools/testing/evidence/g474-iteration;tests/evidence/g474-factory-integration |
|
exact STM32G474RET6 GPIO LPUART factory/startup clock/linker longitudinal slice; actual regular sanitizer and selected/empty ARM; reference PCB and other peripherals unqualified |
|
codex |
IO-60¶
原字段 |
原值 |
|---|---|
|
IO-60 |
|
Narrow user I/O isolation contracts |
|
implemented |
|
targeted_passed |
|
not_executed |
|
components/user_io_broker |
|
tools/testing/evidence/user-io-broker-iteration |
|
trusted privileged GPIO gateway validates ranges and retains user loans until actual drain; optional component; SVC MPU TZ gateway and physical isolation not implemented |
|
codex |