Historical Rules · 17 November 2023
Rule 117.1a
Official source text from the 17 November 2023 Rules release
A player may cast an instant spell any time they have priority. A player may cast a noninstant spell during their main phase any time they have priority and the stack is empty.