Document source: e47887d3a11f; code reference: e47887d3a11f. 中文. Source language: zh_CN; requested: en; actual: en; translation: reviewed.

Source documentation does not establish software or physical hardware qualification. See the support and qualification records for their exact scope.

Platform delivery-completion ledger

This page is derived from the original CSV; it is not another status authority, execution record or software qualification. The original IDs, order and every original field come from the original ledger. Source file: docs/design/platform-delivery-completion.csv; SHA-256: 413273431902252980fe72e3554e8a2a4d1d46f3f7f578d598f50456c1ccf83b.

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 210 original records; this is only the source row count.

N01

Original field	Original value
task_id	N01
task	Close the USB EP0 alert
implementation_status	implemented
software_status	native_regressions_passed_at_7590b2d4_codeql_access_403_still_open
hardware_status	not_applicable
implementation_paths	io/src/controllers/usb_device_controller.c;tests/google/usb_device_test.cpp
evidence_paths	docs/delivery/platform-delivery-completion-results.json;tests/google/usb_device_test.cpp;/tmp/nexus-next-20261024/provider/handoff.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;build/completion-20261030/remote/codeql-access.log
exit_condition	Address CodeQL with evidence; error paths must not incorrectly release requests, clocks or borrows.
owner	codex

N02

Original field	Original value
task_id	N02
task	Reduce configuration-tool dependencies
implementation_status	implemented
software_status	ir_generated_import_and_sdk_contracts_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/configure/;cmake/package/
evidence_paths	docs/delivery/platform-delivery-completion-results.json;/tmp/nexus-next-20261024/configuration/equivalence-green.json;/tmp/nexus-next-20261024/configuration/import-orders-green.log;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Preserve maintained configuration IR and generated-output equivalence; pass import-order tests and complete the SDK closure.
owner	codex

N03

Original field	Original value
task_id	N03
task	Review this iteration’s scan findings
implementation_status	reviewed_fixes_implemented
software_status	final_local_analyzers_passed_at_7590b2d4_current_codeql_disposition_open
hardware_status	not_applicable
implementation_paths	tools/maintenance/;tools/measurement/;tests/
evidence_paths	docs/delivery/platform-delivery-completion-results.json;/tmp/nexus-next-20261024/io-cost/handoff.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;build/completion-20261030/remote/codeql-access.log
exit_condition	Fix real defects with regressions; justify valid uses and false positives; do not expand ignores to hide new problems.
owner	codex

N04

Original field	Original value
task_id	N04
task	Consolidate branches and PRs
implementation_status	implemented
software_status	main_7590b2d4_examples_b029cc4b_post_merge_source_association_passed
hardware_status	not_applicable
implementation_paths	X-Gen-Lab/nexus;X-Gen-Lab/nexus-examples
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;https://github.com/X-Gen-Lab/nexus-examples/blob/1baac7b7946a3d71e855e41365972b0781af5291/docs-examples-delivery-20261029-gb029cc4b/recovery-index.json;build/c-cold-20261028/integration/final-main-sync/final-delivery-observation.json
exit_condition	Final main contains the intended changes; examples E locks an explicit platform revision; post-merge source and validation correspond.
owner	codex

N05

Original field	Original value
task_id	N05
task	Provide an examples local-CI entry
implementation_status	implemented
software_status	final_pinned_examples_b029cc4b_full_local_ci_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	X-Gen-Lab/nexus-examples/scripts/local_ci.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;X-Gen-Lab/nexus-examples/scripts/local_ci.py;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;https://github.com/X-Gen-Lab/nexus-examples/blob/1baac7b7946a3d71e855e41365972b0781af5291/docs-examples-delivery-20261029-gb029cc4b/recovery-index.json
exit_condition	A fresh checkout executes the complete scope with fixed dependencies and new output; missing tools fail and old reports reject.
owner	codex

N06

Original field	Original value
task_id	N06
task	Expose exact support and validation
implementation_status	implemented
software_status	exact_support_queries_and_contracts_passed_at_7590b2d4_no_physical_promotion
hardware_status	not_applicable
implementation_paths	tools/maintenance/capabilities.py;docs/delivery/capabilities.md
evidence_paths	docs/delivery/platform-delivery-completion-results.json;tools/testing/test_support_selection.py;/tmp/nexus-next-20261024/documentation/exact-support-observed.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Query what an exact configuration supports, how to verify it, and which selections are references or physically unmeasured.
owner	codex

N07

Original field	Original value
task_id	N07
task	Integrate private Boards and providers
implementation_status	implemented
software_status	external_board_provider_and_installed_sdk_contracts_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/configure/experience.py;docs/guides/board-porting.md
evidence_paths	docs/delivery/platform-delivery-completion-results.json;/tmp/nexus-next-20261024/configuration/final-focused-green.log;/tmp/nexus-next-20261024/examples/installed-board/result.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Integrate new Boards and same-family instances through maintained entry points without changing unrelated families or guessing PCB facts.
owner	codex

N08

Original field	Original value
task_id	N08
task	Explain configuration errors and change impacts
implementation_status	implemented
software_status	diagnostics_diff_and_rejection_contracts_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/configure/;docs/guides/developer-workflow.md
evidence_paths	docs/delivery/platform-delivery-completion-results.json;tools/configure/test_experience.py;/tmp/nexus-next-20261024/configuration/final-focused-green.log;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Human and JSON diagnostics share one record; conflicts are locatable; no automatic mode change or invented unknown facts.
owner	codex

N09

Original field	Original value
task_id	N09
task	Optimize measured hotspots and execution efficiency
implementation_status	implemented
software_status	current_ab532250_stage_costs_and_context_diagnostics_retained_actual_cold_warm_selected_scope_disposition_open
hardware_status	not_applicable
implementation_paths	tools/dev/process.py;tools/dev/timings.py;tools/configure/
evidence_paths	docs/delivery/platform-delivery-completion-results.json;/tmp/nexus-next-20261024/devtools/actual-resource-observation.json;/tmp/nexus-next-20261024/configuration/git-after-measurements.jsonl;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250;build/recovery-20261103/final-p2-baseline-repeat-20261103/control/comparison-semantics.json
exit_condition	Compare cold/warm runs in the same environment; preserve all distinct compiler contexts and failure diagnostics; never cache passing test reports.
owner	codex

N10

Original field	Original value
task_id	N10
task	Establish comparable I/O performance baselines
implementation_status	implemented_tooling
software_status	linked_resource_and_compare_contracts_passed_at_7590b2d4_physical_comparison_open
hardware_status	not_executed
implementation_paths	tools/hil/measure.py;tools/measurement/;docs/guides/performance-hil.md
evidence_paths	docs/delivery/platform-delivery-completion-results.json;tools/testing/test_hil_measurement_compare.py;/tmp/nexus-next-20261024/io-cost/handoff.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Bind each conclusion to raw measurements of the same image and before/after comparisons; unselected capabilities add no default resources; physical work stays pending until evidence exists.
owner	codex

N11

Original field	Original value
task_id	N11
task	Execute three-Board hardware acceptance
implementation_status	implemented_tooling
software_status	formal_plan_hil_tooling_prepared_at_7590b2d4_no_physical_execution
hardware_status	not_executed
implementation_paths	tools/hil/fixtures/;tools/hil/prepare.py;tools/hil/measure.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;tools/hil/fixtures/;tools/hil/prepare.py;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	For each Board retain firmware, equipment identity, instrument records and per-mode results; preserve unknowns explicitly; prepared tooling cannot replace the real hardware exit.
owner	codex

N12

Original field	Original value
task_id	N12
task	Audit H743 Flash and RAM
implementation_status	implemented
software_status	selected_flash_ram_models_arm_and_sdk_passed_at_7590b2d4_physical_exit_open
hardware_status	not_executed
implementation_paths	tools/measurement/;soc/stm32/stm32h743/drivers/flash.c
evidence_paths	docs/delivery/platform-delivery-completion-results.json;/tmp/nexus-next-20261024/provider/h743-arm-suite.json;/tmp/nexus-next-20261024/provider/h743-linked-costs.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Complete the software conclusion for the exact current profile; separately verify busy-bank, watchdog, power loss and IRQ on hardware.
owner	codex

N13

Original field	Original value
task_id	N13
task	Produce the current formal software candidate
implementation_status	implemented
software_status	eight_exact_P2_candidates16_fresh_network_none_builds_bitexact_sealed_restored_verified_at_ab532250
hardware_status	not_applicable
implementation_paths	tools/release/;tools/evidence/
evidence_paths	docs/delivery/platform-delivery-completion-results.json;tools/evidence/reproduce.py;tools/evidence/candidate.py;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250;build/recovery-20261103/final-delivery-ab532250-20261104/profiles-and-strict-docs-handoff.json;https://github.com/X-Gen-Lab/nexus/blob/71b4f0e4cc9168e708513fb647b903c4bb39c71e/docs-public-p2-ab532250-20261104/transport.json
exit_condition	Execute the complete software plan at final clean source; actually compare ELF/BIN from two independent network-disabled builds in the locked environment; seal/verify through the existing workflow.
owner	codex

N14

Original field	Original value
task_id	N14
task	Maintain documentation and original evidence
implementation_status	implemented_documentation
software_status	P2_SDK_docs_candidates_outer_recovery_and_current_public_installed_SDK_walk12commands1CTest_passed_D_pending
hardware_status	not_applicable
implementation_paths	docs/;tools/documentation/;tools/evidence/
evidence_paths	docs/delivery/platform-delivery-completion-results.json;/tmp/nexus-next-20261024/documentation/final-checks.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;https://github.com/X-Gen-Lab/nexus-examples/blob/1baac7b7946a3d71e855e41365972b0781af5291/docs-examples-delivery-20261029-gb029cc4b/recovery-index.json;https://github.com/X-Gen-Lab/nexus/blob/d14d093879362d6a1796ee9e0d47f75f793e5135/docs-asset-retention-20261030/WITHDRAWAL.md;https://github.com/X-Gen-Lab/nexus-examples/blob/8aa825c7d2cd8f58f4fa84869f16700aea400783/docs-legacy-examples-retention-20261030/retention-index.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250;https://github.com/X-Gen-Lab/nexus/blob/71b4f0e4cc9168e708513fb647b903c4bb39c71e/docs-public-p2-ab532250-20261104/transport.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250.subsequent_actual_results.private_current_E
exit_condition	Derive current status from existing indexes; preserve historical identities; retain one raw archive and a small index with verified recovery; external users actually complete install/create/build/run/upgrade.
owner	codex

A01

Original field	Original value
task_id	A01
task	Maintained coverage inventory
implementation_status	implemented
software_status	maintained_selection_inventory_recorded_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/configure/matrix.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/baseline-support.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Every maintained part mode backend and clock/security condition is enumerated from existing facts and catalogue
owner	codex

A02

Original field	Original value
task_id	A02
task	End-to-end implementation ownership
implementation_status	partial
software_status	final_c_path_audits_and_50_consumer_sdk_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/configure/matrix.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Every maintained path maps authored input IR generator C lifecycle face tests and external consumer
owner	codex

A03

Original field	Original value
task_id	A03
task	Behavior and linked cost baseline
implementation_status	partial
software_status	source_bound_linked_cost_observations_and_final_resource_checks_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/configure/matrix.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Exact historical and current observations are retained with source and configuration identity
owner	codex

B01

Original field	Original value
task_id	B01
task	C firmware and host generator boundary
implementation_status	implemented
software_status	maintained_c_hardware_boundary_and_final_gate_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	AGENTS.md;soc;drivers;tests/google
evidence_paths	docs/delivery/platform-delivery-completion-results.json;AGENTS.md;docs/guides/provider-porting.md;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	C owns hardware behavior; Python owns validation static declarations and connections; existing style remains
owner	codex

B02

Original field	Original value
task_id	B02
task	Concrete lifecycle contracts
implementation_status	implemented
software_status	concrete_c_lifecycle_contracts_and_final_gate_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	AGENTS.md;soc;drivers;tests/google
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Context ownership preconditions partial effects cleanup retry and irreversible peripheral behavior are explicit
owner	codex

B03

Original field	Original value
task_id	B03
task	Unique resource receipts
implementation_status	implemented
software_status	c_resource_receipt_ownership_and_final_gate_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	AGENTS.md;soc;drivers;tests/google
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Pins clocks IRQ DMA and shared controller state have one restoration owner without duplicate persistent snapshots
owner	codex

B04

Original field	Original value
task_id	B04
task	Lifecycle failure regressions
implementation_status	implemented
software_status	recorded_lifecycle_red_green_and_final_native_modes_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	AGENTS.md;soc;drivers;tests/google
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Real C tests cover refusal partial acquire cleanup failure retained retry and instance isolation before implementation
owner	codex

B05

Original field	Original value
task_id	B05
task	Cold migration linked cost
implementation_status	implemented
software_status	selected_unselected_arm_budget_and_retention_checks_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	AGENTS.md;soc;drivers;tests/google
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Selected and unselected actual ARM images preserve bounded state and no mandatory allocation workers or locks
owner	codex

C01

Original field	Original value
task_id	C01
task	Native complete maintained lifecycle
implementation_status	implemented
software_status	maintained_native_c_lifecycle_four_modes_and_sdk_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	soc;tests/google;tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/legacy;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	All maintained Native modes and enhanced endpoints have C behavior and public consumer regressions
owner	codex

C02

Original field	Original value
task_id	C02
task	STM32F103 complete maintained lifecycle
implementation_status	implemented
software_status	maintained_f103_c_lifecycle_models_arm_and_sdk_passed_at_7590b2d4
hardware_status	not_executed
implementation_paths	soc;tests/google;tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/legacy;build/c-cold-20261028/legacy/ordinary-gate/package.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Every maintained mode including AFIO channel DMA IRQ I2C and all resource emission has C hardware behavior
owner	codex

C03

Original field	Original value
task_id	C03
task	GD32F303 complete maintained lifecycle
implementation_status	implemented
software_status	maintained_gd303_c_lifecycle_models_arm_and_sdk_passed_at_7590b2d4
hardware_status	not_executed
implementation_paths	soc;tests/google;tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/legacy;build/c-cold-20261028/legacy/ordinary-gate/package.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Every maintained mode including RCU AFIO ADC divider channel DMA and resource emission has C hardware behavior
owner	codex

