According to these slides, the axiom $V = \mathrm{Ultimate} \,L$ has the following consequences (p. 55):
It implies the Continuum Hypothesis.
It reduces all questions of set theory to axioms of strong infinity (which are with intrinsic justification).
Provides an axiomatic foundation for set theory which is immune to independence by Cohen's method.
If true, this sounds totally amazing. However, I'm skeptical that (2) is really an accurate description of one of the consequences of $V = \mathrm{Ultimate} \,L.$ In particular, I was under the impression that there's no currently-accepted definition of what makes an axiom a large cardinal axiom.
Question. Does anyone here understand enough of the technical details of Woodin's proposal to be able to comment on the accuracy of the above statements, especially (2)?