reverter-legado：拿开源程序检验 REA 的准确度
Why it matters
葡萄牙语项目，流程为「读旧系统 → 写成确定契约 → 生成新系统 → 有偏差即判失败」；
Summary
葡萄牙语项目，流程为「读旧系统 → 写成确定契约 → 生成新系统 → 有偏差即判失败」；其中 `rea-lab` 以 Chocolate Doom 3.1.1 对照源码核对 REA 结论并仅凭二进制重建 WAD 格式，另有 HeidiSQL 的 exe 与源码比对案例。
Key points
- 葡萄牙语项目，流程为「读旧系统 → 写成确定契约 → 生成新系统 → 有偏差即判失败」
- 其中 `rea-lab` 以 Chocolate Doom 3.1.1 对照源码核对 REA 结论并仅凭二进制重建 WAD 格式，另有 HeidiSQL 的 exe 与源码比对案例
Details
- Tags
- 评测与方法论
Comments
Comments coming soon.