Thanks, looks like this is the relevant code: https://github.com/historicalsource/zork1/blob/master/1actio...

As I understand it, the thief doesn’t travel via room exits, but rather warps through the rooms sequentially in the order they’re listed in the code, skipping any that are sacred or non-land.