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

task_id

NG-001

batch

B0

priority

P0

area

architecture

task

Freeze first-principles contracts and scope

depends_on

(original field empty)

primary_role

TL

review_roles

K1;B1;I1;Q1;R1

deliverables

ADRs; architecture blueprint; integration/engineering contracts

software_exit

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

hardware_exit

Not applicable; design does not count as hardware qualification

status

implemented

legacy_rf_refs

RF-ARC-01

implementation_paths

docs/design/next-generation-platform.md;docs/design/integration-contracts.md;docs/delivery/architecture.md

evidence_paths

docs/delivery/architecture.md;docs/delivery/support.md

software_status

qualification_record_authority

hardware_status

not_applicable

NG-002

Original field

Original value

task_id

NG-002

batch

B0

priority

P0

area

measurement

task

Define minimum workloads and resource/timing budget schema

depends_on

NG-001

primary_role

Q1

review_roles

TL;K2;B1;B2

deliverables

Minimum GPIO/UART/SPI workloads; cost definitions; budget schema

software_exit

Bind actual baseline inputs, tools, configuration and artifacts; do not substitute an old complete Board image for minimum-cost measurements

hardware_exit

Calibrate cycles/IRQ/end-to-end budgets at a real station; currently unexecuted

status

implemented

legacy_rf_refs

RF-BAS-01;RF-HIL-03

implementation_paths

tools/measurement/compare.py;tools/measurement/resources.py;tools/measurement/workload.c

evidence_paths

build/measurement-qiming-v3/matrix.json;build/measurement-sky-v1/matrix.json;build/measurement-liangshan-v5/matrix.json

software_status

qualification_record_authority

hardware_status

not_executed

NG-003

Original field

Original value

task_id

NG-003

batch

B1

priority

P0

area

tooling

task

Lock the formal tool environment and unique dev entry

depends_on

NG-001

primary_role

R1

review_roles

K1;Q1

deliverables

Tool/source dependency locks; OCI environment; thin dev entry; basic formatter/warning/local checks

software_exit

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

hardware_exit

Not applicable

status

implemented

legacy_rf_refs

RF-BLD-01;RF-CI-01

implementation_paths

tools/dev/dev.py;tools/dev/Dockerfile;dependencies/environment.lock.json;scripts/setup/install_dev_tools.py

evidence_paths

dependencies/environment.lock.json;tools/dev/dev.py doctor;Git hooks/style gate

software_status

qualification_record_authority

hardware_status

not_applicable

NG-004

Original field

Original value

task_id

NG-004

batch

B1

priority

P0

area

configuration

task

Implement single resolved validation from SoC/Board/assembly

depends_on

NG-001;NG-003

primary_role

R1

review_roles

B1;B2;K1;Q1

deliverables

Schema; narrow resolver; negative configuration cases; atomic generation

software_exit

Actually reject unknown keys/illegal modes/resource conflicts/invalid inputs; CMake remains the sole authority for code dependencies

hardware_exit

Document/physical-PCB consistency awaits hardware

status

implemented

legacy_rf_refs

RF-BRD-01;RF-BLD-01

implementation_paths

tools/configure/configure.py;soc//soc.json;soc//routes.json;boards/*/board.json

evidence_paths

tests/contracts:contract_configuration_rejection;tools/configure/test_configure.py

software_status

qualification_record_authority

hardware_status

not_executed

NG-005

Original field

Original value

task_id

NG-005

batch

B1

priority

P0

area

build

task

Implement static bindings and minimum firmware targets

depends_on

NG-004

primary_role

R1

review_roles

K1;B1;B2

deliverables

Configuration header; binding C; linker inputs; explicit targets

software_exit

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

hardware_exit

Startup timing and electrical behavior await hardware

status

implemented

legacy_rf_refs

RF-BLD-01;RF-BLD-02

implementation_paths

tools/configure/bindings.py;cmake/platform/Firmware.cmake;CMakeLists.txt

evidence_paths

