建立 HAL、LL 与寄存器交叉映射的追踪方法：先以 C11 Host Fake 验证前置条件、状态转换和 IRQ 消费，再以 STM32F407xx 的 ADC1 到 DMA2 Stream0 路径核对时钟门控、初始化字段、硬件标志、回调和错误证据。
建立时钟树这一受约束频率分配网络的心智模型：用 Host Fake 审计源频率、PLL、AHB/APB 预分频和频率上限，再以 STM32F407xx 的 HSI 参考参数落实 CubeMX、HAL、LL、关键寄存器、ADC/DMA 与定时器时钟链。
