by leroy43
Both ABM Treaty and RS/P are 4 ops cards, so the ABM Treaty would have triggered first (US player wins ties in the headline phase), US player plays the ABM Treaty for the full 4 ops, and then it is discarded.Then RS/P triggers.
Your interpretation of #2 is absolutely correct - the headline phase is not an action phase, so no NORAD effect!