Homoclinically expansive actions and a Garden of Eden theorem for harmonic models