You're correct, it is procedurally generated! The game uses a depth-first search to draw edges between nine nodes, then creates rooms and passageways accordingly. Sometimes cycles are added to the floor map for variety's sake. I took inspiration from the algorithm described here: https://essentialsdocs.fandom.com/wiki/Dungeons
Thank you for playing :)