DX-Ball
1996年发布的经典打砖块游戏，以其音效和玩法著称。
时间轴 (近 90 天)
在一次演示中，REA从经典DOS游戏DX-Ball的EXE文件中提取出了游戏中使用的精确数学公式，并通过3205个测试用例验证了其准确性，全部通过。
视频声称，NSA的解压器在提取DX-Ball公式的任务上失败了。
在 DX-Ball 案例中，REA 分析出的音效平移函数被用 C 语言重写，重写版本通过了 3,205 个测试用例与原 x86 代码对比验证，并完整复现了全部 63 个编译字节。
在 DX-Ball 案例中，REA 智能体重构的 C 代码通过了原本 3205 个 x86 测试用例，并完整复现了编译后函数的 63 个字节。
在 DX-Ball 案例中，agent 从 1996 年原始 Windows 二进制用 C 重建了 55 个函数，运行 45380 个差分测试用例，其中 33 个函数编译字节与原始二进制逐字节完全一致
全部知识事实 (5)
视频声称，NSA的解压器在提取DX-Ball公式的任务上失败了。
50%待验证在 DX-Ball 案例中，REA 分析出的音效平移函数被用 C 语言重写，重写版本通过了 3,205 个测试用例与原 x86 代码对比验证，并完整复现了全部 63 个编译字节。
50%待验证在 DX-Ball 案例中，REA 智能体重构的 C 代码通过了原本 3205 个 x86 测试用例，并完整复现了编译后函数的 63 个字节。
50%待验证在一次演示中，REA从经典DOS游戏DX-Ball的EXE文件中提取出了游戏中使用的精确数学公式，并通过3205个测试用例验证了其准确性，全部通过。
50%待验证在 DX-Ball 案例中，agent 从 1996 年原始 Windows 二进制用 C 重建了 55 个函数，运行 45380 个差分测试用例，其中 33 个函数编译字节与原始二进制逐字节完全一致
50%