I would have said "decanonized". One way to define a planet is by roster, which is what the IAU did despite their squirrelly explanation. The roster is essentially canonical, not descriptive.
Pluto was decanonized? Did they find that Clyde Tombaugh faked the miracles to have it canonized in the first place?