"...or lose the game"... kind of.
As I understand it, Pacts are an exception to the Missed Trigger rule; if a Pact trigger is missed, no matter how far the trigger has gone, the game is considered over and the Pact controller loses the game. I believe this is a special exception to the missed trigger rule. Is there a similar exception for other effects which would cause a game to end? E.g.:
- Player at 1 life misses a Phyrexian Arena trigger.
- Player with no cards in library misses a Howling Mine trigger.
- Player with 250 cards in library misses a Battle of Wits trigger.
Apologies for not using card tags; it's kind of unwieldy on mobile :(