six ARM preset ELF/BIN/map/resource reports;tests/contracts/*_assembly

software_status

qualification_record_authority

hardware_status

not_executed

NG-006

Original field

Original value

task_id

NG-006

batch

B1

priority

P1

area

sdk

task

Define external source-SDK consumption and dependency-lock contracts

depends_on

NG-003;NG-005

primary_role

R1

review_roles

I1;Q1

deliverables

Source-package entry; input/license manifest; external consumer

software_exit

An independently relocated consumer actually builds/runs/links; mark dirty packages unpublishable

hardware_exit

Not applicable; package consumption is not hardware qualification

status

implemented

legacy_rf_refs

RF-SDK-01;RF-SDK-02

implementation_paths

cmake/package/package_source_sdk.py;cmake/package/NexusConfig.cmake.in;tests/contracts/test_source_sdk.py

evidence_paths

tests/contracts/test_source_sdk.py;clean SDK relocated consumer pending

software_status

qualification_record_authority

hardware_status

not_applicable

NG-007

Original field

Original value

task_id

NG-007

batch

B2

priority

P0

area

arch

task

Implement minimum Cortex-M4 primitives and monotonic-time contracts

depends_on

NG-005

primary_role

K1

review_roles

K2;B1;B2;Q1

deliverables

Exception/critical-section/atomic boundaries; cycle snapshots; clock domains

software_exit

Save and restore incoming masks; define time wrap/clock-change semantics; no fake clocks or unreviewed barrier removal

hardware_exit

Measure mask/cycle overhead, timer accuracy and IRQ preemption

status

implemented

legacy_rf_refs

RF-ARC-01;RF-OS-01

implementation_paths

arch/include/nexus/arch/arch.h;arch/cortex_m/nx_arch_cortex_m.c;core/src/time.c

evidence_paths

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

software_status

qualification_record_authority

hardware_status

not_executed

NG-008

Original field

Original value

task_id

NG-008

batch

B2

priority

P0

area

soc

task

Integrate exact STM32F407 variant infrastructure

depends_on

NG-007

primary_role

B1

review_roles

K1;Q2

deliverables

VE/ZG memory/clock/IRQ/startup; private SDK; failure rollback

software_exit

Close exact density/ABI inputs; produce actual ELF; partial-init failures can roll back or retain responsibility

hardware_exit

Reset/clock/Flash-density/safe-output qualification

status

implemented

legacy_rf_refs

RF-BOOT-01;RF-FIX-01;RF-FIX-02

implementation_paths

soc/stm32f407/system.c;soc/stm32f407/soc.json;soc/stm32f407/CMakeLists.txt

evidence_paths

tests/contracts/stm32_io_test.c;tests/contracts/stm32_model;tests/contracts/stm32_assembly

software_status

qualification_record_authority

hardware_status

not_executed

NG-009

Original field

Original value

task_id

NG-009

batch

B2

priority

P0

area

soc

task

Integrate GD32F470ZG infrastructure

depends_on

NG-007

primary_role

B2

review_roles

K1;Q2

deliverables

Memory/clock/IRQ/startup; official SDK lock; failure rollback

software_exit

Actual ELF; exact chip modes; diagnosable clock/IRQ/reset errors

hardware_exit

Reset/clock/Flash-density/safe-output qualification

status

implemented

legacy_rf_refs

RF-BRD-02

implementation_paths

soc/gd32f470/system.c;soc/gd32f470/timebase.c;soc/gd32f470/soc.json;vendors/gigadevice/gd32f4xx/source.lock.json

evidence_paths

tests/contracts/gd32_system_test.c;tests/contracts/gd32_io_test.c;tests/contracts/gd32_assembly

software_status

qualification_record_authority

hardware_status

not_executed

NG-010

Original field

Original value

task_id

NG-010

batch

B2

priority

P0

area

board

task

Rebuild readonly resource packages for the three initial Boards

depends_on

NG-004;NG-008;NG-009

primary_role

B1;B2

review_roles

Q2;R1

deliverables

Three-Board facts/provenance; special electrical hooks; input digests

software_exit

Changing Boards on reviewed routes for the same SoC does not require controller changes; declarations agree with operations; unknown PCB/routes are explicit

hardware_exit

Review actual PCB/oscillator/wiring/initial levels; currently unexecuted

status

implemented

legacy_rf_refs

RF-BRD-01;RF-HIL-01

implementation_paths

boards/stm32f407_qiming_v31/board.json;boards/stm32f407ve_sky_qingchun/board.json;boards/gd32f470_liangshan/board.json

evidence_paths

boards/*/README.md;tools/hil/fixtures;unknown PCB remains explicit

