"Sempre a vantaggio del giocatore che li subisce" vuol dire un po' tutto e un po' niente, e in questo caso è anche sbagliato.
Da regole, un loop senza fine darà la partita patta.
Tuttavia, se nel loop intervengono le scelte di un giocatore, questi potrà stabilire tramite shortcut un numero finito di volte in cui il loop stesso si ripete, e sarà poi costretto ad operare una scelta che vi ponga termine. Non conta se sia il giocatore che subisce o meno il loop, chi ha la possibilità di operare una scelta nel meccanismo che implica il loop sarà costretto ad arrestarlo.
Nel caso specifico, è possibile operare una scelta da parte del controllore del Progenitus: è infatti il controllore dell'oggetto (o il bersaglio dell'effetto, nel caso sia su un giocatore e non su un permanente) a decidere in che ordine applicare i due effetti di sostituzione
Cita:
616.1. If two or more replacement and/or prevention effects are attempting to modify the way an event affects an object or player, the affected object's controller (or its owner if it has no controller) or the affected player chooses one to apply, following the steps listed below. If two or more players have to make these choices at the same time, choices are made in APNAP order (see rule 101.4).
Ora, presumibilmente, il giocatore che controlla il Progenitus sceglierà di rimischiarlo, per evitare di perdere. Come hai detto tu stesso, questo porterebbe a un loop infinito: il Progenitus verrebbe millato e rimischiato all'infinito; si innesca un loop.
Tuttavia, questo loop implica ogni volta un'azione: quale effetto di sostituzione si innescherà prima?
Dato che la scelta del controllore del Progenitus puo' interrompere il loop, questi sarà costretto a scegliere di esiliarlo anziché rimischiarlo.
Cita:
421. Handling "Infinite" Loops
421.1. Occasionally the game can get into a state in which a set of actions could be repeated forever. These rules (sometimes called the "infinity rules") govern how to break such loops.
421.2. If the loop contains one or more optional actions and one player controls them all, that player chooses a number. The loop is treated as repeating that many times or until another player intervenes, whichever comes first.
421.3. If a loop contains optional actions controlled by two players and actions by both of those players are required to continue the loop, the active player (or, if the active player is not involved, the first involved player after the active player in turn order) chooses a number. The other player then has two choices. He or she can choose a lower number, in which case the loop continues that number of times plus whatever fraction is necessary for the first player to "have the last word." Or he or she can agree to the number the first player chose, in which case the loop continues that number of times plus whatever fraction is necessary for the second player to "have the last word." (Note that either fraction may be zero.) This sequence of choices is extended to all applicable players if there are more than two players involved.
Example: In a two-player game, one player controls a creature with the ability "{0}: [This creature] gains flying," and another player controls a permanent with the ability "{0}: Target creature loses flying." The "infinity rule" ensures that regardless of which player initiated the gain/lose flying ability, the nonactive player will always have the final choice and therefore be able to determine whether the creature has flying. (Note that this assumes that the first player attempted to give the creature flying at least once.)
421.4. If the loop contains only mandatory actions, the game ends in a draw. (See rule 102.4b.)
421.5. If the loop contains more than one set of optional, independent actions, each controlled by different players, then the active player (or, if the active player is not involved, the first involved player after the active player in turn order) chooses a number for his or her set of actions. Knowing that number, the remaining players, in turn order, each choose a number for his or her sets of actions. It can be higher, lower, or the same. Then each set of actions occurs the appropriate number of times.
421.6. If the loop contains an effect that says "[X] unless [Y]," where [X] and [Y] are each actions, no player can be forced to perform [Y] to break the loop. If no player chooses to perform [Y], the loop will continue as though [X] were mandatory.
Notare comunque che per scelta, non si intende che il giocatore dovrà fare qualsiasi cosa in suo potere per arrestare il loop (ad esempio, distruggere Rest in Peace con un
Naturalize, tanto per dire): questo riguarda semplicemente le scelte di gioco sulle modalità delle carte che innescano il loop.
Ad ogni modo, "sempre a vantaggio del giocatore che li subisce" non significa proprio niente: dipende da chi deve operare la scelta che pone termine al loop stesso.

"The awestruck birds gazed at Wonder. Slowly, timidly, they rose into the air."
Memories of the Time ha scritto:
Non potevano sputare dentro ai pacchetti invece di mettere questa rara? ^^