作者用 REA 读取本机 Windows 计算器，解释为何 200 + 10% = 220 而 6 × 6% = 0.36：代码先判断运算符，再决定百分号的计算方式。

作者只向 REA（6.4.0 + Ghidra）提供 PowerToys 取色器发布版二进制，再对照开源代码核对，9 条结论中 8 条正确，最终写出不到 750 行的 C# 取色器；

用 REA 检查 WinDirStat 2.5.0 二进制、确认扫描与树图行为后，用 Rust + Tauri 重写的磁盘分析器；作者说明代码全部由 AI 生成且未经本人审查，而该工具具备删除和移动文件的能力。

西班牙语 REA + Ghidra 实验课：从去符号的自制教学二进制中还原校验逻辑，仅凭 REA 给出的证据用 Python 重写并与原程序对照验证，源码在最后一步才公开。