software_status

qualification_record_authority

hardware_status

not_executed

NG-011

Original field

Original value

task_id

NG-011

batch

B2

priority

P0

area

gpio

task

Implement fixed typed GPIO and authorized-mask batch operations

depends_on

NG-010

primary_role

K1

review_roles

B1;B2;Q1

deliverables

Fixed GPIO contract; SoC implementation; Native model; batch

software_exit

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

hardware_exit

GPIO waveforms/reset levels/concurrent electrical behavior; batch cycles

status

implemented

legacy_rf_refs

RF-HAL-01;RF-FIX-02

implementation_paths

io/include/nexus/io/gpio.h;soc/*/drivers/gpio.c;io/native/gpio.c

evidence_paths

tests/contracts/native_io_test.c;tests/contracts/stm32_io_test.c;tests/contracts/gd32_io_test.c;actual resource matrices

software_status

qualification_record_authority

hardware_status

not_executed

NG-012

Original field

Original value

task_id

NG-012

batch

B3

priority

P0

area

request

task

Implement caller-owned request rules and notification ports

depends_on

NG-007;NG-011

primary_role

K2

review_roles

K1;Q1;I1

deliverables

Admission/borrow/deadline/result contracts; necessary state helpers

software_exit

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

hardware_exit

Verify actual IRQ/DMA drain when accepting each provider

status

implemented

legacy_rf_refs

RF-HAL-01;RF-OS-01

implementation_paths

core/include/nexus/core/request.h;core/src/request.c;os/wait.c

evidence_paths

tests/contracts/core_contract_test.c;tests/contracts/components_owner.c

software_status

qualification_record_authority

hardware_status

not_executed

NG-013

Original field

Original value

task_id

NG-013

batch

B3

priority

P0

area

uart

task

Rebuild STM32 UART IRQ and receive profiles

depends_on

NG-008;NG-012

primary_role

B1

review_roles

K2;I1;Q2

deliverables

Direct typed UART; byte/event profiles; per-instance storage

software_exit

Compile actual IRQ implementations; model partial start/cancel/late IRQ/lost notifications; no idle DMA/legacy pool

hardware_exit

TC/abort/RX loss/time accuracy/throughput; unexecuted

status

implemented

legacy_rf_refs

RF-HAL-02;RF-FIX-03;RF-HIL-02

implementation_paths

soc/stm32f407/drivers/uart.c;io/include/nexus/io/uart.h

evidence_paths

tests/contracts/stm32_io_test.c;tests/contracts/stm32_model;actual ARM presets

software_status

qualification_record_authority

hardware_status

not_executed

NG-014

Original field

Original value

task_id

NG-014

batch

B3

priority

P0

area

uart

task

Rebuild GD32 UART IRQ and receive profiles

depends_on

NG-009;NG-012

primary_role

B2

review_roles

K2;I1;Q2

deliverables

Direct typed UART; byte/event profiles; per-instance storage

software_exit

Error/cancellation/TC contracts match STM public behavior; capability differences are explicit

hardware_exit

TC/abort/RX loss/time accuracy/throughput; unexecuted

status

implemented

legacy_rf_refs

RF-BRD-02;RF-HIL-02

implementation_paths

soc/gd32f470/drivers/uart.c;io/include/nexus/io/uart.h

evidence_paths

tests/contracts/gd32_io_test.c;contract_gd32_io;actual ARM preset

software_status

qualification_record_authority

hardware_status

not_executed

NG-015

Original field

Original value

task_id

NG-015

batch

B3

priority

P0

area

spi

task

Implement a single bus executor and actual SPI execution modes

depends_on

NG-010;NG-012

primary_role

B1;B2

review_roles

K2;I2;Q2

deliverables

Static endpoints; short polling; IRQ/DMA on demand; no fixed copy pool

software_exit

One wire-active owner; stable CS/configuration; absolute deadlines include queuing; service does not pretend to be asynchronous

hardware_exit

CS/clock/MISO/DMA abort/drain; qualify only actually measured modes

status

implemented

legacy_rf_refs

RF-HAL-01;RF-HAL-04;RF-HIL-02

implementation_paths

soc/*/drivers/spi.c;components/bus_owner/src/spi_owner.c;io/native/spi.c

