Atari 2600 / F62
BEING VERIFIEDChassis: `prove_loop` runs full `RecompilationEngine` before template regen
- STATUS
- BEING VERIFIED
- AREA
- Recompiler
- RECORDED
- 2026-05-23
- PUBLIC SOURCE
- Research dossier / finding 62
- RECORD ID
atari2600-f62- SNAPSHOT
a58ea4ac37c644e9
Concern: Iter 28 (Finding 61) uncovered that prove_loop.regenerate() refreshes only templated files (io.c, ppu.c, apu.c, input.c, memory.{c,h}, debug.{h,c}, platform.c) — NOT game_main.c, which requires the full IR/CFG/lifter/emitter pipeline. This silently invalidated every "L2 GREEN preserved" verdict in iters 7-27 that touched disassembler/CFG/lifter/emitter source.
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