I/O refinement 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/platform-refinement-execution.csv; SHA-256: e4496e72ba53be176407804fffa805ef5b12f9da1e0949d2f3e8a20292d27e8b.
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 60 original records; this is only the source row count.
IO-01¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
IO-23 |
|
Three Board electrical fact review |
|
blocked |
|
pending |
|
blocked |
|
boards |
|
pending |
|
actual PCB revision connector crystal and NOR identity |
|
codex |
IO-24¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
IO-25 |
|
Physical FP MVE task context |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
real target observations; current three boards are M4F |
|
codex |
IO-26¶
Original field |
Original value |
|---|---|
|
IO-26 |
|
Physical clock tick deadline accuracy |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
bound timer drift tick and monotonic evidence |
|
codex |
IO-27¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
IO-31 |
|
Physical restricted MPU isolation |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
software fixtures cannot prove actual memory fault isolation |
|
codex |
IO-32¶
Original field |
Original value |
|---|---|
|
IO-32 |
|
Physical split security isolation |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
requires matching secure target and real SAU attribution |
|
codex |
IO-33¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
IO-39 |
|
Physical poll IRQ DMA benchmark |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
same artifact clock load optimization and raw timing |
|
codex |
IO-40¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
IO-47 |
|
Real HIL station binding |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
three physical probes serial and chip identity unavailable |
|
codex |
IO-48¶
Original field |
Original value |
|---|---|
|
IO-48 |
|
Physical clock reset GPIO watchdog |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
actual station capture and reset reason |
|
codex |
IO-49¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
IO-50 |
|
Physical I2C electrical protocol |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
ACK NACK STOP line voltage bus clear observed |
|
codex |
IO-51¶
Original field |
Original value |
|---|---|
|
IO-51 |
|
Physical ADC PWM EXTI |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
real stimulus and independent instrument observations |
|
codex |
IO-52¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
IO-53 |
|
Physical concurrent endurance and latency |
|
blocked |
|
pending |
|
blocked |
|
tools/hil |
|
pending |
|
same firmware soak interrupt latency stack load evidence |
|
codex |
IO-54¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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¶
Original field |
Original value |
|---|---|
|
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 |