I’m reading Munificentissimus Deus. I take back everything I said!
Im looking up the references as I read through and it’s clearly well routed in history. I was amazed that it’s recorded in the 800s as a well established feast that the church has “observed for a long time”. And the assumption was written about in the 600s and 700s in equally elaborate “modern sounding” detail.