The interrupt a run reports is the persisted one
The rule
Normative: this is the rule
An interrupt is persisted before the run reports it, and the identifier and status a caller sees are read from the persisted record, never from the in-flight signal that requested the pause, which carries no identifier and cannot be updated.
Rule identifiers are permanent and are never renumbered. Each implementation publishes its own standing against these rules; this specification does not.spec 1.0-draft · INT-2 · changed in spec 1.0