Hellcarver Demon — ruling 1

The triggered ability is mandatory. All the permanents you control, including all lands, will be sacrificed.

Hellcarver Demon — ruling 2

The cards from your library are exiled face up.

Hellcarver Demon — ruling 3

You cast nonland cards from exile as part of the resolution of Hellcarver Demon’s ability. You may cast those cards in any order. Timing restrictions based on the card’s type (such as creature or sorcery) are ignored. Other restrictions are not (such as “Cast [this card] only before the combat damage step”). You cast all of the cards you like, putting them onto the stack, then Hellcarver Demon’s ability finishes resolving. The spells you cast this way will then resolve as normal, one at a time, in the opposite order that they were put on the stack.

Hellcarver Demon — ruling 4

If you cast a card “without paying its mana cost,” you can’t pay any alternative costs. On the other hand, if the card has optional additional costs (such as kicker or multikicker), you may pay those when you cast the card. If the card has mandatory additional costs (such as Momentous Fall does), you must pay those when you cast the card.

Hellcarver Demon — ruling 5

Any cards you can’t cast (because they’re lands or they have no legal targets, perhaps) or choose not to cast simply remain exiled.

Hellcarver Demon — ruling 6

If you control two Hellcarver Demons that deal combat damage to a player at the same time, each Demon’s ability triggers. When the first one resolves, you’ll sacrifice all permanents except that Hellcarver Demon (meaning you’ll sacrifice the other one). Then you’ll exile six cards from your library and may cast nonland cards exiled that way. After those spells resolve, the other Demon’s ability resolves. You’ll sacrifice all permanents you now control (including the first Demon and any permanents put on the battlefield as a result of the spells you just cast), exile six more cards from your library, and cast any number of them.

Hellcarver Demon : règles, fonctionnement et interactions (MTG)

Hellcarver Demon is one of those cards players keep asking about. Here is, in plain words, what its official text says, the rulings published by Wizards of the Coast, and the combos players actually run.

Official card text

Flying Whenever this creature deals combat damage to a player, sacrifice all other permanents you control and discard your hand. Exile the top six cards of your library. You may cast any number of spells from among cards exiled this way without paying their mana costs.

How it works : Hellcarver Demon

Original English text — Wizards of the Coast / Scryfall

#1June 15, 2010· Wizards of the Coast
The triggered ability is mandatory. All the permanents you control, including all lands, will be sacrificed.
No other card is named in this ruling.
#2June 15, 2010· Wizards of the Coast
The cards from your library are exiled face up.
No other card is named in this ruling.
#3June 15, 2010· Wizards of the Coast
You cast nonland cards from exile as part of the resolution of Hellcarver Demon’s ability. You may cast those cards in any order. Timing restrictions based on the card’s type (such as creature or sorcery) are ignored. Other restrictions are not (such as “Cast [this card] only before the combat damage step”). You cast all of the cards you like, putting them onto the stack, then Hellcarver Demon’s ability finishes resolving. The spells you cast this way will then resolve as normal, one at a time, in the opposite order that they were put on the stack.
No other card is named in this ruling.
#4June 15, 2010· Wizards of the Coast
If you cast a card “without paying its mana cost,” you can’t pay any alternative costs. On the other hand, if the card has optional additional costs (such as kicker or multikicker), you may pay those when you cast the card. If the card has mandatory additional costs (such as Momentous Fall does), you must pay those when you cast the card.
No other card is named in this ruling.
#5June 15, 2010· Wizards of the Coast
Any cards you can’t cast (because they’re lands or they have no legal targets, perhaps) or choose not to cast simply remain exiled.
No other card is named in this ruling.
#6June 15, 2010· Wizards of the Coast
If you control two Hellcarver Demons that deal combat damage to a player at the same time, each Demon’s ability triggers. When the first one resolves, you’ll sacrifice all permanents except that Hellcarver Demon (meaning you’ll sacrifice the other one). Then you’ll exile six cards from your library and may cast nonland cards exiled that way. After those spells resolve, the other Demon’s ability resolves. You’ll sacrifice all permanents you now control (including the first Demon and any permanents put on the battlefield as a result of the spells you just cast), exile six more cards from your library, and cast any number of them.
No other card is named in this ruling.