I thought AGPL only makes sure that a modification from the original must be released, and doesn’t cover new unmodified software that would connect to a server.
A company like meta could easily design their own product from scratch that would also have it’s own network and just a simple plugin that can communicate with the fediverse. Wouldn’t this could be a way for them to skirt around sec. 13 of the AGPL.
They’re using full disk encryption, which won’t let any part of it be read (even its partition table to boot the OS) until a password is entered. A system using FDE will go straight from POST to a password prompt.
A lot of people like FDE as it makes the encryption completely invisible to the OS and would normally have zero compatibility issues be problem-free.