当前设计与实施台账

当前代码采用统一物理目录、TOML 静态装配、typed factory 和共享多态方法表。 公共 C11 face 只保存 readonly ops 与私有 context；每个实例拥有独立状态，request 和 block storage 由调用者提供。SDK 和 provider storage 私有，应用产品工程独立。 这里的设计合同与 当前交付 一起使用，历史文档不建立当前资格。

五项有界软件增量的装配、借用与恢复责任见映射存储、AMP、镜像交接、RTC 与帧边界。完整原始退出条件与实板状态保持不变。

文档

用途

Developer experience and provider iteration

Nine boundaries covering application entry, configuration explanations, instance integration, lifecycle, resource cost, official reuse and execution efficiency

75-task execution ledger

63 software items, six integration exits and six physical exits; implementation and actual verification remain separate

文档系统架构与交付规划

读者任务、单一正文、MyST/API、双语、门禁、版本与离线交付的目标方案

文档系统58项台账

保留DOC-01至40并补内容/图示任务；依赖、退出条件与实施/验证分别记录

完整文档优化清单

从同一台账派生的读者清单，不建立第二份状态权威

内容与图示标准

清晰表达、规范用语、事实/资格、示例、架构图和独立审查约束

页面模板

tutorial/how-to/reference/explanation/status必需问题

当前与目标参考图

本地 DOT/SVG 主图与两张补充图；主图以图清单为准，current/reference/target 身份、渲染与审查分别记录

文档迁移映射

当前正文、工具和相邻 README 的去向；保留原资格与台账身份

架构蓝图

原理、执行、所有权、性能/空间与支持边界

SoC/IP 目录整理 48 项台账

八组路径、配置、构建与验证任务；实现、软件执行和实板状态分别记录

I/O 增量架构

资源/触发/DMA 计划、可选 traits、硅片准入、数据单位与当前/待实现边界；状态由 IO-01–42 台账维护

选定模式 HIL 合同

H743 SPI Cache／连续 RX／UART DMA 双向、U575 UART 硬件链／RUN LPTIM 的精确采集协议；准备和原始记录校验不建立实板资格

H743 V 修订高速时钟参考

已审 V 修订 HSI／PLL384 冷态生命周期、不可变时钟域与外设内核合同；软件证据与待验证硬件边界

H743 Flash RAM 维护设计

选定 V／Cache off 的私有 CPU bridge、RAM VTOR、MPU 保护与真实排空；生产 ELF 闭包及完整软件退出尚未完成

有限 PWM/ADC 联合采样

单 owner、两次预热、TIM1 触发的 regular ADC DMA、排空与冷态恢复；软件参考/HIL 边界

U575 有限 UART GPDMA

精确 TZEN0 USART1 有限 GPDMA TX、persistent DMAT、SRAM1 准入及请求/线上/IRQ 排空

G474 CAN FD

固定 FDCAN1 消息 RAM、显式模式、TX 物理完成与引用排空；收发器和实板边界

UART FIFO 有界中断服务

H743/U575 官方 LL 阈值、收发预算、IDLE 短尾和 TC 排空；正式配置与实板边界

ADC 分组采集

G474 regular/injected、硅版本准入、采样格式、校准时效和真实停止；产品算法外置

增强以太网帧

F407/GD470 SG/VLAN、帧借用、硬件时间戳和全局中止；PHY 与协议政策外置

F407 I2S2 从机有限发送

精确 VE/ZG 裸机、外部 CK/WS、有限 normal DMA、整块帧借用和真实排空；开发软件证据与完整音频／实板退出分列

本轮 I/O 与时钟交付观察

逐配置开发证据、待冻结源码与最终资格分别记录，不继承旧 CI 或实板资格

工程手册

既有格式/注释、工具、自动化、证据与发布

构建系统合同

配置事务、增量依赖、目标策略、开发入口与交付边界

构建系统48项台账

原始退出条件、实现路径与本轮执行证据

官方驱动与 provider 迭代

私有 HAL/LL 复用、typed Construction、工作包退出条件及资格边界

主流 MCU 接入与反馈

八个精确料号、官方与 Zephyr 来源、有限外设边界及跨系列平台反馈

接入契约

SoC/Board/器件/组件/外部工程的严格资源合同

OS 执行与生命周期合同

