Well, likely necessary to determine a unique and comprehensive, consistent model (or equivalence class thereof)

There's no guarantee such a model can be determined via an observer in the universe the observer is observing.

Functionality though, yeah that's the goal to either find such a model or show that one can't exist, or can't be proven one way or the other.