I/O 增量实施台账¶
本页由原 CSV 派生，不是新的状态权威、执行记录或软件资格。
原编号、顺序和全部原字段来自 原台账。
源文件：docs/design/io-evolution-execution.csv；SHA-256：ccd837a5f0d2b7bd6eac1f184847b43b547d77c37010030db39c2c24563ae4b1。
不同台账范围重叠，不相加数量或计算全项目完成率。实现状态与软件、
物理状态分别解释；development_passed 不表示当前文档 HEAD 已执行。
qualification_record_authority 要回到精确结果索引判断源码和范围。
绝对 /workspace、/dev/shm 定位保留原字节，仅说明原执行主机位置；
可取得归档及 member 定位见 软件证据入口。
原退出字段只有原 CSV 中实际存在的字段；任务、资格前提和合同链接 也按原文保留，不能据此补造某次执行。
本表包含 42 条原记录，仅表示来源行数。
IO-01¶
原字段 |
原值 |
|---|---|
|
IO-01 |
|
P0 |
|
capabilities |
|
精确 provider 与模式支持的单一权威 |
|
tools/configure/selected_contracts.py;tools/configure/io_traits.py;tools/configure/factory.py;tools/maintenance/work_packages.py;docs/delivery/capabilities.md |
|
既有目录加选定元数据；明确记录精确边界 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-02¶
原字段 |
原值 |
|---|---|
|
IO-02 |
|
P0 |
|
traits |
|
可选不可变 typed I/O traits |
|
tools/configure/io_traits.py;tools/configure/factory.py |
|
能力开关控制所有生成的只读 trait 对象 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-03¶
原字段 |
原值 |
|---|---|
|
IO-03 |
|
P0 |
|
silicon |
|
实际硅片身份观察与修订准入 |
|
core/include/nexus/core/silicon.h;core/src/silicon.c |
|
精确资料与修订政策；unknown 明确保留；factory 保持冷查找 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-04¶
原字段 |
原值 |
|---|---|
|
IO-04 |
|
P0 |
|
lifecycle |
|
准入、取消、排空、epoch 与隔离回归矩阵 |
|
core/src/request.c;tests/google/io_state_machine_test.cpp;tests/google/spi_dma_owner_wait_test.cpp |
|
本轮 fresh、完整、零跳过的软件门禁 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-05¶
原字段 |
原值 |
|---|---|
|
IO-05 |
|
P0 |
|
budgets |
|
有界 IRQ 与 service 执行观察 |
|
io/include/nexus/io/cycle_probe.h;io/src/mechanisms/cycle_probe.c;tools/configure/factory.py |
|
可选探针可编译裁剪；显式 service 与 IRQ 预算 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-06¶
原字段 |
原值 |
|---|---|
|
IO-06 |
|
P0 |
|
stream |
|
速率、block 持有时间、丢失与背压预算 |
|
tools/configure/stream_profiles.py;io/include/nexus/io/stream_profile.h;io/src/mechanisms/stream_profile.c |
|
真实选定 provider 配置校验 stream 预算 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-07¶
原字段 |
原值 |
|---|---|
|
IO-07 |
|
P0 |
|
hil |
|
Board 夹具与故障注入站点准备 |
|
tools/hil;tools/testing/test_hil_io_protocols.py |
|
准备软件工装；物理测试保持 not_executed |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-08¶
原字段 |
原值 |
|---|---|
|
IO-08 |
|
P0 |
|
measurement |
|
链接资源与运行成本比较 |
|
tools/measurement;tests/contracts/uart_rx_compact_assembly |
|
fresh 精确 ELF 比较；不推断物理时序或能耗 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-09¶
原字段 |
原值 |
|---|---|
|
IO-09 |
|
P1 |
|
resources |
|
分层 controller、base 与 channel 资源声明 |
|
tools/configure/resource_graph.py;tools/configure/providers/stm32g474/pwm_shared.py;soc/stm32/stm32g474/drivers/pwm_shared.c;tests/google/g474_pwm_shared_factory_test.cpp;tools/measurement/retention.py |
|
兼容共享 base 加 channel 必须由一个真实硬件 owner 管理 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-10¶
原字段 |
原值 |
|---|---|
|
IO-10 |
|
P1 |
|
resources |
|
物理外设身份与互斥工作模式 |
|
tools/configure/resource_graph.py;tools/configure/matrix.py;soc/stm32/stm32g474/soc.json |
|
拒绝规范别名与工作模式冲突 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-11¶
原字段 |
原值 |
|---|---|
|
IO-11 |
|
P1 |
|
events |
|
typed 硬件事件图与启动顺序 |
|
tools/configure/trigger_graph.py |
|
校验带自有停止门的事件环；生成选定受审路线 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-12¶
原字段 |
原值 |
|---|---|
|
IO-12 |
|
P1 |
|
dma |
|
选定 DMA engine、lane、request 与可达域 |
|
tools/configure/dma_topology.py |
|
精确 provider tuple；拒绝物理 lane 冲突 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-13¶
原字段 |
原值 |
|---|---|
|
IO-13 |
|
P1 |
|
dma |
|
descriptor 所有权、放置、cache 与链式取消 |
|
tools/configure/dma_topology.py;soc/stm32/stm32u575/drivers/uart_dma_chain.c;soc/stm32/stm32u575/private/stm32u575_uart_gpdma_chain.h;soc/stm32/stm32u575/private/stm32u575_uart_gpdma_impl.h;tests/google/u575_uart_chain_test.cpp;tools/configure/assemblies/u575-uart-chain.toml |
|
静态校验加真实链表 provider 的排空和借用 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-14¶
原字段 |
原值 |
|---|---|
|
IO-14 |
|
P1 |
|
uart |
|
显式线格式、流控与独立九位 I/O |
|
io/include/nexus/io/uart_word.h |
|
Native 及精确 STM32/GD32 寄存器路径；默认 byte 模式保持紧凑 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-15¶
原字段 |
原值 |
|---|---|
|
IO-15 |
|
P1 |
|
uart |
|
有界 FIFO IRQ service 与并发 stream 负载 |
|
io/private/uart_fifo_impl.h;soc/stm32/stm32h743/drivers/uart_fifo.c;soc/stm32/stm32u575/drivers/uart_fifo.c;docs/design/uart-fifo.md |
|
精确 provider 上的有界批次与 IRQ 延迟观察 |
|
in_progress |
|
not_qualified |
|
not_executed |
|
Codex |
IO-16¶
原字段 |
原值 |
|---|---|
|
IO-16 |
|
P1 |
|
spi |
|
完整 CS 区间分段、dummy cycle 与 8/16-bit word |
|
io/include/nexus/io/spi_dma_owner_binding.h;soc/native/drivers/spi_dma_transaction.c;components/bus_owner/src/spi_dma_owner.c;soc/stm32/stm32f407/drivers/spi_dma.c;soc/gd32/gd32f470/drivers/spi_dma.c |
|
Native、STM32F407、GD32F470 先轮询，再异步 DMA 借用与排空 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-17¶
原字段 |
原值 |
|---|---|
|
IO-17 |
|
P1 |
|
i2c |
|
内核时钟定时与长消息 reload |
|
soc/common/i2c_v2.c;tools/configure/i2c_timing.py;tools/configure/i2c_timing_selection.py;tests/google/i2c_v2_long_factory_test.cpp |
|
受审电气定时输入；保留消息 START 与 STOP |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-18¶
原字段 |
原值 |
|---|---|
|
IO-18 |
|
P1 |
|
adc |
|
显式采样格式、分组、触发与来源 |
|
io/include/nexus/io/adc_format.h;io/include/nexus/io/adc_group.h;io/src/api/adc_group.c;soc/stm32/stm32g474/drivers/adc_group.c;docs/design/adc-group.md |
|
整数存储元数据与真实 provider 分组支持 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-19¶
原字段 |
原值 |
|---|---|
|
IO-19 |
|
P1 |
|
pwm |
|
原子多通道 shadow 提交与 break fault 处理 |
|
io/include/nexus/io/pwm_group.h;soc/stm32/stm32g474/drivers/pwm_group.c;tools/configure/providers/stm32g474/emission.py |
|
单一 timer owner；break 后不自动重启 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-20¶
原字段 |
原值 |
|---|---|
|
IO-20 |
|
P1 |
|
capture |
|
counter 位宽、filter、encoder 与 overcapture |
|
io/include/nexus/io/timer_capture.h;io/include/nexus/io/encoder.h;soc/stm32/stm32g474/drivers/timer_capture.c;soc/stm32/stm32g474/drivers/encoder.c |
|
真实 provider 上可正确处理计数器回绕的 capture 与受审 encoder 模式 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-21¶
原字段 |
原值 |
|---|---|
|
IO-21 |
|
P1 |
|
timestamps |
|
时间戳来源、domain、epoch、频率与不确定度 |
|
io/include/nexus/io/observation.h;io/src/mechanisms/observation.c;io/src/controllers/eth_frames_mac.c;tests/google/ethernet_frames_mac_test.cpp;docs/design/ethernet-frames.md |
|
拒绝不兼容 domain，区分观察时间与事件时间 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-22¶
原字段 |
原值 |
|---|---|
|
IO-22 |
|
P1 |
|
diagnostics |
|
可选状态、恢复所有权与受检 service 入口 |
|
io/src/mechanisms/observation.c |
|
受检 dispatch 与 I/O 进展或 settlement 分别解释 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-23¶
原字段 |
原值 |
|---|---|
|
IO-23 |
|
P1 |
|
memory |
|
移除 RX-only provider 未使用的 TX DMA 字段 |
|
soc/stm32/stm32f407/drivers/uart_receive.c;soc/stm32/stm32f407/drivers/uart_duplex.c;soc/gd32/gd32f470/drivers/uart_receive.c;soc/gd32/gd32f470/drivers/uart_duplex.c;tests/contracts/uart_rx_compact_assembly |
|
fresh 链接 RAM 测量与 duplex 生命周期回归 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-24¶
原字段 |
原值 |
|---|---|
|
IO-24 |
|
P1 |
|
flash |
|
busy-bank 脉冲、RAM 闭包、cache、ECC 与 watchdog 合同 |
|
soc/stm32/stm32h743/drivers/flash.c;tools/configure/providers/stm32h743/emission.py;soc/stm32/stm32h743/system.c;tools/measurement/h743_flash_ram.py;tools/measurement/flash_execution.py;tools/testing/test_h743_ram_build_gate.py;docs/design/h743-flash-ram.md |
|
逐 profile 验证不可取消脉冲与完整执行闭包 |
|
in_progress |
|
not_qualified |
|
not_executed |
|
Codex |
IO-25¶
原字段 |
原值 |
|---|---|
|
IO-25 |
|
P1 |
|
providers |
|
复用受审外设 IP 代际及官方 HAL/LL |
|
soc/common;io/private/uart_fifo_impl.h;io/src/controllers/eth_frames_mac.c;tools/configure/selected_contracts.py |
|
私有实现共享与精确逐系列事实 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-26¶
原字段 |
原值 |
|---|---|
|
IO-26 |
|
P1 |
|
h743 |
|
冷 PLL、电压、latency 与内核时钟 profile |
|
soc/stm32/stm32h743/clock.c;soc/stm32/stm32h743/system.c;tools/configure/clocks.py;tests/google/h743_high_factory_test.cpp;docs/design/h743-high-clock.md |
|
读回、回滚与精确参考身份 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-27¶
原字段 |
原值 |
|---|---|
|
IO-27 |
|
P1 |
|
h743 |
|
UART 连续 duplex DMA 与带 cache 的 SPI DMA |
|
soc/stm32/stm32h743;soc/stm32/stm32h743/drivers/uart_continuous.c;soc/stm32/stm32h743/private/stm32h743_uart_continuous.h;soc/stm32/stm32h743/drivers/uart_duplex.c;soc/stm32/stm32h743/private/stm32h743_uart_duplex.h;soc/stm32/stm32h743/drivers/spi_dma.c;tests/google/h743_uart_continuous_test.cpp;tests/google/h743_uart_duplex_test.cpp;tests/google/h743_spi_dma_test.cpp;tools/configure/assemblies/h743-uart-continuous.toml;tools/configure/assemblies/h743-uart-continuous-cache-on.toml;tools/configure/assemblies/h743-uart-duplex-continuous.toml;tools/configure/assemblies/h743-uart-duplex-continuous-cache-on.toml;tools/configure/assemblies/h743-spi-dma-cache-on.toml |
|
选定 SRAM 可达域与被持有 buffer 的保护 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-28¶
原字段 |
原值 |
|---|---|
|
IO-28 |
|
P1 |
|
u575 |
|
有限 GPDMA provider 与 USART 勘误处理 |
|
soc/stm32/stm32u575/drivers/uart_dma.c;soc/stm32/stm32u575/private/stm32u575_uart_gpdma.h;tests/google/u575_uart_gpdma_test.cpp;tests/google/u575_uart_gpdma_factory_test.cpp;docs/design/u575-uart-gpdma.md |
|
真实 GPDMA 排空及精确 ES0499 workaround；优先 TZEN0 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-29¶
原字段 |
原值 |
|---|---|
|
IO-29 |
|
P1 |
|
g474 |
|
同步 PWM、ADC 触发与 comparator break 参考 |
|
io/include/nexus/io/pwm_adc.h;soc/stm32/stm32g474/drivers/pwm_adc.c;tools/configure/providers/stm32g474/coupled.py;tests/google/g474_pwm_adc_factory_test.cpp;docs/design/pwm-adc.md |
|
通用控制与采集机制；产品算法外置 |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-30¶
原字段 |
原值 |
|---|---|
|
IO-30 |
|
P2 |
|
power |
|
可选运行时 clock 与 power 转换 |
|
tools/configure/runtime_power.py;soc/stm32/stm32h743/system.c;docs/design/clock-domain-sleep.md |
|
活动 I/O lease、回滚与单调 deadline 连续性 |
|
in_progress |
|
not_qualified |
|
not_executed |
|
Codex |
IO-31¶
原字段 |
原值 |
|---|---|
|
IO-31 |
|
P2 |
|
pinctrl |
|
显式 default/sleep 安全电平、wake 与 retention |
|
io/include/nexus/io/pin_state.h;soc/stm32/stm32g474/drivers/pin_state.c;tools/configure/pin_states.py;docs/explanation/gpio-pin-states.md |
|
不编造 Board 接线；仅选定受审状态 |
|
in_progress |
|
not_qualified |
|
not_executed |
|
Codex |
IO-32¶
原字段 |
原值 |
|---|---|
|
IO-32 |
|
P2 |
|
u575 |
|
LPDMA 自主 Stop2 与 LPBAM 参考 |
|
soc/stm32/stm32u575;components/soc/stm32/stm32u575_lpdma_copy;components/soc/stm32/stm32u575_stop2/include/nexus/components/stm32u575_stop2_copy.h;soc/stm32/stm32u575/drivers/lpdma_copy.c;soc/stm32/stm32u575/private/stm32u575_lpdma_copy_hw.h;soc/stm32/stm32u575/memory_init.c;soc/stm32/stm32u575/system.c;tests/google/u575_lpdma_copy;tests/google/u575_stop2_copy;tests/google/u575_memory_test.cpp;tools/configure/assemblies/u575-lpdma-copy-stop2.toml;cmake/package/verification/io_evolution/consumers/u575-lpdma-copy.c |
|
选定低功耗外设、SRAM4 与 wake/stop 所有权 |
|
partial_exact_reference_implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-33¶
原字段 |
原值 |
|---|---|
|
IO-33 |
|
P2 |
|
canfd |
|
CAN FD payload、timing、BRS、ESI 与消息 RAM |
|
io/include/nexus/io/can_fd.h;soc/stm32/stm32g474/drivers/fdcan.c;tools/configure/providers/stm32g474/coupled.py;tests/google/g474_fdcan_test.cpp;tests/google/g474_fdcan_factory_test.cpp;docs/design/can-fd.md |
|
Classic CAN 保持紧凑；要求精确 FDCAN provider |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-34¶
原字段 |
原值 |
|---|---|
|
IO-34 |
|
P2 |
|
ethernet |
|
VLAN、SG frame loan 与硬件时间戳 |
|
io/include/nexus/io/ethernet_frames.h;io/src/controllers/eth_frames_mac.c;soc/stm32/stm32f407/drivers/ethernet_frames.c;soc/gd32/gd32f470/drivers/ethernet_frames.c;docs/design/ethernet-frames.md |
|
真实硬件 descriptor 所有权与如实的全局 abort |
|
implemented |
|
not_qualified |
|
not_executed |
|
Codex |
IO-35¶
原字段 |
原值 |
|---|---|
|
IO-35 |
|
P2 |
|
usb |
|
可选 class adapter 与精确 PHY/endpoint 能力 |
|
io/src/controllers/usb_device_controller.c;soc/native/drivers/usb_device.c;components |
|
扩展其他 USB 模式前验证 control、reset、ACK、ZLP 与 device 模式 |
|
in_progress |
|
not_qualified |
|
not_executed |
|
Codex |
IO-36¶
原字段 |
原值 |
|---|---|
|
IO-36 |
|
P2 |
|
time |
|
RTC/LPTIM alarm、wrap、backup 与 reset domain |
|
io/include/nexus/io/rtc.h;io/include/nexus/io/lptim.h;soc/native/drivers/rtc_lptim.c;soc/stm32/stm32u575/drivers/lptim.c;soc/stm32/stm32u575/private/stm32u575_lptim.h;tools/configure/assemblies/u575-lptim-run.toml;tests/google/u575_lptim_test.cpp;soc/stm32/stm32u575/drivers/rtc.c;soc/stm32/stm32u575/private/stm32u575_rtc.h;tools/configure/assemblies/u575-rtc-run.toml;tests/google/u575_rtc_test.cpp;docs/design/io-extension-boundaries.md |
|
墙钟与单调时间域分别维护 |
|
in_progress |
|
not_qualified |
|
not_executed |
|
Codex |
IO-37¶
原字段 |
原值 |
|---|---|
|
IO-37 |
|
P2 |
|
storage |
|
SDMMC 与串行存储 block、command、mapped 接口 |
|
io;soc;components/mapped_storage;tests/google/mapped_storage_test.cpp;docs/design/io-extension-boundaries.md |
|
XIP、cache、DMA loan 与 erase 所有权明确 |
|
in_progress |
|
not_qualified |
|
not_executed |
|
Codex |
IO-38¶
原字段 |
原值 |
|---|---|
|
IO-38 |
|
P2 |
|
i3c |
|
有界发现、IBI、hot-join 与调用者存储 |
|
components/i3c_controller;tests/google/i3c_controller_test.cpp;tests/contracts/i3c_runtime;docs/design/i3c-controller.md |
|
factory 不隐式发现；要求精确外设参考 |
|
in_progress |
|
not_qualified |
|
not_executed |
|
Codex |
IO-39¶
原字段 |
原值 |
|---|---|
|
IO-39 |
|
P2 |
|
security |
|
TrustZone 外设 broker 与归属 |
|
components/user_io_broker;components/bus_owner;tests/google/user_io_async_test.cpp;docs/design/user-io-broker.md;tests/contracts/u575_trustzone |
|
principal 与内存校验；复制数据与借用数据分开 |
|
in_progress |
|
not_qualified |
|
not_executed |
|
Codex |
IO-40¶
原字段 |
原值 |
|---|---|
|
IO-40 |
|
P2 |
|
multicore |
|
AMP 资源分区与 epoch 安全 IPC |
|
core;arch;components/amp_ipc;tests/google/amp_ipc_test.cpp;docs/design/io-extension-boundaries.md |
|
唯一硬件 owner，显式远端 reset/cache 合同 |
|
in_progress |
|
not_qualified |
|
not_executed |
|
Codex |
IO-41¶
原字段 |
原值 |
|---|---|
|
IO-41 |
|
P2 |
|
audio |
|
I2S/SAI/PDM framing 与连续 DMA loan |
|
io;soc;io/include/nexus/io/frame_stream.h;io/src/mechanisms/frame_stream.c;tests/google/frame_stream_test.cpp;docs/design/io-extension-boundaries.md;components/soc/stm32/f407_i2s2_slave_tx;soc/stm32/stm32f407/drivers/i2s2_slave_tx.c;soc/stm32/stm32f407/private/stm32f407_system.h;tests/google/f407_i2s2_slave_tx_test.cpp;tests/contracts/f407_i2s2_slave_tx;tools/configure/assemblies/sky-i2s2-slave-tx.toml;tools/configure/assemblies/qiming-i2s2-slave-tx.toml;docs/design/f407-i2s2-slave-tx.md;tools/testing/evidence/f407-i2s2-20261020/README.md |
|
frame/slot 格式与有界 underrun；可选外部 codec |
|
in_progress |
|
not_qualified |
|
not_executed |
|
Codex |
IO-42¶
原字段 |
原值 |
|---|---|
|
IO-42 |
|
P2 |
|
multimedia |
|
camera/display/accelerator 的 planar 与 strided buffer |
|
io;soc;io/include/nexus/io/frame_stream.h;components/soc/stm32/stm32h743_frame_dma2d;tests/google/h743_frame_dma2d_test.cpp;docs/design/io-extension-boundaries.md |
|
frame 完成、背压、外部内存与 2D DMA 所有权 |
|
in_progress |
|
not_qualified |
|
not_executed |
|
Codex |