Differential Testing¶
Workflows used to isolate behavior drift between original and rewrite.
- Native execution oracle — original functions under Unicorn against their Python ports.
- Recovered core gate — whole runs of the recovered C++ core against Python, under both bug policies, in CI.
- Evidence records