C04

Original field	Original value
task_id	C04
task	STM32F407 complete maintained lifecycle
implementation_status	implemented
software_status	maintained_f407_c_lifecycle_models_arm_and_sdk_passed_at_7590b2d4
hardware_status	not_executed
implementation_paths	soc;tests/google;tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/f407;build/c-cold-20261028/f407/full-family-package.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	All maintained modes primary and secondary controllers and platform resource lifecycle move hardware behavior to C
owner	codex

C05

Original field	Original value
task_id	C05
task	GD32F470 complete maintained lifecycle
implementation_status	implemented
software_status	maintained_gd470_c_lifecycle_models_arm_and_sdk_passed_at_7590b2d4
hardware_status	not_executed
implementation_paths	soc;tests/google;tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/gd470;/dev/shm/nexus-next-gd470/build/gd470-cold/family-increment-paths.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	All maintained modes primary and secondary controllers and platform resource lifecycle move hardware behavior to C
owner	codex

C06

Original field	Original value
task_id	C06
task	STM32G474 complete maintained lifecycle
implementation_status	implemented
software_status	maintained_g474_c_lifecycle_models_arm_and_sdk_passed_at_7590b2d4
hardware_status	not_executed
implementation_paths	soc;tests/google;tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/modern;/dev/shm/nexus-next-g474/build/cold-g474/handoff.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Basic named-pin shared/coherent/coupled timer ADC groups encoder FDCAN and resource lifecycle close
owner	codex

C07

Original field	Original value
task_id	C07
task	STM32H743 complete maintained lifecycle
implementation_status	implemented
software_status	maintained_h743_c_lifecycle_models_arm_and_sdk_passed_at_7590b2d4
hardware_status	not_executed
implementation_paths	soc;tests/google;tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/modern;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Basic FIFO finite/continuous DMA cache flash and fixed-run resource paths have C behavior
owner	codex

C08

Original field	Original value
task_id	C08
task	STM32U575 complete maintained lifecycle
implementation_status	implemented
software_status	maintained_u575_c_lifecycle_models_arm_and_sdk_passed_at_7590b2d4
hardware_status	not_executed
implementation_paths	soc;tests/google;tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/modern;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Basic FIFO GPDMA chain ADC4 RTC LPTIM retained domains and resource paths have C behavior
owner	codex

X01

Original field	Original value
task_id	X01
task	Platform preflight and resource lifecycle
implementation_status	implemented
software_status	c_preflight_and_resource_contracts_final_gate_passed_at_7590b2d4
hardware_status	not_executed
implementation_paths	soc;tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Hardware reads admission pin capture restore readback clock and IRQ resource algorithms live in C
owner	codex

X02

Original field	Original value
task_id	X02
task	Secondary and shared physical owners
implementation_status	implemented
software_status	secondary_shared_owner_contracts_final_gate_passed_at_7590b2d4
hardware_status	not_executed
implementation_paths	soc;tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Each physical controller starts/stops once; selected ownership and multi-instance isolation remain exact
owner	codex

X03

Original field	Original value
task_id	X03
task	Enhanced and packet endpoints
implementation_status	implemented
software_status	packet_endpoint_and_shared_domain_contracts_final_gate_passed_at_7590b2d4
hardware_status	not_executed
implementation_paths	soc;tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/legacy;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	SPI outer engine CAN filter USB activation Ethernet and MDIO failure/stop ordering close
owner	codex

X04

Original field	Original value
task_id	X04
task	H743 pause resume and Flash execution
implementation_status	implemented
software_status	h743_fixed_run_and_flash_ram_closure_passed_at_7590b2d4_physical_exit_open
hardware_status	not_executed
implementation_paths	soc;tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Same C resource lifecycle is reused; actual public Flash retention and ARM closure remain verified separately
owner	codex

X05

Original field	Original value
task_id	X05
task	Lowpower I2S2 retained special paths
implementation_status	implemented
software_status	selected_retained_i2s2_and_lowpower_c_paths_final_gate_passed_at_7590b2d4
hardware_status	not_executed
implementation_paths	soc;tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Declaration-only selection remains Python; existing C paths regress; special retained components are explicitly audited
owner	codex

D01

Original field	Original value
task_id	D01
task	Canonical controller category contracts
implementation_status	implemented
software_status	canonical_category_contracts_final_gate_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/contracts/green-final.log;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Authored fields selected fields kind order and public header mappings share immutable category metadata
owner	codex

D02

Original field	Original value
task_id	D02
task	Resolver stage ownership
implementation_status	implemented
software_status	frozen_stage_and_device_graph_contracts_final_gate_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/config;build/c-cold-20261028/device-graph-stage/handoff.json;build/c-cold-20261028/fact-stage-increment/handoff.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Fact selection memory layout dependencies controllers endpoints and resources use named stage results without reinterpreting TOML
owner	codex

D03

Original field	Original value
task_id	D03
task	Complete selected integration consumption
implementation_status	implemented
software_status	canonical_selected_consumption_audit_and_final_gate_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;build/c-cold-20261028/integration/d03/results-01.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	All maintained constructors and resource emitters consume canonical selected IRQ DMA clock pin and owner records
owner	codex

D04

Original field	Original value
task_id	D04
task	Exact clock and DMA models
implementation_status	implemented
software_status	exact_clock_and_dma_contracts_final_gate_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Channel stream DMAMUX GPDMA and real kernel clock differences retain exact contracts without F4-shaped guesses
owner	codex

D05

Original field	Original value
task_id	D05
task	Validate all exact part variants
implementation_status	implemented
software_status	exact_part_rejection_and_boundary_contracts_final_gate_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/config;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Unselected package Flash memory DMA overlap and PartPolicy defects are rejected through common validation
owner	codex

D06

Original field	Original value
task_id	D06
task	Logical runtime power references
implementation_status	implemented
software_status	logical_runtime_reference_contracts_final_gate_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/config;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Renamed selected ID works with matching references; fixed physical SPI4 mode/backend/clock restrictions remain
owner	codex

D07

Original field	Original value
task_id	D07
task	Configuration and SDK input closure
implementation_status	implemented
software_status	configuration_payload_and_installed_sdk_closure_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/configure
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Every added module and private payload participates in identity stale-input invalidation and installed SDK consumption
owner	codex

E01

Original field	Original value
task_id	E01
task	All-mode public consumption
implementation_status	partial
software_status	maintained_public_consumption_and_50_consumer_sdk_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	io;docs;X-Gen-Lab/nexus-examples
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Each maintained mode works with only public and generated headers including exact storage and typed factory
owner	codex

E02

Original field	Original value
task_id	E02
task	Startup shutdown recipes
implementation_status	implemented
software_status	pinned_examples_startup_shutdown_recipes_passed_at_7590b2d4_examples_b029cc4b
hardware_status	not_applicable
implementation_paths	io;docs;X-Gen-Lab/nexus-examples
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;https://github.com/X-Gen-Lab/nexus-examples/blob/1baac7b7946a3d71e855e41365972b0781af5291/docs-examples-delivery-20261029-gb029cc4b/recovery-index.json
exit_condition	Submitter admission service settle drain join and platform stop responsibilities are compilable and explicit
owner	codex

E03

Original field	Original value
task_id	E03
task	Failure and recovery recipes
implementation_status	implemented
software_status	pinned_examples_failure_recovery_recipes_passed_at_7590b2d4_examples_b029cc4b
hardware_status	not_applicable
implementation_paths	io;docs;X-Gen-Lab/nexus-examples
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;https://github.com/X-Gen-Lab/nexus-examples/blob/1baac7b7946a3d71e855e41365972b0781af5291/docs-examples-delivery-20261029-gb029cc4b/recovery-index.json
exit_condition	Timeout cancellation and failed drain retain loans; quarantine and recovery responsibility remain explicit
owner	codex

E04

Original field	Original value
task_id	E04
task	Advanced usage recipes
implementation_status	implemented
software_status	three_current_advanced_recipes_covered_by_full17_presets116commands_at_private_f59debf_pinned_P2_no_HIL
hardware_status	not_applicable
implementation_paths	io;docs;X-Gen-Lab/nexus-examples
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;https://github.com/X-Gen-Lab/nexus-examples/blob/1baac7b7946a3d71e855e41365972b0781af5291/docs-examples-delivery-20261029-gb029cc4b/recovery-index.json;https://github.com/X-Gen-Lab/nexus-examples/pull/19;https://github.com/X-Gen-Lab/nexus-examples/pull/20;https://github.com/X-Gen-Lab/nexus-examples/blob/5fb06175aab72292fb075e8a9ea67096203a86dc/docs/developer-recipes.md;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250.subsequent_actual_results.private_current_E
exit_condition	Continuous DMA cache FIFO shared SPI Flash RAM pause/resume and maintained lowpower slices have reusable recipes
owner	codex

E05

Original field	Original value
task_id	E05
task	External starters and examples
implementation_status	implemented
software_status	current17_presets116commands_native28CTest18Google204_installed2CTest_passed_private_f59debf_pinned_P2
hardware_status	not_applicable
implementation_paths	io;docs;X-Gen-Lab/nexus-examples
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;https://github.com/X-Gen-Lab/nexus-examples/blob/1baac7b7946a3d71e855e41365972b0781af5291/docs-examples-delivery-20261029-gb029cc4b/recovery-index.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250.subsequent_actual_results.private_current_E
exit_condition	All 17 maintained presets four starters and standalone public consumers use the final pinned platform
owner	codex

E06

Original field	Original value
task_id	E06
task	Bilingual current architecture docs
implementation_status	implemented
software_status	P2_strict_bilingual132pages264records_and_current_E_examples_compiled_D_final_docs_pending
hardware_status	not_applicable
implementation_paths	io;docs;X-Gen-Lab/nexus-examples
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/docs;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250;build/recovery-20261103/final-delivery-ab532250-20261104/profiles-and-strict-docs-handoff.json;https://github.com/X-Gen-Lab/nexus/blob/71b4f0e4cc9168e708513fb647b903c4bb39c71e/docs-public-p2-ab532250-20261104/transport.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250.subsequent_actual_results.private_current_E
exit_condition	English Chinese diagrams ownership call directions failures and exact support agree and examples compile
owner	codex

F01

Original field	Original value
task_id	F01
task	Validation contract and cost inventory
implementation_status	implemented_current159_contract_cost_inventory
software_status	current159_contract_overlap_and_actual_stage_attempt_costs_reconciled_at_ab532250
hardware_status	not_applicable
implementation_paths	tools/dev;scripts/ci;tests
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250;build/recovery-20261103/final-p2-baseline-repeat-20261103/control/baseline-repeat-costs.json
exit_condition	Each required check has purpose domain input output failure and measured cost; overlaps have explicit disposition
owner	codex

F02

Original field	Original value
task_id	F02
task	Formal analyzer parallel budget
implementation_status	implemented
software_status	bounded_tidy_cppcheck_all1193_contexts_each1303_owned_TUs_parallel4_passed_at_ab532250
hardware_status	not_applicable
implementation_paths	tools/dev;scripts/ci;tests
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/workflow;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250;build/recovery-20261103/final-p2-baseline-repeat-20261103/control/baseline/verified-execution.json;build/recovery-20261103/final-p2-baseline-repeat-20261103/control/repeat/verified-execution.json
exit_condition	Formal tidy/cppcheck use bounded existing parallelism without dropping semantic compiler contexts
owner	codex

F03

Original field	Original value
task_id	F03
task	Nested process resource budget
implementation_status	implemented
software_status	nested_budget_and_output_isolation_contracts_final_gate_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/dev;scripts/ci;tests
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Build provider SDK and analyzer concurrency obey total resource limits with isolated output paths
owner	codex

F04

Original field	Original value
task_id	F04
task	Test and setup redundancy review
implementation_status	implemented
software_status	original_exit_mapping_review_passed_at_d742cdb5_final_gate_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/dev;scripts/ci;tests
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;build/c-cold-20261028/workflow/f04-review/review.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;build/c-cold-20261028/workflow/f04-review/f04-original-exit-p5-review.json
exit_condition	Only immutable setup is shared; every retained merged or removed test has an independent contract/oracle mapping
owner	codex

F05

Original field	Original value
task_id	F05
task	Incremental rebuild and cache invalidation
implementation_status	implemented
software_status	incremental_invalidation_contracts_and_final_gate_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/dev;scripts/ci;tests
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;/dev/shm/nexus-next-workflow/build/workflow/f05-summary.json;build/c-cold-20261028/workflow/incremental-arm-03/summary.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	No-op source public header TOML Board and tool-lock changes rebuild the correct scope without cached pass reports
owner	codex

F06

Original field	Original value
task_id	F06
task	Timing failure and process cleanup
implementation_status	implemented
software_status	actual_final_receipts_and_failures_retained_at_7590b2d4_candidate_outer_exit_unknown
hardware_status	not_applicable
implementation_paths	tools/dev;scripts/ci;tests
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Wall time stage sums retries diagnostics cancellation and actual child cleanup remain accurately observed
owner	codex

F07

Original field	Original value
task_id	F07
task	Measured complete validation comparison
implementation_status	implemented_selected_same_environment_comparison
software_status	same_P2_tool_env_complete159_pair_actual_time_max_process_RSS_coverage_observed_no_freshcold_no_causal_speedup
hardware_status	not_applicable
implementation_paths	tools/dev;scripts/ci;tests
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250;build/recovery-20261103/final-p2-baseline-repeat-20261103/control/baseline-repeat-costs.json;build/recovery-20261103/final-p2-baseline-repeat-20261103/control/comparison-semantics.json
exit_condition	Same environment comparison shows actual time/memory/coverage; final clean source executes complete applicable gates
owner	codex

G01

Original field	Original value
task_id	G01
task	Maintained end-to-end orchestration
implementation_status	partial
software_status	P2_qualify_candidates_SDK_docs_local_and_remote_recovery_plus_current_E_and_public_walk_passed_D_deploy_FF_pending
hardware_status	not_applicable
implementation_paths	tools/documentation;tools/evidence;tools/release;docs
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250;build/recovery-20261103/final-delivery-ab532250-20261104/profiles-and-strict-docs-handoff.json;build/recovery-20261103/final-delivery-ab532250-20261104/unsigned-local-bundle-handoff.json;https://github.com/X-Gen-Lab/nexus/blob/71b4f0e4cc9168e708513fb647b903c4bb39c71e/docs-public-p2-ab532250-20261104/transport.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250.subsequent_actual_results.private_current_E
exit_condition	Existing qualify/candidate examples docs release commands form one maintained source-bound workflow
owner	codex

