Atari 2600 / F243
BEING VERIFIEDGENERATED C HAS EXECUTABLE NATIVE PARITY
- STATUS
- BEING VERIFIED
- AREA
- Recompiler
- RECORDED
- 2026-07-15
- PUBLIC SOURCE
- Research dossier / finding 243
- RECORD ID
atari2600-f243- SNAPSHOT
d8dcf6d8dd492341
HYPOTHESIS: scalar-reference and independent-IR agreement plus generated-C fragment checks cannot prove that the emitted program actually preserves 6507 state. The production functions must compile and execute, including under the optimizer used by release builds.
Raw traces, ROM material, local paths, and personal data are not part of this public record.
01INPUT IDhash receipt
02BYTE MAPdecode coverage
03CPU STATEtrace comparison
04BUS / TIMEordered effects
05OUTPUTvisual · audio · input
06ARTIFACTbuild identity