I love this sort of game and yours is very much scratching that itch :)
One small thought though is whether you can address the friction in rule discovery caused by the puzzlescript engine automatically shunting you to the next level. I think Toombler's 'Secure' came up with a really elegant solution to that problem: the level itself communicates when the rules have been satisfied, and you can then press X to advance. The advantage of this is that you can spend time studying a solution you know to be correct (especially useful when you're revisiting old levels to see if further subtleties can be uncovered) and proceed to the next level when ready.