Return-PC provenance must precede interrupt stack mutation

Timing boundaries now derive the architectural next PC from the translated branch instruction length and expose it beside the last source PC. The value is not yet pushed or used to dispatch; indirect control flow, IF/IME mutation, handler execution, and RETI return integration remain open.

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