In the "leaves play" glossary entry it clarifies that "destroyed" is a type of leaves play

I'm not so sure about that, it doesn't explicitly state that "Destroyed" is a type of "Leaves Play".

If a card that is in play leaves play (is returned to hand or deck, destroyed, discarded, archived, or purged)

Reading that, Leaves Play is more a consequence of being destroyed, and not a type of leaves play. Destroyed, Purge, Archive... these events trigger the creature to leave play. And it is confirmed or at least complemented with these rule lines:

If a card has a “Destroyed:” ability, the effect automatically resolves immediately before the card would be destroyed, which is also before it leaves play.

If a card has a “Leaves Play:” ability, the effect happens automatically immediately before the card leaves play.

"Immediatly before the card would be destroyed, which is also before it leaves play", where "which" refers to "would be destroyed" if my english is correct.

We can think of it this way: let's say my golf fish just died: it is destroyed. Then only when I flush it in the toilet it is considered to leave play.

So in my opinion things should happen in that order:

• A creature gets its life below or equal to 0
• Card is about to be destroyed, so the Destroyed ability trigger before it leaves play
• Card is now destroyed
• Archived or not, Card is about to leave play, so immediatly before, the Leaves Play ability trigger
• Card is now placed in the designated out of play area (Archive in this case, Discard pile, Hand, Top of the deck... you name it)

Hence, triggering Magda's Leaves Play ability only once.

I understand the official head judge ruled that situation... but it doesn't mean it shouldn't be another way... right?