deadline、IRQ policy、任务/队列、低功耗与扩展边界

后端接入与执行探针

新 RTOS 的能力合同、实际执行和不得自动扩大支持

ThreadX 配置与接入

官方真实 Linux/M4 内核、独立 typed policy、bootstrap、静态对象与精确支持范围

浅睡眠 timebase

显式 FreeRTOS selector、固定 clock/compare alarm、量化 phase、失败保留与物理边界

U575 保留时钟与 Stop2

TZEN0 独立 RTC 时间域、显式 WUT owner、RUN 屏障与失败保留排空；通用 LPBAM 和物理退出仍开放

U575 SRAM4 复制与 Stop2

精确 LPDMA1ch0、两块有限字节复制、AlarmA14 与 WUT 逃逸；全部 RTC/DMA/IRQ/门控/时钟退出后结清，完整 LPBAM 和物理退出仍开放

U575 LPTIM1 单组 LPBAM 与 Stop2

精确 SRAM4→LPTIM1 CCR1/RCR/ARR、REQ13/BREQ1/DREQ0 与显式 start/stop；同一 owner 复合退出，无 pin route，原 IO-32/SOC-35 退出仍开放

Classic CAN

三邮箱、共享 filter domain、controller-local abort/recovery 与 Board 电气 handoff

USB FS device

PIO packet/endpoint 所有权、独立 48 MHz owner、control epoch 与完整停止

Raw Ethernet / MDIO

caller descriptor/RX loan、RMII、可选 DP83848；协议与 PHY/Board 政策外置

高级 timer

capture 事件、complementary PWM/deadtime/break；共享资源与实际安全边界

用户 I/O broker

kernel-invoked scalar GPIO 与 copied UART TX；可信 principal/copy/session authority；U575 同步参考 transport 另见双域合同

I3C controller 核心

单活动有限 SDR/DAA/CCC 与复制 IBI/hot-join；H563 仅编译参考，无物理 provider

选定装配资格门禁

逐个 authored fixture 实际 ARM 构建、资源预算、链接保留和不可变输入

多控制器

独立 provider/IRQ/DMA 所有权；配置开放与硅片实现分别记录

STM32G474 接入

精确型号、MB1367、六 UART、封装 GPIO、有限 SPI、TIM3/4 CH1 PWM、IWDG 与 PA0/PA1 EXTI

STM32H743 接入

四种固定 HSI/cache 配置及冷态 cache 所有权；独立 V／HSI64／裸机参考增加 SPI4 有限 DMA、USART3 连续 RX／IRQ TX，以及显式有限 TX DMA／连续 RX 双向模式

U575 双域参考合同

独立 Secure/NS Runtime、冷态归属封存、固定 NS world 与同步 GPIO；无 RTOS/factory/async/HIL 扩大承诺

SoC 完善与 55 项台账

实现范围、原始退出条件、软件机制与实板验收分列

I2C 总线恢复

调用者独占 GPIO、有限时序与失败后继续清理的合同

UART DMA 与 RS485

有限/连续接收、双向 DMA、流控和真实 TC/DE 时序

OS01–OS55 台账

每项实际机制、证据及软件/物理状态

Arch 与 CPU runtime 契约

九核软件、原子操作、cache/MPU/SAU 和安全边界

33项实施台账

实现文件、证据入口、软件与物理状态分列

本次 P0–P5 台账

factory、TOML、TDD、多实例与 IRQ/DMA/block 实现

故障观察与停机

无状态观察窄端口、保持中断屏蔽、外部安全输出与实板边界

I/O 生命周期检查

203 项有界性质、真实生产编译、同一测试执行和来源校验

60项完善台账

本轮实现、软件执行、实板与外部阻塞分别记录；全部维护责任由Codex承担

实际架构

当前目录、公共 factory 和多态接口、依赖方向

当前资格边界

开发执行、clean软件候选、实板pending的区别

台账保留B0–B6和原始退出条件，新增implementation_paths/evidence_paths、software_status、 hardware_status。implemented表示机制已经存在，不表示所有退出条件已passed；开发验证 不能替代clean-source SDK、正式离线双构建和候选封存。NG028/030的正式执行以新生成 证据更新，硬件未接入，全部适用物理项not_executed。Glob表示同一机制的明确目录族， 不代表递归发现或缺省构建；X-Gen-Lab/nexus-examples路径是独立外部仓库。

