Atari 2600 / F195
BEING VERIFIEDSEMANTIC COVERAGE NOW REQUIRES THREE EXECUTABLE RECEIPTS
- STATUS
- BEING VERIFIED
- AREA
- Recompiler
- RECORDED
- 2026-07-15
- PUBLIC SOURCE
- Research dossier / finding 195
- RECORD ID
atari2600-f195- SNAPSHOT
d8dcf6d8dd492341
HYPOTHESIS: passing family tests must not advance the 256-byte semantic denominator through a hand-maintained set. A registered opcode should count only when the clean scalar, lifted IR state and generated C representation all agree with an explicit vector.
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