Historical Rules · 13 October 2023
Rule 117.1a
Official source text from the 13 October 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.