G02

Original field	Original value
task_id	G02
task	Stable machine delivery results
implementation_status	implemented
software_status	atomic_result_and_manifest_contracts_final_gate_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/documentation;tools/evidence;tools/release;docs
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/workflow;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Explicit atomic report/manifest consumption rejects stale missing mismatched and failed results without parsing human stdout
owner	codex

G03

Original field	Original value
task_id	G03
task	Accurate delivery failure recovery
implementation_status	partial
software_status	immutable_packages_and_independent_remote_recovery_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	tools/documentation;tools/evidence;tools/release;docs
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/workflow;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Package postprocess verify restore upload publish phases stay distinct; immutable successful package can be resumed safely
owner	codex

G04

Original field	Original value
task_id	G04
task	Latest delivery navigation
implementation_status	implemented
software_status	source_bound_7590b2d4_evidence_navigation_updated_doc_execution_identity_separate
hardware_status	not_applicable
implementation_paths	tools/documentation;tools/evidence;tools/release;docs
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;https://github.com/X-Gen-Lab/nexus/blob/d14d093879362d6a1796ee9e0d47f75f793e5135/docs-asset-retention-20261030/WITHDRAWAL.md;https://github.com/X-Gen-Lab/nexus-examples/blob/8aa825c7d2cd8f58f4fa84869f16700aea400783/docs-legacy-examples-retention-20261030/retention-index.json
exit_condition	Current code selected qualified candidates docs examples and historical evidence have discoverable exact identities
owner	codex

G05

Original field	Original value
task_id	G05
task	Portable retention and independent restore
implementation_status	implemented
software_status	P2_unsigned_outer_public_remote_join_store_restore_sameNative_verify_passed_fullNative_bytes_local42plus4
hardware_status	not_applicable
implementation_paths	tools/documentation;tools/evidence;tools/release;docs
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;https://github.com/X-Gen-Lab/nexus-examples/blob/1baac7b7946a3d71e855e41365972b0781af5291/docs-examples-delivery-20261029-gb029cc4b/recovery-index.json;https://github.com/X-Gen-Lab/nexus/blob/d14d093879362d6a1796ee9e0d47f75f793e5135/docs-asset-retention-20261030/WITHDRAWAL.md;https://github.com/X-Gen-Lab/nexus-examples/blob/8aa825c7d2cd8f58f4fa84869f16700aea400783/docs-legacy-examples-retention-20261030/retention-index.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250;https://github.com/X-Gen-Lab/nexus/blob/71b4f0e4cc9168e708513fb647b903c4bb39c71e/docs-public-p2-ab532250-20261104/transport.json;build/recovery-20261103/publication-p2-transport-ab532250-20261104/remote-recovery-liveverify-handoff.json
exit_condition	Necessary source SDK binaries config logs verifiers docs and licenses remain obtainable outside original checkout and tmp
owner	codex

G06

Original field	Original value
task_id	G06
task	Bilingual publication verification
implementation_status	pending
software_status	bilingual_package_recovered_at_7590b2d4_actual_pages_publication_not_executed
hardware_status	not_applicable
implementation_paths	tools/documentation;tools/evidence;tools/release;docs
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Language versions links packages actual deployed bytes and publication status are independently verified
owner	codex

H01

Original field	Original value
task_id	H01
task	Complete physical experiment catalogue
implementation_status	pending
software_status	not_executed
hardware_status	not_executed
implementation_paths	tools/hil;tools/testing
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028
exit_condition	Each maintained board/revision profile backend mode workload instrument budget and raw requirement is explicit
owner	codex

H02

Original field	Original value
task_id	H02
task	Reviewed physical fixture preparation
implementation_status	pending
software_status	not_executed
hardware_status	not_executed
implementation_paths	tools/hil;tools/testing
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028
exit_condition	All selected exact reference targets have explicit fixture/tool readiness; software_reference never auto-promotes
owner	codex

H03

Original field	Original value
task_id	H03
task	Real station admit and flash closure
implementation_status	pending
software_status	not_executed
hardware_status	not_executed
implementation_paths	tools/hil;tools/testing
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028
exit_condition	Actual UID probe serial clock power wiring tool identity flash readback reset and UART records validate
owner	codex

H04

Original field	Original value
task_id	H04
task	Instrument and peer acquisition
implementation_status	pending
software_status	not_executed
hardware_status	not_executed
implementation_paths	tools/hil;tools/testing
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028
exit_condition	Real waveform serial register stack fault and cleanup/cancel observations bind to the selected station and image
owner	codex

H05

Original field	Original value
task_id	H05
task	Power acquisition validation
implementation_status	implemented_tooling
software_status	affected_53_tests_passed_no_skip
hardware_status	not_executed
implementation_paths	tools/hil;tools/testing
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028/workflow/power-all-toolchain-green.log
exit_condition	Retained calibrated bounded V/I samples yield repeatable power/energy with admission identity and failure regressions
owner	codex

H06

Original field	Original value
task_id	H06
task	Physical peripheral and failure execution
implementation_status	pending
software_status	not_executed
hardware_status	not_executed
implementation_paths	tools/hil;tools/testing
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028
exit_condition	Every selected maintained peripheral executes positive work and actual failure stimuli within reviewed budgets
owner	codex

H07

Original field	Original value
task_id	H07
task	Physical advanced DMA cache streams
implementation_status	pending
software_status	not_executed
hardware_status	not_executed
implementation_paths	tools/hil;tools/testing
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028
exit_condition	Memory completion wire idle CPU visibility ownership settlement and stop/recovery are observed per exact mode
owner	codex

H08

Original field	Original value
task_id	H08
task	Physical OS latency and stack
implementation_status	pending
software_status	not_executed
hardware_status	not_executed
implementation_paths	tools/hil;tools/testing
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028
exit_condition	Each maintained backend observes IRQ-to-task service deadline complete task/MSP stack and endurance using its own contract
owner	codex

H09

Original field	Original value
task_id	H09
task	Physical Flash lowpower security experiments
implementation_status	pending
software_status	not_executed
hardware_status	not_executed
implementation_paths	tools/hil;tools/testing
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028
exit_condition	Exact externally reserved Flash region domains clocks options paired images and recovery are independently verified
owner	codex

H10

Original field	Original value
task_id	H10
task	Physical baseline comparison and regression
implementation_status	pending
software_status	not_executed
hardware_status	not_executed
implementation_paths	tools/hil;tools/testing
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028
exit_condition	Same-context baseline/candidate raw measurements meet budgets and are archived for recurring real-station execution
owner	codex

I01

Original field	Original value
task_id	I01
task	Environment input provenance
implementation_status	partial
software_status	provenance_audited_13_of_15_python_inputs_absent_not_rebuilt
hardware_status	not_applicable
implementation_paths	dependencies/build-recipe.lock.json;tools/evidence/recipe.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;build/c-cold-20261028/workflow/environment-i01/provenance-audit.json
exit_condition	OCI base/frontend packages toolchain and Python artifacts map to exact retained inputs and acquisition identities
owner	codex

I02

Original field	Original value
task_id	I02
task	Independent environment recipe reconstruction
implementation_status	pending
software_status	not_executed
hardware_status	not_applicable
implementation_paths	dependencies/build-recipe.lock.json;tools/evidence/recipe.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028
exit_condition	Two clean reconstructions compare declared objects and retain all real differences and logs
owner	codex

I03

Original field	Original value
task_id	I03
task	Environment restore and delivery status
implementation_status	partial
software_status	observed_oci_bytes_recovered_at_7590b2d4_recipe_rebuild_and_fresh_daemon_not_executed
hardware_status	not_applicable
implementation_paths	dependencies/build-recipe.lock.json;tools/evidence/recipe.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Recipe reproducibility and recovery of observed image remain distinct; status follows actual reconstruction evidence
owner	codex

J01

Original field	Original value
task_id	J01
task	Whole-scope residual audit
implementation_status	implemented
software_status	maintained_c_boundary_residual_audit_and_final_gate_passed_at_7590b2d4
hardware_status	not_applicable
implementation_paths	docs/delivery;tools/release
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;build/c-cold-20261028/generator-cleanup/handoff.json;build/c-cold-20261028/default-macro-cleanup/handoff.json;build/c-cold-20261028/spi-admission/handoff.json;build/c-cold-20261028/runtime-lease-c;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json
exit_condition	Every A-J path has migrated-and-verified originally-C-regressed or declaration-retained disposition; no residual omitted
owner	codex

J02

Original field	Original value
task_id	J02
task	Final software integration qualification
implementation_status	implemented
software_status	P2_ordinary_twofull159_fourNative_SDK_strictdocs8candidates_and_current_private_E_passed_D_final_docs_pending
hardware_status	not_applicable
implementation_paths	docs/delivery;tools/release
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;build/c-cold-20261028/legacy/ordinary-gate/package.json;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;https://github.com/X-Gen-Lab/nexus-examples/blob/1baac7b7946a3d71e855e41365972b0781af5291/docs-examples-delivery-20261029-gb029cc4b/recovery-index.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250;build/recovery-20261103/final-delivery-ab532250-20261104/profiles-and-strict-docs-handoff.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250.subsequent_actual_results.private_current_E
exit_condition	Frozen clean source completes ordinary gates maintained ARM modes installed SDK examples and bilingual documentation
owner	codex

J03

Original field	Original value
task_id	J03
task	Independent delivery closure verification
implementation_status	implemented
software_status	P2_candidate_SDK_docs_unsigned_outer_closures_restored_remote_sameproducer_verified_native_fullbytes_local
hardware_status	not_applicable
implementation_paths	docs/delivery;tools/release
evidence_paths	docs/delivery/platform-delivery-completion-results.json;build/c-cold-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;https://github.com/X-Gen-Lab/nexus/blob/d14d093879362d6a1796ee9e0d47f75f793e5135/docs-asset-retention-20261030/WITHDRAWAL.md;https://github.com/X-Gen-Lab/nexus-examples/blob/8aa825c7d2cd8f58f4fa84869f16700aea400783/docs-legacy-examples-retention-20261030/retention-index.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250;https://github.com/X-Gen-Lab/nexus/blob/71b4f0e4cc9168e708513fb647b903c4bb39c71e/docs-public-p2-ab532250-20261104/transport.json
exit_condition	Exact source config dependencies tools binaries raw reports docs and licenses form a verified restorable closure
owner	codex

J04

Original field	Original value
task_id	J04
task	Incremental commits and GitHub synchronization
implementation_status	implemented
software_status	six_reviewed_increments_synced_and_main_associated_at_7590b2d4_examples_b029cc4b
hardware_status	not_applicable
implementation_paths	docs/delivery;tools/release
evidence_paths	docs/delivery/platform-delivery-completion-results.json;https://github.com/X-Gen-Lab/nexus/tree/refactor/c-cold-lifecycle-complete-20261028;docs/status/software-verification.md;https://github.com/X-Gen-Lab/nexus/blob/ecb86832fced0192d620b9029ff2d54795fc6430/docs-platform-delivery-20261029-g7590b2d4/final-index-g7590b2d4.json;https://github.com/X-Gen-Lab/nexus-examples/blob/1baac7b7946a3d71e855e41365972b0781af5291/docs-examples-delivery-20261029-gb029cc4b/recovery-index.json;build/c-cold-20261028/integration/final-main-sync/final-delivery-observation.json
exit_condition	Reviewed increments synchronize to GitHub; code software hardware and publication exits remain independently accurate
owner	codex

V-A01

Original field	Original value
task_id	V-A01
task	Maintained configuration closure
implementation_status	partial_public_217_mode_295_configuration_review
software_status	public_inventory_reviewed_private_annex_and_final_acceptance_pending
hardware_status	not_applicable
implementation_paths	docs/design/official-stm32-provider.md;tools/maintenance/work_packages.py;tools/maintenance/capabilities.py
evidence_paths	build/vendor-first-20261030/docs/derived-mode-work-packages.json;build/vendor-first-20261030/docs/platform-navigation.json;build/vendor-first-20261030/next/vendor-mode-review-20261030/README.md
exit_condition	Collect the complete applicable configurations from reference assemblies, provider fixtures, SDK consumers, selected components and external examples.
owner	codex

V-A02

Original field	Original value
task_id	V-A02
task	Per-mode behavior contract
implementation_status	partial_public_198_mcu_source_contract_review_19_native_model
software_status	source_review_and_p3_29_positive_4_reserved_software_only
hardware_status	not_applicable
implementation_paths	docs/design/official-stm32-provider.md;tools/maintenance/work_packages.py;tools/maintenance/capabilities.py
evidence_paths	build/vendor-first-20261030/next/vendor-mode-review-20261030/reviews/README.md;build/vendor-first-20261030/next/vendor-mode-review-20261030/reviews/remaining-source-gaps.md
exit_condition	Review TX/RX, format, errors, wake, capacity, length, counts, cancel, drain and stop for every mode.
owner	codex

V-A03

Original field	Original value
task_id	V-A03
task	Official implementation decision
implementation_status	partial_selected_official_decisions_and_six_bounded_increments
software_status	source_implemented_complete_migration_and_final_qualification_pending
hardware_status	not_applicable
implementation_paths	docs/design/official-stm32-provider.md;tools/maintenance/work_packages.py;tools/maintenance/capabilities.py
evidence_paths	build/vendor-first-20261030/next/vendor-mode-review-20261030/reviews/coverage-summary.json;build/vendor-first-20261030/c-leaf-iteration-20261030/i2c-final/handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/u5-leaf-implementation/handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/h7-implementation/h7-implementation-handoff.json
exit_condition	Choose HAL transport, LL/SPL primitives or a justified dedicated engine for every mode.
owner	codex

V-A04

