TARDIS

• WOTC Official Reminder Textofficial rules
  Crew — Tap any number of creatures you control with total power N or greater: This Vehicle becomes an artifact creature until end of turn.

• WWizards of the Coast2023-10-13
  Official Ruling
  You may planeswalk at the time TARDIS's triggered ability resolves, not at the time you cast the next spell.
• WWizards of the Coast2023-10-13
  Official Ruling
  If the card has in its mana cost, you must choose 0 as the value of X when casting it without paying its mana cost.
• WWizards of the Coast2023-10-13
  Official Ruling
  You may planeswalk only in games using the Planechase variant. If you are instructed to planeswalk in any other game, nothing happens.
• WWizards of the Coast2023-10-13
  Official Ruling
  Due to a 2021 rules change to cascade, not only do you stop exiling cards if you exile a nonland card with lesser mana value than the spell with cascade, but the resulting spell you cast must also have lesser mana value. Previously, in cases where a card's mana value differed from the resulting spell, such as with some modal double-faced cards or cards with an Adventure, you could cast a spell with a higher mana value than the exiled card.
• WWizards of the Coast2023-10-13
  Official Ruling
  If you cast a card "without paying its mana cost," you can't choose to cast it for any alternative costs. You can, however, pay additional costs. If the card has any mandatory additional costs, you must pay those to cast the card.
• WWizards of the Coast2023-10-13
  Official Ruling
  Cascade triggers when you cast the spell, meaning that it resolves before that spell. If you end up casting the exiled card, it will go on the stack above the spell with cascade.
• WWizards of the Coast2023-10-13
  Official Ruling
  If a spell with cascade is countered, the cascade ability will still resolve normally.
• WWizards of the Coast2023-10-13
  Official Ruling
  When the cascade ability resolves, you must exile cards. The only optional part of the ability is whether or not you cast the last card exiled.
• WWizards of the Coast2023-10-13
  Official Ruling
  The mana value of a split card is determined by the combined mana cost of its two halves. If cascade allows you to cast a split card, you may cast either half but not both halves.
• WWizards of the Coast2023-10-13
  Official Ruling
  A spell's mana value is determined only by its mana cost. Ignore any alternative costs, additional costs, cost increases, or cost reductions.
• WWizards of the Coast2023-10-13
  Official Ruling
  You exile the cards face up. All players will be able to see them.

Rulings via Scryfall