evidence_paths

tests/contracts/components_spi.c;tests/contracts/_io_test.c;tests/contracts/_assembly/*spi.json

software_status

qualification_record_authority

hardware_status

not_executed

NG-016

Original field

Original value

task_id

NG-016

batch

B3

priority

P1

area

i2c

task

Implement MCU I2C providers with explicit scope

depends_on

NG-010;NG-012

primary_role

B1;B2

review_roles

K2;I2;Q2

deliverables

I2C endpoint;reviewed routes;transaction/STOP/recovery

software_exit

ACK/NACK/STOP/repeated START/failure scope is explicit; actual ARM linking; no success stubs

hardware_exit

Actual wiring/stuck bus/recovery/waveforms; unexecuted

status

implemented

legacy_rf_refs

RF-HAL-03;RF-HIL-02

implementation_paths

soc//drivers/i2c.c;tools/configure/_bindings.py;io/native/i2c.c

evidence_paths

tests/contracts/_io_test.c;tests/contracts/_assembly/*i2c.json

software_status

qualification_record_authority

hardware_status

not_executed

NG-017

Original field

Original value

task_id

NG-017

batch

B3

priority

P0

area

flash

task

Rebuild whole physical-Flash and restricted-region interfaces

depends_on

NG-008;NG-009;NG-012

primary_role

K2

review_roles

B1;B2;I2;Q2

deliverables

Exact geometry; region ports; pulse deadline/error contracts

software_exit

Reject range/overflow/erase-alignment errors; reserve no product region; hardware stops accessing before completion

hardware_exit

Erase/program/power and voltage/power loss; unexecuted

status

implemented

legacy_rf_refs

RF-FLS-01;RF-FLS-02;RF-FLS-03

implementation_paths

soc/*/drivers/flash.c;io/src/flash_region.c;io/include/nexus/io/flash.h

evidence_paths

tests/contracts/*_io_test.c;tests/contracts/components_flash_storage.c;tests/contracts/components_storage.c

software_status

qualification_record_authority

hardware_status

not_executed

NG-018

Original field

Original value

task_id

NG-018

batch

B3

priority

P1

area

watchdog

task

Implement vertical watchdog and reset-cause contracts

depends_on

NG-010;NG-012

primary_role

B1;B2

review_roles

K1;I2;Q2

deliverables

IWDG configuration/feed/reset cause; actual SoC implementation; Native model

software_exit

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

hardware_exit

Actual timeout reset/debug freeze/power-on reset cause; unexecuted

status

implemented

legacy_rf_refs

RF-ARC-01;RF-HIL-02;RF-HIL-03

implementation_paths

soc/*/drivers/watchdog.c;io/native/watchdog.c;io/include/nexus/io/watchdog.h

evidence_paths

tests/contracts/*_io_test.c;contract_gd32_watchdog-late-failure;contract_gd32_watchdog-hardware-enabled

software_status

qualification_record_authority

hardware_status

not_executed

NG-031

Original field

Original value

task_id

NG-031

batch

B3

priority

P1

area

exti

task

Implement static EXTI lines and shared-vector events

depends_on

NG-010;NG-011;NG-012

primary_role

B1;B2

review_roles

K1;Q1;Q2

deliverables

Reviewed lines/edges; shared vectors; bounded events; stop contract

software_exit

Actual SoC providers/ELF; reject duplicate lines; event overflow/order/stop drain; reject unimplemented modes

hardware_exit

Actual edges/debounce-policy boundaries/priorities/loss and drain; unexecuted

status

implemented

legacy_rf_refs

RF-HAL-01;RF-HIL-02

implementation_paths

soc/*/drivers/exti.c;io/include/nexus/io/exti.h;io/native/exti.c

evidence_paths

