Nicely done! I think the verb could have been more clearly developed as a "character". What I mean is that once the player figures out how to do one puzzle, the other two are trivial. How could you have made the "push" verb a bit more interesting? Maybe by pushing rocks in a group? or limiting the number of pushes, or some other restriction.