Indirect vector recovery is a bounded liveness fallback

Some homebrew vector helpers use JP (HL) targets that recursive descent does not yet recover. The current Game Boy-only unresolved-target path performs the callee's return-pop boundary so saved registers remain balanced and the native proof does not fail for the wrong reason.

Raw traces, ROM material, local paths, and personal data are not part of this public record.