what does `purs auto.model` output? Is it what you expect?