Original platform-reconstruction 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/next-generation-execution.csv; SHA-256: 7ac51ba75151159ac854db5e5f5791652fab48827ea8d1373d87432ae5ad93e1.
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 33 original records; this is only the source row count.
NG-001¶
Original field |
Original value |
|---|---|
|
NG-001 |
|
B0 |
|
P0 |
|
architecture |
|
Freeze first-principles contracts and scope |
|
(original field empty) |
|
TL |
|
K1;B1;I1;Q1;R1 |
|
ADRs; architecture blueprint; integration/engineering contracts |
|
Default static model agrees with the managed boundary; distinguish planned/implemented/qualified for all capabilities; freeze initial EXTI edge/PWM/ADC single scan/IWDG modes and deferred extensions |
|
Not applicable; design does not count as hardware qualification |
|
implemented |
|
RF-ARC-01 |
|
docs/design/next-generation-platform.md;docs/design/integration-contracts.md;docs/delivery/architecture.md |
|
docs/delivery/architecture.md;docs/delivery/support.md |
|
qualification_record_authority |
|
not_applicable |
NG-002¶
Original field |
Original value |
|---|---|
|
NG-002 |
|
B0 |
|
P0 |
|
measurement |
|
Define minimum workloads and resource/timing budget schema |
|
NG-001 |
|
Q1 |
|
TL;K2;B1;B2 |
|
Minimum GPIO/UART/SPI workloads; cost definitions; budget schema |
|
Bind actual baseline inputs, tools, configuration and artifacts; do not substitute an old complete Board image for minimum-cost measurements |
|
Calibrate cycles/IRQ/end-to-end budgets at a real station; currently unexecuted |
|
implemented |
|
RF-BAS-01;RF-HIL-03 |
|
tools/measurement/compare.py;tools/measurement/resources.py;tools/measurement/workload.c |
|
build/measurement-qiming-v3/matrix.json;build/measurement-sky-v1/matrix.json;build/measurement-liangshan-v5/matrix.json |
|
qualification_record_authority |
|
not_executed |
NG-003¶
Original field |
Original value |
|---|---|
|
NG-003 |
|
B1 |
|
P0 |
|
tooling |
|
Lock the formal tool environment and unique dev entry |
|
NG-001 |
|
R1 |
|
K1;Q1 |
|
Tool/source dependency locks; OCI environment; thin dev entry; basic formatter/warning/local checks |
|
A fresh checkout uses one configure/build/test entry; preserve native commands and exit codes; enforce formatting and basic warning gates from the first owned slice; retain the root .clang-format/.editorconfig 80-column style rather than creating new configuration |
|
Not applicable |
|
implemented |
|
RF-BLD-01;RF-CI-01 |
|
tools/dev/dev.py;tools/dev/Dockerfile;dependencies/environment.lock.json;scripts/setup/install_dev_tools.py |
|
dependencies/environment.lock.json;tools/dev/dev.py doctor;Git hooks/style gate |
|
qualification_record_authority |
|
not_applicable |
NG-004¶
Original field |
Original value |
|---|---|
|
NG-004 |
|
B1 |
|
P0 |
|
configuration |
|
Implement single resolved validation from SoC/Board/assembly |
|
NG-001;NG-003 |
|
R1 |
|
B1;B2;K1;Q1 |
|
Schema; narrow resolver; negative configuration cases; atomic generation |
|
Actually reject unknown keys/illegal modes/resource conflicts/invalid inputs; CMake remains the sole authority for code dependencies |
|
Document/physical-PCB consistency awaits hardware |
|
implemented |
|
RF-BRD-01;RF-BLD-01 |
|
tools/configure/configure.py;soc//soc.json;soc//routes.json;boards/*/board.json |
|
tests/contracts:contract_configuration_rejection;tools/configure/test_configure.py |
|
qualification_record_authority |
|
not_executed |
NG-005¶
Original field |
Original value |
|---|---|
|
NG-005 |
|
B1 |
|
P0 |
|
build |
|
Implement static bindings and minimum firmware targets |
|
NG-004 |
|
R1 |
|
K1;B1;B2 |
|
Configuration header; binding C; linker inputs; explicit targets |
|
Minimum bootstrap ELF for both SoCs links with correct startup/vector/ABI; do not claim complete clock/rollback support; generator does not generate business logic or the software dependency graph; compare minimum Flash LOAD/RAM/MSP reports against budgets |
|
Startup timing and electrical behavior await hardware |
|
implemented |
|
RF-BLD-01;RF-BLD-02 |
|
tools/configure/bindings.py;cmake/platform/Firmware.cmake;CMakeLists.txt |
|
six ARM preset ELF/BIN/map/resource reports;tests/contracts/*_assembly |
|
qualification_record_authority |
|
not_executed |
NG-006¶
Original field |
Original value |
|---|---|
|
NG-006 |
|
B1 |
|
P1 |
|
sdk |
|
Define external source-SDK consumption and dependency-lock contracts |
|
NG-003;NG-005 |
|
R1 |
|
I1;Q1 |
|
Source-package entry; input/license manifest; external consumer |
|
An independently relocated consumer actually builds/runs/links; mark dirty packages unpublishable |
|
Not applicable; package consumption is not hardware qualification |
|
implemented |
|
RF-SDK-01;RF-SDK-02 |
|
cmake/package/package_source_sdk.py;cmake/package/NexusConfig.cmake.in;tests/contracts/test_source_sdk.py |
|
tests/contracts/test_source_sdk.py;clean SDK relocated consumer pending |
|
qualification_record_authority |
|
not_applicable |
NG-007¶
Original field |
Original value |
|---|---|
|
NG-007 |
|
B2 |
|
P0 |
|
arch |
|
Implement minimum Cortex-M4 primitives and monotonic-time contracts |
|
NG-005 |
|
K1 |
|
K2;B1;B2;Q1 |
|
Exception/critical-section/atomic boundaries; cycle snapshots; clock domains |
|
Save and restore incoming masks; define time wrap/clock-change semantics; no fake clocks or unreviewed barrier removal |
|
Measure mask/cycle overhead, timer accuracy and IRQ preemption |
|
implemented |
|
RF-ARC-01;RF-OS-01 |
|
arch/include/nexus/arch/arch.h;arch/cortex_m/nx_arch_cortex_m.c;core/src/time.c |
|
tests/contracts/core_contract_test.c;tests/google/arch_cortex_test.cpp;tests/google/arch_native_test.cpp;tests/google/gd32_arch_test.cpp;tests/contracts/gd32_system_test.c;tests/contracts/stm32_model |
|
qualification_record_authority |
|
not_executed |
NG-008¶
Original field |
Original value |
|---|---|
|
NG-008 |
|
B2 |
|
P0 |
|
soc |
|
Integrate exact STM32F407 variant infrastructure |
|
NG-007 |
|
B1 |
|
K1;Q2 |
|
VE/ZG memory/clock/IRQ/startup; private SDK; failure rollback |
|
Close exact density/ABI inputs; produce actual ELF; partial-init failures can roll back or retain responsibility |
|
Reset/clock/Flash-density/safe-output qualification |
|
implemented |
|
RF-BOOT-01;RF-FIX-01;RF-FIX-02 |
|
soc/stm32f407/system.c;soc/stm32f407/soc.json;soc/stm32f407/CMakeLists.txt |
|
tests/contracts/stm32_io_test.c;tests/contracts/stm32_model;tests/contracts/stm32_assembly |
|
qualification_record_authority |
|
not_executed |
NG-009¶
Original field |
Original value |
|---|---|
|
NG-009 |
|
B2 |
|
P0 |
|
soc |
|
Integrate GD32F470ZG infrastructure |
|
NG-007 |
|
B2 |
|
K1;Q2 |
|
Memory/clock/IRQ/startup; official SDK lock; failure rollback |
|
Actual ELF; exact chip modes; diagnosable clock/IRQ/reset errors |
|
Reset/clock/Flash-density/safe-output qualification |
|
implemented |
|
RF-BRD-02 |
|
soc/gd32f470/system.c;soc/gd32f470/timebase.c;soc/gd32f470/soc.json;vendors/gigadevice/gd32f4xx/source.lock.json |
|
tests/contracts/gd32_system_test.c;tests/contracts/gd32_io_test.c;tests/contracts/gd32_assembly |
|
qualification_record_authority |
|
not_executed |
NG-010¶
Original field |
Original value |
|---|---|
|
NG-010 |
|
B2 |
|
P0 |
|
board |
|
Rebuild readonly resource packages for the three initial Boards |
|
NG-004;NG-008;NG-009 |
|
B1;B2 |
|
Q2;R1 |
|
Three-Board facts/provenance; special electrical hooks; input digests |
|
Changing Boards on reviewed routes for the same SoC does not require controller changes; declarations agree with operations; unknown PCB/routes are explicit |
|
Review actual PCB/oscillator/wiring/initial levels; currently unexecuted |
|
implemented |
|
RF-BRD-01;RF-HIL-01 |
|
boards/stm32f407_qiming_v31/board.json;boards/stm32f407ve_sky_qingchun/board.json;boards/gd32f470_liangshan/board.json |
|
boards/*/README.md;tools/hil/fixtures;unknown PCB remains explicit |
|
qualification_record_authority |
|
not_executed |
NG-011¶
Original field |
Original value |
|---|---|
|
NG-011 |
|
B2 |
|
P0 |
|
gpio |
|
Implement fixed typed GPIO and authorized-mask batch operations |
|
NG-010 |
|
K1 |
|
B1;B2;Q1 |
|
Fixed GPIO contract; SoC implementation; Native model; batch |
|
No registration/strings/generic references/OS locks in the hot path; atomic set/reset; explicit shutdown quiescence prerequisites; reject non-subset masks and overlapping set/reset; define toggle/read semantics; compare first-slice map/budgets |
|
GPIO waveforms/reset levels/concurrent electrical behavior; batch cycles |
|
implemented |
|
RF-HAL-01;RF-FIX-02 |
|
io/include/nexus/io/gpio.h;soc/*/drivers/gpio.c;io/native/gpio.c |
|
tests/contracts/native_io_test.c;tests/contracts/stm32_io_test.c;tests/contracts/gd32_io_test.c;actual resource matrices |
|
qualification_record_authority |
|
not_executed |
NG-012¶
Original field |
Original value |
|---|---|
|
NG-012 |
|
B3 |
|
P0 |
|
request |
|
Implement caller-owned request rules and notification ports |
|
NG-007;NG-011 |
|
K2 |
|
K1;Q1;I1 |
|
Admission/borrow/deadline/result contracts; necessary state helpers |
|
REJECTED borrows nothing; single-owner cancellation/cross-task token lifetime; one admission throughout the chain; SETTLED marks final provider access; wait progress/arm-recheck; minimum necessary race regressions execute in the first slice; shared clients do not service; executors continue draining during stop before joining |
|
Verify actual IRQ/DMA drain when accepting each provider |
|
implemented |
|
RF-HAL-01;RF-OS-01 |
|
core/include/nexus/core/request.h;core/src/request.c;os/wait.c |
|
tests/contracts/core_contract_test.c;tests/contracts/components_owner.c |
|
qualification_record_authority |
|
not_executed |
NG-013¶
Original field |
Original value |
|---|---|
|
NG-013 |
|
B3 |
|
P0 |
|
uart |
|
Rebuild STM32 UART IRQ and receive profiles |
|
NG-008;NG-012 |
|
B1 |
|
K2;I1;Q2 |
|
Direct typed UART; byte/event profiles; per-instance storage |
|
Compile actual IRQ implementations; model partial start/cancel/late IRQ/lost notifications; no idle DMA/legacy pool |
|
TC/abort/RX loss/time accuracy/throughput; unexecuted |
|
implemented |
|
RF-HAL-02;RF-FIX-03;RF-HIL-02 |
|
soc/stm32f407/drivers/uart.c;io/include/nexus/io/uart.h |
|
tests/contracts/stm32_io_test.c;tests/contracts/stm32_model;actual ARM presets |
|
qualification_record_authority |
|
not_executed |
NG-014¶
Original field |
Original value |
|---|---|
|
NG-014 |
|
B3 |
|
P0 |
|
uart |
|
Rebuild GD32 UART IRQ and receive profiles |
|
NG-009;NG-012 |
|
B2 |
|
K2;I1;Q2 |
|
Direct typed UART; byte/event profiles; per-instance storage |
|
Error/cancellation/TC contracts match STM public behavior; capability differences are explicit |
|
TC/abort/RX loss/time accuracy/throughput; unexecuted |
|
implemented |
|
RF-BRD-02;RF-HIL-02 |
|
soc/gd32f470/drivers/uart.c;io/include/nexus/io/uart.h |
|
tests/contracts/gd32_io_test.c;contract_gd32_io;actual ARM preset |
|
qualification_record_authority |
|
not_executed |
NG-015¶
Original field |
Original value |
|---|---|
|
NG-015 |
|
B3 |
|
P0 |
|
spi |
|
Implement a single bus executor and actual SPI execution modes |
|
NG-010;NG-012 |
|
B1;B2 |
|
K2;I2;Q2 |
|
Static endpoints; short polling; IRQ/DMA on demand; no fixed copy pool |
|
One wire-active owner; stable CS/configuration; absolute deadlines include queuing; service does not pretend to be asynchronous |
|
CS/clock/MISO/DMA abort/drain; qualify only actually measured modes |
|
implemented |
|
RF-HAL-01;RF-HAL-04;RF-HIL-02 |
|
soc/*/drivers/spi.c;components/bus_owner/src/spi_owner.c;io/native/spi.c |
|
tests/contracts/components_spi.c;tests/contracts/_io_test.c;tests/contracts/_assembly/*spi.json |
|
qualification_record_authority |
|
not_executed |
NG-016¶
Original field |
Original value |
|---|---|
|
NG-016 |
|
B3 |
|
P1 |
|
i2c |
|
Implement MCU I2C providers with explicit scope |
|
NG-010;NG-012 |
|
B1;B2 |
|
K2;I2;Q2 |
|
I2C endpoint;reviewed routes;transaction/STOP/recovery |
|
ACK/NACK/STOP/repeated START/failure scope is explicit; actual ARM linking; no success stubs |
|
Actual wiring/stuck bus/recovery/waveforms; unexecuted |
|
implemented |
|
RF-HAL-03;RF-HIL-02 |
|
soc//drivers/i2c.c;tools/configure/_bindings.py;io/native/i2c.c |
|
tests/contracts/_io_test.c;tests/contracts/_assembly/*i2c.json |
|
qualification_record_authority |
|
not_executed |
NG-017¶
Original field |
Original value |
|---|---|
|
NG-017 |
|
B3 |
|
P0 |
|
flash |
|
Rebuild whole physical-Flash and restricted-region interfaces |
|
NG-008;NG-009;NG-012 |
|
K2 |
|
B1;B2;I2;Q2 |
|
Exact geometry; region ports; pulse deadline/error contracts |
|
Reject range/overflow/erase-alignment errors; reserve no product region; hardware stops accessing before completion |
|
Erase/program/power and voltage/power loss; unexecuted |
|
implemented |
|
RF-FLS-01;RF-FLS-02;RF-FLS-03 |
|
soc/*/drivers/flash.c;io/src/flash_region.c;io/include/nexus/io/flash.h |
|
tests/contracts/*_io_test.c;tests/contracts/components_flash_storage.c;tests/contracts/components_storage.c |
|
qualification_record_authority |
|
not_executed |
NG-018¶
Original field |
Original value |
|---|---|
|
NG-018 |
|
B3 |
|
P1 |
|
watchdog |
|
Implement vertical watchdog and reset-cause contracts |
|
NG-010;NG-012 |
|
B1;B2 |
|
K1;I2;Q2 |
|
IWDG configuration/feed/reset cause; actual SoC implementation; Native model |
|
Actual providers and ELF for both SoCs; range/clock/debug-freeze semantics; product feed policy stays external; correctly record remaining effects for irreversible enable/existing state/startup failure |
|
Actual timeout reset/debug freeze/power-on reset cause; unexecuted |
|
implemented |
|
RF-ARC-01;RF-HIL-02;RF-HIL-03 |
|
soc/*/drivers/watchdog.c;io/native/watchdog.c;io/include/nexus/io/watchdog.h |
|
tests/contracts/*_io_test.c;contract_gd32_watchdog-late-failure;contract_gd32_watchdog-hardware-enabled |
|
qualification_record_authority |
|
not_executed |
NG-031¶
Original field |
Original value |
|---|---|
|
NG-031 |
|
B3 |
|
P1 |
|
exti |
|
Implement static EXTI lines and shared-vector events |
|
NG-010;NG-011;NG-012 |
|
B1;B2 |
|
K1;Q1;Q2 |
|
Reviewed lines/edges; shared vectors; bounded events; stop contract |
|
Actual SoC providers/ELF; reject duplicate lines; event overflow/order/stop drain; reject unimplemented modes |
|
Actual edges/debounce-policy boundaries/priorities/loss and drain; unexecuted |
|
implemented |
|
RF-HAL-01;RF-HIL-02 |
|
soc/*/drivers/exti.c;io/include/nexus/io/exti.h;io/native/exti.c |
|
tests/contracts/_io_test.c;tests/contracts/_assembly/*exti.json |
|
qualification_record_authority |
|
not_executed |
NG-032¶
Original field |
Original value |
|---|---|
|
NG-032 |
|
B3 |
|
P1 |
|
timer |
|
Implement fixed timer timebases and PWM outputs |
|
NG-007;NG-010;NG-012 |
|
B1;B2 |
|
K1;I2;Q2 |
|
Selected timer/channel; period/duty; electrical initial values; later capture/trigger resource boundaries |
|
Actual providers/ELF for initial fixed timer/PWM; overflow/range/atomic update; reject timebase conflicts; specify shared PSC/ARR/base modes and 0/100-percent/shadow updates; capture/advanced modes are separate tasks, outside initial exit conditions |
|
Actual period/duty/stopped output; initial modes unexecuted; capture/advanced separately accepted |
|
implemented |
|
RF-HAL-01;RF-HIL-02;RF-HIL-03 |
|
soc/*/drivers/timer.c;io/include/nexus/io/timer.h;io/native/timer.c |
|
tests/contracts/_io_test.c;tests/contracts/_assembly/*pwm.json |
|
qualification_record_authority |
|
not_executed |
NG-033¶
Original field |
Original value |
|---|---|
|
NG-033 |
|
B3 |
|
P1 |
|
adc |
|
Implement ADC single-shot and low-rate scan |
|
NG-010;NG-012;NG-032 |
|
B1;B2 |
|
K2;I2;Q2 |
|
Reviewed ADC channels/sequences; selected sampling modes; calibration; buffer contracts |
|
Actual providers/ELF for initial single-shot/low-rate scan; sample format/range/overflow; unselected modes are absent; reference voltage/counts/sample time/timeout-output validity explicit; trigger/DMA/block contracts are separate tasks, outside initial exit conditions |
|
Actual initial counts/accuracy/sample rate/timeout; unexecuted; high-rate trigger/DMA/block separately accepted |
|
implemented |
|
RF-HAL-01;RF-HIL-02;RF-HIL-03 |
|
soc/*/drivers/adc.c;io/include/nexus/io/adc.h;io/native/adc.c |
|
tests/contracts/_io_test.c;tests/contracts/_assembly/adc.json |
|
qualification_record_authority |
|
not_executed |
NG-019¶
Original field |
Original value |
|---|---|
|
NG-019 |
|
B4 |
|
P0 |
|
os |
|
Implement thin wait/wake and per-object static OS storage |
|
NG-007;NG-012 |
|
K1 |
|
K2;Q1;R1 |
|
Baremetal/FreeRTOS/Native capabilities; static task/queue parameters |
|
Drivers need not depend on OS; no universal maximum pool; correct delete/join reclamation timing; reject ISR-ceiling violations |
|
Actual scheduler/IRQ wake/stack/FPU; unexecuted |
|
implemented |
|
RF-OS-01;RF-OS-02 |
|
os/baremetal/notify.c;os/native/native.c;os/freertos/freertos.c;os/README.md |
|
tests/contracts/os_wait.c;tests/contracts/os_freertos_runtime;build/ng-agent-cmake/evidence/freertos-100-fresh-processes.log |
|
qualification_record_authority |
|
not_executed |
NG-020¶
Original field |
Original value |
|---|---|
|
NG-020 |
|
B4 |
|
P1 |
|
integration |
|
Implement bounded multiproducer adapters and bus-owner examples |
|
NG-015;NG-019 |
|
I1 |
|
K2;Q1 |
|
Explicit queue/service adapters; optional callback adapters |
|
No hidden workers; admitted work retains ownership if adapter start fails; old cancellation cannot hit a new epoch; notifications after SETTLED do not access the request; the unique waiting owner still drains; full/lost notifications cause no lost wake; client waiting does not take execution ownership; stopping does not deadlock producers waiting for SETTLED; reclaim notification storage only after wake publishers exit |
|
Measure maximum service intervals/loaded queues/fairness per product |
|
implemented |
|
RF-HAL-02;RF-CMP-01 |
|
components/bus_owner/src/bus_owner.c;components/bus_owner/src/uart_owner.c;components/bus_owner/src/spi_owner.c |
|
tests/contracts/components_owner.c;tests/contracts/components_uart.c;tests/contracts/components_spi.c |
|
qualification_record_authority |
|
not_executed |
NG-021¶
Original field |
Original value |
|---|---|
|
NG-021 |
|
B4 |
|
P1 |
|
devices |
|
Implement one reusable external-device driver vertical slice |
|
NG-015;NG-020 |
|
I2 |
|
B1;B2;Q1 |
|
Core/transport for one SPI device; external composition; select I2C devices separately as actually needed |
|
No Board pins/default tasks; correct chip-ID/parsing/failure/request lifetime; no invented support for unreviewed routes |
|
Connection/waveforms/measurement error/endurance load; unexecuted |
|
implemented |
|
RF-CMP-01 |
|
components/bmp280/src/bmp280.c;components/bmp280/src/spi_transport.c |
|
tests/contracts/components_bmp280.c;tests/contracts/components_spi.c |
|
qualification_record_authority |
|
not_executed |
NG-022¶
Original field |
Original value |
|---|---|
|
NG-022 |
|
B4 |
|
P1 |
|
components |
|
Rebuild narrow-port boundaries for generic protocols/storage/logging |
|
NG-017;NG-019;NG-020 |
|
I1;I2 |
|
K2;Q1 |
|
Actually selected component cores and adapters; remove default workers and global discovery |
|
Decouple protocols from OS/Board; correct formats/recovery; errors permit release; unused components are absent |
|
Wire timing/persistent-storage power loss/load qualified per component |
|
implemented |
|
RF-HAL-02;RF-CMP-01;RF-FIX-04;RF-FIX-05 |
|
components/modbus;components/storage;components/log;components/README.md |
|
tests/contracts/components_modbus.c;tests/contracts/components_storage.c;tests/contracts/components_log.c |
|
qualification_record_authority |
|
not_executed |
NG-023¶
Original field |
Original value |
|---|---|
|
NG-023 |
|
B4 |
|
P0 |
|
examples |
|
Migrate external baremetal/FreeRTOS examples for three Boards |
|
NG-006;NG-013;NG-014;NG-019 |
|
I1 |
|
I2;R1;Q1 |
|
Six baseline firmware configurations; SDK pins/callers; explanations |
|
Actual external builds/Native execution/six baseline ARM ELFs; extend functions only along supported routes |
|
Physical startup/UART and selected cases; unexecuted |
|
implemented |
|
RF-EX-01;RF-BLD-02 |
|
X-Gen-Lab/nexus-examples:assemblies;X-Gen-Lab/nexus-examples:apps;X-Gen-Lab/nexus-examples:scripts |
|
external build/nextgen-development/native/ctest-results.xml;external build/nextgen-development/arm-development.json;clean pin pending |
|
qualification_record_authority |
|
not_executed |
NG-024¶
Original field |
Original value |
|---|---|
|
NG-024 |
|
B5 |
|
P0 |
|
engineering |
|
Expand local/PR/nightly risk gates and evidence |
|
NG-003;NG-004;NG-012 |
|
R1 |
|
TL;K1;Q1 |
|
Selected analyzers; existing Doxygen contract templates; complete CI risk matrix; extend existing formatter/warning gates; consistent formatting directories and entries |
|
Block owned-code warnings; public/private isolation; path filtering must not omit high risk; reject invalid reports; apply the same formatting scope to old and new owned directories; review backslash Doxygen/file headers/header-source responsibilities; exclude third parties |
|
Not applicable |
|
implemented |
|
RF-CI-01;RF-REL-02 |
|
scripts/ci/style_gate.py;scripts/ci/quality_tools.py;.github/workflows;Doxyfile;docs/sphinx |
|
whole-file format/comments;compile_commands analyzer;actual Doxygen/Sphinx;CI workflow tests |
|
qualification_record_authority |
|
not_applicable |
NG-025¶
Original field |
Original value |
|---|---|
|
NG-025 |
|
B5 |
|
P0 |
|
verification |
|
Create new-contract failure/concurrency/boundary regressions |
|
NG-012;NG-013;NG-014;NG-015;NG-017;NG-019;NG-018;NG-031;NG-032;NG-033;NG-016;NG-021;NG-022 |
|
Q1 |
|
K2;B1;B2 |
|
Host/model/fuzz; sanitizers; boundary and late-event cases |
|
Actual nonempty execution; partial start/abort failure/timeout/full notification/stop races; failures do not release borrowed storage |
|
Models do not become hardware qualification; specific physical cases remain in HIL |
|
implemented |
|
RF-BAS-01;RF-HIL-03 |
|
tests/contracts;tests/contracts/os_freertos_runtime;tests/contracts/stm32_model;tests/contracts/gd32_model |
|
actual Native/model CTest and sanitizer JUnit;tools unit suites |
|
qualification_record_authority |
|
not_executed |
NG-026¶
Original field |
Original value |
|---|---|
|
NG-026 |
|
B5 |
|
P0 |
|
performance |
|
Implement ELF resource budgets and controlled benchmark tools |
|
NG-002;NG-011;NG-023;NG-018;NG-031;NG-032;NG-033;NG-016;NG-021;NG-022 |
|
Q1;R1 |
|
K1;B1;B2 |
|
Resource-schema reports; minimum image deltas; O2/Os/O3/LTO comparisons |
|
Static-budget overruns actually block; separate stack/instructions from cycles; same artifact identity |
|
Dedicated stations measure cycles/latency/high-water/loss/load; unexecuted |
|
implemented |
|
RF-HIL-03;RF-BLD-02 |
|
tools/measurement/resources.py;tools/measurement/compare.py;tools/schemas/resource-budget.schema.json |
|
60 actual O2/Os/O3 with/without LTO images;18 GC checks;tests/contracts/test_measurement_*.py |
|
qualification_record_authority |
|
not_executed |
NG-027¶
Original field |
Original value |
|---|---|
|
NG-027 |
|
B5 |
|
P0 |
|
hil |
|
Rebuild HIL admission and prepare tooling for three Boards |
|
NG-010;NG-023;NG-026 |
|
Q2 |
|
B1;B2;R1 |
|
Station/fixture/probe/serial tools; raw-evidence schema |
|
Actually reject wrong Board/ELF/configuration/empty station; software-tool preparation complete; do not execute disconnected devices |
|
Actual probes/flashing/readback/waveforms/power cuts/load require acceptance after connection |
|
implemented |
|
RF-HIL-01;RF-HIL-02;RF-HIL-03 |
|
tools/hil/admit.py;tools/hil/fixtures;tests/contracts/test_hil_admission.py |
|
tests/contracts/test_hil_admission.py;three fixtures;incomplete station rejection;physical not executed |
|
qualification_record_authority |
|
not_executed |
NG-028¶
Original field |
Original value |
|---|---|
|
NG-028 |
|
B5 |
|
P1 |
|
reproducibility |
|
Independently accept hermetic and reproducible builds |
|
NG-003;NG-006;NG-024 |
|
R1 |
|
Q1;TL |
|
Formal offline builds; normalized paths; independent clean-rebuild comparison |
|
Network disabled and declared input boundaries; compare two clean ELF/BIN builds for determinism; do not call hashing reproducibility |
|
Not applicable |
|
implemented |
|
RF-SDK-02;RF-REL-01 |
|
tools/evidence/container.py;tools/evidence/reproduce.py;tests/contracts/test_repro_execution.py |
|
tools/evidence/reproduce.py;delivery bundle/reproducibility*.json;two offline source SDK builds |
|
qualification_record_authority |
|
not_applicable |
NG-029¶
Original field |
Original value |
|---|---|
|
NG-029 |
|
B6 |
|
P0 |
|
migration |
|
Remove the old runtime architecture and atomically migrate consumption paths |
|
NG-023;NG-024;NG-025;NG-026 |
|
TL;K1 |
|
I1;B1;B2;R1;Q1 |
|
Clean old APIs/targets/scripts/docs; source-migration guidance |
|
No permanent dual registries/objects/OS queues/configuration entries; external pins agree; persistent-data migration has a separate contract |
|
Deployed products require independent migration/recovery and physical regression |
|
implemented |
|
RF-HAL-01;RF-HAL-02;RF-ARC-01 |
|
docs/delivery/migration.md;CMakeLists.txt;tools/configure;docs/archive |
|
current target/include/script graph;docs/archive;external caller migration development builds |
|
qualification_record_authority |
|
not_applicable |
NG-030¶
Original field |
Original value |
|---|---|
|
NG-030 |
|
B6 |
|
P0 |
|
delivery |
|
Archive new software candidates and exact support evidence |
|
NG-006;NG-023;NG-025;NG-026;NG-027;NG-028;NG-029;NG-018;NG-031;NG-032;NG-033 |
|
R1;Q1 |
|
TL;Q2;I1 |
|
Source/configuration/tools/dependencies/ELF packages; supported tuples; known limits |
|
Current complete-source qualification; clean external source-SDK consumption; same-hash candidates; separate software and physical qualification |
|
Physical qualification and product-release promotion require separate acceptance; currently unexecuted |
|
implemented |
|
RF-REL-01;RF-REL-02 |
|
tools/evidence/candidate.py;tools/evidence/proof.py;tools/evidence/qualification.py;docs/delivery/qualification.md |
|
tools/evidence/candidate.py;delivery bundle/candidate/candidate.json;six actual qualification scopes |
|
qualification_record_authority |
|
not_applicable |