tests/contracts/_io_test.c;tests/contracts/_assembly/*exti.json

software_status

qualification_record_authority

hardware_status

not_executed

NG-032

Original field

Original value

task_id

NG-032

batch

B3

priority

P1

area

timer

task

Implement fixed timer timebases and PWM outputs

depends_on

NG-007;NG-010;NG-012

primary_role

B1;B2

review_roles

K1;I2;Q2

deliverables

Selected timer/channel; period/duty; electrical initial values; later capture/trigger resource boundaries

software_exit

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

hardware_exit

Actual period/duty/stopped output; initial modes unexecuted; capture/advanced separately accepted

status

implemented

legacy_rf_refs

RF-HAL-01;RF-HIL-02;RF-HIL-03

implementation_paths

soc/*/drivers/timer.c;io/include/nexus/io/timer.h;io/native/timer.c

evidence_paths

tests/contracts/_io_test.c;tests/contracts/_assembly/*pwm.json

software_status

qualification_record_authority

hardware_status

not_executed

NG-033

Original field

Original value

task_id

NG-033

batch

B3

priority

P1

area

adc

task

Implement ADC single-shot and low-rate scan

depends_on

NG-010;NG-012;NG-032

primary_role

B1;B2

review_roles

K2;I2;Q2

deliverables

Reviewed ADC channels/sequences; selected sampling modes; calibration; buffer contracts

software_exit

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

hardware_exit

Actual initial counts/accuracy/sample rate/timeout; unexecuted; high-rate trigger/DMA/block separately accepted

status

implemented

legacy_rf_refs

RF-HAL-01;RF-HIL-02;RF-HIL-03

implementation_paths

soc/*/drivers/adc.c;io/include/nexus/io/adc.h;io/native/adc.c

evidence_paths

tests/contracts/_io_test.c;tests/contracts/_assembly/adc.json

software_status

qualification_record_authority

hardware_status

not_executed

NG-019

Original field

Original value

task_id

NG-019

batch

B4

priority

P0

area

os

task

Implement thin wait/wake and per-object static OS storage

depends_on

NG-007;NG-012

primary_role

K1

review_roles

K2;Q1;R1

deliverables

Baremetal/FreeRTOS/Native capabilities; static task/queue parameters

software_exit

Drivers need not depend on OS; no universal maximum pool; correct delete/join reclamation timing; reject ISR-ceiling violations

hardware_exit

Actual scheduler/IRQ wake/stack/FPU; unexecuted

status

implemented

legacy_rf_refs

RF-OS-01;RF-OS-02

implementation_paths

os/baremetal/notify.c;os/native/native.c;os/freertos/freertos.c;os/README.md

evidence_paths

tests/contracts/os_wait.c;tests/contracts/os_freertos_runtime;build/ng-agent-cmake/evidence/freertos-100-fresh-processes.log

software_status

qualification_record_authority

hardware_status

not_executed

NG-020

Original field

Original value

task_id

NG-020

batch

B4

priority

P1

area

integration

task

Implement bounded multiproducer adapters and bus-owner examples

depends_on

NG-015;NG-019

primary_role

I1

review_roles

K2;Q1

deliverables

Explicit queue/service adapters; optional callback adapters

software_exit

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

hardware_exit

Measure maximum service intervals/loaded queues/fairness per product

status

implemented

legacy_rf_refs

RF-HAL-02;RF-CMP-01

implementation_paths

components/bus_owner/src/bus_owner.c;components/bus_owner/src/uart_owner.c;components/bus_owner/src/spi_owner.c

evidence_paths

tests/contracts/components_owner.c;tests/contracts/components_uart.c;tests/contracts/components_spi.c

software_status

qualification_record_authority

hardware_status

not_executed

NG-021

Original field

Original value

task_id

NG-021

batch

B4

priority

P1

area

devices

task

Implement one reusable external-device driver vertical slice

depends_on

NG-015;NG-020

primary_role

I2

review_roles

B1;B2;Q1

deliverables

Core/transport for one SPI device; external composition; select I2C devices separately as actually needed

software_exit

No Board pins/default tasks; correct chip-ID/parsing/failure/request lifetime; no invented support for unreviewed routes

hardware_exit

Connection/waveforms/measurement error/endurance load; unexecuted

status

implemented

legacy_rf_refs

RF-CMP-01

implementation_paths

components/bmp280/src/bmp280.c;components/bmp280/src/spi_transport.c

evidence_paths

tests/contracts/components_bmp280.c;tests/contracts/components_spi.c

software_status

qualification_record_authority

hardware_status

not_executed

NG-022

Original field

Original value

task_id

NG-022

batch

B4

