在 Windows 主机上用 GCC 静态分析器发现并回溯一条可能的空指针解引用路径，把诊断作为待验证的风险证据。
用最小 CMake 项目理解构建描述如何驱动工具调用，并通过受控源码修改观察依赖关系决定的必要重建范围。
用主机 GCC 隔离只编译步骤，根据目标文件、退出状态与诊断区分编译成功和输入被拒绝。
用最小两源文件 C11 主机程序区分外部链接与内部链接，并判断另一翻译单元能否引用同一对象。
用最小 C11 主机程序区分自动存储期和静态存储期，并据此判断对象及其地址何时仍可安全使用。
用主机 C11 示例区分 const 限定访问路径与 volatile 保留易变对象访问，并明确二者的能力边界。
用主机 C11 示例理解对象地址的保存与传递，并通过有效指针让函数修改调用者持有的同一 uint32_t 对象。
依据需求的最小值、最大值和是否需要负数，在主机逻辑验证中选择 int32_t 或 uint32_t，并识别超出范围的设计风险。
在 Windows 主机上阅读和修改单文件 C 程序，理解语句按顺序执行，并通过退出状态观察确定的计算结果。
建立主机与嵌入式运行环境不同、源文件必须经过构建和运行才能形成可观察验证闭环的两个基础心智模型。
