Structure of the Anticanonical Minimal Model Program for Potentially klt Pairs

We give an alternative proof of the existence of the anticanonical minimal model program for potentially klt pairs, assuming the anticanonical divisor admits a birational Zariski decomposition. Moreover, we establish a structure theorem showing that any partial anticanonical MMP starting from a potentially klt pair can be lifted to a compatible sequence of nonpositive maps between the $\mathbb{Q}$-factorial terminalizations of its successive steps.