priority

P1

area

components

task

Rebuild narrow-port boundaries for generic protocols/storage/logging

depends_on

NG-017;NG-019;NG-020

primary_role

I1;I2

review_roles

K2;Q1

deliverables

Actually selected component cores and adapters; remove default workers and global discovery

software_exit

Decouple protocols from OS/Board; correct formats/recovery; errors permit release; unused components are absent

hardware_exit

Wire timing/persistent-storage power loss/load qualified per component

status

implemented

legacy_rf_refs

RF-HAL-02;RF-CMP-01;RF-FIX-04;RF-FIX-05

implementation_paths

components/modbus;components/storage;components/log;components/README.md

evidence_paths

tests/contracts/components_modbus.c;tests/contracts/components_storage.c;tests/contracts/components_log.c

software_status

qualification_record_authority

hardware_status

not_executed

NG-023

Original field

Original value

task_id

NG-023

batch

B4

priority

P0

area

examples

task

Migrate external baremetal/FreeRTOS examples for three Boards

depends_on

NG-006;NG-013;NG-014;NG-019

primary_role

I1

review_roles

I2;R1;Q1

deliverables

Six baseline firmware configurations; SDK pins/callers; explanations

software_exit

Actual external builds/Native execution/six baseline ARM ELFs; extend functions only along supported routes

hardware_exit

Physical startup/UART and selected cases; unexecuted

status

implemented

legacy_rf_refs

RF-EX-01;RF-BLD-02

implementation_paths

X-Gen-Lab/nexus-examples:assemblies;X-Gen-Lab/nexus-examples:apps;X-Gen-Lab/nexus-examples:scripts

evidence_paths

external build/nextgen-development/native/ctest-results.xml;external build/nextgen-development/arm-development.json;clean pin pending

software_status

qualification_record_authority

hardware_status

not_executed

NG-024

Original field

Original value

task_id

NG-024

batch

B5

priority

P0

area

engineering

task

Expand local/PR/nightly risk gates and evidence

depends_on

NG-003;NG-004;NG-012

primary_role

R1

review_roles

TL;K1;Q1

deliverables

Selected analyzers; existing Doxygen contract templates; complete CI risk matrix; extend existing formatter/warning gates; consistent formatting directories and entries

software_exit

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

hardware_exit

Not applicable

status

implemented

legacy_rf_refs

RF-CI-01;RF-REL-02

implementation_paths

scripts/ci/style_gate.py;scripts/ci/quality_tools.py;.github/workflows;Doxyfile;docs/sphinx

evidence_paths

whole-file format/comments;compile_commands analyzer;actual Doxygen/Sphinx;CI workflow tests

software_status

qualification_record_authority

hardware_status

not_applicable

NG-025

Original field

Original value

task_id

NG-025

batch

B5

priority

P0

area

verification

task

Create new-contract failure/concurrency/boundary regressions

depends_on

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

primary_role

Q1

review_roles

K2;B1;B2

deliverables

Host/model/fuzz; sanitizers; boundary and late-event cases

software_exit

Actual nonempty execution; partial start/abort failure/timeout/full notification/stop races; failures do not release borrowed storage

hardware_exit

Models do not become hardware qualification; specific physical cases remain in HIL

status

implemented

legacy_rf_refs

RF-BAS-01;RF-HIL-03

implementation_paths

tests/contracts;tests/contracts/os_freertos_runtime;tests/contracts/stm32_model;tests/contracts/gd32_model

evidence_paths

actual Native/model CTest and sanitizer JUnit;tools unit suites

software_status

qualification_record_authority

hardware_status

not_executed

NG-026

Original field

Original value

task_id

NG-026

batch

B5

priority

P0

area

performance

task

Implement ELF resource budgets and controlled benchmark tools

depends_on

NG-002;NG-011;NG-023;NG-018;NG-031;NG-032;NG-033;NG-016;NG-021;NG-022

primary_role

Q1;R1

review_roles

K1;B1;B2

deliverables

Resource-schema reports; minimum image deltas; O2/Os/O3/LTO comparisons

software_exit

Static-budget overruns actually block; separate stack/instructions from cycles; same artifact identity

hardware_exit

Dedicated stations measure cycles/latency/high-water/loss/load; unexecuted

