I’d like to have this better recorded sometime! We check for dead stuff “all the time.” That means when resolving a spell or ability that does multiple things sequentially, stuff will be checked for death and die after each part of the spell or ability. Stuff like 2 damage to your base when your tech 1 building dies, losing the game when your base dies, getting rid of 1 copy of a Legendary thing if you somehow end up with 2, or moving tokens and heroes out of your discard pile when they just died also happens “all the time.”
As an aside, this is one of the places where the low-level rules differ from MtG. In MtG if I kill my Raging Goblin with Lightning Bolt, my Lightning bolt will finish resolving and go to my graveyard before the game checks that Raging Goblin is supposed to die, so the Raging Goblin will be the top card of my graveyard. In a similar situation in Codex, my Lightning Bolt would be the top card of my discard pile.