Atari 2600 / F308
BEING VERIFIEDPROOF REFRESH COPIES THE HEADER THAT MATCHES ITS IMPLEMENTATION
- STATUS
- BEING VERIFIED
- AREA
- Recompiler
- RECORDED
- 2026-07-21
- PUBLIC SOURCE
- Research dossier / finding 308
- RECORD ID
atari2600-f308- SNAPSHOT
f114355884d03a2c
The F307 production run exposed a proof-pipeline failure rather than another TIA defect. Fresh game_main.c correctly emitted ordered 6507 bus calls, and the runtime refresh correctly regenerated io.c, but a historical io.h remained in the generated directory.
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