status

implemented

legacy_rf_refs

RF-HIL-03;RF-BLD-02

implementation_paths

tools/measurement/resources.py;tools/measurement/compare.py;tools/schemas/resource-budget.schema.json

evidence_paths

60 actual O2/Os/O3 with/without LTO images;18 GC checks;tests/contracts/test_measurement_*.py

software_status

qualification_record_authority

hardware_status

not_executed

NG-027

Original field

Original value

task_id

NG-027

batch

B5

priority

P0

area

hil

task

Rebuild HIL admission and prepare tooling for three Boards

depends_on

NG-010;NG-023;NG-026

primary_role

Q2

review_roles

B1;B2;R1

deliverables

Station/fixture/probe/serial tools; raw-evidence schema

software_exit

Actually reject wrong Board/ELF/configuration/empty station; software-tool preparation complete; do not execute disconnected devices

hardware_exit

Actual probes/flashing/readback/waveforms/power cuts/load require acceptance after connection

status

implemented

legacy_rf_refs

RF-HIL-01;RF-HIL-02;RF-HIL-03

implementation_paths

tools/hil/admit.py;tools/hil/fixtures;tests/contracts/test_hil_admission.py

evidence_paths

tests/contracts/test_hil_admission.py;three fixtures;incomplete station rejection;physical not executed

software_status

qualification_record_authority

hardware_status

not_executed

NG-028

Original field

Original value

task_id

NG-028

batch

B5

priority

P1

area

reproducibility

task

Independently accept hermetic and reproducible builds

depends_on

NG-003;NG-006;NG-024

primary_role

R1

review_roles

Q1;TL

deliverables

Formal offline builds; normalized paths; independent clean-rebuild comparison

software_exit

Network disabled and declared input boundaries; compare two clean ELF/BIN builds for determinism; do not call hashing reproducibility

hardware_exit

Not applicable

status

implemented

legacy_rf_refs

RF-SDK-02;RF-REL-01

implementation_paths

tools/evidence/container.py;tools/evidence/reproduce.py;tests/contracts/test_repro_execution.py

evidence_paths

tools/evidence/reproduce.py;delivery bundle/reproducibility*.json;two offline source SDK builds

software_status

qualification_record_authority

hardware_status

not_applicable

NG-029

Original field

Original value

task_id

NG-029

batch

B6

priority

P0

area

migration

task

Remove the old runtime architecture and atomically migrate consumption paths

depends_on

NG-023;NG-024;NG-025;NG-026

primary_role

TL;K1

review_roles

I1;B1;B2;R1;Q1

deliverables

Clean old APIs/targets/scripts/docs; source-migration guidance

software_exit

No permanent dual registries/objects/OS queues/configuration entries; external pins agree; persistent-data migration has a separate contract

hardware_exit

Deployed products require independent migration/recovery and physical regression

status

implemented

legacy_rf_refs

RF-HAL-01;RF-HAL-02;RF-ARC-01

implementation_paths

docs/delivery/migration.md;CMakeLists.txt;tools/configure;docs/archive

evidence_paths

current target/include/script graph;docs/archive;external caller migration development builds

software_status

qualification_record_authority

hardware_status

not_applicable

NG-030

Original field

Original value

task_id

NG-030

batch

B6

priority

P0

area

delivery

task

Archive new software candidates and exact support evidence

depends_on

NG-006;NG-023;NG-025;NG-026;NG-027;NG-028;NG-029;NG-018;NG-031;NG-032;NG-033

primary_role

R1;Q1

review_roles

TL;Q2;I1

deliverables

Source/configuration/tools/dependencies/ELF packages; supported tuples; known limits

software_exit

Current complete-source qualification; clean external source-SDK consumption; same-hash candidates; separate software and physical qualification

hardware_exit

Physical qualification and product-release promotion require separate acceptance; currently unexecuted

status

implemented

legacy_rf_refs

RF-REL-01;RF-REL-02

implementation_paths

tools/evidence/candidate.py;tools/evidence/proof.py;tools/evidence/qualification.py;docs/delivery/qualification.md

evidence_paths

tools/evidence/candidate.py;delivery bundle/candidate/candidate.json;six actual qualification scopes

software_status

qualification_record_authority

hardware_status

not_applicable