Original field	Original value
task_id	V-A04
task	Necessary direct access
implementation_status	partial_operation_specific_semantic_and_narrow_arm_cost_exceptions
software_status	isolated_leaf_decisions_not_whole_provider_or_dynamic_cost
hardware_status	not_applicable
implementation_paths	docs/design/official-stm32-provider.md;tools/maintenance/work_packages.py;tools/maintenance/capabilities.py
evidence_paths	build/vendor-first-20261030/next/vendor-mode-review-20261030/reviews/combined-mode-decisions.csv;build/vendor-first-20261030/c-leaf-iteration-20261030/i2c-cost/decision.json
exit_condition	Record precise reasons for atomic operations, SDK gaps, errata, withdrawal proofs and measured-budget exceptions.
owner	codex

V-A05

Original field	Original value
task_id	V-A05
task	Behavior and cost baseline
implementation_status	partial_selected_old_green_baselines_and_isolated_leaf_cost
software_status	actual_source_binary_baselines_and_arm_leaf_probes_final_comparison_pending
hardware_status	not_applicable
implementation_paths	docs/design/official-stm32-provider.md;tools/maintenance/work_packages.py;tools/maintenance/capabilities.py
evidence_paths	build/vendor-first-20261030/c-leaf-iteration-20261030/p4-baseline/handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/u5-old-green/handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/i2c-cost/comparison.json
exit_condition	Fix equivalent behavior and resource comparison scopes while preserving existing original evidence identities.
owner	codex

V-A06

Original field	Original value
task_id	V-A06
task	Separate completion states
implementation_status	implemented_separate_scope_reporting
software_status	P2_record_separates_implementation_ordinary_formal_candidates_unsigned_artifacts_docs_physical_and_pending_services
hardware_status	not_applicable
implementation_paths	docs/design/official-stm32-provider.md;tools/maintenance/work_packages.py;tools/maintenance/capabilities.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250;docs/delivery/platform-delivery-completion-results.json
exit_condition	Record implementation, software, physical and delivery states separately; a passing pilot does not close a family task.
owner	codex

V-B01

Original field	Original value
task_id	V-B01
task	Official dependency pairing
implementation_status	partial_selected_stm32_pairing_and_expanded_f1_g4_h7_u5_closures
software_status	selected_lock_identities_reviewed_final_sdk_consumption_pending
hardware_status	not_applicable
implementation_paths	cmake/platform/;dependencies/;vendors/;tools/maintenance/source_catalogue.py;cmake/package/;cmake/platform/STM32Official.cmake;dependencies/stm32f4-hal.lock.json;tools/maintenance/stm32f4_hal_lock.py;dependencies/stm32f1-hal.lock.json;dependencies/stm32g4-hal.lock.json;dependencies/stm32h7-hal.lock.json;dependencies/stm32u5-hal.lock.json
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json;build/vendor-first-20261030/hal-lock-closure/handoff.json;build/vendor-first-20261030/next/vendor-mode-review-20261030/dependency-identities.md;build/vendor-first-20261030/c-leaf-iteration-20261030/i2c-metadata/handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/closure-red/handoff.json
exit_condition	Verify organization forks, exact gitlinks, SDK, CMSIS Device/Core and license pairing.
owner	codex

V-B02

Original field	Original value
task_id	V-B02
task	Private HAL module build
implementation_status	partial_selected_f407_transport_and_u575_gpio_private_hal_sources
software_status	selected_private_build_integration_final_clean_gate_pending
hardware_status	not_applicable
implementation_paths	cmake/platform/;dependencies/;vendors/;tools/maintenance/source_catalogue.py;cmake/package/;cmake/platform/STM32Official.cmake;dependencies/stm32f4-hal.lock.json;tools/maintenance/stm32f4_hal_lock.py;soc/stm32/stm32u575/private/hal/;soc/stm32/stm32u575/drivers/gpio.c
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json;build/vendor-first-20261030/hal-lock-closure/handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/default-probes-old-green/u5-i2c-gpio-barrier.json
exit_condition	Compile only the explicitly selected official C modules instead of the entire package.
owner	codex

V-B03

Original field	Original value
task_id	V-B03
task	HAL configuration and symbols
implementation_status	partial_selected_f407_private_callback_abi1
software_status	selected_private_configuration_and_real_hal_model_passed_full_symbols_pending
hardware_status	not_applicable
implementation_paths	cmake/platform/;dependencies/;vendors/;tools/maintenance/source_catalogue.py;cmake/package/;cmake/platform/STM32Official.cmake;dependencies/stm32f4-hal.lock.json;tools/maintenance/stm32f4_hal_lock.py
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json;build/vendor-first-20261030/hal-lock-closure/handoff.json
exit_condition	Check private configuration headers, module macros, callback settings and global symbol conflicts.
owner	codex

V-B04

Original field	Original value
task_id	V-B04
task	GD32 SDK C units
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	cmake/platform/;dependencies/;vendors/;tools/maintenance/source_catalogue.py;cmake/package/
evidence_paths	(Original field is empty)
exit_condition	Select the corresponding C units when adding SPL primitives, especially DMA.
owner	codex

V-B05

Original field	Original value
task_id	V-B05
task	Public compile boundary
implementation_status	partial_selected_f407_private_compile_boundary
software_status	selected_native_arm_boundary_passed_full_consumers_pending
hardware_status	not_applicable
implementation_paths	cmake/platform/;dependencies/;vendors/;tools/maintenance/source_catalogue.py;cmake/package/;cmake/platform/STM32Official.cmake;dependencies/stm32f4-hal.lock.json;tools/maintenance/stm32f4_hal_lock.py
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json;build/vendor-first-20261030/hal-lock-closure/handoff.json
exit_condition	Public consumers do not inherit vendor/private includes, and production targets do not acquire test runtimes.
owner	codex

V-B06

Original field	Original value
task_id	V-B06
task	Dependency and SDK closure
implementation_status	partial_selected_hal_ll_headers_five_i2c_ports_and_gpio_conf_payload
software_status	selected_closure_red_green_final_source_sdk_consumption_pending
hardware_status	not_applicable
implementation_paths	cmake/platform/;dependencies/;vendors/;tools/maintenance/source_catalogue.py;cmake/package/;cmake/platform/STM32Official.cmake;dependencies/stm32f4-hal.lock.json;tools/maintenance/stm32f4_hal_lock.py;soc/stm32/stm32f103/private/stm32f103_i2c_port.h;soc/stm32/stm32f407/private/stm32f407_i2c_port.h;soc/stm32/stm32g474/private/stm32g474_i2c_port.h;soc/stm32/stm32h743/private/stm32h743_i2c_port.h;soc/stm32/stm32u575/private/stm32u575_i2c_port.h;soc/stm32/stm32u575/private/hal/
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json;build/vendor-first-20261030/hal-lock-closure/handoff.json;build/vendor-first-20261030/next/h743-source-closure/handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/i2c-final/handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/sdk-conf-red/handoff.json
exit_condition	Keep locks, source catalogue, descriptors, SDK files and licenses consistent, with controlled upgrade verification.
owner	codex

V-C01

Original field	Original value
task_id	V-C01
task	Minimal static context
implementation_status	partial_selected_f407_static_handle_owner
software_status	selected_generated_factory_and_real_hal_model_passed_resource_ab_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;io/;core/;tests/contracts/stm32_hal_reference/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Retain only selected Handles, configuration, requests and mode extensions without universal maximum state.
owner	codex

V-C02

Original field	Original value
task_id	V-C02
task	Validation before effects
implementation_status	partial_selected_f407_admission_and_alias_guards
software_status	actual_reference_and_complete_mode_red_green_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;io/;core/;tests/contracts/stm32_hal_reference/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-tests/handoff.json;build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Check context, length, alignment, memory domain, deadline, mode and resources before hardware effects.
owner	codex

V-C03

Original field	Original value
task_id	V-C03
task	Admission before retained references
implementation_status	partial_selected_f407_borrow_before_hal
software_status	actual_synchronous_callback_and_start_model_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;io/;core/;tests/contracts/stm32_hal_reference/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Establish admission before an official API can retain references or invoke callbacks synchronously.
owner	codex

V-C04

Original field	Original value
task_id	V-C04
task	Startup failure withdrawal
implementation_status	partial_selected_f407_accepted_failure_withdrawal
software_status	actual_real_hal_failure_and_drain_models_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;io/;core/;tests/contracts/stm32_hal_reference/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Withdraw actual retained references after accepted startup failure instead of reporting a borrow-free rejection.
owner	codex

V-C05

Original field	Original value
task_id	V-C05
task	Cancel and deadline mapping
implementation_status	partial_selected_f407_cancel_deadline_withdrawal
software_status	actual_cancel_timeout_quarantine_models_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;io/;core/;tests/contracts/stm32_hal_reference/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Cancel/timeout explicitly advance withdrawal, drain and quarantine without releasing borrows early.
owner	codex

V-C06

Original field	Original value
task_id	V-C06
task	Cold resource responsibility
implementation_status	partial_selected_f407_cold_lease_and_deinit
software_status	actual_partial_cleanup_and_two_owner_models_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;io/;core/;tests/contracts/stm32_hal_reference/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Prepare/start, partial failure and stop retries retain exact responsibility without releasing another owner’s resources.
owner	codex

V-C07

Original field	Original value
task_id	V-C07
task	Safe Handle reuse
implementation_status	partial_selected_f407_handle_irq_reference_join
software_status	actual_late_callback_and_handle_reuse_models_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;io/;core/;tests/contracts/stm32_hal_reference/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Reuse a Handle only after old hardware, IRQ and callback stacks withdraw; late events cannot impersonate the current request.
owner	codex

V-C08

Original field	Original value
task_id	V-C08
task	Primary and cleanup results
implementation_status	partial_selected_f407_first_cause_and_cleanup
software_status	actual_first_cause_and_cold_cleanup_models_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;io/;core/;tests/contracts/stm32_hal_reference/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Keep primary errors, cleanup errors and remaining responsibility separate; diagnostics do not revoke borrows.
owner	codex

V-D01

Original field	Original value
task_id	V-D01
task	Real IRQ preemption contract
implementation_status	partial_selected_f407_vector_deferral_protocol
software_status	actual_selected_irq_preemption_models_passed_physical_latency_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;arch/;os/;tests/contracts/stm32_hal_reference/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Production IRQ protocol handles preemption explicitly instead of copying the serialized fixture handler-skipping assumption.
owner	codex

V-D02

Original field	Original value
task_id	V-D02
task	Short guards and pending facts
implementation_status	partial_selected_f407_short_guards_and_held_en_te_deferral
software_status	actual_atomic_and_quiet_error_irq_models_passed_wcet_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;arch/;os/;tests/contracts/stm32_hal_reference/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Specify HAL nesting, short guards and pending facts without masking all interrupts across vendor waits.
owner	codex

V-D03

Original field	Original value
task_id	V-D03
task	Actual callback context
implementation_status	partial_selected_f407_per_handle_callback_facts
software_status	actual_task_sync_irq_callback_models_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;arch/;os/;tests/contracts/stm32_hal_reference/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Synchronous, task and ISR callbacks use permitted notification and record bounded facts only.
owner	codex

V-D04

Original field	Original value
task_id	V-D04
task	Reachable HAL waits and clocks
implementation_status	partial_selected_f407_existing_epoch_bridge
software_status	actual_clock_metadata_tick_wrap_and_real_hal_models_passed_full_power_review_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;arch/;os/;tests/contracts/stm32_hal_reference/;soc/stm32/stm32f407/system.c;tests/google/stm32_system_transaction_test.cpp
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json;build/vendor-first-20261030/hal-integration/clock-final-green/run.command.json
exit_condition	Review real time progression through bootstrap/runtime, millisecond quantization, 32-bit wrap and low-power suspension.
owner	codex

V-D05

Original field	Original value
task_id	V-D05
task	OS and timebase isolation
implementation_status	partial_selected_f407_no_hal_systick
software_status	existing_epoch_and_selected_wake_models_passed_full_backend_contexts_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;arch/;os/;tests/contracts/stm32_hal_reference/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Preserve existing SysTick/OS policy and verify IRQ ceilings, wait/wake and observer join.
owner	codex

V-D06

Original field	Original value
task_id	V-D06
task	Arch barriers and state restoration
implementation_status	partial_selected_f407_saved_mask_and_barriers
software_status	actual_saved_mask_and_selected_arm_compile_passed_physical_memory_order_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;arch/;os/;tests/contracts/stm32_hal_reference/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Restore incoming interrupt state and distinguish CPU barriers, Cache maintenance and request publication.
owner	codex

V-E01

Original field	Original value
task_id	V-E01
task	Complete UART production candidate
implementation_status	implemented_selected_f407_dma_tx_hal_and_disjoint_irq_rx
software_status	complete_mode_real_hal_model_native_factory_and_selected_arm_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;tests/contracts/stm32_hal_reference/;tools/configure/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-tests/handoff.json;build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Extend finite TX HAL evaluation into an explicit complete-mode candidate without substituting TX-only for existing dma-tx.
owner	codex

V-E02

Original field	Original value
task_id	V-E02
task	UART and DMA cold integration
implementation_status	implemented_selected_f407_hal_cold_lease
software_status	actual_initialization_readback_partial_failure_and_close_retry_models_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;tests/contracts/stm32_hal_reference/;tools/configure/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Integrate official initialization with existing resource leases, MSP, failure readback and recovery.
owner	codex

V-E03

Original field	Original value
task_id	V-E03
task	DMA and UART TC
implementation_status	implemented_selected_f407_hal_dma_to_wire_tc
software_status	actual_real_hal_dma_tc_uart_tc_and_count_models_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;tests/contracts/stm32_hal_reference/;tools/configure/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Reuse the HAL normal DMA-to-TC flow and verify completion, errors and actual counts.
owner	codex

V-E04

Original field	Original value
task_id	V-E04
task	Complete RX semantics
implementation_status	implemented_selected_f407_disjoint_irq_rx
software_status	actual_byte_event_loss_timestamp_wake_models_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;tests/contracts/stm32_hal_reference/;tools/configure/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Preserve RX bytes/events, frame/error/loss ordering, timestamps and storage contracts.
owner	codex

V-E05

Original field	Original value
task_id	V-E05
task	Joint TX/RX ownership
implementation_status	implemented_selected_f407_one_tx_rx_provider_owner
software_status	actual_abort_dma_error_shared_irq_and_foreign_domain_models_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;tests/contracts/stm32_hal_reference/;tools/configure/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Review TX abort, DMA error and shared IRQ effects on RX without combining unreviewed independent owners.
owner	codex

