Developer experience 75-task ledger¶
This page derives from the original CSV; it is not a new status authority, execution record or software qualification. Original IDs, order and every original field come from the original ledger. Source: docs/design/developer-experience-execution.csv; SHA-256: 4262874b4348573e4908d30634fb02ddf33a63a5f83119f731efb1634fd07855.
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 75 original records; this is only the source row count.
W1-01¶
Original field |
Original value |
|---|---|
|
W1-01 |
|
Separate application and maintainer entry points |
|
implemented |
|
source_and_independent_bilingual_review_verified_strict_html_ci_live |
|
not_applicable |
|
docs/tutorials/source-sdk.md;README.md;README_CN.md |
|
docs/delivery/developer-experience-results.json |
|
Application quickstart precedes SDK maintenance and both locales agree |
|
codex |
W1-02¶
Original field |
Original value |
|---|---|
|
W1-02 |
|
Minimal Native product template |
|
implemented |
|
native_execution_passed |
|
not_applicable |
|
X-Gen-Lab/nexus-examples/templates/native |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/examples/development-summary.json |
|
External C11 product builds and runs through strong factory references |
|
codex |
W1-03¶
Original field |
Original value |
|---|---|
|
W1-03 |
|
F407 board product templates |
|
implemented |
|
actual_arm_link_and_budget_passed |
|
not_applicable |
|
X-Gen-Lab/nexus-examples/templates/qiming;X-Gen-Lab/nexus-examples/templates/sky |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/examples/development-summary.json |
|
Both reviewed F407 boards link with exact facts and explicit physical unknowns |
|
codex |
W1-04¶
Original field |
Original value |
|---|---|
|
W1-04 |
|
F470 board product template |
|
implemented |
|
actual_arm_link_and_budget_passed |
|
not_applicable |
|
X-Gen-Lab/nexus-examples/templates/liangshan |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/examples/development-summary.json |
|
Independent GD32 product consumes only public interfaces |
|
codex |
W1-05¶
Original field |
Original value |
|---|---|
|
W1-05 |
|
Versioned external project creation |
|
implemented |
|
focused_behavior_passed |
|
not_applicable |
|
tools/dev/projects.py;tools/testing/test_dev_projects.py |
|
docs/delivery/developer-experience-results.json;tools/testing/test_dev_projects.py;/tmp/nexus-iteration-20261024/devtools/projects-origin-green.log;/tmp/nexus-iteration-20261024/devtools/projects-budget-green.log |
|
Pinned template creates atomically and never overwrites an existing destination |
|
codex |
W1-06¶
Original field |
Original value |
|---|---|
|
W1-06 |
|
Daily flash debug and monitor tools |
|
implemented |
|
focused_behavior_passed |
|
not_executed |
|
tools/dev/device.py;tools/testing/test_dev_device.py |
|
docs/delivery/developer-experience-results.json;tools/testing/test_dev_device.py;/tmp/nexus-iteration-20261024/devtools/device-actions-green-01.log |
|
Explicit target probe image and bounded process lifecycle; hardware execution separate |
|
codex |
W1-07¶
Original field |
Original value |
|---|---|
|
W1-07 |
|
Clean user onboarding exercise |
|
implemented |
|
P_sdk_E_native_onboarding_and_authored_error_recovery_passed |
|
not_applicable |
|
tools/dev/projects.py;docs/tutorials/source-sdk.md;X-Gen-Lab/nexus-examples/templates/native |
|
docs/delivery/developer-experience-results.json |
|
Actual Native creation build execution and configuration-error recovery recorded |
|
codex |
W2-01¶
Original field |
Original value |
|---|---|
|
W2-01 |
|
Human-readable assembly explanation |
|
implemented |
|
focused_behavior_passed |
|
not_applicable |
|
tools/configure/experience.py |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/configuration/handoff.json;/tmp/nexus-iteration-20261024/configuration/experience-final-green.log |
|
Summary derives from resolved facts and preserves explicit JSON output |
|
codex |
W2-02¶
Original field |
Original value |
|---|---|
|
W2-02 |
|
Configuration location and provenance diagnostics |
|
implemented |
|
focused_behavior_passed |
|
not_applicable |
|
tools/configure/experience.py;tools/configure/configure.py |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/configuration/handoff.json;/tmp/nexus-iteration-20261024/configuration/experience-final-green.log |
|
Failure identifies file key and source constraint without changing rejection |
|
codex |
W2-03¶
Original field |
Original value |
|---|---|
|
W2-03 |
|
Resource conflict explanations |
|
implemented |
|
focused_behavior_passed |
|
not_applicable |
|
tools/configure/configure.py;tools/configure/experience.py |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/configuration/handoff.json;/tmp/nexus-iteration-20261024/configuration/experience-final-green.log |
|
Conflicting owners and resource are identified with real rejection regressions |
|
codex |
W2-04¶
Original field |
Original value |
|---|---|
|
W2-04 |
|
Board-first binding and capability queries |
|
implemented |
|
focused_behavior_passed |
|
not_applicable |
|
tools/configure/experience.py;tools/configure/experience.py |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/configuration/handoff.json;/tmp/nexus-iteration-20261024/configuration/experience-final-green.log |
|
Reviewed choices and limits visible without a guessed full assembly |
|
codex |
W2-05¶
Original field |
Original value |
|---|---|
|
W2-05 |
|
Validated profile-based assembly initialization |
|
implemented |
|
focused_behavior_passed |
|
not_applicable |
|
tools/configure/experience.py;tools/configure/experience.py |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/configuration/handoff.json;/tmp/nexus-iteration-20261024/configuration/experience-final-green.log |
|
Complete explicit TOML is resolved without fallback or implicit overlays |
|
codex |
W2-06¶
Original field |
Original value |
|---|---|
|
W2-06 |
|
Assembly difference explanation |
|
implemented |
|
focused_behavior_passed |
|
not_applicable |
|
tools/configure/experience.py |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/configuration/handoff.json;/tmp/nexus-iteration-20261024/configuration/experience-final-green.log |
|
Changes in routes modes storage and execution requirements are explained |
|
codex |
W2-07¶
Original field |
Original value |
|---|---|
|
W2-07 |
|
Editor schema and unit guidance |
|
implemented |
|
focused_behavior_passed |
|
not_applicable |
|
tools/configure/authored.py;tools/configure/assembly.schema.json |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/configuration/handoff.json;/tmp/nexus-iteration-20261024/configuration/experience-final-green.log |
|
Hints and examples agree with actual accepted and rejected fields |
|
codex |
W3-01¶
Original field |
Original value |
|---|---|
|
W3-01 |
|
Provider extension responsibility audit |
|
implemented |
|
generation_equivalence_passed |
|
not_applicable |
|
tools/configure/README.md |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/configuration/handoff.json;/tmp/nexus-iteration-20261024/configuration/experience-final-green.log;/tmp/nexus-iteration-20261024/configuration/emission-equivalence.json |
|
Family-specific decisions and necessary common responsibilities mapped |
|
codex |
W3-02¶
Original field |
Original value |
|---|---|
|
W3-02 |
|
Move family-specific resolution decisions |
|
implemented |
|
generation_equivalence_passed |
|
not_applicable |
|
tools/configure/configure.py;tools/configure/providers/common.py;tools/configure/providers/*/init.py;tools/configure/providers/stm32g474/adc_group.py |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/configuration/handoff.json;/tmp/nexus-iteration-20261024/configuration/experience-final-green.log;/tmp/nexus-iteration-20261024/configuration/emission-equivalence.json |
|
Common resolver retains transaction identity and resource arbitration |
|
codex |
W3-03¶
Original field |
Original value |
|---|---|
|
W3-03 |
|
Construction-driven emission |
|
implemented |
|
generation_equivalence_passed |
|
not_applicable |
|
tools/configure/emission.py;tools/configure/i2s2.py;tools/configure/providers/stm32h743/init.py |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/configuration/handoff.json;/tmp/nexus-iteration-20261024/configuration/experience-final-green.log;/tmp/nexus-iteration-20261024/configuration/emission-equivalence.json |
|
Emitters consume explicit provider construction and cleanup contracts |
|
codex |
W3-04¶
Original field |
Original value |
|---|---|
|
W3-04 |
|
Public class and family binding separation |
|
implemented |
|
generation_equivalence_passed |
|
not_applicable |
|
tools/configure/providers/common.py;tools/configure/providers/descriptor.py;tools/configure/README.md |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/configuration/handoff.json;/tmp/nexus-iteration-20261024/configuration/experience-final-green.log;/tmp/nexus-iteration-20261024/configuration/emission-equivalence.json |
|
Same-class provider additions do not duplicate public lifecycle semantics |
|
codex |
W3-05¶
Original field |
Original value |
|---|---|
|
W3-05 |
|
Reviewed peripheral IP reuse pilot |
|
verified_existing |
|
two_family_shared_engine_regressions_passed |
|
not_applicable |
|
soc/common/i2c_v1_async.c;tests/google/i2c_multi_controller_test.cpp;tests/google/i2c_multi_controller.cmake |
|
docs/delivery/developer-experience-results.json;tests/google/i2c_multi_controller_test.cpp;tests/google/i2c_multi_controller.cmake;/tmp/nexus-iteration-20261024/provider-vendor/handoff.json;/tmp/nexus-iteration-20261024/provider-vendor/final-google-results.json |
|
Equivalent hardware protocols share implementation while errata remain explicit |
|
codex |
W3-06¶
Original field |
Original value |
|---|---|
|
W3-06 |
|
Same-class instance extension exercise |
|
verified_existing |
|
two_family_multiple_controller_regressions_passed |
|
not_applicable |
|
tests/google/i2c_multi_controller_test.cpp;tests/google/i2c_multi_controller.cmake |
|
docs/delivery/developer-experience-results.json;tests/google/i2c_multi_controller_test.cpp;tests/google/i2c_multi_controller.cmake;/tmp/nexus-iteration-20261024/provider-vendor/final-google-results.json |
|
Independent resources IRQ bindings and retained software ownership verified |
|
codex |
W3-07¶
Original field |
Original value |
|---|---|
|
W3-07 |
|
H743 frame DMA2D source ownership |
|
implemented |
|
byte_equivalence_and_P_complete_sdk_consumption_verified |
|
not_applicable |
|
components/soc/stm32/stm32h743_frame_dma2d;components/soc/stm32/CMakeLists.txt;cmake/package/package_source_sdk.py;Doxyfile |
|
docs/delivery/developer-experience-results.json |
|
Chip extension moved with stable public identity and updated build SDK references |
|
codex |
W4-01¶
Original field |
Original value |
|---|---|
|
W4-01 |
|
Exact maintained support dimensions |
|
implemented |
|
configuration_projection_verified |
|
not_applicable |
|
tools/configure/experience.py |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/configuration/handoff.json;/tmp/nexus-iteration-20261024/configuration/experience-final-green.log |
|
Part revision mode clock memory backend route and evidence remain distinct |
|
codex |
W4-02¶
Original field |
Original value |
|---|---|
|
W4-02 |
|
Derived user support selection view |
|
implemented |
|
configuration_projection_verified |
|
not_applicable |
|
tools/configure/experience.py |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/configuration/handoff.json;/tmp/nexus-iteration-20261024/configuration/experience-final-green.log |
|
Existing authorities produce useful capability choices without a second status database |
|
codex |
W4-03¶
Original field |
Original value |
|---|---|
|
W4-03 |
|
Launch board fact and unknown audit |
|
reviewed |
|
official_source_and_unknown_facts_audited |
|
not_applicable |
|
boards/stm32f407_qiming_v31;boards/stm32f407ve_sky_qingchun;boards/gd32f470_liangshan;tools/configure/experience.py |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/provider-vendor/official-reuse-audit.json |
|
Reviewed sources retained and unobserved PCB wiring remains unknown |
|
codex |
W4-04¶
Original field |
Original value |
|---|---|
|
W4-04 |
|
Mode execution responsibility summaries |
|
implemented |
|
configuration_projection_verified |
|
not_applicable |
|
tools/configure/experience.py |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/configuration/handoff.json;/tmp/nexus-iteration-20261024/configuration/experience-final-green.log |
|
Admission executor service DMA borrow stop and recovery limits recorded |
|
codex |
W4-05¶
Original field |
Original value |
|---|---|
|
W4-05 |
|
Unsupported capability rejection boundaries |
|
implemented |
|
configuration_projection_verified |
|
not_applicable |
|
tools/configure/test_experience.py;tools/configure/providers/*/init.py |
|
docs/delivery/developer-experience-results.json;tools/configure/test_experience.py;/tmp/nexus-iteration-20261024/configuration/handoff.json;/tmp/nexus-iteration-20261024/configuration/experience-final-green.log;/tmp/nexus-iteration-20261024/configuration/emission-equivalence.json |
|
Invalid route memory backend and modes reject without implicit substitution |
|
codex |
W4-06¶
Original field |
Original value |
|---|---|
|
W4-06 |
|
Provider build SDK and test coverage mapping |
|
implemented |
|
mode_mapping_and_P_complete_50_consumer_plan_verified |
|
not_applicable |
|
tools/configure/dependencies.py;tools/configure/providers/descriptor.py;tools/configure/experience.py |
|
docs/delivery/developer-experience-results.json |
|
Every admitted mode resolves to actual implementation and explicit verification scope |
|
codex |
W4-07¶
Original field |
Original value |
|---|---|
|
W4-07 |
|
Compatibility and migration impact |
|
implemented |
|
configuration_projection_verified |
|
not_applicable |
|
tools/configure/README.md |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/configuration/handoff.json;/tmp/nexus-iteration-20261024/configuration/experience-final-green.log |
|
Source interface configuration and reference-scope changes explained precisely |
|
codex |
W5-01¶
Original field |
Original value |
|---|---|
|
W5-01 |
|
Three execution ownership recipes |
|
implemented |
|
native_recipes_passed_translation_reviewed |
|
not_applicable |
|
docs/guides/developer-workflow.md;X-Gen-Lab/nexus-examples/docs/developer-recipes.md |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/docs/source-check-02.json |
|
Main loop exclusive task and shared owner each define progress and shutdown |
|
codex |
W5-02¶
Original field |
Original value |
|---|---|
|
W5-02 |
|
Baremetal UART complete lifecycle example |
|
implemented |
|
native_execution_passed_mcu_link_passed_physical_pending |
|
not_executed |
|
X-Gen-Lab/nexus-examples/templates;tests/google |
|
docs/delivery/developer-experience-results.json;tests/google;/tmp/nexus-iteration-20261024/examples/development-summary.json |
|
Normal busy deadline cancel late IRQ and settlement preserve storage |
|
codex |
W5-03¶
Original field |
Original value |
|---|---|
|
W5-03 |
|
Shared SPI two-endpoint example |
|
implemented |
|
native_and_real_freertos_host_passed_arm_link_passed |
|
not_executed |
|
X-Gen-Lab/nexus-examples/apps/shared_spi_runtime;X-Gen-Lab/nexus-examples/tests/developer_recipes_test.cpp |
|
docs/delivery/developer-experience-results.json;X-Gen-Lab/nexus-examples/tests/developer_recipes_test.cpp;/tmp/nexus-iteration-20261024/examples/development-summary.json |
|
Explicit owner tasks storage arbitration cancellation and shutdown verified |
|
codex |
W5-04¶
Original field |
Original value |
|---|---|
|
W5-04 |
|
Continuous stream slow-consumer example |
|
implemented |
|
native_ownership_passed_h743_arm_link_passed |
|
not_executed |
|
X-Gen-Lab/nexus-examples/apps/stream_recovery;X-Gen-Lab/nexus-examples/tests/developer_recipes_test.cpp |
|
docs/delivery/developer-experience-results.json;X-Gen-Lab/nexus-examples/tests/developer_recipes_test.cpp;/tmp/nexus-iteration-20261024/examples/development-summary.json |
|
Block loans loss backpressure and recovery are observable without overwrite |
|
codex |
W5-05¶
Original field |
Original value |
|---|---|
|
W5-05 |
|
Composed lifecycle diagnostics |
|
implemented |
|
verified |
|
not_applicable |
|
io/include/nexus/io/diagnostic.h;io/src/mechanisms/diagnostic.c;tests/google/io_diagnostic_test.cpp |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/io-cost/handoff.json;/tmp/nexus-iteration-20261024/io-cost/observations/summary.json |
|
Known facts distinguish causes; missing evidence stays unknown and does not mutate ownership |
|
codex |
W5-06¶
Original field |
Original value |
|---|---|
|
W5-06 |
|
Explicit DMA storage assistance |
|
implemented |
|
verified |
|
not_applicable |
|
io/include/nexus/io/dma.h;io/src/mechanisms/dma.c;tests/google/dma_test.cpp |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/io-cost/handoff.json;/tmp/nexus-iteration-20261024/io-cost/observations/summary.json |
|
Alignment extent memory and cache ownership validated without hidden bounce buffers |
|
codex |
W5-07¶
Original field |
Original value |
|---|---|
|
W5-07 |
|
Necessary ergonomic helpers and timeout audit |
|
implemented |
|
verified |
|
not_applicable |
|
docs/guides/developer-workflow.md;X-Gen-Lab/nexus-examples/apps/shared_spi_runtime;X-Gen-Lab/nexus-examples/apps/stream_recovery |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/io-cost/handoff.json;/tmp/nexus-iteration-20261024/io-cost/observations/summary.json |
|
Real consumers justify helpers and no outstanding stack borrow escapes |
|
codex |
W6-01¶
Original field |
Original value |
|---|---|
|
W6-01 |
|
Representative benchmark identity |
|
implemented |
|
verified |
|
not_applicable |
|
tools/measurement/compare.py;tests/contracts/io_storage_cost |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/io-cost/handoff.json;/tmp/nexus-iteration-20261024/io-cost/observations/summary.json |
|
Configuration tools profiles load and reference workloads fixed |
|
codex |
W6-02¶
Original field |
Original value |
|---|---|
|
W6-02 |
|
Image resource decomposition |
|
implemented |
|
verified |
|
not_applicable |
|
tools/measurement/resources.py;tests/contracts/io_storage_cost/probe.c |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/io-cost/handoff.json;/tmp/nexus-iteration-20261024/io-cost/observations/summary.json |
|
Flash load layout sections RAM domains and caller storage reported separately |
|
codex |
W6-03¶
Original field |
Original value |
|---|---|
|
W6-03 |
|
Instance and capability marginal costs |
|
implemented |
|
verified |
|
not_applicable |
|
tests/contracts/io_storage_cost;tools/measurement/compare.py |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/io-cost/handoff.json;/tmp/nexus-iteration-20261024/io-cost/observations/summary.json |
|
Actual linked variants establish controller endpoint slot and mode deltas |
|
codex |
W6-04¶
Original field |
Original value |
|---|---|
|
W6-04 |
|
Operation table and linker retention audit |
|
implemented |
|
verified |
|
not_applicable |
|
tools/measurement/interfaces.py;tools/testing/test_interface_storage.py |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/io-cost/handoff.json;/tmp/nexus-iteration-20261024/io-cost/observations/summary.json |
|
Retained methods and selected modes inspected in actual ELF variants |
|
codex |
W6-05¶
Original field |
Original value |
|---|---|
|
W6-05 |
|
IRQ service and throughput measurement preparation |
|
prepared |
|
software_verified |
|
not_executed |
|
tools/hil/measure.py;docs/guides/performance-hil.md |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/io-cost/handoff.json;/tmp/nexus-iteration-20261024/io-cost/observations/summary.json |
|
Existing probes and capture tools preserve units and physical limitations |
|
codex |
W6-06¶
Original field |
Original value |
|---|---|
|
W6-06 |
|
Evidence-based resource optimization |
|
reviewed_keep_existing_ops |
|
verified |
|
not_applicable |
|
io/src/api;components/owner_observer;docs/guides/performance-hil.md |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/io-cost/handoff.json;/tmp/nexus-iteration-20261024/io-cost/observations/summary.json |
|
Only measured benefit with equivalent behavior enters production |
|
codex |
W6-07¶
Original field |
Original value |
|---|---|
|
W6-07 |
|
Performance regression rules |
|
implemented |
|
software_verified |
|
not_executed |
|
tools/measurement/soc_costs.py;docs/guides/performance-hil.md |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/io-cost/handoff.json;/tmp/nexus-iteration-20261024/io-cost/observations/summary.json |
|
Static and physical baselines separate noise and observed latency from WCET |
|
codex |
W7-01¶
Original field |
Original value |
|---|---|
|
W7-01 |
|
Official driver reuse inventory |
|
reviewed |
|
seven_dependency_scopes_audited |
|
not_applicable |
|
dependencies;tests/contracts/stm32_hal_reference/README.md |
|
docs/delivery/developer-experience-results.json;tests/contracts/stm32_hal_reference/README.md;/tmp/nexus-iteration-20261024/provider-vendor/official-reuse-audit.json;/tmp/nexus-iteration-20261024/provider-vendor/handoff.json |
|
Header LL algorithm and complete transport reuse distinguished by family |
|
codex |
W7-02¶
Original field |
Original value |
|---|---|
|
W7-02 |
|
Vendor dependency pairing and patch audit |
|
reviewed |
|
seven_locked_sources_verified |
|
not_applicable |
|
dependencies;tools/maintenance |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/provider-vendor/official-reuse-audit.json |
|
Exact source license CMSIS pairing and SDK closure reviewed |
|
codex |
W7-03¶
Original field |
Original value |
|---|---|
|
W7-03 |
|
Bounded vendor transport comparison contract |
|
implemented |
|
bounded_reference_contract_verified |
|
not_applicable |
|
tests/contracts/stm32_hal_reference/README.md;tests/contracts/stm32_hal_reference/adapter.h |
|
docs/delivery/developer-experience-results.json;tests/contracts/stm32_hal_reference/README.md;tests/contracts/stm32_hal_reference/adapter.h;/tmp/nexus-iteration-20261024/provider-vendor/handoff.json |
|
An existing maintained representative mode fixes semantics costs and failure exits |
|
codex |
W7-04¶
Original field |
Original value |
|---|---|
|
W7-04 |
|
Real STM32 HAL adaptation evaluation |
|
implemented_test_reference |
|
real_hal_adapter_15_cases_passed |
|
not_applicable |
|
tests/contracts/stm32_hal_reference/adapter.c;tests/contracts/stm32_hal_reference/reference_test.cpp |
|
docs/delivery/developer-experience-results.json;tests/contracts/stm32_hal_reference/adapter.c;tests/contracts/stm32_hal_reference/reference_test.cpp;/tmp/nexus-iteration-20261024/provider-vendor/hal-review-green.xml;/tmp/nexus-iteration-20261024/provider-vendor/hal-review-red.log;/tmp/nexus-iteration-20261024/provider-vendor/handoff.json |
|
Tick deadline callbacks abort and drain evaluated with one live peripheral owner |
|
codex |
W7-05¶
Original field |
Original value |
|---|---|
|
W7-05 |
|
GD32 official-operation reuse evaluation |
|
verified_existing_with_new_test |
|
real_spl_three_cases_passed |
|
not_applicable |
|
tests/google/gd32_official_gpio_test.cpp;tests/google/gd32_official.cmake |
|
docs/delivery/developer-experience-results.json;tests/google/gd32_official_gpio_test.cpp;tests/google/gd32_official.cmake;/tmp/nexus-iteration-20261024/provider-vendor/final-google-results.json |
|
Actual GD32 source and errata govern the chosen bounded algorithm |
|
codex |
W7-06¶
Original field |
Original value |
|---|---|
|
W7-06 |
|
Semantic cost and maintenance comparison |
|
evaluation_completed_scoped_negative |
|
real_vendor_behavior_production_cost_and_nonequivalent_layout_separated |
|
not_applicable |
|
tests/contracts/stm32_hal_reference/README.md;tests/contracts/stm32_hal_reference/layout.c;tools/measurement/compare.py |
|
docs/delivery/developer-experience-results.json;tests/contracts/stm32_hal_reference/README.md;tests/contracts/stm32_hal_reference/layout.c;/tmp/nexus-iteration-20261024/provider-vendor/handoff.json;/tmp/nexus-iteration-20261024/provider-vendor/hal-layout.json |
|
Actual vendor execution and linked cost evidence support a scoped decision |
|
codex |
W7-07¶
Original field |
Original value |
|---|---|
|
W7-07 |
|
Single production implementation decision |
|
decision_recorded |
|
single_production_ll_retained_scoped_reason_verified |
|
not_applicable |
|
tests/contracts/stm32_hal_reference/README.md;docs/design/developer-experience.md |
|
docs/delivery/developer-experience-results.json;tests/contracts/stm32_hal_reference/README.md;/tmp/nexus-iteration-20261024/provider-vendor/handoff.json |
|
Accepted implementation or justified retention documented; unused experimental paths removed |
|
codex |
W8-01¶
Original field |
Original value |
|---|---|
|
W8-01 |
|
Execution stage cost baseline |
|
implemented |
|
historical_receipts_observed_not_iteration_total |
|
not_applicable |
|
tools/dev/timings.py;tools/testing/test_dev_timings.py |
|
docs/delivery/developer-experience-results.json;tools/testing/test_dev_timings.py;/tmp/nexus-iteration-20261024/devtools/observed-costs-01.json;/tmp/nexus-iteration-20261024/devtools/timings-green-01.log |
|
Existing receipts distinguish preparation configure compile test docs and SDK with unknowns preserved |
|
codex |
W8-02¶
Original field |
Original value |
|---|---|
|
W8-02 |
|
Focused developer feedback discovery |
|
implemented |
|
focused_behavior_passed |
|
not_applicable |
|
tools/dev/dev.py;tools/testing/test_dev_efficiency.py;tools/dev/README.md |
|
docs/delivery/developer-experience-results.json;tools/testing/test_dev_efficiency.py;/tmp/nexus-iteration-20261024/devtools/efficiency-green-01.log |
|
Selected development tests easy to run and never qualify a complete source |
|
codex |
W8-03¶
Original field |
Original value |
|---|---|
|
W8-03 |
|
Repeated setup and process cost reduction |
|
implemented |
|
metadata_cost_measured_only |
|
not_applicable |
|
tools/dev/dev.py;tools/testing/test_dev_efficiency.py |
|
docs/delivery/developer-experience-results.json;tools/testing/test_dev_efficiency.py;/tmp/nexus-iteration-20261024/devtools/feedback-cost-comparison.json;/tmp/nexus-iteration-20261024/devtools/efficiency-green-01.log |
|
Equivalent independent coverage retained with measured preparation improvements |
|
codex |
W8-04¶
Original field |
Original value |
|---|---|
|
W8-04 |
|
Cache invalidation and concurrency budgets |
|
verified_existing |
|
cache_and_budget_regressions_passed |
|
not_applicable |
|
tools/dev/cache.py;tools/dev/process.py;tools/testing/test_dev_efficiency.py |
|
docs/delivery/developer-experience-results.json;tools/testing/test_dev_efficiency.py;/tmp/nexus-iteration-20261024/devtools/focused-integration-green-03.log |
|
Validated inputs and finite resource budgets improve repeat execution without report caching |
|
codex |
W8-05¶
Original field |
Original value |
|---|---|
|
W8-05 |
|
Test retention review |
|
reviewed |
|
independent_behavior_coverage_preserved |
|
not_applicable |
|
tools/dev/README.md;docs/development/workflow.md |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/devtools/test-retention-candidates.json;/tmp/nexus-iteration-20261024/devtools/test-retention-review.md |
|
Each deletion candidate identifies obsolete behavior or independent equivalent coverage |
|
codex |
W8-06¶
Original field |
Original value |
|---|---|
|
W8-06 |
|
Remove confirmed obsolete or duplicate tests |
|
reviewed_no_removal_justified |
|
no_test_deletion_or_gate_reduction_claimed |
|
not_applicable |
|
tools/dev/README.md;docs/development/workflow.md |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/devtools/test-retention-review.md |
|
Meaningful failure ownership isolation concurrency and consumption regressions retained |
|
codex |
W8-07¶
Original field |
Original value |
|---|---|
|
W8-07 |
|
Sustainable feedback and delivery constraints |
|
implemented |
|
P_complete_ordinary_gate_and_feedback_boundaries_verified |
|
not_applicable |
|
tools/dev/README.md;docs/development/workflow.md |
|
docs/delivery/developer-experience-results.json |
|
Measured feedback trends failures cancellation and normal complete gates remain enforced |
|
codex |
W9-01¶
Original field |
Original value |
|---|---|
|
W9-01 |
|
Remote platform and examples baseline |
|
reviewed |
|
actual_remote_baselines_observed |
|
not_applicable |
|
.gitmodules;X-Gen-Lab/nexus-examples/dependencies/nexus.lock.json |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/examples/development-summary.json |
|
Actual commits gitlinks and locks recorded rather than stale local snapshots |
|
codex |
W9-02¶
Original field |
Original value |
|---|---|
|
W9-02 |
|
Real examples platform migration |
|
implemented |
|
E_lock_gitlink_and_P_public_sdk_consumption_verified |
|
not_applicable |
|
X-Gen-Lab/nexus-examples/dependencies/nexus.lock.json;X-Gen-Lab/nexus-examples/.gitmodules |
|
docs/delivery/developer-experience-results.json |
|
Final platform source lock gitlink and public consumption agree |
|
codex |
W9-03¶
Original field |
Original value |
|---|---|
|
W9-03 |
|
Product recipes maintained externally |
|
implemented |
|
external_application_behavior_passed |
|
not_applicable |
|
X-Gen-Lab/nexus-examples/templates;X-Gen-Lab/nexus-examples/apps/shared_spi_runtime;X-Gen-Lab/nexus-examples/apps/stream_recovery |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/examples/development-summary.json |
|
Templates and lifecycle examples are real applications outside platform core |
|
codex |
W9-04¶
Original field |
Original value |
|---|---|
|
W9-04 |
|
Examples Native application CI |
|
implemented |
|
E_complete_local_native_gate_passed_hosted_ci_blocked_billing |
|
not_applicable |
|
X-Gen-Lab/nexus-examples/.github/workflows/ci.yml;X-Gen-Lab/nexus-examples/scripts/tdd_gate.py;X-Gen-Lab/nexus-examples/tests/developer_recipes_test.cpp |
|
docs/delivery/developer-experience-results.json |
|
Actual successful rejected and shutdown behavior runs with nonempty outcomes |
|
codex |
W9-05¶
Original field |
Original value |
|---|---|
|
W9-05 |
|
Examples ARM consumption CI |
|
implemented |
|
E_39_arm_images_and_budgets_passed_hosted_ci_blocked_billing |
|
not_applicable |
|
X-Gen-Lab/nexus-examples/.github/workflows/ci.yml;X-Gen-Lab/nexus-examples/apps/shared_spi_runtime/CMakeLists.txt;X-Gen-Lab/nexus-examples/apps/stream_recovery/h743/CMakeLists.txt |
|
docs/delivery/developer-experience-results.json;X-Gen-Lab/nexus-examples/.github/workflows/ci.yml |
|
Exact maintained board backend tuples link within public and resource boundaries |
|
codex |
W9-06¶
Original field |
Original value |
|---|---|
|
W9-06 |
|
Candidate to examples evidence association |
|
implemented |
|
immutable_P_E_sdk_and_application_evidence_associated |
|
not_applicable |
|
docs/delivery/developer-experience-results.json |
|
docs/delivery/developer-experience-results.json |
|
Platform and examples identities link independent SDK and application execution |
|
codex |
W9-07¶
Original field |
Original value |
|---|---|
|
W9-07 |
|
Upgrade exercise and bilingual migration guide |
|
implemented |
|
locked_platform_upgrade_and_actual_error_recovery_verified |
|
not_applicable |
|
docs/tutorials/source-sdk.md;docs/guides/developer-workflow.md;X-Gen-Lab/nexus-examples/docs/developer-recipes.md |
|
docs/delivery/developer-experience-results.json |
|
Actual locked baseline upgrade and failure diagnosis documented with hardware status separate |
|
codex |
I-01¶
Original field |
Original value |
|---|---|
|
I-01 |
|
Establish execution source and branches |
|
implemented |
|
actual_platform_and_examples_branches_observed |
|
not_applicable |
|
docs/delivery/developer-experience-results.json |
|
docs/delivery/developer-experience-results.json |
|
Actual final-source outputs and original evidence required |
|
codex |
I-02¶
Original field |
Original value |
|---|---|
|
I-02 |
|
Independent cross-layer review |
|
reviewed |
|
independent_cross_layer_findings_fixed_and_verified |
|
not_applicable |
|
tools/configure/test_experience.py;tools/testing/test_dev_projects.py;tests/contracts/stm32_hal_reference/reference_test.cpp |
|
docs/delivery/developer-experience-results.json |
|
Actual final-source outputs and original evidence required |
|
codex |
I-03¶
Original field |
Original value |
|---|---|
|
I-03 |
|
Final-source complete software gates |
|
implemented |
|
P_complete_ordinary_gate_passed_platform_remote_ci_not_yet_observed |
|
not_applicable |
|
scripts/ci/tdd_gate.py |
|
docs/delivery/developer-experience-results.json |
|
Actual final-source outputs and original evidence required |
|
codex |
I-04¶
Original field |
Original value |
|---|---|
|
I-04 |
|
Complete source SDK and external consumption |
|
implemented |
|
P_publishable_sdk_50_consumers_and_E_onboarding_passed |
|
not_applicable |
|
cmake/package/verify_consumers.py;cmake/package/package_source_sdk.py |
|
docs/delivery/developer-experience-results.json |
|
Actual final-source outputs and original evidence required |
|
codex |
I-05¶
Original field |
Original value |
|---|---|
|
I-05 |
|
Bilingual documentation and diagram delivery |
|
implemented |
|
local_fresh_bilingual_checks_passed_strict_html_ci_pending |
|
not_applicable |
|
docs/design/developer-experience.md;docs/guides/developer-workflow.md;docs/locale |
|
docs/delivery/developer-experience-results.json |
|
Actual final-source outputs and original evidence required |
|
codex |
I-06¶
Original field |
Original value |
|---|---|
|
I-06 |
|
Candidate identity and review handoff |
|
implemented |
|
P_E_software_review_handoff_bound_no_formal_candidate |
|
not_applicable |
|
docs/delivery/developer-experience-results.json |
|
docs/delivery/developer-experience-results.json |
|
Actual final-source outputs and original evidence required |
|
codex |
H1¶
Original field |
Original value |
|---|---|
|
H1 |
|
Launch board bring-up and developer tools |
|
prepared |
|
software_tools_verified_physical_not_executed |
|
not_executed |
|
tools/dev/device.py;tools/hil/fixtures |
|
docs/delivery/developer-experience-results.json |
|
Connected identified equipment exact image and actual observations required |
|
codex |
H2¶
Original field |
Original value |
|---|---|
|
H2 |
|
Serial SPI I2C and recovery |
|
prepared |
|
not_executed |
|
not_executed |
|
tools/hil;docs/guides/performance-hil.md |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/io-cost/handoff.json;/tmp/nexus-iteration-20261024/io-cost/observations/summary.json |
|
Connected identified equipment exact image and actual observations required |
|
codex |
H3¶
Original field |
Original value |
|---|---|
|
H3 |
|
IRQ CPU critical-section and latency measurement |
|
prepared |
|
not_executed |
|
not_executed |
|
tools/hil;docs/guides/performance-hil.md |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/io-cost/handoff.json;/tmp/nexus-iteration-20261024/io-cost/observations/summary.json |
|
Connected identified equipment exact image and actual observations required |
|
codex |
H4¶
Original field |
Original value |
|---|---|
|
H4 |
|
Continuous DMA and Cache coherence |
|
prepared |
|
not_executed |
|
not_executed |
|
tools/hil;docs/guides/performance-hil.md |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/io-cost/handoff.json;/tmp/nexus-iteration-20261024/io-cost/observations/summary.json |
|
Connected identified equipment exact image and actual observations required |
|
codex |
H5¶
Original field |
Original value |
|---|---|
|
H5 |
|
Flash watchdog and exceptional shutdown |
|
prepared |
|
not_executed |
|
not_executed |
|
tools/hil;docs/guides/performance-hil.md |
|
docs/delivery/developer-experience-results.json;/tmp/nexus-iteration-20261024/io-cost/handoff.json;/tmp/nexus-iteration-20261024/io-cost/observations/summary.json |
|
Connected identified equipment exact image and actual observations required |
|
codex |
H6¶
Original field |
Original value |
|---|---|
|
H6 |
|
Physical support-scope sealing |
|
pending |
|
not_executed |
|
not_executed |
|
(original field empty) |
|
(original field empty) |
|
Connected identified equipment exact image and actual observations required |
|
codex |