Exactly. It doesn't really make sense to talk about procurement of an automated valuation model, but that is what the statute seems to say.

It does because in this sense the model is the result of the automated valuation. You are thinking too much like a programmer when you think the automated valuation model is the model being procured.