Very cool! I love mechanic-discovery puzzlers and this one was a lot of fun. I'm a little sceptical of the procgen approach in general, but the combination of artisanal puzzles and a single procedural room seems like an interesting approach. I slightly wish the top room had its own arc & ending, whether upping the size or complexity of rooms, but I assume you're working against some of the limitations of the puzzlescript engine.
I was a bit surprised by the lack of undo/restart, though I'm guessing the pushing mechanics mean you can't failstate yourself? Though looking at the presentation you gave, I might actually have been doing some high-stakes puzzle-solving :)