V-E06

Original field	Original value
task_id	V-E06
task	UART stop and resubmission
implementation_status	implemented_selected_f407_stop_and_resubmit
software_status	actual_sync_late_irq_deinit_retry_and_resubmit_models_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;tests/contracts/stm32_hal_reference/;tools/configure/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Execute regressions for synchronous callbacks, late IRQs, wake detach, stop and resubmission after recovery.
owner	codex

V-E07

Original field	Original value
task_id	V-E07
task	Complete UART cost decision
implementation_status	partial_selected_f407_same_config_arm_flash_ram_comparison
software_status	paired_arm_images_and_byte_identical_resolved_passed_stack_cycles_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;tests/contracts/stm32_hal_reference/;tools/configure/;tests/contracts/uart_rx_compact_assembly/f407-dma-tx.toml;tools/measurement/resources.py;tools/measurement/workload.c
evidence_paths	build/vendor-first-20261030/cost/normalized-comparison.json;build/vendor-first-20261030/cost/final-default-artifacts/manifest.json;build/vendor-first-20261030/cost/final-symbol-check.json
exit_condition	Choose the production implementation after comparing complete equivalent-provider Flash, RAM, stack and execution costs.
owner	codex

V-E08

Original field	Original value
task_id	V-E08
task	UART replacement and cleanup
implementation_status	partial_selected_f407_dma_tx_source_replacement
software_status	selected_generated_source_and_arm_passed_sdk_consumers_and_full_gate_pending
hardware_status	not_applicable
implementation_paths	soc/stm32/stm32f407/;tests/contracts/stm32_hal_reference/;tools/configure/;soc/stm32/stm32f407/drivers/uart_hal.c;soc/stm32/stm32f407/private/stm32f407_uart_hal.h
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	After acceptance update assembly and SDK, remove fully replaced production paths and retain conclusions for candidates that do not satisfy the contract.
owner	codex

V-F01

Original field	Original value
task_id	V-F01
task	GPIO and pin migration
implementation_status	partial_selected_f407_gd470_primitives_and_u575_four_hal_gpio_commands
software_status	actual_default_old_green_and_selected_development_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/;drivers/;io/;components/;cmake/package/verification/;soc/stm32/stm32u575/drivers/gpio.c;dependencies/stm32u5-hal.lock.json
evidence_paths	build/vendor-first-20261030/stm32/handoff.json;build/vendor-first-20261030/gd32/handoff.json;build/vendor-first-20261030/commits/02-commit.command.json;build/vendor-first-20261030/c-leaf-iteration-20261030/default-probes-old-green/u5-i2c-gpio-barrier.json
exit_condition	Expand LL/SPL while preserving safe-level ordering, permission checks and combined set/reset atomicity.
owner	codex

V-F02

Original field	Original value
task_id	V-F02
task	SPI short-transaction migration
implementation_status	partial_selected_f407_gd470_u575_and_h743_spi_byte_primitives
software_status	actual_default_old_green_and_selected_development_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/;drivers/;io/;components/;cmake/package/verification/;soc/stm32/stm32h743/drivers/spi.c
evidence_paths	build/vendor-first-20261030/stm32/handoff.json;build/vendor-first-20261030/gd32/handoff.json;build/vendor-first-20261030/commits/02-commit.command.json;build/vendor-first-20261030/next/u575-spi-ll-20261030/handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/h7-implementation/h7-implementation-handoff.json
exit_condition	Official configuration and transfers preserve the full CS interval, dummy/discard and transferred counts.
owner	codex

V-F03

Original field	Original value
task_id	V-F03
task	SPI DMA migration
implementation_status	partial_h743_spi_dma_cleanup_ll_byte_leaf_transport_engine_retained
software_status	actual_default_old_green_final_mode_and_gate_pending
hardware_status	not_applicable
implementation_paths	soc/;drivers/;io/;components/;cmake/package/verification/;soc/stm32/stm32h743/drivers/spi_dma.c
evidence_paths	build/vendor-first-20261030/c-leaf-iteration-20261030/h7-implementation/h7-implementation-handoff.json
exit_condition	Evaluate complete official flows and verify joint TX/RX withdrawal, fixed addresses and wire completion.
owner	codex

V-F04

Original field	Original value
task_id	V-F04
task	I2C message-sequence migration
implementation_status	partial_five_stm32_compile_time_i2c_ll_data_ports_direct_exceptions_retained
software_status	actual_default_old_green_and_narrow_arm_cost_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/;drivers/;io/;components/;cmake/package/verification/;drivers/i2c/i2c_v1_async/i2c_v1_async.c;drivers/i2c/i2c_v2/i2c_v2.c
evidence_paths	build/vendor-first-20261030/stm32/handoff.json;build/vendor-first-20261030/gd32/handoff.json;build/vendor-first-20261030/commits/02-commit.command.json;build/vendor-first-20261030/c-leaf-iteration-20261030/i2c-final/handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/i2c-cost/decision.json
exit_condition	Cover repeated START, one/two/three-byte windows, NACK/ARLO, STOP and exact errata.
owner	codex

V-F05

Original field	Original value
task_id	V-F05
task	ADC and group migration
implementation_status	partial_f407_gd470_selected_primitives
software_status	ordinary_complete_index_passed_at_9c0460b9_scoped_only
hardware_status	not_applicable
implementation_paths	soc/;drivers/;io/;components/;cmake/package/verification/
evidence_paths	build/vendor-first-20261030/stm32/handoff.json;build/vendor-first-20261030/gd32/handoff.json;build/vendor-first-20261030/commits/02-commit.command.json
exit_condition	Preserve calibration, triggers, data format, group sequences and DMA data borrows.
owner	codex

V-F06

Original field	Original value
task_id	V-F06
task	PWM/capture/encoder migration
implementation_status	partial_f407_gd470_primitives_and_u575_checked_ll_pwm_setters
software_status	actual_default_old_green_existing_362_debug_cases_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/;drivers/;io/;components/;cmake/package/verification/;soc/stm32/stm32u575/drivers/pwm.c
evidence_paths	build/vendor-first-20261030/stm32/handoff.json;build/vendor-first-20261030/gd32/handoff.json;build/vendor-first-20261030/commits/02-commit.command.json;build/vendor-first-20261030/c-leaf-iteration-20261030/u5-leaf-implementation/handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/u5-old-green/handoff.json
exit_condition	Preserve shared bases, coherent updates, complementary outputs and safe stop.
owner	codex

V-F07

Original field	Original value
task_id	V-F07
task	Official Flash flow evaluation
implementation_status	partial_bounded_P2_Flash_static_and_ECC_review
software_status	P2_seven_context_bounded_static_review_and_independent_ECC_clarification_event_owner_sticky_recovery_not_assessed
hardware_status	not_applicable
implementation_paths	soc/;drivers/;io/;components/;cmake/package/verification/
evidence_paths	docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250;/workspace/nexus/build/recovery-20261103/reconciliation-template/P2-V-F07-flash-static-review.json;/workspace/nexus/build/recovery-20261103/reconciliation-template/P2-V-F07-flash-static-independent-review.json;/workspace/nexus/build/recovery-20261103/reconciliation-template/P2-V-F07-ECC-clarification-addendum.md;/workspace/nexus/build/recovery-20261103/reconciliation-template/ECC-independent-review.json
exit_condition	Review geometry, ECC, execution domain, supply, pulse settlement and error recovery.
owner	codex

V-F08

Original field	Original value
task_id	V-F08
task	CAN/CAN FD migration
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	soc/;drivers/;io/;components/;cmake/package/verification/
evidence_paths	(Original field is empty)
exit_condition	Preserve mailbox/filter/message RAM ownership, error handling and stop responsibility.
owner	codex

V-F09

Original field	Original value
task_id	V-F09
task	USB/Ethernet migration
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	soc/;drivers/;io/;components/;cmake/package/verification/
evidence_paths	(Original field is empty)
exit_condition	Evaluate official drivers per exact mode while preserving endpoint, descriptor, buffer and callback ownership.
owner	codex

V-F10

Original field	Original value
task_id	V-F10
task	RTC/LPTIM/watchdog migration
implementation_status	partial_f407_watchdog_and_u575_rtc_ll_keys_alarm_command
software_status	actual_default_old_green_existing_362_debug_cases_final_gate_pending
hardware_status	not_applicable
implementation_paths	soc/;drivers/;io/;components/;cmake/package/verification/;soc/stm32/stm32u575/drivers/rtc.c
evidence_paths	build/vendor-first-20261030/stm32/handoff.json;build/vendor-first-20261030/commits/02-commit.command.json;build/vendor-first-20261030/c-leaf-iteration-20261030/u5-leaf-implementation/handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/u5-old-green/handoff.json
exit_condition	Preserve time continuity, wake contracts and irreversible hardware effects.
owner	codex

V-G01

Original field	Original value
task_id	V-G01
task	Exact F103 verification
implementation_status	partial_selected_f103_i2c_ll_receive_and_source_review
software_status	selected_source_and_default_old_green_full_family_exit_open
hardware_status	not_applicable
implementation_paths	soc/;drivers/;tests/contracts/;cmake/package/verification/;soc/stm32/stm32f103/private/stm32f103_i2c_port.h
evidence_paths	build/vendor-first-20261030/c-leaf-iteration-20261030/i2c-final/handoff.json
exit_condition	Independently verify density, low clocks, channel DMA and errata restrictions.
owner	codex

V-G02

Original field	Original value
task_id	V-G02
task	Exact GD303 verification
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	soc/;drivers/;tests/contracts/;cmake/package/verification/
evidence_paths	(Original field is empty)
exit_condition	Independently review SPL, register semantics, startup delay and errata without inheriting F103 results.
owner	codex

V-G03

Original field	Original value
task_id	V-G03
task	F407 maintained-mode closure
implementation_status	partial_selected_f407_primitives
software_status	ordinary_complete_index_passed_at_9c0460b9_scoped_only
hardware_status	not_applicable
implementation_paths	soc/;drivers/;tests/contracts/;cmake/package/verification/
evidence_paths	build/vendor-first-20261030/stm32/handoff.json;build/vendor-first-20261030/commits/02-commit.command.json
exit_condition	Cover existing UART/SPI/I2C/ADC/controller modes and stream DMA resources.
owner	codex

V-G04

Original field	Original value
task_id	V-G04
task	GD470 maintained-mode closure
implementation_status	partial_selected_gd470_primitives
software_status	ordinary_complete_index_passed_at_9c0460b9_scoped_only
hardware_status	not_applicable
implementation_paths	soc/;drivers/;tests/contracts/;cmake/package/verification/
evidence_paths	build/vendor-first-20261030/gd32/handoff.json;build/vendor-first-20261030/commits/02-commit.command.json
exit_condition	Expand SPL and independently verify routes, clocks, DMA withdrawal and mode differences.
owner	codex

V-G05

Original field	Original value
task_id	V-G05
task	G474 coupled-resource verification
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	soc/;drivers/;tests/contracts/;cmake/package/verification/
evidence_paths	(Original field is empty)
exit_condition	Cover DMAMUX, shared/coherent PWM, PWM-to-ADC, group/injected acquisition and FD CAN.
owner	codex

V-G06

Original field	Original value
task_id	V-G06
task	H743 domain and Cache verification
implementation_status	partial_h743_metadata_spi_ll_byte_and_i2c_data_ports
software_status	selected_development_scopes_not_complete_h743_or_final_candidate_exit
hardware_status	not_applicable
implementation_paths	soc/;drivers/;tests/contracts/;cmake/package/verification/;soc/stm32/stm32h743/private/stm32h743_i2c_port.h
evidence_paths	build/vendor-first-20261030/next/h743-source-closure/handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/i2c-final/handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/h7-implementation/h7-implementation-handoff.json
exit_condition	Cover Cache, domains, DMA memory, continuous modes, SPI wire errata and RAM-execution components.
owner	codex

V-G07

Original field	Original value
task_id	V-G07
task	Exact U575 subset verification
implementation_status	partial_u575_spi_pwm_uart_rtc_gpio_i2c_official_operations
software_status	selected_development_scopes_final_clean_candidate_and_full_family_exit_open
hardware_status	not_applicable
implementation_paths	soc/;drivers/;tests/contracts/;cmake/package/verification/;soc/stm32/stm32u575/drivers/pwm.c;soc/stm32/stm32u575/drivers/uart.c;soc/stm32/stm32u575/drivers/rtc.c;soc/stm32/stm32u575/drivers/gpio.c;soc/stm32/stm32u575/private/stm32u575_i2c_port.h
evidence_paths	build/vendor-first-20261030/next/u575-spi-ll-20261030/handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/u5-leaf-implementation/handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/i2c-final/handoff.json
exit_condition	Separately verify GPDMA/chain, FIFO, retained time, Stop2/LPDMA/LPBAM and the existing narrow TrustZone scope.
owner	codex

V-H01

Original field	Original value
task_id	V-H01
task	Resolver category localization
implementation_status	partial_controller_and_endpoint_localization
software_status	ordinary_complete_index_passed_at_9c0460b9_scoped_only
hardware_status	not_applicable
implementation_paths	tools/configure/;drivers/;soc/;cmake/platform/;tools/dev/
evidence_paths	build/vendor-first-20261030/configure/handoff.json;build/vendor-first-20261030/commits/02-commit.command.json
exit_condition	Maintain category normalization locally while common entry points retain arbitration and atomic publication.
owner	codex

V-H02

Original field	Original value
task_id	V-H02
task	Local family descriptor ownership
implementation_status	implemented_soc_local_data_only_descriptors
software_status	focused_descriptor_provider_sdk_closure_and_71bundle_equivalence_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	tools/configure/;drivers/;soc/;cmake/platform/;tools/dev/;tools/configure/providers/descriptor.py;tools/configure/providers/init.py;soc/native/descriptor.py;soc/stm32/;soc/gd32/
evidence_paths	build/vendor-first-20261030/descriptor-localization/root-handoff.json
exit_condition	Retain explicit top-level mappings and stable closure checks without a parallel source graph.
owner	codex

V-H03

