> We also received a license from Bluesky for the atproto trademark.

Is that license irrevocable/permanent from their side?

(It really needs to be, except for clauses against misconduct from your side.)