ADC 采样、量化与数字码交付的测量闭环
8891 字·18 分钟
用平台无关的 Host Fake 建立 ADC 单次转换闭环：输入在采样保持边界冻结，按参考范围和分辨率量化为有界数字码，经完成状态交付给调用方；通过事件日志、断言和故障注入验证逻辑，同时明确真实 STM32 电气、寄存器和 HAL 行为仍需按目标系列第一方资料核对。
Beginner
I2C 共享双线事务：主机发起与从机响应的状态机
10098 字·21 分钟
建立平台无关的 I2C 共享双线事务模型：主机取得总线、发送地址和读写方向、处理 ACK/NACK、完成写入或读取并以 STOP 释放总线；通过 Host Fake 的开漏线路模型、事件日志、断言和故障注入验证调用流，不把逻辑验证当作 STM32 硬件证据。
SPI 同步事务闭环：全双工交换与片选边界
10205 字·21 分钟
建立可迁移的 SPI 同步事务模型：解释时钟驱动的全双工字节交换与片选定义的事务边界和设备选择，并用 Host Fake 验证发送、接收、片选和完成状态的完整流动；不把主机逻辑当作 STM32 硬件证据。
UART 异步收发闭环：从帧状态机到软件缓冲
11701 字·24 分钟
建立可迁移的 UART 异步串行收发模型：学习者能解释帧边界与接收状态机，区分外设事件、软件缓冲和应用消费，并用 Host Fake 验证正常流、分段到达、缓冲溢出、帧错误恢复和 TX 捕获；不把主机逻辑当作 STM32 硬件证据。
定时器时间基准与观察路径：从 Host Fake 到 STM32 资料核对
11724 字·24 分钟
建立可迁移的定时器时间基准模型：学习者能从时钟、计数器和周期边界推导更新事件，并区分轮询、定时器中断与输出观察路径；能用 Host Fake 验证事件间隔和计数边界，但不把主机结果当作 STM32 硬件时序证据。
中断优先级与服务顺序：从 Host Fake 到 Cortex-M 资料核对
10615 字·22 分钟
把多个中断请求理解为由可比较的逻辑优先级规则决定服务顺序，并用静态 Host Fake 区分 pending、active、抢占、屏蔽和返回后的继续执行；主机模型不代表真实 Cortex-M 或 STM32 的编码、时序和上板结果。
EXTI 外部事件如何变成可服务请求：从 Host Fake 到资料核对
9132 字·19 分钟
把 EXTI 理解为外部输入经线路映射、触发条件和屏蔽后形成可观察请求，并由 pending 持有到服务和显式清除；Host Fake 只验证逻辑状态转换，不代表真实 STM32 寄存器、中断入口或上板结果。
GPIO 配置状态与引脚数据通路：从 Host Fake 到 STM32 资料核对
10895 字·22 分钟
把 GPIO 理解为配置状态决定数据通路、数据访问读取输入采样或更新输出锁存的外设边界，并用静态 Host Fake 区分输入、推挽输出、开漏释放和非法配置；结果不代表真实 STM32 寄存器、电气测量或上板验证。
调用栈与堆：从函数返回和资源归还判断存储何时可用
11604 字·24 分钟
用固定调用深度和静态资源池 Host Fake 区分自动对象的生命周期、调用栈的常见实现模型，以及动态资源的显式释放责任。
ELF 与 map：从链接产物追溯布局证据
10188 字·21 分钟
把同一次目标链接产生的 ELF 与 map 作为互补证据，追溯输出段、符号、地址和大小，同时区分构建期布局、装载事实与运行期事实。
链接脚本：把构建输入放进可验证的内存布局
6343 字·13 分钟
用最小 MEMORY/SECTIONS 抽象解释输入段到输出段再到命名内存区域的布局，并用 Host Fake 验证链接脚本边界符号如何被启动初始化消费。
启动代码：把复位入口变成可运行的 C 环境
4246 字·9 分钟
用 Host Fake 观察复位入口经过启动代码、栈使用条件和 C 运行时初始化后再进入 main 的顺序，并区分主机逻辑验证与真实 Cortex-M 行为边界。
向量表：按编号找到处理程序入口
用一个不冒充硬件的 Host Fake 验证异常或中断编号如何查找向量表项并选择抽象处理程序，同时区分该模型与主机普通函数调用。
用 const 与 volatile 表达访问约束
用主机 C11 示例区分 const 限定访问路径与 volatile 保留易变对象访问，并明确二者的能力边界。