I've wanted to write up a "critique document" of both "present day ActivityPub" and ATproto but wasn't sure how they'd be received. I think knowing you'd be interested makes me feel pretty positive about it
I do think that @blaine is right in that there's shall we say a "fixed point of convergence" if things were to work right, and so maybe that's the right way to frame things around