guys, guys, guys,
The discussion is extremely academic, every posting assumes that the low level interrupt does not push and pop.
The problem is not reti's but the high level interrupt occuring on some unspecified state of the low level interrupts use of the stack.