Atari 2600 / F250
BEING VERIFIEDCONDITIONAL BRANCHES NOW EXPOSE ALL PATH-DEPENDENT READS
- STATUS
- BEING VERIFIED
- AREA
- Recompiler
- RECORDED
- 2026-07-16
- PUBLIC SOURCE
- Research dossier / finding 250
- RECORD ID
atari2600-f250- SNAPSHOT
f114355884d03a2c
HYPOTHESIS: a conditional branch cannot be represented by an aggregate base tick plus an aggregate taken penalty. Every branch must expose the operand read, the taken-path fallthrough read, and the page-cross wrong-page read at their actual scheduler positions so mapper and I/O side effects remain ordered.
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