>I’m also not aware of any general formalization of MVC or how one would even begin to approach a canonical definition

You define it by defining Model, View, and Controller and how they interact with each other. For example take a look at the diagram from the article.