Original field	Original value
task_id	V-H03
task	Semantic mode selection
implementation_status	reviewed_existing_semantic_mode_selection_retained
software_status	source_contract_reviewed_no_new_runtime_behavior_claim
hardware_status	not_applicable
implementation_paths	tools/configure/;drivers/;soc/;cmake/platform/;tools/dev/;tools/configure/selection.py;tools/configure/contracts.py
evidence_paths	docs/design/integration-contracts.md;docs/guides/provider-porting.md
exit_condition	Users select semantic modes with explicit internal implementation selection, no parallel authority or implicit fallback.
owner	codex

V-H04

Original field	Original value
task_id	V-H04
task	Shared engine ownership
implementation_status	reviewed_existing_shared_engine_ownership_retained
software_status	source_ownership_contract_reviewed_no_reimplementation_claim
hardware_status	not_applicable
implementation_paths	tools/configure/;drivers/;soc/;cmake/platform/;tools/dev/;io/private/
evidence_paths	docs/explanation/platform-architecture.md;docs/guides/provider-porting.md
exit_condition	Organize actual responsibilities as public mechanisms, vendor adapters, necessary dedicated engines and SoC integration.
owner	codex

V-H05

Original field	Original value
task_id	V-H05
task	Compile-time template contract
implementation_status	implemented_reviewed_specialization_and_value_header_contracts
software_status	pin_red4_green27_tools_50_google_and_arm_equivalence_full_gate_pending
hardware_status	not_applicable
implementation_paths	tools/configure/;drivers/;soc/;cmake/platform/;tools/dev/;io/private/timer_capture_impl.h;io/private/advanced_pwm_impl.h;io/private/uart_fifo_impl.h;tools/testing/test_provider_templates.py
evidence_paths	build/vendor-first-20261030/template-contracts/actual-root/handoff.json;build/vendor-first-20261030/next/h05-value-headers/handoff.json
exit_condition	Specify inputs, exported symbols, macro scope and verification of each specialization.
owner	codex

V-H06

Original field	Original value
task_id	V-H06
task	Offset-image and handoff profile
implementation_status	implemented_selected_f407_gd470_offset_images
software_status	configuration_linker_artifact_and_six_arm_links_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	tools/configure/configure.py;tools/configure/memory.py;soc/stm32/stm32f407/system.c;soc/gd32/gd32f470/system.c;tools/measurement/elf.py;tools/measurement/resources.py;tools/evidence/candidate.py;tools/evidence/reproduce.py
evidence_paths	build/vendor-first-20261030/image-layout/handoff.json;build/vendor-first-20261030/image-layout/artifact-handoff.json;build/vendor-first-20261030/image-layout/arm-image-observation.json;build/vendor-first-20261030/image-layout/arm-freertos-image-observation.json
exit_condition	Verify vectors, link regions and entry conditions within an explicit agreed scope while product update policy remains external.
owner	codex

V-I01

Original field	Original value
task_id	V-I01
task	Multi-instance resource cost
implementation_status	partial_shared_spi_zero_one_two_four_endpoint_matrix
software_status	four_actual_arm_images_with_interface_storage_and_retention_scope
hardware_status	not_applicable
implementation_paths	tools/measurement/;tools/hil/;tests/contracts/io_storage_cost/;docs/design/soc-execution-budgets.md
evidence_paths	build/vendor-first-20261030/next/spi-endpoint-cost-20261030/handoff.json
exit_condition	Compare empty/one/two/four instances, separating face/config/runtime/buffer/executor costs.
owner	codex

V-I02

Original field	Original value
task_id	V-I02
task	Actual linked retention
implementation_status	partial_spi_endpoint_controller_face_and_shared_ops_retention
software_status	actual_elf_symbols_and_zero_selection_checked_other_classes_pending
hardware_status	not_applicable
implementation_paths	tools/measurement/;tools/hil/;tests/contracts/io_storage_cost/;docs/design/soc-execution-budgets.md
evidence_paths	build/vendor-first-20261030/next/spi-endpoint-cost-20261030/scope-limits.json
exit_condition	Check ops references and ELF symbols to explain code and resident RAM for unselected modes.
owner	codex

V-I03

Original field	Original value
task_id	V-I03
task	Config/runtime cost
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	tools/measurement/;tools/hil/;tests/contracts/io_storage_cost/;docs/design/soc-execution-budgets.md
evidence_paths	(Original field is empty)
exit_condition	Measure each split benefit without adding pointers or state for appearance alone.
owner	codex

V-I04

Original field	Original value
task_id	V-I04
task	Execution and timing cost
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	tools/measurement/;tools/hil/;tests/contracts/io_storage_cost/;docs/design/soc-execution-budgets.md
evidence_paths	(Original field is empty)
exit_condition	Record per-block CPU, IRQ/service, maximum interrupt-mask duration and end-to-end deadline under the same configuration.
owner	codex

V-I05

Original field	Original value
task_id	V-I05
task	Continuity and backpressure
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	tools/measurement/;tools/hil/;tests/contracts/io_storage_cost/;docs/design/soc-execution-budgets.md
evidence_paths	(Original field is empty)
exit_condition	Use budgets to verify rearm, consumer hold, bursts, backpressure and bus contention.
owner	codex

V-I06

Original field	Original value
task_id	V-I06
task	Complete equivalent-contract comparison
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	tools/measurement/;tools/hil/;tests/contracts/io_storage_cost/;docs/design/soc-execution-budgets.md
evidence_paths	(Original field is empty)
exit_condition	Distinguish linked budgets, stack reservations, observed peaks and physical measurements while retaining unknown values.
owner	codex

V-J01

Original field	Original value
task_id	V-J01
task	Actual TDD order
implementation_status	partial_selected_reference_and_complete_mode_actual_red_green
software_status	actual_source_binary_red_green_snapshots_retained_final_gate_pending
hardware_status	not_applicable
implementation_paths	tests/;tools/testing/;scripts/ci/;tools/dev/;tests/contracts/stm32f407_uart_hal/;tests/google/stm32_uart_hal.cmake;tests/google/stm32_uart_cold_factory_test.cpp
evidence_paths	build/vendor-first-20261030/hal-tests/handoff.json;build/vendor-first-20261030/commits/02-commit.command.json;build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Execute actual RED before GREEN for new behavior and fixes, preserving the parallel handoff barrier.
owner	codex

V-J02

Original field	Original value
task_id	V-J02
task	Adapter contract tests
implementation_status	partial_selected_real_hal_adapter_models
software_status	selected_real_adapter_regressions_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	tests/;tools/testing/;scripts/ci/;tools/dev/;tests/contracts/stm32f407_uart_hal/;tests/google/stm32_uart_hal.cmake;tests/google/stm32_uart_cold_factory_test.cpp
evidence_paths	build/vendor-first-20261030/gd32/handoff.json;build/vendor-first-20261030/stm32/handoff.json;build/vendor-first-20261030/hal-tests/handoff.json;build/vendor-first-20261030/commits/02-commit.command.json;build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	GoogleTest/GoogleMock checks real adapters with mocks only at explicit external boundaries.
owner	codex

V-J03

Original field	Original value
task_id	V-J03
task	Actual official-source tests
implementation_status	partial_actual_official_hal_transport_gpio_and_ll_default_models
software_status	actual_selected_old_green_probes_and_metadata_red_green_final_gate_pending
hardware_status	not_applicable
implementation_paths	tests/;tools/testing/;scripts/ci/;tools/dev/;tests/contracts/stm32f407_uart_hal/;tests/google/stm32_uart_hal.cmake;tests/google/stm32_uart_cold_factory_test.cpp;tests/google/official_leaf_probes.cmake
evidence_paths	build/vendor-first-20261030/gd32/handoff.json;build/vendor-first-20261030/hal-tests/handoff.json;build/vendor-first-20261030/commits/02-commit.command.json;build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json;build/vendor-first-20261030/c-leaf-iteration-20261030/default-probes-old-green/u5-i2c-gpio-barrier.json;build/vendor-first-20261030/c-leaf-iteration-20261030/closure-red/handoff.json
exit_condition	Compile and execute selected official sources to verify their combination with the adapter.
owner	codex

V-J04

Original field	Original value
task_id	V-J04
task	Preemption and isolation regressions
implementation_status	partial_selected_f407_preemption_and_instance_isolation
software_status	actual_selected_failure_sync_preemption_late_and_isolation_models_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	tests/;tools/testing/;scripts/ci/;tools/dev/;tests/contracts/stm32f407_uart_hal/;tests/google/stm32_uart_hal.cmake;tests/google/stm32_uart_cold_factory_test.cpp
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Cover post-admission startup failure, synchronous callbacks, IRQ preemption, late completion and instance isolation.
owner	codex

V-J05

Original field	Original value
task_id	V-J05
task	Fault withdrawal regressions
implementation_status	partial_selected_f407_failure_withdrawal_orderings
software_status	actual_cancel_tc_error_refused_drain_repeat_stop_and_resubmit_models_passed_final_gate_pending
hardware_status	not_applicable
implementation_paths	tests/;tools/testing/;scripts/ci/;tools/dev/;tests/contracts/stm32f407_uart_hal/;tests/google/stm32_uart_hal.cmake;tests/google/stm32_uart_cold_factory_test.cpp
evidence_paths	build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Cover cancel/TC/DMA-error orderings, refused withdrawal, repeated stop and resubmission after recovery.
owner	codex

V-J06

Original field	Original value
task_id	V-J06
task	Independent ARM contexts
implementation_status	partial_selected_driver_offset_and_hal_arm_contexts
software_status	selected_real_hal_arm_and_six_offset_links_passed_full_matrix_pending
hardware_status	not_applicable
implementation_paths	tests/;tools/testing/;scripts/ci/;tools/dev/;tests/contracts/stm32f407_uart_hal/;tests/google/stm32_uart_hal.cmake;tests/google/stm32_uart_cold_factory_test.cpp
evidence_paths	build/vendor-first-20261030/stm32/handoff.json;build/vendor-first-20261030/gd32/handoff.json;build/vendor-first-20261030/image-layout/arm-image-observation.json;build/vendor-first-20261030/image-layout/arm-freertos-image-observation.json;build/vendor-first-20261030/hal-maintained/debug-green-handoff.json;build/vendor-first-20261030/cost/final2-refresh.json
exit_condition	Verify SDK, ABI, layout, linking and resources for each independent compile context.
owner	codex

V-J07

Original field	Original value
task_id	V-J07
task	Test-retention review
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	tests/;tools/testing/;scripts/ci/;tools/dev/
evidence_paths	(Original field is empty)
exit_condition	Remove tests only with obsolete-contract or independent-equivalent-coverage evidence, never to manufacture success.
owner	codex

V-J08

Original field	Original value
task_id	V-J08
task	Efficient complete gates
implementation_status	partial_fail_fast_and_stage_budget_propagation
software_status	actual_budget_red2_green158_with_explicit_caller_precedence
hardware_status	not_applicable
implementation_paths	tests/;tools/testing/;scripts/ci/;tools/dev/
evidence_paths	build/vendor-first-20261030/native-preflight/handoff.json;build/vendor-first-20261030/commits/02-commit.command.json;build/vendor-first-20261030/next/qualification-stage-budget/handoff.json
exit_condition	Use focused development runs, ordinary hooks for complete increments and full plans for frozen source with bounded storage.
owner	codex

V-K01

Original field	Original value
task_id	V-K01
task	Complete Source SDK
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	cmake/package/;X-Gen-Lab/nexus-examples;docs/;tools/dev/
evidence_paths	(Original field is empty)
exit_condition	Package production modules, configuration headers, bridge code, licenses and the exact dependency closure.
owner	codex

V-K02

Original field	Original value
task_id	V-K02
task	Out-of-package C/C++ consumers
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	cmake/package/;X-Gen-Lab/nexus-examples;docs/;tools/dev/
evidence_paths	(Original field is empty)
exit_condition	Verify relocation, public-header isolation and independent builds outside the complete checkout.
owner	codex

V-K03

Original field	Original value
task_id	V-K03
task	Three execution recipes
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	cmake/package/;X-Gen-Lab/nexus-examples;docs/;tools/dev/
evidence_paths	(Original field is empty)
exit_condition	External examples complete baremetal-exclusive, RTOS-owner and continuous-stream recipes.
owner	codex

V-K04

Original field	Original value
task_id	V-K04
task	Failure and recovery recipes
implementation_status	partial_selected_existing_private_reference_and_public_SDK_path
software_status	current_private_f59debf_pinned_P2_source_installed5Cbroker_cases_each_join_release_cleanup_expected_rejections_passed_physical_open
hardware_status	not_applicable
implementation_paths	cmake/package/;X-Gen-Lab/nexus-examples;docs/;tools/dev/
evidence_paths	docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250.subsequent_actual_results.private_current_E
exit_condition	Examples cover rejection, cancellation, failed drain, join, stop and recovery.
owner	codex

V-K05

Original field	Original value
task_id	V-K05
task	Complete developer workflow
implementation_status	partial_selected_existing_private_reference_and_public_SDK_path
software_status	current_public_installed_SDK_walk12commands1CTest_passed_at_P2_physical_flash_debug_monitor_not_executed
hardware_status	not_applicable
implementation_paths	cmake/package/;X-Gen-Lab/nexus-examples;docs/;tools/dev/
evidence_paths	docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250.subsequent_actual_results.private_current_E
exit_condition	Review the actual create/configure/explain/diff/flash/debug/monitor user workflows.
owner	codex

V-K06

Original field	Original value
task_id	V-K06
task	Architecture and support navigation
implementation_status	partial_current_provider_source_review_and_bounded_delta_navigation
software_status	source_review_and_bilingual_content_checked_final_acceptance_pending
hardware_status	not_applicable
implementation_paths	cmake/package/;X-Gen-Lab/nexus-examples;docs/;tools/dev/
evidence_paths	build/vendor-first-20261030/next/vendor-docs-integration-20261030/handoff.json
exit_condition	Architecture diagrams, mode contracts, migration notes and exact support queries correspond to actual implementation.
owner	codex

V-K07

