Atari 2600 / F40
BEING VERIFIEDZP-Indirect JMP Const-Propagation — Asteroids Discovers 6 More Functions
- STATUS
- BEING VERIFIED
- AREA
- Recompiler
- RECORDED
- 2026-05-22
- PUBLIC SOURCE
- Research dossier / finding 40
- RECORD ID
atari2600-f40- SNAPSHOT
a58ea4ac37c644e9
Concern: Iter 6 surfaced the runtime indirect-JMP target (0xD43C → bank-0 $143C) but no function was registered at $143C, so the dispatch helper exited cleanly with the target value in the log. The static lifter never decoded $143C because the recursive descent scanner only reached code via direct control flow + the explicit vector entries; bank-1's JMP ($00F7) is unresolvable through static analysis as-implemented (the existing _resolve_6502_indirect…
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