Irrational cubic fourfolds with Hodge-theoretic and categorical K3 associations

For every sufficiently large admissible Hassett discriminant, we prove that a very general cubic fourfold of that discriminant is irrational, although its Kuznetsov component is equivalent to the ordinary derived category of a projective K3 surface. The discriminant threshold is ineffective. This disproves Kuznetsov's rationality conjecture. The same cubics have associated untwisted polarized K3 surfaces in the Hodge-theoretic sense, so they also disprove the sufficiency direction of the associated-K3 rationality prediction.