SoC/IP layout ledger¶
This page derives from the original CSV; it is not a new status authority, execution record or software qualification. Original identifiers, order and all original fields come from the original ledger. Source file: docs/design/soc-ip-layout-execution.csv; SHA-256: 0564d12a1125e718b7560defc8a7cbb184c77ebeb1b13ba1eea1331b2cac8fa4.
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 48 original records; this is only the source row count.
R01¶
Original field |
Original value |
|---|---|
|
R01 |
|
baseline |
|
Branch and source baseline |
|
Record actual source revision and branch before edits |
|
AGENTS.md |
|
implemented |
|
reviewed |
|
not_executed |
|
.git/local-recovery/soc-ip-layout/baseline.json |
|
Local and GitHub refactor/soc-ip-layout branches start at 890a6026384b. |
R02¶
Original field |
Original value |
|---|---|
|
R02 |
|
baseline |
|
Per-file responsibility and destination map |
|
Review every moved file and distinguish shared IP from SoC integration |
|
soc;drivers;tools/configure |
|
implemented |
|
reviewed |
|
not_executed |
|
.git/local-recovery/soc-ip-layout/path-map.json |
|
Shared IP and 35 family production modules reviewed; import-normalized family AST unchanged. These are original migration-baseline identities and counts, not current P totals; final execution is recorded in R43-R48. |
R03¶
Original field |
Original value |
|---|---|
|
R03 |
|
baseline |
|
Exact platform mode resource and rejection baseline |
|
Record maintained selections and rejection behavior without expanding support |
|
tools/configure;tests/contracts |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/baseline/configurations |
|
136 exact assemblies including all 71 catalogue entries resolved in both source trees; no effective decision changes. Existing negative contracts remain enforced. These are original migration-baseline identities and counts, not current P totals; final execution is recorded in R43-R48. |
R04¶
Original field |
Original value |
|---|---|
|
R04 |
|
baseline |
|
Test identities and execution domains |
|
Map retained cases to Native; tool; ARM and physical domains |
|
tests;tools/configure/tests;tools/testing |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/configuration/case-mapping.json |
|
Original 1035 configure cases retained one-to-one; 132 family cases relocated; 8 migration regressions added. These are original migration-baseline identities and counts, not current P totals; final execution is recorded in R43-R48. |
R05¶
Original field |
Original value |
|---|---|
|
R05 |
|
baseline |
|
Flash RAM ops and IRQ baseline |
|
Record actual linked resource and retention baseline for comparisons |
|
tools/measurement;tests/contracts |
|
implemented |
|
reviewed |
|
not_executed |
|
build/soc-ip-layout/baseline/resources |
|
32 prior resource reports from 16 presets retained with matching ELF hash/size. Historical baseline capture; not new execution or new-source resource qualification. Only resource reports were copied; ELF/map identities were observed at capture, not retained as new build evidence. Final P comparisons are recorded in R46. |
R06¶
Original field |
Original value |
|---|---|
|
R06 |
|
baseline |
|
Single execution ledger |
|
Maintain exactly R01-R48 with implementation and execution separated |
|
docs/design/soc-ip-layout-execution.csv |
|
implemented |
|
reviewed |
|
not_executed |
|
docs/design/soc-ip-layout-execution.csv |
|
One R01-R48 task record; implementation, software and physical status stay separate. Final software tested_source=P=92e669233957a2e450a528394e8f4dd0794c7049, tree=6e38d4c43d59330a0a9a9b7cac21f591d9c2719f; integrated M=c79fd9672a9fe56379744d834cfccd822bc40be1 has the same tree. This documentation update records P and does not claim its own software qualification. |
R07¶
Original field |
Original value |
|---|---|
|
R07 |
|
infrastructure |
|
Explicit family descriptors |
|
Declare canonical source directories and configuration modules without discovery |
|
tools/configure/providers/descriptor.py |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/configuration |
|
Explicit vendor/source/configuration directories; no family-prefix path inference. |
R08¶
Original field |
Original value |
|---|---|
|
R08 |
|
infrastructure |
|
Module loading and type identity |
|
Explicit loading preserves common Python type identity and import boundaries |
|
tools/configure/providers;soc |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/configuration |
|
Normal selected SoC packages and canonical shared types; six actual RED/GREEN loading regressions. |
R09¶
Original field |
Original value |
|---|---|
|
R09 |
|
infrastructure |
|
Input closure and freshness |
|
Moved configuration dependencies remain in identity and stale-input rejection |
|
tools/configure/dependencies.py;tools/configure/bundle.py |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/configuration |
|
All executing package initializers/helpers hashed; migrated sources protected from owned output overwrite. |
R10¶
Original field |
Original value |
|---|---|
|
R10 |
|
infrastructure |
|
SDK roots and required members |
|
Source SDK includes declared SoC configuration and IP driver inputs |
|
cmake/package |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/sdk-driver-red.log;build/soc-ip-layout/sdk-driver-green.log;build/soc-ip-layout/sdk-payload.log;build/soc-ip-layout/sdk-selection.log |
|
New shared driver transport regression RED then GREEN; 20 device payload and 45 selection/portable tests pass. Actual final P installed consumers are recorded in R45. |
R11¶
Original field |
Original value |
|---|---|
|
R11 |
|
infrastructure |
|
Family test discovery |
|
Retain and execute tests under tools/configure/tests/providers/<family> |
|
tools/configure/tests/providers |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/configuration/case-mapping.json |
|
Family tests remain in existing tools/configure discovery domain; no new runner. |
R12¶
Original field |
Original value |
|---|---|
|
R12 |
|
infrastructure |
|
Style source capability and measurement coverage |
|
Include drivers and SoC configuration in existing observers and gates |
|
tools/maintenance;tools/measurement;scripts/validation |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/baseline/quality-tools-green.log;build/soc-ip-layout/baseline/io-lifecycle-green.log;build/soc-ip-layout/capabilities-green.log |
|
New drivers remain covered by style, private include, ops/source/retention, static analysis and target-local lifecycle checks; independent review closed all migration findings. |
R13¶
Original field |
Original value |
|---|---|
|
R13 |
|
configuration_providers |
|
Move Native configuration |
|
Use soc/native/configure with explicit imports and retained tests |
|
soc/native/configure |
|
implemented |
|
phase1_complete_index_passed |
|
not_executed |
|
build/soc-ip-layout/configuration;.git/local-recovery/soc-ip-layout/sync-first.json;build/soc-ip-layout/commit-gates.log;build/soc-ip-layout/phase2-hook-evidence/manifest.json |
|
Phase-1 exact tree d9270fefe377be519e2fb10d223eed8125566223; canonical commit 7b985c4c619a966c886c3cbf01902ccbfb68c955. Ordinary complete-index gates: 3215 tool tests and 352 programs / 6352 Google cases. This result does not qualify subsequent behavior changes. The first outer hook log and sync receipt retain the historical assertion; reused build/native-debug/tdd bytes are not its original detailed evidence. Final P gates and execution are recorded in R43-R48. |
R14¶
Original field |
Original value |
|---|---|
|
R14 |
|
configuration_providers |
|
Move F103 and GD303 configuration |
|
Use each exact family configure package and retained tests |
|
soc/stm32/stm32f103/configure;soc/gd32/gd32f303/configure |
|
implemented |
|
phase1_complete_index_passed |
|
not_executed |
|
build/soc-ip-layout/configuration;.git/local-recovery/soc-ip-layout/sync-first.json;build/soc-ip-layout/commit-gates.log;build/soc-ip-layout/phase2-hook-evidence/manifest.json |
|
Phase-1 exact tree d9270fefe377be519e2fb10d223eed8125566223; canonical commit 7b985c4c619a966c886c3cbf01902ccbfb68c955. Ordinary complete-index gates: 3215 tool tests and 352 programs / 6352 Google cases. This result does not qualify subsequent behavior changes. The first outer hook log and sync receipt retain the historical assertion; reused build/native-debug/tdd bytes are not its original detailed evidence. Final P gates and execution are recorded in R43-R48. |
R15¶
Original field |
Original value |
|---|---|
|
R15 |
|
configuration_providers |
|
Move F407 and GD470 configuration |
|
Use each exact family configure package and retained tests |
|
soc/stm32/stm32f407/configure;soc/gd32/gd32f470/configure |
|
implemented |
|
phase1_complete_index_passed |
|
not_executed |
|
build/soc-ip-layout/configuration;.git/local-recovery/soc-ip-layout/sync-first.json;build/soc-ip-layout/commit-gates.log;build/soc-ip-layout/phase2-hook-evidence/manifest.json |
|
Phase-1 exact tree d9270fefe377be519e2fb10d223eed8125566223; canonical commit 7b985c4c619a966c886c3cbf01902ccbfb68c955. Ordinary complete-index gates: 3215 tool tests and 352 programs / 6352 Google cases. This result does not qualify subsequent behavior changes. The first outer hook log and sync receipt retain the historical assertion; reused build/native-debug/tdd bytes are not its original detailed evidence. Final P gates and execution are recorded in R43-R48. |
R16¶
Original field |
Original value |
|---|---|
|
R16 |
|
configuration_providers |
|
Move G474 configuration and helpers |
|
Co-locate G474 contract; construction; emission and selected helpers |
|
soc/stm32/stm32g474/configure |
|
implemented |
|
phase1_complete_index_passed |
|
not_executed |
|
build/soc-ip-layout/configuration;.git/local-recovery/soc-ip-layout/sync-first.json;build/soc-ip-layout/commit-gates.log;build/soc-ip-layout/phase2-hook-evidence/manifest.json |
|
Phase-1 exact tree d9270fefe377be519e2fb10d223eed8125566223; canonical commit 7b985c4c619a966c886c3cbf01902ccbfb68c955. Ordinary complete-index gates: 3215 tool tests and 352 programs / 6352 Google cases. This result does not qualify subsequent behavior changes. The first outer hook log and sync receipt retain the historical assertion; reused build/native-debug/tdd bytes are not its original detailed evidence. Final P gates and execution are recorded in R43-R48. |
R17¶
Original field |
Original value |
|---|---|
|
R17 |
|
configuration_providers |
|
Move H743 configuration |
|
Co-locate H743 contract; construction; emission and selected helpers |
|
soc/stm32/stm32h743/configure |
|
implemented |
|
phase1_complete_index_passed |
|
not_executed |
|
build/soc-ip-layout/configuration;.git/local-recovery/soc-ip-layout/sync-first.json;build/soc-ip-layout/commit-gates.log;build/soc-ip-layout/phase2-hook-evidence/manifest.json |
|
Phase-1 exact tree d9270fefe377be519e2fb10d223eed8125566223; canonical commit 7b985c4c619a966c886c3cbf01902ccbfb68c955. Ordinary complete-index gates: 3215 tool tests and 352 programs / 6352 Google cases. This result does not qualify subsequent behavior changes. The first outer hook log and sync receipt retain the historical assertion; reused build/native-debug/tdd bytes are not its original detailed evidence. Final P gates and execution are recorded in R43-R48. |
R18¶
Original field |
Original value |
|---|---|
|
R18 |
|
configuration_providers |
|
Move U575 configuration and clear old production paths |
|
Co-locate U575 policy and remove obsolete family production packages |
|
soc/stm32/stm32u575/configure;tools/configure/providers |
|
implemented |
|
phase1_complete_index_passed |
|
not_executed |
|
build/soc-ip-layout/configuration;.git/local-recovery/soc-ip-layout/sync-first.json;build/soc-ip-layout/commit-gates.log;build/soc-ip-layout/phase2-hook-evidence/manifest.json |
|
Phase-1 exact tree d9270fefe377be519e2fb10d223eed8125566223; canonical commit 7b985c4c619a966c886c3cbf01902ccbfb68c955. Ordinary complete-index gates: 3215 tool tests and 352 programs / 6352 Google cases. This result does not qualify subsequent behavior changes. The first outer hook log and sync receipt retain the historical assertion; reused build/native-debug/tdd bytes are not its original detailed evidence. Final P gates and execution are recorded in R43-R48. |
R19¶
Original field |
Original value |
|---|---|
|
R19 |
|
shared_drivers |
|
Move UART V1 channel DMA engine |
|
Select reviewed algorithm and private headers from drivers |
|
drivers/uart/uart_v1_channel_dma |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/native-debug/quality/soc-ip-layout-shared-drivers/;build/native-debug/quality/soc-ip-layout-shared-drivers/ctest-results.xml;build/native-debug/quality/soc-ip-layout-shared-drivers/ctest-results.execution.json |
|
Shared focused run: 17 targets; 17/17 CTest; 267 Google cases; zero skipped. Aggregate scope is not a per-row test count or complete qualification. Physical HIL not executed. The preserved shared-drivers XML matches the original report hash; its embedded generic Native XML path was later reused. Final P execution is separately recorded in R43-R48. |
R20¶
Original field |
Original value |
|---|---|
|
R20 |
|
shared_drivers |
|
Move I2C V1 asynchronous engine |
|
Select reviewed IRQ/DMA algorithm and private headers from drivers |
|
drivers/i2c/i2c_v1_async |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/native-debug/quality/soc-ip-layout-shared-drivers/;build/native-debug/quality/soc-ip-layout-shared-drivers/ctest-results.xml;build/native-debug/quality/soc-ip-layout-shared-drivers/ctest-results.execution.json |
|
Shared focused run: 17 targets; 17/17 CTest; 267 Google cases; zero skipped. Aggregate scope is not a per-row test count or complete qualification. Physical HIL not executed. The preserved shared-drivers XML matches the original report hash; its embedded generic Native XML path was later reused. Final P execution is separately recorded in R43-R48. |
R21¶
Original field |
Original value |
|---|---|
|
R21 |
|
shared_drivers |
|
Move I2C V2 engine |
|
Select reviewed polling algorithm and private headers from drivers |
|
drivers/i2c/i2c_v2 |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/native-debug/quality/soc-ip-layout-shared-drivers/;build/native-debug/quality/soc-ip-layout-shared-drivers/ctest-results.xml;build/native-debug/quality/soc-ip-layout-shared-drivers/ctest-results.execution.json |
|
Shared focused run: 17 targets; 17/17 CTest; 267 Google cases; zero skipped. Aggregate scope is not a per-row test count or complete qualification. Physical HIL not executed. The preserved shared-drivers XML matches the original report hash; its embedded generic Native XML path was later reused. Final P execution is separately recorded in R43-R48. |
R22¶
Original field |
Original value |
|---|---|
|
R22 |
|
shared_drivers |
|
Split legacy_devices and move ADC |
|
Separate private legacy interfaces and select the ADC algorithm from drivers |
|
drivers/adc/legacy_adc |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/native-debug/quality/soc-ip-layout-shared-drivers/;build/native-debug/quality/soc-ip-layout-shared-drivers/ctest-results.xml;build/native-debug/quality/soc-ip-layout-shared-drivers/ctest-results.execution.json |
|
Shared focused run: 17 targets; 17/17 CTest; 267 Google cases; zero skipped. Aggregate scope is not a per-row test count or complete qualification. Physical HIL not executed. The preserved shared-drivers XML matches the original report hash; its embedded generic Native XML path was later reused. Final P execution is separately recorded in R43-R48. |
R23¶
Original field |
Original value |
|---|---|
|
R23 |
|
shared_drivers |
|
Move legacy PWM |
|
Select fixed PWM algorithm and narrow private contract from drivers |
|
drivers/timer/legacy_pwm |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/native-debug/quality/soc-ip-layout-shared-drivers/;build/native-debug/quality/soc-ip-layout-shared-drivers/ctest-results.xml;build/native-debug/quality/soc-ip-layout-shared-drivers/ctest-results.execution.json |
|
Shared focused run: 17 targets; 17/17 CTest; 267 Google cases; zero skipped. Aggregate scope is not a per-row test count or complete qualification. Physical HIL not executed. The preserved shared-drivers XML matches the original report hash; its embedded generic Native XML path was later reused. Final P execution is separately recorded in R43-R48. |
R24¶
Original field |
Original value |
|---|---|
|
R24 |
|
shared_drivers |
|
Move legacy Flash and SoC helpers |
|
Select Flash algorithm; place STM32 identity helper; retain UART collaboration and update READMEs |
|
drivers/flash/legacy_flash;soc/stm32/common/stm32_identity.h;soc/common/uart_control.h;drivers/README.md;soc/common/README.md |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/native-debug/quality/soc-ip-layout-shared-drivers/;build/native-debug/quality/soc-ip-layout-shared-drivers/ctest-results.xml;build/native-debug/quality/soc-ip-layout-shared-drivers/ctest-results.execution.json |
|
Shared focused run: 17 targets; 17/17 CTest; 267 Google cases; zero skipped. Aggregate scope is not a per-row test count or complete qualification. Physical HIL not executed. The preserved shared-drivers XML matches the original report hash; its embedded generic Native XML path was later reused. Final P execution is separately recorded in R43-R48. |
R25¶
Original field |
Original value |
|---|---|
|
R25 |
|
facts_and_ir |
|
Centralize part package RAM and Flash geometry |
|
Use one exact fact authority for part; package; memory and physical geometry |
|
soc;tools/configure |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/facts-ir/part-red.log;build/soc-ip-layout/facts-ir/clock-red.log;build/soc-ip-layout/facts-ir/parts-clocks-green.log;build/soc-ip-layout/facts-ir/f407-flash.xml;build/soc-ip-layout/facts-ir/final-focused.log;build/soc-ip-layout/facts-ir/integration-bundle-green.log;build/soc-ip-layout/facts-ir/final-closure-green.log;build/soc-ip-layout/facts-ir/all-flash-red.log;build/soc-ip-layout/flash-geometry/summary.json |
|
Exact PartPolicy and optional-memory admission; physical numbers remain in soc.json and frozen PhysicalPartIR views. All seven MCU Flash geometries derive readonly C from validated facts; six retain global symbols and F407 uses selected static geometry. Final focused configuration suite: 364 tests; separate integration/bundle suite: 143 tests. These overlapping scopes are not additive or final-source qualification. |
R26¶
Original field |
Original value |
|---|---|
|
R26 |
|
facts_and_ir |
|
Typed controller integration record |
|
Use explicit typed integration data without family-name inference |
|
soc;tools/configure/providers/common.py |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/facts-ir/final-focused.log;build/soc-ip-layout/facts-ir/integration-bundle-green.log;build/soc-ip-layout/facts-ir/final-closure-green.log;build/soc-ip-layout/facts-ir/integration-red.log |
|
ControllerIntegrationIR composes existing canonical claims/DMA/IRQ/clock/pin/hardware objects; PhysicalPartIR reuses frozen facts. No new JSON/hash field or route resolver. Actual production consumers: F407 primary SPI and F407/GD470 paired secondary paths. Other constructors and explicit legacy fixture adapters remain. 364-test focused suite and overlapping 52-test final closure passed; no final-source qualification. |
R27¶
Original field |
Original value |
|---|---|
|
R27 |
|
facts_and_ir |
|
Clock reset pin and state integration |
|
Make integration ownership explicit without hidden side effects |
|
soc;drivers |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/facts-ir/final-focused.log;build/soc-ip-layout/facts-ir/integration-bundle-green.log |
|
Exact family clock, GPIO/preflight, ControllerBinding and secondary cold hooks own chip integration. Common resource leases/IRQ/drain ordering remain. Focused configuration and bundle suites passed; no runtime registration or broader clock/Board/backend qualification. |
R28¶
Original field |
Original value |
|---|---|
|
R28 |
|
facts_and_ir |
|
Consume existing IRQ DMA and memory IR consistently |
|
Use reviewed immutable IR instead of duplicated derived facts |
|
soc;tools/configure/ir.py;tools/configure/memory.py |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/facts-ir/final-focused.log;build/soc-ip-layout/facts-ir/integration-bundle-green.log;build/soc-ip-layout/facts-ir/final-closure-green.log;build/soc-ip-layout/facts-ir/claims-red.log;build/soc-ip-layout/facts-ir/primary-dma-red.log |
|
Typed owned_claims uses canonical ResourcePlanIR; selected hardware/DMA/IRQ/clock/pin consumers use ControllerIntegrationIR rather than reparsing routes. Meaningful omitted-lane/claim regressions recorded; other maintained typed or explicit legacy adapters remain. Focused suites are not final ARM/SDK qualification. |
R29¶
Original field |
Original value |
|---|---|
|
R29 |
|
facts_and_ir |
|
Move family special cases out of common tools |
|
Keep family policy in exact SoC configure packages and common mechanisms shared |
|
soc;tools/configure |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/facts-ir/parts-clocks-green.log;build/soc-ip-layout/r30/green-final.log;build/soc-ip-layout/facts-ir/final-focused.log;build/soc-ip-layout/facts-ir/integration-bundle-green.log;build/soc-ip-layout/r29-hardware;build/soc-ip-layout/r29-public-policies;build/soc-ip-layout/facts-ir/final-closure-green.log;build/quality/soc-ip-config-r32/profile-python-green.log |
|
Explicit SoC hardware/secondary, clock/linker/runtime-power, GPIO/preflight, selected support, UART/stream/endpoint and CAN/coupled/pin policies implemented. Generated-output equivalence checked in separately recorded 18-, 23- and 8-configuration scopes; test counts overlap and must not be added. Remaining common family literals are explicit dependency paths and ThreadX cross-Board/backend OS admission. F103/GD303 frozen LegacyTransportProfile supplies exact wiring without family fallback; its 38-test focused run is separate and overlaps related suites. |
R30¶
Original field |
Original value |
|---|---|
|
R30 |
|
facts_and_ir |
|
Capability revision and support projection |
|
Derive current views from exact reviewed facts without new support claims |
|
tools/maintenance;docs/delivery/capabilities.md |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/r30/red.log;build/soc-ip-layout/r30/owner-red.log;build/soc-ip-layout/r30/green-final.log |
|
98 tests passed across 10 focused modules. Existing silicon policy/IR projects separately for clock and controller owners; absent review stays null and companion/endpoint policy is not inherited. No broader support or hardware observation. |
R31¶
Original field |
Original value |
|---|---|
|
R31 |
|
static_configuration_and_lifecycle |
|
I2C V2 const configuration pilot |
|
Separate immutable configuration from mutable transfer state |
|
drivers/i2c/i2c_v2;soc |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/quality/soc-ip-config-r31/i2c-bind-red;build/quality/soc-ip-config-r31/i2c-config-overlap-red;build/quality/soc-ip-config-r31/i2c-green;build/quality/soc-ip-config-r31/i2c-python-green.log |
|
Selected G474/H743/U575 const configuration and separate BSS runtime implemented. Shared focused execution: 9 targets / 121 Google cases and 38 related Python tests passed; not per-row counts. Development ARM cost comparison is recorded in R46; final P complete gates and scoped execution are recorded in R43-R48. |
R32¶
Original field |
Original value |
|---|---|
|
R32 |
|
static_configuration_and_lifecycle |
|
UART DMA const configuration |
|
Separate immutable configuration from mutable request and block state |
|
drivers/uart/uart_v1_channel_dma;soc |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/quality/soc-ip-config-r32/prepare-red;build/quality/soc-ip-config-r32/prepare-green;build/quality/soc-ip-config-r32/profile-python-green.log;build/quality/soc-ip-config-r32/uart-ring-red;build/quality/soc-ip-config-r32/uart-ring-green |
|
Selected F103/GD303 UART DMA immutable config and BSS runtime implemented; duplex receive extension remains separate. Static config/resources share runtime lifetime and successful stop preserves binding. Final focused run: 3 targets / 65 Google cases plus 38 Python tests. Host execution covers actual SoC wrapper/engine/GPIO; generated DMA factory runtime is not claimed. Development ARM comparison is recorded separately in R46; final P complete gates and scoped execution are recorded in R43-R48. |
R33¶
Original field |
Original value |
|---|---|
|
R33 |
|
static_configuration_and_lifecycle |
|
Shared ops immutable faces and direct IRQ |
|
Preserve shared readonly methods; independent contexts and direct IRQ entry |
|
drivers;soc;io |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/quality/soc-ip-config-r32/prepare-red;build/quality/soc-ip-config-r32/prepare-green;build/quality/soc-ip-config-r32/profile-python-green.log;build/quality/soc-ip-config-r32/uart-ring-red;build/quality/soc-ip-config-r32/uart-ring-green;build/quality/soc-ip-config-r31/i2c-green |
|
Shared readonly ops, immutable public faces, distinct static contexts and direct IRQ entry symbols retained for the selected I2C V2 and UART DMA changes; no hot-path dispatch layer. Focused UART wrapper/engine/GPIO and I2C model suites passed. Development ARM linked retention/costs are recorded in R46; final P scoped validation is recorded in R43-R48. |
R34¶
Original field |
Original value |
|---|---|
|
R34 |
|
static_configuration_and_lifecycle |
|
Move initialization and stop logic into C |
|
Keep explicit lifecycle ordering and cleanup responsibilities in concrete code |
|
soc;drivers;tools/configure |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/quality/soc-ip-config-r31/i2c-bind-red;build/quality/soc-ip-config-r31/i2c-config-overlap-red;build/quality/soc-ip-config-r31/i2c-green;build/quality/soc-ip-config-r31/i2c-python-green.log;build/quality/soc-ip-config-r36/legacy-final-green;build/quality/soc-ip-config-r32/prepare-red;build/quality/soc-ip-config-r32/prepare-green;build/quality/soc-ip-config-r32/profile-python-green.log;build/quality/soc-ip-config-r32/uart-ring-red;build/quality/soc-ip-config-r32/uart-ring-green |
|
Selected I2C V2, F103/GD303 UART DMA and legacy ADC/PWM/Flash cold integration lives in concrete C preparation with existing stop paths. U575 engine stop precedes clock release. UART AHB DMA gate and Platform ordering remain generated; legacy I2C V1 and other peripherals retain family-emitted behavior. Focused suites overlap and are not additive or whole-platform qualification. |
R35¶
Original field |
Original value |
|---|---|
|
R35 |
|
static_configuration_and_lifecycle |
|
Retained failure and retry contracts |
|
Preserve partial effects and borrows until proved drain or explicit retry |
|
soc;drivers;tests/google |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/quality/soc-ip-config-r31/i2c-bind-red;build/quality/soc-ip-config-r31/i2c-config-overlap-red;build/quality/soc-ip-config-r31/i2c-green;build/quality/soc-ip-config-r31/i2c-python-green.log;build/quality/soc-ip-config-r36/legacy-final-green;build/quality/soc-ip-config-r32/prepare-red;build/quality/soc-ip-config-r32/prepare-green;build/quality/soc-ip-config-r32/profile-python-green.log;build/quality/soc-ip-config-r32/uart-ring-red;build/quality/soc-ip-config-r32/uart-ring-green |
|
Selected I2C V2, UART DMA and legacy ADC/PWM/Flash live/retained guards, failed-drain responsibility and stop/retry contracts passed focused regressions. UART guards precede config/pin mutation and include outstanding wake/RX loans; failed withdrawal retains config and borrowed storage. Counts across focused suites overlap; final-source and physical qualification are separate. |
R36¶
Original field |
Original value |
|---|---|
|
R36 |
|
static_configuration_and_lifecycle |
|
Split legacy ADC PWM and Flash integration |
|
Separate exact SoC integration from reusable algorithms and narrow contracts |
|
soc/stm32/stm32f103/drivers/devices.c;soc/gd32/gd32f303/drivers/devices.c;drivers/adc/legacy_adc;drivers/timer/legacy_pwm;drivers/flash/legacy_flash |
|
implemented |
|
final_P_native_arm_passed |
|
not_executed |
|
build/quality/soc-ip-config-r36/legacy-high-green;build/quality/soc-ip-config-r36/legacy-python-green.log;build/quality/soc-ip-config-r36/legacy-final-green;build/quality/soc-ip-candidate/legacy-devices/report.json;build/quality/soc-ip-candidate/f103-flash-only-retention.json;build/quality/soc-ip-candidate/gd303-flash-only-retention.json;build/quality/soc-ip-candidate/completion-summary.json;build/quality/soc-ip-candidate/source-snapshot.json;/workspace/nexus-examples/build/platform-software-recovery-92e669233957/providers/mainstream_assembly/report.json;/workspace/nexus-examples/build/platform-candidate-92e669233957/completion-2/host_contracts.json |
|
F103/GD303 concrete C ADC/PWM/Flash prepare entries and existing shared close paths implemented. Final two factory targets: 11 Google cases, including full independent 128-sector geometry, live rebind, failed stop/retry and failed initialization cleanup/restart; GD303 foreign oversampling stays unchanged on BUSY. Earlier 6-target/97-case and 40-Python results overlap and are not additive. Four exact legacy ARM builds and two independent Flash-only retention consumers also passed on the 184-file dirty development overlay. This is development evidence, not final clean-source qualification; other peripheral emission is unchanged. Final clean P separately passed all four Native modes and the four f103/gd303 devices baremetal/FreeRTOS fixtures at mainstream_assembly indices 0/1/8/9. The two extra Flash-only consumers remain development observations; they were not rerun or relabeled as P. |
R37¶
Original field |
Original value |
|---|---|
|
R37 |
|
build_integration_and_docs |
|
Review CMake private includes and Runtime boundary |
|
Selected targets retain source ownership and vendor includes stay private |
|
soc;drivers;cmake |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/integration-audit/runtime-green.log;build/soc-ip-layout/integration-audit/cmake/observations.json |
|
Three real RED Runtime inclusion regressions then 18 tests GREEN. Eight family consumer include closures show no private leakage; two Cortex-M4 baremetal/FreeRTOS Ninja/ARM configurations exclude SoC/driver/Board objects. This audit configured targets; it did not build production firmware. |
R38¶
Original field |
Original value |
|---|---|
|
R38 |
|
build_integration_and_docs |
|
Converge SDK transport manifest |
|
Use required payload closure without redundant source authorities |
|
cmake/package |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/integration-audit/sdk-closure-red.log;build/soc-ip-layout/integration-audit/sdk-closure-green.log;build/soc-ip-layout/integration-audit/required-comparison.json |
|
48 selection/admission/descriptor tests passed. SDK requirements reuse public source_names and descriptor facts/payload; no prior required member removed. Additional declared family helpers are included dynamically. Actual final P relocated SDK execution is recorded in R45. |
R39¶
Original field |
Original value |
|---|---|
|
R39 |
|
build_integration_and_docs |
|
Incremental configuration transaction regressions |
|
Exercise changed-module invalidation and failed reconfiguration through existing gates |
|
tools/configure/tests;tools/testing |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/facts-ir/incremental-green.log;build/soc-ip-layout/facts-ir/incremental-receipt.json;build/soc-ip-layout/facts-ir/integration-bundle-green.log;build/soc-ip-layout/facts-ir/final-closure-green.log |
|
Fresh Native consumer CMake/Ninja configure/build and no-change rebuild executed; changing a declared family module triggered CMake and selected regeneration. All receipt commands exit zero. Separate 143-test integration/bundle suite covers transaction boundaries; not a fresh final-source SDK or full firmware matrix qualification. |
R40¶
Original field |
Original value |
|---|---|
|
R40 |
|
build_integration_and_docs |
|
Existing CLI diagnostics |
|
Existing commands report exact provider inputs and failures without a new framework |
|
tools/configure/configure.py;tools/configure/experience.py |
|
implemented |
|
focused_passed |
|
not_executed |
|
build/soc-ip-layout/integration-audit/diagnostic-red.log;build/soc-ip-layout/integration-audit/diagnostic-green.log;build/soc-ip-layout/integration-audit/cli/summary.json |
|
35 focused tests passed; eight exact provider-check runs emitted static bundles and identity mismatch rejected. provider_module_missing applies only to the selected entry/parent package; other import errors remain explicit. No compile/link or physical qualification. |
R41¶
Original field |
Original value |
|---|---|
|
R41 |
|
build_integration_and_docs |
|
Bilingual documentation diagrams and porting migration |
|
Current source maps; diagram links; READMEs and reviewed gettext match implementation |
|
README.md;README_CN.md;drivers/README.md;soc/README.md;soc/common/README.md;tools/configure/README.md;docs/explanation;docs/guides/provider-porting.md;docs/design;docs/delivery/architecture.md;docs/assets/diagrams/README.md;docs/locale |
|
implemented |
|
clean_P_docs_and_D_review_passed |
|
not_executed |
|
build/soc-ip-layout/documentation/phase1-clean-build.json;build/soc-ip-layout-docs-review.json;build/soc-ip-layout/documentation/phase2-source-scan-final.json;build/soc-ip-layout/documentation/phase2-diagram-check.json;build/soc-ip-layout/documentation/phase2-diagram-review.json;build/soc-ip-layout/documentation/phase2-po-independent-review.json;build/soc-ip-layout/documentation/phase2-review-admission.json;build/soc-ip-layout/documentation/phase2-translations-final.json;build/soc-ip-layout-docs-92e669233957/documentation-build.json;build/soc-ip-layout/documentation/final-d-extraction/extraction.json;build/soc-ip-layout/documentation/final-d-source-check.json;build/soc-ip-layout/documentation/final-d-po-independent-review.json;build/soc-ip-layout/documentation/final-d-review-admission.json;build/soc-ip-layout/documentation/final-d-translations.json |
|
Phase-1 clean 7b985 strict bilingual build and independent 18-catalog review retained. Phase-2 current content complete: FIG-31 independent source/visual review, locked diagram verification, 131-page source scan, actual gettext extraction and whole-site 262 locale checks passed. Nine catalogs independently reviewed: 101 new messages and 945 unchanged reviewed entries. Clean P strict bilingual build passed with 262 locale checks; its receipt has qualification=false and SHA256 acdca47f4ccf9f1438a8c50f25dd8bea4135821922da202181a5237738ff8166. This later documentation-only update records P; its actual gettext/review and clean-D build are separate documentation evidence, not firmware or physical qualification. D content validation actually passed: fresh locked gettext, 131-page source scan, independent semantic review of 22 new messages with 127 baseline pairs unchanged, and 262 whole-site locale checks. Clean-D strict build is a separate postcommit receipt; no future success or D self-hash is recorded here. |
R42¶
Original field |
Original value |
|---|---|
|
R42 |
|
build_integration_and_docs |
|
Examples candidate consumption |
|
Consume the concrete candidate in the external examples repository |
|
X-Gen-Lab/nexus-examples |
|
implemented |
|
executed_passed |
|
not_executed |
|
/workspace/nexus-examples/build/local-ci-soc-ip-layout-92e669233957/execution.json;/workspace/nexus-examples/build/soc-ip-layout-validation-92e669233957/sdk-examples-validation-evidence.json;/workspace/nexus-examples/build/soc-ip-layout-candidate-92e669233957/ordinary-hook-evidence.json;.git/local-recovery/soc-ip-layout/examples-main-merge.json |
|
Exact P consumed by clean examples 0f15022e4d5f5c51991b134d0b9d6082dcf88de9, tree bb60f413b911ec212b59b77cea1734971eddbd9f. Complete canonical local CI passed: Native, installed SDK consumer, 16 ARM presets and 32 main-matrix ELFs for platform_reference/uart_owner_runtime; dedicated example targets remain separately recorded. Formal lock and Gitlink match P; candidate_validation=false. Ordinary hook retained 80 tool tests and 15 CTest / 69 Google cases with no skips. PR15 merged as bd3b90f135600b6405459347cb9e2cff5692d2e3 with the same examples tree. This is exact code-candidate consumption, not physical execution. |
R43¶
Original field |
Original value |
|---|---|
|
R43 |
|
verification_and_delivery |
|
Four Native modes and complete tool suites |
|
Execute maintained modes and complete applicable tool domains with fresh nonempty reports |
|
tests/google;tools/dev;tools/configure/tests;tools/testing |
|
implemented |
|
executed_passed |
|
not_executed |
|
/workspace/nexus-examples/build/platform-software-cleanenv-92e669233957/report.json;/workspace/nexus-examples/build/platform-software-cleanenv-92e669233957/tool-tests.json;/workspace/nexus-examples/build/platform-software-cleanenv-92e669233957/configure-tests.json;/workspace/nexus-examples/build/platform-software-cleanenv-92e669233957/ci-tests.json;/workspace/nexus-examples/build/platform-software-cleanenv-92e669233957/workflow-tests.json;/workspace/nexus-examples/build/platform-candidate-92e669233957/completion-2/host_contracts.json;build/soc-ip-layout/phase2-hook-evidence/manifest.json |
|
Tested clean P=92e669233957a2e450a528394e8f4dd0794c7049. All four Native modes debug/release/ASan-UBSan/TSan actually passed: each 372 CTest and 6396 Google cases, zero failures/errors/skips. Complete applicable tool domains passed: testing 1527, configure 1071, ci 490, workflows 159 (3247 total); other tool domains are not inferred from these four. Original executions are retained in candidate evidence. A remains interrupted/running after its 90 completed stages; this row closes the actual completed Native/tool scopes, not a single full-plan pass. The separate ordinary complete-index hook archive records 3247 tools and 352 Google programs / 6396 cases. |
R44¶
Original field |
Original value |
|---|---|
|
R44 |
|
verification_and_delivery |
|
ARM and Runtime matrix |
|
Compile and link exact maintained ARM and CPU Runtime configurations |
|
tests/contracts;tools/measurement |
|
implemented |
|
segmented_execution_passed |
|
not_executed |
|
/workspace/nexus-examples/build/platform-software-cleanenv-92e669233957/report.json;/workspace/nexus-examples/build/platform-software-cleanenv-92e669233957/interruption-observation.json;/workspace/nexus-examples/build/platform-software-cleanenv-92e669233957/cortex_runtime/report.json;/workspace/nexus-examples/build/platform-software-recovery-92e669233957/report.json;/workspace/nexus-examples/build/platform-candidate-92e669233957/completion-2/host_contracts.json;/workspace/nexus-examples/build/platform-candidate-92e669233957/completion-2/candidate-portable.json |
|
Tested P=92e669233957a2e450a528394e8f4dd0794c7049: original maintained plan has actual exact segmented coverage A90+B69. A retains running and no source_after after environment interruption; B executed_passed with the exact original suffix, zero stage exits and unchanged clean source. B report SHA256 f8ecf185eadbef7e33d7a667366da7de34241ce243a5d417b5b453ae3bb99694. All original names/order/checkers/args/timeouts and raw identities were checked; no merged executed_passed report was invented. B reran all 865 tidy and 865 cppcheck contexts. CPU Runtime passed 104 variants with source_inputs_stable=true; its full_platform_status stays not_qualified and expected rejections are separate from positive images. ARM/provider/retention/resource fixtures retain their exact original reports; linked software does not establish MCU execution. |
R45¶
Original field |
Original value |
|---|---|
|
R45 |
|
verification_and_delivery |
|
Relocated SDK integrity |
|
Verify required installed members and independent relocated consumers |
|
cmake/package |
|
implemented |
|
executed_passed |
|
not_executed |
|
build/soc-ip-layout/sdk-relocation-92e669233957/execution.json;/workspace/nexus-examples/build/soc-ip-layout-validation-92e669233957/sdk-examples-validation-evidence.json;/workspace/nexus-examples/build/platform-candidate-92e669233957/completion-2/source_sdk.json;/workspace/nexus-examples/build/platform-candidate-92e669233957/completion-2/verify_relocated_sdk.command.json;/workspace/nexus-examples/build/platform-candidate-92e669233957/completion-2/candidate-portable.json |
|
Publishable source SDK binds clean P=92e669233957a2e450a528394e8f4dd0794c7049 and its exact tree. Actual package verification and independent relocated consumers passed at platform-sdk-92e669233957/SDK relocated, including Native C/C++, Runtime and maintained firmware selections; source closure and exported inputs retain original member hashes. The independent SDK/examples archive preserves those executions. Candidate completion-2 reverified the relocated SDK with exit 0. Initial completion used an incorrect verifier root and failed; its original failed receipt remains, followed by the actual corrected execution. No source change or guard weakening was used. |
R46¶
Original field |
Original value |
|---|---|
|
R46 |
|
verification_and_delivery |
|
Resource retention and cost comparison |
|
Compare actual Flash RAM ops and IRQ retention for the same selections |
|
tools/measurement;tests/contracts |
|
implemented |
|
final_P_comparison_passed |
|
not_executed |
|
build/quality/soc-ip-candidate/cost-summary.json;build/quality/soc-ip-candidate/uart/report.json;build/quality/soc-ip-candidate/legacy-devices/report.json;build/quality/soc-ip-candidate/f103-flash-only-retention.json;build/quality/soc-ip-candidate/gd303-flash-only-retention.json;build/quality/soc-ip-candidate/completion-summary.json;build/quality/soc-ip-candidate/source-snapshot.json;build/quality/soc-ip-final-p-92e669233957/final-cost-summary.json;build/quality/soc-ip-final-p-92e669233957/final-cost-summary.csv;build/quality/soc-ip-cost-package-92e669233957/package.json;build/quality/soc-ip-cost-package-92e669233957/artifact-summary.json |
|
Historical 184-file dirty development overlay comparisons remain separately identified in their original reports. Final clean P versus 7b985: all 11 strict comparisons passed from actual A/B build artifacts with independent ELF/map/IRQ review; no rebuild for path normalization. I2C total loaded Flash delta G474/H743/U575 = -4/+40/+64 B, composed of code/alignment +108/+152/+224 B, readonly config +24 B each, path-pool/alignment -136/-136/-184 B; reserved RAM -24/-16/-24 B and state 28 to 8 B. Eight UART totals range +168 to +392 B Flash, with code/alignment +336 to +384 B, readonly config 60 B and negative source-path/alignment contributions; all reserve 48 B less RAM, TX state 96 to 48 B and duplex 144 to 96 B. Source-root string reductions are not architecture savings. UART selected IRQ code at most +2 B/one static instruction, up to two config loads; duplex channel local push frame grows 16 to 24 B while MSP reservation is unchanged. No new selected IRQ indirect call; cycles/WCET/dynamic stack high-water are not measured. Portable cost evidence archive SHA256 fb0f63bcae83f7a5b278a311f67107bf4f8c99fcee0014638b0fb26c0936567f, 4035953 B / 1184 files; original source/tool/SDK inputs remain explicit external dependencies. |
R47¶
Original field |
Original value |
|---|---|
|
R47 |
|
verification_and_delivery |
|
Independent review main integration and formal examples pin |
|
Complete review and ordinary gates before approved integration and exact examples pin |
|
AGENTS.md;X-Gen-Lab/nexus-examples |
|
implemented |
|
integrated_reviewed |
|
not_executed |
|
build/soc-ip-layout/r47-independent-review.json;build/soc-ip-layout/phase2-hook-evidence/manifest.json;build/soc-ip-layout/codeql-pr36-review/review.json;build/soc-ip-layout/codeql-pr36-review/comments.json;build/soc-ip-layout/codeql-pr36-review/remote-status.json;.git/local-recovery/soc-ip-layout/platform-main-merge.json;.git/local-recovery/soc-ip-layout/examples-main-merge.json;.git/local-recovery/soc-ip-layout/platform-merge-import-apply.json;.git/local-recovery/soc-ip-layout/examples-merge-import-apply.json;/workspace/nexus-examples/build/soc-ip-layout-candidate-92e669233957/ordinary-hook-evidence.json |
|
Independent production review completed without blocking findings; normal complete-index hooks passed on the tree integrated as P. PR36 actually merged to M=c79fd9672a9fe56379744d834cfccd822bc40be1, tree exactly equal to P; PR15 merged to bd3b90f135600b6405459347cb9e2cff5692d2e3, tree equal to tested examples bb60f413b911ec212b59b77cea1734971eddbd9f, with formal lock/Gitlink P. Actual signed GitHub commit objects and local lease/import receipts retained. All 14 CodeQL review comments were assessed: no confirmed production dangling/late binding or exercised test UAF, with nonblocking maintenance suggestions retained; they are not all labeled false positives. Remote Security Analysis 40388967544 CPP/Python jobs passed, not a local CodeQL run or zero-alert/zero-defect claim. This documentation-only follow-up does not retest M as a new software source. |
R48¶
Original field |
Original value |
|---|---|
|
R48 |
|
verification_and_delivery |
|
Clean software delivery and two fresh offline reproductions |
|
Bind clean source and actual reproducible artifacts; physical HIL stays not_executed |
|
tools/evidence;docs/design/soc-ip-layout-execution.csv |
|
implemented |
|
software_qualified |
|
not_executed |
|
/workspace/nexus-examples/build/platform-candidate-92e669233957/reproduction-quiet1.json;/workspace/nexus-examples/build/platform-candidate-92e669233957/completion-2/candidate/candidate.json;/workspace/nexus-examples/build/platform-candidate-92e669233957/completion-2/candidate_verify.command.json;/workspace/nexus-examples/build/platform-candidate-92e669233957/finish-candidate-r48-2.command.json;/workspace/nexus-examples/build/platform-candidate-92e669233957/completion-2/candidate-portable.json;/workspace/nexus-examples/build/platform-candidate-92e669233957/completion-2/execution-receipts.json;build/soc-ip-layout/qualification-timeout-92e669233957/manifest.json;/workspace/nexus-examples/build/platform-software-cleanenv-92e669233957/interruption-observation.json;/workspace/nexus-examples/build/platform-software-recovery-92e669233957/report.json;/workspace/nexus-examples/build/platform-candidate-92e669233957/finish-candidate-r48.command.json;/workspace/nexus-examples/build/platform-software-final-92e669233957/report.json;build/soc-ip-layout/software-92e669233957/report.json |
|
Sealed software candidate binds clean P=92e669233957a2e450a528394e8f4dd0794c7049, exact configuration and actual same ELF/BIN/map inputs. Existing six scopes passed: host_contracts, arm_link, resource_budget, source_sdk, reproducibility, hil_tooling; owned candidate verifier and parent completion-2 process exit 0. Two fresh distinct network-none builds passed declared container-boundary verification and bit_exact_elf_bin with no differing artifacts; map bit equality is not claimed. Candidate SHA256 35c8301ac95cdc7eee6b125e5ed8170ef44800bb6eb4995361d02c364660c060. Portable archive SHA256 7f89e8ec33a543e150e7165a3e4252aa11a96d62fe5d3187a9b0d4791aa618b4, 433850915 B / 6401 files. Signature unsigned; product promotion not_performed; HIL not_executed. Maintained-plan evidence is exact A90+B69 segmented coverage, not a single successful 159-stage run. Original output-boundary, timeout, GIT_PAGER-admission, interruption and initial SDK-root failures retain original outcomes; none was rewritten as passed. D only records P and obtains its own separate documentation receipt. |