We're kind of at a dead end between both leading theories. A counterexample to either of them would mean that we got it wrong somewhere, and might help us figure out where, potentially unlocking more later.

You wouldn't be surprised if your door opened just as usual when you put your key in the lock. The day it starts jamming however, you get very interested.