Commendable that you want to help, but the software needs to handle dead installations as there is no possible way to enforce people to decommission. :) Might be worth dropping just to help the use case of how this gets handled. I feel like you did everything you could.
Lemmy Support
Support / questions about Lemmy.
I'd also like to know this. Out of curiosity I looked into whether blocking an instance would send some kind of message to de-federate, but that does not appear to be the case. If you look at beehaw and lemmy.world you can see that beehaw has lemmy.world blocked but lemmy.world is still federated with beehaw.
I looked through the ActivityPub spec and didn't find anything interesting there either.
Also found this closed bug report on their github which really went nowhere. But that let me down the rabbit hole to this commit.
I think the conclusion I've come to is that, as of today, there is no proper way to decom a lemmy instance. I think the best we can hope for is for there to be maturity detecting, flagging, and ultimately removing dead peers.
There is a PR on GitHub that implements checks towards all the federated instances and those who doesn't respond for a few days will be marked as stale and the instance will stop sending updates to them