Usuba's theorem is optimal

This paper answers a question of Usuba Extendible cardinals and the mantle, Arch. Math. Logic 58(1–2) (2019) 71–75, establishing the optimality of the large cardinal assumption of his remarkable theorem that if there is an extendible cardinal, there is a minimum inner model from which the universe of sets can be obtained as a forcing extension.