Show HN: Rule Specification Puzzle Prototype (gashlin.net)

I've been trying to design a puzzle where a player tries to figure out the rules of a puzzle and specifies them in some formal way, and from that the game can show counterexamples.

In this prototype the rule specification doesn't turn out to be as essential as I'd like; I had in mind something like Zendo, but it ends up more like The Witless (sic) or FMTC with computer assistance and smaller scope.

Still, I'd love to have people try it out. If the glyphs I'm using for symbols don't render in your browser, here's a version with just letters: https://gashlin.net/games/gamec/3/letters.html