A model compresses a state space by capturing a set of invariances that predict the variance in the states. Its free parameters define the latent space of the model and should ideally fully correspond to the variability, the not-invariant (= unexplained) remainder of the state.
Yes. You are supposed to identify the operators, prove the desirability of their properties, and then prove that the substrate actually implements that operator.