Shadow skips calls that cross a frame boundary #39

New issue

Open

opened 2026-11-02 17:38:44 +00:00 by Gatchan · 0 comments

Gatchan commented

2026-11-02 17:38:44 +00:00

Owner

core/port/port.c (deferred compare): when m->frames != p->entry_frames the call is counted as skipped, never compared. This is a biased blind spot (calls interrupted by NMI), e.g. CalcScrollPos 6 856 compared / 7 577 calls (docs/ports.md).

Scope: compare these calls too (snapshot handling across the NMI, or compare only the routine's own outputs), or show they cannot differ; report the skipped share per port meanwhile.

From the 2026-11-02 plan review.

`core/port/port.c` (deferred compare): when `m->frames != p->entry_frames` the call is counted as `skipped`, never compared. This is a biased blind spot (calls interrupted by NMI), e.g. CalcScrollPos 6 856 compared / 7 577 calls (docs/ports.md). Scope: compare these calls too (snapshot handling across the NMI, or compare only the routine's own outputs), or show they cannot differ; report the skipped share per port meanwhile. From the 2026-11-02 plan review.

Gatchan added this to the Phase 2 - field ports milestone

2026-11-02 17:38:44 +00:00

Gatchan added the

bug

validation

labels

2026-11-02 17:38:44 +00:00