CPU 软件层覆盖 M0/M0+/M3/M4/M7/M23/M33/M55/M85，通过显式 CPU/IRQ facts 选择原子后端、ABI、可选 FPU/MVE/cache/MPU/SAU 与裸机/FreeRTOS port。外部 CPU runtime 不生成 SoC/Board/factory；ThreadX 另有明确的 Native/M4 子集，不能继承 九核 FreeRTOS port 范围。配置示例与剩余条件见 九核支持说明。这不扩大完整平台的芯片/板卡范围。

首发为启明STM32F407ZGT6、天空星STM32F407VET6和梁山派GD32F470ZGT6，裸机/ FreeRTOS、显式 ThreadX 及 Native 模型。新增 F103RBT6／GD32F303RCT6 参考及 G474／H743／U575 增量按各文档的精确配置、完整镜像与 SDK 退出条件验收，不从公共 类型推断完整系列或全部外设。F103/GD303 增加有限 UART channel-DMA、I2C IRQ、 物理 Flash、单次 ADC 与固定 PWM；GD303 另维护 EXTI 和硬件级联 timebase。 G474 的既有 GPIO/UART/SPI/PWM/IWDG/EXTI 之外，选入 bulb ADC 单次／有限 TIM6 DMA、I2C1 和 ECC Flash。H743 的固定 HSI/cache 支持有限 TX DMA 或有 rearm 间隙的 RX block，可显式初始化 D2 SRAM1；独立 V／HSI64／裸机参考在 Cache off/on 下增加 SPI4 有限 DMA 和 USART3 连续双缓冲 RX。rx-dma-continuous 保留独立 IRQ TX；另选 dma-duplex-continuous 才增加有限 TX DMA。新双向模式只接入 AXI SRAM， RX 使用至少三个等长 block，不能推导为 FreeRTOS、PLL384 或 D2 SRAM 支持；另有 七类有限外设的软件夹具。U575 TZEN0 增加 SPI/I2C/ADC/PWM/EXTI/Flash，外部电源与安全状态准入仍适用。 独立无 OS 的 TZEN1 GPIO 参考可复制最多八条命令到 Secure slot，再由调用者逐步 推进；不保留 NS 指针，不代表通用双域 factory、NS RTOS 或异步借用。 ECC program_flags、fresh-erase 来源与逐脉冲完成责任见公共 Flash 合同；当前源 实现和最终集成资格分别记录，不继承历史执行计数。 SOC-33 的有限软件增量见上述边界页，完整退出仍开放；SOC-34 运行态变频仍未实现。 SOC-35 新增 U575 保留时间参考的有界软件子集：独立 RTC 时间域、显式 WUT/Stop2 owner 与失败保留排空；默认 Core TIM2 停止后旧 deadline 失效。另有同一 owner 的选定 SRAM4/LPDMA 有限复制；通用外设 LPBAM、物理复制/保留/精度/功耗/唤醒验收及完整退出仍开放； SOC-36 保留 partial，SOC-37–55 的物理验收仍为 not_executed。 三Board未审实物PCB事实仍标unknown；软件测试夹具不升格真实 Board路线。角色沿用十人配置：TL1、Core/I/O/OS2、BSP2、通用应用/通信2、QA/HIL2、 构建发布1；维护责任由Codex全部承担，无需实名人员。远程branch protection状态 须通过GitHub独立核实，不能从本地角色文件推断。

另有独立选定的 LPTIM1 单组 LPBAM：一组 SRAM4 CCR1/RCR=0/ARR 经 LPDMA1 channel0 更新专用 LPTIM1。它沿用同一 concrete Stop2 owner，公开 start/stop 保留部分启动失败的归还责任；通用 LPBAM、引脚路线与 实板验收不由该软件切片建立，原 IO-32/SOC-35 退出条件不变。

行为变更采用 RED → GREEN → REFACTOR；主机 GoogleTest/GoogleMock 测试真实生产 provider、factory 与 owner，配置工具用 Python unittest。commit hook 和 CI 执行同一 门禁，生产 MCU target 不链接测试框架。构建期资源验证、实际寄存器模型、ARM ELF 预算与物理 HIL 分别建立证据，方法表开销由实际 linked image 测量。