You will find in the sm120x instructions that it has a 9V DC wire as well. Like you I was hoping to hardwire the contact sensor. Unfortunately that 9v doesn’t supply 9v at load and drops to 2v which isn’t enough to power the contact sensor. So I ended up following what I had done with several other sensors which I documented here:
This is much cheaper than your battery eliminators which I had looked into.