Ok update, yes *this* updates my timelines!
Rational Hodge over CM abelian varieties is true (032) and BSD for a density-one set (002 & 006).
Also Hilbert's tenth problem over Q is false (004), just as everyone expected, but we didn't have a proof for!