Original field	Original value
task_id	V-K07
task	Bilingual content and code style
implementation_status	implemented_P2_strict_bilingual_scope
software_status	P2_132canonicalpages264reviewedrecords_Doxygen_gettext_EN_ZH_package_restore_verify_all0_laterD_pending
hardware_status	not_applicable
implementation_paths	cmake/package/;X-Gen-Lab/nexus-examples;docs/;tools/dev/
evidence_paths	build/vendor-first-20261030/next/vendor-docs-integration-20261030/handoff.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250;build/recovery-20261103/final-delivery-ab532250-20261104/profiles-and-strict-docs-handoff.json;https://github.com/X-Gen-Lab/nexus/blob/71b4f0e4cc9168e708513fb647b903c4bb39c71e/docs-public-p2-ab532250-20261104/transport.json
exit_condition	Complete English/Chinese content, gettext, schema, links and strict documentation checks while retaining existing format and Doxygen style.
owner	codex

V-K08

Original field	Original value
task_id	V-K08
task	Public and private delivery boundary
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	cmake/package/;X-Gen-Lab/nexus-examples;docs/;tools/dev/
evidence_paths	(Original field is empty)
exit_condition	New artifacts pass existing origin and visibility checks, and private examples do not enter public platform packages.
owner	codex

V-L01

Original field	Original value
task_id	V-L01
task	Post-replacement production cleanup
implementation_status	partial_selected_official_leaf_defaults_replaced_protocol_engines_retained
software_status	source_graph_reviewed_final_clean_gate_and_full_replacement_exit_pending
hardware_status	not_applicable
implementation_paths	tools/release/;tools/evidence/;tools/dev/;X-Gen-Lab/nexus-examples;docs/status/;soc/stm32/stm32u575/drivers/;soc/stm32/stm32h743/drivers/;drivers/i2c/
evidence_paths	build/vendor-first-20261030/c-leaf-iteration-20261030/u5-leaf-implementation/handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/h7-implementation/h7-implementation-handoff.json;build/vendor-first-20261030/c-leaf-iteration-20261030/i2c-final/handoff.json
exit_condition	Remove replaced implementations, unused switches and duplicate state while retaining necessary comparison fixtures and unreplaced modes.
owner	codex

V-L02

Original field	Original value
task_id	V-L02
task	Clean platform commit P
implementation_status	partial_clean_89485943_and_next_increment_integration
software_status	prior_clean_commit_retained_new_ordinary_gate_pending
hardware_status	not_applicable
implementation_paths	tools/release/;tools/evidence/;tools/dev/;X-Gen-Lab/nexus-examples;docs/status/
evidence_paths	build/vendor-first-20261030/next/qualification-stage-budget/handoff.json
exit_condition	Create clean commit P after code and documentation are ready, freezing source and dependencies.
owner	codex

V-L03

Original field	Original value
task_id	V-L03
task	Complete software plan for P
implementation_status	implemented_current_P2_complete_formal_plan
software_status	two_current_P2_full159_fourNative420programs7342cases440CTest_each_all_applicable_checks_passed
hardware_status	not_applicable
implementation_paths	tools/release/;tools/evidence/;tools/dev/;X-Gen-Lab/nexus-examples;docs/status/
evidence_paths	;/workspace/nexus-software-qualification-89485943-20261030/report.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250;build/recovery-20261103/final-p2-baseline-repeat-20261103/control/baseline/verified-execution.json;build/recovery-20261103/final-p2-baseline-repeat-20261103/control/repeat/verified-execution.json
exit_condition	Actually complete the full plan, all four Native modes and all applicable checks at P.
owner	codex

V-L04

Original field	Original value
task_id	V-L04
task	SDK and consumers for P
implementation_status	implemented_selected_P2_SDK_and_consumers
software_status	P2_v15_64roots67images270commands_sdk_and_ENTIREconsumer_actualrestored_ownedverified
hardware_status	not_applicable
implementation_paths	tools/release/;tools/evidence/;tools/dev/;X-Gen-Lab/nexus-examples;docs/status/
evidence_paths	docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250;build/recovery-20261103/final-delivery-ab532250-20261104/profiles-and-strict-docs-handoff.json;build/recovery-20261103/final-delivery-ab532250-20261104/repeat-sdk-consumer-packages/outcome-reconciliation.json;https://github.com/X-Gen-Lab/nexus/blob/71b4f0e4cc9168e708513fb647b903c4bb39c71e/docs-public-p2-ab532250-20261104/transport.json
exit_condition	SDK, resource reports and independent external consumption for P bind the same source and artifacts.
owner	codex

V-L05

Original field	Original value
task_id	V-L05
task	Examples commit E
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	tools/release/;tools/evidence/;tools/dev/;X-Gen-Lab/nexus-examples;docs/status/
evidence_paths	(Original field is empty)
exit_condition	Examples formally pin qualified P, create E and pass the complete examples local CI.
owner	codex

V-L06

Original field	Original value
task_id	V-L06
task	Exact delivery association
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	tools/release/;tools/evidence/;tools/dev/;X-Gen-Lab/nexus-examples;docs/status/
evidence_paths	(Original field is empty)
exit_condition	Associate P/E, configuration, SDK, tools and original artifacts while retaining original failed and successful attempts.
owner	codex

V-L07

Original field	Original value
task_id	V-L07
task	Controlled environment and offline reproduction
implementation_status	implemented_eight_selected_P2_offline_pairs
software_status	P2_8profiles16fresh_network_none_builds_bitexact_ELF_BIN_controlled_environment_identity_retained
hardware_status	not_applicable
implementation_paths	tools/release/;tools/evidence/;tools/dev/;X-Gen-Lab/nexus-examples;docs/status/
evidence_paths	;/workspace/nexus-offline-matrix-89485943-20261030/two-pair-handoff.json;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250;build/recovery-20261103/final-delivery-ab532250-20261104/profiles-and-strict-docs-handoff.json;https://github.com/X-Gen-Lab/nexus/blob/71b4f0e4cc9168e708513fb647b903c4bb39c71e/docs-public-p2-ab532250-20261104/transport.json
exit_condition	Separately prove the observed scope of the controlled environment and two fresh offline builds without inheriting old qualification.
owner	codex

V-L08

Original field	Original value
task_id	V-L08
task	Commit, merge and publication
implementation_status	partial_first_two_commits_pushed_pr43_draft
software_status	next_increment_ordinary_gate_commit_push_merge_release_pending
hardware_status	not_applicable
implementation_paths	tools/release/;tools/evidence/;tools/dev/;X-Gen-Lab/nexus-examples;docs/status/
evidence_paths	build/vendor-first-20261030/commits/02-commit.command.json;build/vendor-first-20261030/commits/02-push.command.json
exit_condition	Commit and synchronize normally, merge the verified commit and publish the same verified artifacts.
owner	codex

V-P01

Original field	Original value
task_id	V-P01
task	Physical station admission
implementation_status	planned
software_status	not_executed
hardware_status	not_executed
implementation_paths	tools/hil/;boards/;docs/design/selected-mode-hil.md
evidence_paths	(Original field is empty)
exit_condition	Confirm part/PCB/UID, probe, serial, supply and actual wiring for the three Boards.
owner	codex

V-P02

Original field	Original value
task_id	V-P02
task	Physical startup and UART
implementation_status	planned
software_status	not_executed
hardware_status	not_executed
implementation_paths	tools/hil/;boards/;docs/design/selected-mode-hil.md
evidence_paths	(Original field is empty)
exit_condition	Physically verify startup, clocks, GPIO, UART transfers and error recovery.
owner	codex

V-P03

Original field	Original value
task_id	V-P03
task	Physical buses and triggers
implementation_status	planned
software_status	not_executed
hardware_status	not_executed
implementation_paths	tools/hil/;boards/;docs/design/selected-mode-hil.md
evidence_paths	(Original field is empty)
exit_condition	Run SPI/I2C/ADC/PWM bus and trigger tests only on reviewed wiring.
owner	codex

V-P04

Original field	Original value
task_id	V-P04
task	Physical load and timing
implementation_status	planned
software_status	not_executed
hardware_status	not_executed
implementation_paths	tools/hil/;boards/;docs/design/selected-mode-hil.md
evidence_paths	(Original field is empty)
exit_condition	Measure IRQ, critical sections, DMA continuity, throughput, CPU and stack peaks on hardware.
owner	codex

V-P05

Original field	Original value
task_id	V-P05
task	Physical stop and recovery
implementation_status	planned
software_status	not_executed
hardware_status	not_executed
implementation_paths	tools/hil/;boards/;docs/design/selected-mode-hil.md
evidence_paths	(Original field is empty)
exit_condition	Physically test timeout, cancellation, failed withdrawal, stop and rerun after recovery.
owner	codex

V-P06

Original field	Original value
task_id	V-P06
task	Physical advanced scope
implementation_status	planned
software_status	not_executed
hardware_status	not_executed
implementation_paths	tools/hil/;boards/;docs/design/selected-mode-hil.md
evidence_paths	(Original field is empty)
exit_condition	Verify Cache/domains, low power, Flash/watchdog and selected security domains on the corresponding equipment.
owner	codex

V-X01

Original field	Original value
task_id	V-X01
task	OCI and fresh-daemon verification
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	tools/evidence/;tools/release/;docs/status/software-verification.md
evidence_paths	(Original field is empty)
exit_condition	Actually reconstruct the recipe and verify a fresh daemon when capacity is sufficient.
owner	codex

V-X02

Original field	Original value
task_id	V-X02
task	Server-side branch rules
implementation_status	pending_integration_administration_access
software_status	actual_ruleset_post_retried_403_20261030_not_configured
hardware_status	not_applicable
implementation_paths	tools/evidence/;tools/release/;docs/status/software-verification.md
evidence_paths	;build/vendor-first-20261030/external-recheck-20261030/main-ruleset-create.command.json
exit_condition	Actually configure and read back branch rules and required checks when permissions are available.
owner	codex

V-X03

Original field	Original value
task_id	V-X03
task	CodeQL access and disposition
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	tools/evidence/;tools/release/;docs/status/software-verification.md
evidence_paths	(Original field is empty)
exit_condition	Obtain actual CodeQL analysis and address findings without substituting local analysis for its identity.
owner	codex

V-X04

Original field	Original value
task_id	V-X04
task	Pages and formal publication
implementation_status	planned
software_status	not_executed
hardware_status	not_applicable
implementation_paths	tools/evidence/;tools/release/;docs/status/software-verification.md
evidence_paths	(Original field is empty)
exit_condition	Actually execute Pages/Release publication and record real execution and artifact identities.
owner	codex

IT-P01

Original field	Original value
task_id	IT-P01
task	External SoC/provider package contract
implementation_status	implemented
software_status	ordinary_accepted_eb4aba66_installed_sdk_status_in_source_record
hardware_status	not_applicable
implementation_paths	tools/configure/integration_package.py;docs/guides/provider-porting.md
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Define package identity, interface version, facts/routes, configuration and CMake entry points, and dependencies; the manifest records input identity without defining a second source-target graph.
owner	codex

IT-P02

Original field	Original value
task_id	IT-P02
task	Immutable package context
implementation_status	implemented
software_status	ordinary_accepted_eb4aba66_installed_sdk_status_in_source_record
hardware_status	not_applicable
implementation_paths	tools/configure/integration_package.py;tools/configure/ir.py;tools/configure/configure.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Resolve package selection explicitly once; resolver, capability queries, bindings, factory and build consume the same immutable result, without shared mutable state or cache contamination across packages.
owner	codex

IT-P03

Original field	Original value
task_id	IT-P03
task	External-package identity and path admission
implementation_status	implemented
software_status	ordinary_accepted_eb4aba66_installed_sdk_status_in_source_record
hardware_status	not_applicable
implementation_paths	tools/configure/integration_package.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Reject duplicate identities, escaped inputs, disallowed symlinks, missing files and version mismatches; failure leaves no partial generated bundle, with actual rejection regressions.
owner	codex

IT-P04

Original field	Original value
task_id	IT-P04
task	External configuration resolution
implementation_status	implemented
software_status	ordinary_accepted_eb4aba66_installed_sdk_status_in_source_record
hardware_status	not_applicable
implementation_paths	tools/configure/providers/descriptor.py;tools/configure/selected_contracts.py;tools/configure/configure.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	A new external family needs no central allowlist edit; built-in and external packages share the maintained resolution flow, with isolated results for multiple packages in one process.
owner	codex

IT-P05

Original field	Original value
task_id	IT-P05
task	External CMake integration
implementation_status	implemented
software_status	ordinary_accepted_eb4aba66_installed_sdk_status_in_source_record
hardware_status	not_applicable
implementation_paths	cmake/platform/Firmware.cmake;tools/configure/dependencies.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	The selected external package privately connects SDK, startup, system and linker inputs; an ordinary build scope retains one Nexus::Config and excludes unselected packages.
owner	codex

IT-P06

Original field	Original value
task_id	IT-P06
task	Installed-SDK consumption of external packages
implementation_status	implemented
software_status	ordinary_accepted_eb4aba66_installed_sdk_status_in_source_record
hardware_status	not_applicable
implementation_paths	cmake/package/package_source_sdk.py;cmake/package/verify_consumers.py;cmake/package/verification/common_services/external/assembly.toml
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	An external project configures, compiles and links using only the installed prefix and explicit package path; verify relocation, offline use, missing packages and version errors without checkout fallback.
owner	codex

IT-P07

Original field	Original value
task_id	IT-P07
task	External-package input and evidence closure
implementation_status	implemented
software_status	ordinary_accepted_eb4aba66_installed_sdk_status_in_source_record
hardware_status	not_applicable
implementation_paths	tools/configure/dependencies.py;tools/maintenance/capabilities.py;tools/configure/integration_package.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Facts, configuration code and selected build inputs enter one identity; package changes reject stale evidence, and capability queries neither mix built-in sources nor broaden physical qualification.
owner	codex

IT-P08

Original field	Original value
task_id	IT-P08
task	Independent integration acceptance fixture
implementation_status	implemented
software_status	ordinary_accepted_eb4aba66_installed_sdk_status_in_source_record
hardware_status	not_applicable
implementation_paths	cmake/package/verification/common_services/external/assembly.toml;tools/configure/test_external_package.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Deliver an external integration without changing Nexus, exercising static factory, multiple instances, startup failure and rollback; fixture results do not establish physical support for a new chip.
owner	codex

IT-R01

