As I'm just a layperson I don't understand the technicalities involved, but does the paper New Large Cardinal Axioms and the Ultimate-L Program, by Rupert McCallum (arXiv:this paper1812.03837) prove the inconsistency of a Reinhardt cardinal? If so can someone explain how given the results of the paper one proves Reinhardt cardinals to be inconsistent in ZF+DC?