I think they just get marked as deleted, and what is supposed to happen is that the deleted comment gets picked up through federation and the destination server should delete their local copy. Sounds like that isn’t happening between Lemmy and Mastodon.
I also noticed that whenever you delete a comment, with the Liftoff app on Android you can open a menu of the deleted comment, click “Nerd stuff” and still read what the comment said. This means that the contents of the comment are never actually deleted. It’s simply tagged as deleted but the content is still there. I think you can currently only counteract that by editing your comment first, then removing it.
I think they just get marked as deleted, and what is supposed to happen is that the deleted comment gets picked up through federation and the destination server should delete their local copy. Sounds like that isn’t happening between Lemmy and Mastodon.
edited / deleted
I also noticed that whenever you delete a comment, with the Liftoff app on Android you can open a menu of the deleted comment, click “Nerd stuff” and still read what the comment said. This means that the contents of the comment are never actually deleted. It’s simply tagged as deleted but the content is still there. I think you can currently only counteract that by editing your comment first, then removing it.