Original field	Original value
task_id	IT-R01
task	Read-only runtime-state observation
implementation_status	implemented
software_status	optional_observation_ordinary_accepted_eb4aba66_exact_scope_in_source_record
hardware_status	not_applicable
implementation_paths	core/include/nexus/core/request_observer.h;io/include/nexus/io/observation.h;components/owner_observer/
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Start with optional UART/SPI observations derived from real owner/provider facts; add no second state machine, grant no operation authority from snapshots, and impose no resident hot-path cost when disabled.
owner	codex

IT-R02

Original field	Original value
task_id	IT-R02
task	Multi-source wait-set and explicit executor
implementation_status	implemented
software_status	ordinary_accepted_eb4aba66_installed_sdk_status_in_source_record
hardware_status	not_applicable
implementation_paths	os/wait.c;os/include/nexus/os/wait.h
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	After a real second consumer fixes the contract, combine completion, timer and close hints with caller storage; verify arm/recheck, deadlines, unregister, join and fairness without hidden threads.
owner	codex

IT-R04

Original field	Original value
task_id	IT-R04
task	Exact runtime-PM path
implementation_status	partial
software_status	existing_h743_fixed64_cache_off_spi4_integration_and_physical_exits_open
hardware_status	not_executed
implementation_paths	components/clock_domain/;soc/stm32/stm32h743/;tests/google/h743_runtime_clock_test.cpp
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Fix controller, power/clock, pin and wake dependencies and verify suspend/resume rollback; accept software results separately from actual power, retention and wake timing.
owner	codex

IT-R05

Original field	Original value
task_id	IT-R05
task	Second sensor and sampling contract
implementation_status	implemented
software_status	tmp117_bounded_contract_ordinary_accepted_eb4aba66_physical_scope_separate
hardware_status	not_executed
implementation_paths	components/tmp117/;tests/google/tmp117_test.cpp
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Use a second actual device to test units, validity, time provenance, calibration, overflow and sample lifetime; reuse bus owners and cover invalid or stale values, bus failures, cancellation and multiple instances.
owner	codex

IT-N01

Original field	Original value
task_id	IT-N01
task	Initial networking scope and budgets
implementation_status	partial
software_status	recovery_134304_flash_116024_sram_budget_development_current_acceptance_in_source_record
hardware_status	not_applicable
implementation_paths	tests/contracts/f407_qiming_network/;components/network/;components/tls/;components/mqtt/
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Fix one exact SoC/Board/PHY/backend and IPv4 slice, declaring MTU, connections, frames, tasks, storage and exclusions; admit bare-metal and RTOS combinations separately.
owner	codex

IT-N02

Original field	Original value
task_id	IT-N02
task	Mature C network-stack integration
implementation_status	implemented
software_status	selected_stack_profiles_ordinary_accepted_eb4aba66_installed_sdk_separate
hardware_status	not_applicable
implementation_paths	dependencies/lwip.lock.json;components/network/CMakeLists.txt;tools/maintenance/lwip_lock.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Evaluate and lock the network stack source, license and build options using organization-hosted dependencies; support explicit offline SDK builds with no resident component when unlinked.
owner	codex

IT-N03

Original field	Original value
task_id	IT-N03
task	Ethernet-frames network-stack adapter
implementation_status	partial
software_status	payload_loans_tx_outcome_ordinary_accepted_eb4aba66_sdk_and_hil_separate
hardware_status	not_executed
implementation_paths	components/network/src/lwip_adapter.c;components/network/include/nexus/network/lwip_loaned_rx.h;docs/reference/api/components.md
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Reuse existing TX/RX loans and verify multiple fragments, stale tokens, link changes, stop with held RX and recovery failure; prove budgets and lifetimes separately for copied and zero-copy paths.
owner	codex

IT-N04

Original field	Original value
task_id	IT-N04
task	Network execution and bounded memory
implementation_status	implemented
software_status	copied_and_loaned_profile_contracts_ordinary_accepted_eb4aba66_sdk_separate
hardware_status	not_applicable
implementation_paths	components/network/port/lwipopts.h;components/network/src/lwip_adapter.c
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Specify stack context, timer progress, pools/arenas, packets and connection capacity; use no implicit tasks or expanding global heap, and verify exhaustion, overload and actual close/drain.
owner	codex

IT-N05

Original field	Original value
task_id	IT-N05
task	Basic IPv4 networking
implementation_status	partial
software_status	bounded_ipv4_tcp_ordinary_accepted_eb4aba66_physical_scope_separate
hardware_status	not_executed
implementation_paths	components/network/src/lwip_adapter.c;components/network/README.md
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Implement selected ARP/ICMP/UDP/TCP and explicit DHCP/DNS scope, exercising address changes, link flaps, half-close, timeout, reconnect and exhaustion; accept physical links separately.
owner	codex

IT-N06

Original field	Original value
task_id	IT-N06
task	Entropy interface and first provider
implementation_status	implemented
software_status	f407_entropy_contract_ordinary_accepted_eb4aba66_physical_entropy_open
hardware_status	not_executed
implementation_paths	io/include/nexus/io/entropy.h;soc/stm32/stm32f407/drivers/entropy.c;soc/stm32/stm32f407/entropy_instance.c;tests/google/entropy_test.cpp
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Specify source, health failure, available quantity, context, deadline and shutdown contracts; fail explicitly on shortage or hardware error rather than substituting timestamps or fixed seeds for entropy.
owner	codex

IT-N07

Original field	Original value
task_id	IT-N07
task	TLS resource and trust ports
implementation_status	implemented
software_status	bounded_tls_ordinary_accepted_eb4aba66_earlier205_scope_retained
hardware_status	not_applicable
implementation_paths	components/tls/;dependencies/mbedtls.lock.json;tests/google/tls_client_test.cpp
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Lock a mature TLS library, separate monotonic deadlines from certificate calendar time, and accept product-provided trust/credentials; regress bad certificates, unknown trusted time, entropy failure, exhaustion, cancellation and shutdown.
owner	codex

IT-N08

Original field	Original value
task_id	IT-N08
task	Optional MQTT adapter
implementation_status	implemented
software_status	bounded_mqtt_ordinary_accepted_eb4aba66_host_broker_scope_separate
hardware_status	not_applicable
implementation_paths	components/mqtt/;dependencies/coremqtt.lock.json;tests/google/mqtt_client_test.cpp
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Fix protocol version, QoS, payload and session scope, testing disconnection, duplicate messages, full queues and shutdown over selected TCP/TLS; keep topic, authorization, retry and offline-queue policy external.
owner	codex

IT-N09

Original field	Original value
task_id	IT-N09
task	End-to-end networking fault and resource validation
implementation_status	partial
software_status	recovery_host5_pcap10_arm_budget_development_current_acceptance_in_source_record
hardware_status	not_executed
implementation_paths	tests/contracts/lwip_mqtt_interop/;tests/contracts/f407_qiming_network/;tools/testing/mqtt_tls_interop.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Execute host protocol interactions, packet capture, fault scenarios and ARM linked budgets; bind results to exact configuration and artifacts, leaving PHY/DMA throughput and endurance to physical execution.
owner	codex

IT-S01

Original field	Original value
task_id	IT-S01
task	Bounded Settings/KV
implementation_status	implemented
software_status	ordinary_accepted_eb4aba66_installed_sdk_status_in_source_record
hardware_status	not_applicable
implementation_paths	components/settings/src/settings.c;components/settings/include/nexus/components/settings.h
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Build bounded key/value, schema, capacity and commit boundaries on existing two-bank Storage without replacing physical Flash or persistence foundations; keep defaults and migration policy external.
owner	codex

IT-S02

Original field	Original value
task_id	IT-S02
task	Settings failure regressions
implementation_status	implemented
software_status	ordinary_accepted_eb4aba66_installed_sdk_status_in_source_record
hardware_status	not_applicable
implementation_paths	components/settings/src/settings.c
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Exercise interrupted commit, corruption, full capacity, unknown schema and reopen after failure; commit-last retains the old or actual new version, while host files do not establish Flash power-cut acceptance.
owner	codex

IT-S03

Original field	Original value
task_id	IT-S03
task	Narrow image-maintenance ports
implementation_status	implemented
software_status	explicit_mcuboot_control_flash_contracts_ordinary_accepted_eb4aba66_sdk_separate
hardware_status	not_applicable
implementation_paths	components/mcuboot/port/flash_map_backend/flash_map_backend.h;components/mcuboot/include/nexus/components/mcuboot_control.h
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Check image bounds, alignment, erase/program, sync, busy and state readback within explicit Flash regions; reserve no partitions automatically and do not treat CRC as signature authentication.
owner	codex

IT-S04

Original field	Original value
task_id	IT-S04
task	External integration of a mature bootloader
implementation_status	partial
software_status	selected_mcuboot_overwrite_contract_ordinary_accepted_eb4aba66_physical_open
hardware_status	not_executed
implementation_paths	components/mcuboot/;dependencies/mcuboot.lock.json;tests/contracts/mcuboot_link/
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Evaluate mature choices such as MCUboot, build bootloader and application independently and verify resource feasibility; products own partitions, trust roots, signing, confirmation, rollback and anti-downgrade policy.
owner	codex

IT-S05

Original field	Original value
task_id	IT-S05
task	Image fault and resource validation
implementation_status	partial
software_status	mcuboot_model_contracts_ordinary_accepted_eb4aba66_sdk_and_physical_separate
hardware_status	not_executed
implementation_paths	tests/google/mcuboot_control_test.cpp;tests/google/mcuboot_boot_test.cpp;tests/contracts/mcuboot_link/
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Verify out-of-bounds access, partial writes, invalid images, version/state faults and ARM image/link layouts; accept physical power cuts, boot, confirmation and rollback through separate station records.
owner	codex

IT-S06

Original field	Original value
task_id	IT-S06
task	Filesystem admission and adaptation
implementation_status	conditional_no_current_need
software_status	reviewed_consumers_byte_oriented_no_filesystem_dependency_added
hardware_status	not_executed
implementation_paths	components/;dependencies/;tests/
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	After a real file requirement fixes the medium, select one filesystem and specify block geometry, sync, errors, exclusion and mount lifetime; without that requirement, record the selection decision without adding unused dependencies.
owner	codex

IT-X02

Original field	Original value
task_id	IT-X02
task	Optional GDB client workflow
implementation_status	implemented
software_status	optional_gdb_client_contract_ordinary_accepted_eb4aba66_exact_scope_separate
hardware_status	not_applicable
implementation_paths	tools/dev/device.py;tools/testing/test_dev_gdb_client.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Retain the localhost GDB server; bind an optional client to the original build ELF and tool identity, honoring timeout, cancellation, output and station locks, with actual owned-process cleanup.
owner	codex

IT-X03

Original field	Original value
task_id	IT-X03
task	Serial host and baud-rate extensions
implementation_status	implemented
software_status	ordinary_accepted_eb4aba66_installed_sdk_status_in_source_record
hardware_status	not_applicable
implementation_paths	tools/dev/device.py;tools/hil/serial_echo.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Extend baud rates and hosts according to actual needs while retaining explicit device identity; regress terminal restoration, disconnect, output bounds, lock conflicts and cancellation without first-port fallback.
owner	codex

IT-X04

Original field	Original value
task_id	IT-X04
task	Unified device-runner extension
implementation_status	conditional_no_current_need
software_status	no_new_probe_requirement_existing_openocd_path_preserved_no_runner_added
hardware_status	not_applicable
implementation_paths	tools/dev/;tools/testing/
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Preserve the existing OpenOCD path; additional required probe tools reuse device identity, ELF/provenance, timeout, output, lock and failure-isolation contracts.
owner	codex

IT-X06

Original field	Original value
task_id	IT-X06
task	Firmware-artifact queries
implementation_status	implemented
software_status	current_cli_contracts_ordinary_accepted_eb4aba66_exact_scope_in_source_record
hardware_status	not_applicable
implementation_paths	tools/dev/artifacts.py;tools/dev/dev.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Show actual invocation ELF/BIN/map, linked resources and generated configuration; explicitly label stale, mismatched or incomplete artifacts rather than inferring build success from file or directory existence.
owner	codex

IT-T01

Original field	Original value
task_id	IT-T01
task	Read-only test-plan preview
implementation_status	implemented
software_status	current_cli_contracts_ordinary_accepted_eb4aba66_exact_scope_in_source_record
hardware_status	not_applicable
implementation_paths	tools/dev/plan.py;tools/dev/dev.py
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Derive commands, domains, selection reasons, hardware requirements and unknowns from existing plans, presets, test discovery and lifecycle catalogues; previews neither execute tests nor create passing qualification.
owner	codex

IT-T06

Original field	Original value
task_id	IT-T06
task	Additional high-risk input and concurrency validation
implementation_status	partial
software_status	focused_fault_sanitizer_host_scopes_retained_current_formal_plan_open
hardware_status	not_applicable
implementation_paths	tests/;tools/testing/
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md
exit_condition	Apply suitable sanitizers, fuzzing and fault injection to networking, Settings, image and shutdown paths, retaining actual minimal failing inputs without broadening physical conclusions from models.
owner	codex

IT-E01

Original field	Original value
task_id	IT-E01
task	External industrial-control reference system
implementation_status	partial
software_status	current_private_f59debf_pinned_P2_full17presets116commands_28CTest18Google204_installed2CTest_passed_physical_scope_open
hardware_status	not_executed
implementation_paths	X-Gen-Lab/nexus-examples
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250.subsequent_actual_results.private_current_E
exit_condition	Compose existing acquisition, Modbus, owners, Storage and watchdog to exercise startup, operation, maintenance, shutdown, failure and recovery; keep tasks, register maps and product policy external.
owner	codex

IT-E02

Original field	Original value
task_id	IT-E02
task	External network-gateway reference system
implementation_status	partial
software_status	current_private_f59debf_pinned_P2_source_installed5realCbroker_cases_each_passed_join_release_cleanup_physical_open
hardware_status	not_executed
implementation_paths	X-Gen-Lab/nexus-examples
evidence_paths	docs/delivery/platform-delivery-completion-results.json;docs/status/software-verification.md;docs/delivery/platform-delivery-completion-results.json#source_version_records_20261103.final_public_source_P2_ab532250.subsequent_actual_results.private_current_E
exit_condition	Complete Ethernet→TCP/TLS→MQTT in an exact external composition, exercising disconnection, exhaustion, reconnect and shutdown; keep credentials, authorization and business policy external and private source/evidence out of public packages.
owner	codex