Entry-state corpus: capture routine entry states once, validate ports from it in seconds #61

New issue

Closed

opened 2026-11-05 13:36:45 +00:00 by Gatchan · 1 comment

Gatchan commented

2026-11-05 13:36:45 +00:00

Owner

User decision 2026-11-05 (decisions.md). Replay each chapter 1 route once (US+JP) and save a sample of machine states at the entry of every reached routine (a few hundred varied states per routine, deduplicated on what the routine reads; frame-crossing and NMI-interrupted calls marked). Then port_check <routine> replays original vs port from each saved state and compares as shadow does (RAM, registers, PPU/DMA/math where flagged), in seconds. Route replays with shadow become a nightly safety net, not the per-batch validation. Corpus regenerated only when LakeSnes or the movies change; stored under others/, never in the repository. Proof: the 46+ ported routines pass from the corpus; a broken port is caught; time per batch before/after.

User decision 2026-11-05 (decisions.md). Replay each chapter 1 route once (US+JP) and save a sample of machine states at the entry of every reached routine (a few hundred varied states per routine, deduplicated on what the routine reads; frame-crossing and NMI-interrupted calls marked). Then `port_check <routine>` replays original vs port from each saved state and compares as shadow does (RAM, registers, PPU/DMA/math where flagged), in seconds. Route replays with shadow become a nightly safety net, not the per-batch validation. Corpus regenerated only when LakeSnes or the movies change; stored under others/, never in the repository. Proof: the 46+ ported routines pass from the corpus; a broken port is caught; time per batch before/after.

Gatchan added this to the Phase 2 - field ports milestone

2026-11-05 13:36:45 +00:00

Gatchan added the

tools

validation

labels

2026-11-05 13:36:45 +00:00

Gatchan referenced this issue from a pull request that will close it,

2026-11-06 00:05:55 +00:00

Entry-state corpus for port validation (#61) #63

Gatchan referenced this issue from a commit

2026-11-06 00:05:57 +00:00

verify: entry corpus: capture of routine entry states (ff6cli --corpus-out) and port checks from them (--corpus/--check, ff6_debug_port_check) (refs #61)

Gatchan referenced this issue from a commit

2026-11-06 00:05:57 +00:00

Entry corpus: validation section and measured times (#61)

Gatchan closed this issue

2026-11-06 00:06:11 +00:00

Gatchan referenced this issue from a commit

2026-11-06 00:06:14 +00:00

Merge pull request 'Entry-state corpus for port validation (#61)' (#63) from entry-corpus into main

Gatchan commented

2026-11-06 00:06:27 +00:00

Author

Owner

Done in PR 63: corpus (chapter 1, 4 routes, US+JP) under others/corpus, 66 ports pass in 54 s (vs ~2 h shadow), broken port caught, others/scripts/ff6-portcheck.sh, docs/validation.md.