Introducing PortaFed — cryptographic account portability for #ActivityPubWhen your server shuts down, your identity and posts are gone. PortaFed fixes this with a MigrationProof: a Merkle commitment over your full export, signed by your ed25519 key, verifiable by any destination server without contacting the origin.No blockchain. No registry. No core spec changes.Spec + Rust implementation:https://codeberg.org/portafed/portafedFeedback welcome — especially from server maintainers.#Fediverse