Atari 2600 / F272
BEING VERIFIEDAXS/SBX IMMEDIATE HAS DETERMINISTIC NMOS SEMANTICS
- STATUS
- BEING VERIFIED
- AREA
- Recompiler
- RECORDED
- 2026-07-18
- PUBLIC SOURCE
- Research dossier / finding 272
- RECORD ID
atari2600-f272- SNAPSHOT
f114355884d03a2c
Opcode $CB, conventionally named AXS or SBX, is sufficiently stable to move out of the fail-closed unstable set under the deterministic NMOS profile. The primary executable authority is pinned perfect6502 revision 09fc542877a84318291aa42dab143a3e2c3db974, whose Visual6502-derived transistor netlist was driven through four carry/borrow and zero/negative edge cases.
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