以STM32F407和固定FreeRTOS V10.3.1/GCC ARM_CM4F说明EXTI到FromISR通知再到任务的完整交接，给出静态对象、优先级编码、HSI16MHz启动与SysTick独占交接、错误路径和双轨实验；目标与GUI均未验证。
以 STM32F407xx 和固定 CubeF4 所带 FreeRTOS V10.3.1 为边界，给出纯静态双任务、idle 内存回调和 HSI 启动参考实现；从对象生命周期、栈元素字节换算，走到 SRAM/CCM 分区账本与任务栈、MSP 运行余量的独立核验。未进行目标编译或上板验证。
基于 STM32CubeF4 固定包中的 FreeRTOS V10.3.1，推演通知累积、逐个消费和整批交接，提供静态任务、idle 内存回调、HSI 启动及 SysTick 所有权参考代码，并严格区分主机模型证据与尚未编译、上板的目标实现。
能够用 STM32F407xx 上的静态计数信号量表示无数据载荷的有界许可，推演 give/take、计数上限、等待与超时，并区分信号量、消息队列及互斥所有权和两条验证轨道。
能够用静态有界队列在两个任务间按值传递固定大小消息，预测满/空等待、超时及唤醒后的调度，并说明 STM32F407xx 参考实现与主机验证的证据边界。
