I like it. It's like Bogosort- the Language. It would work much better if a) tokens were free and b) computation, therefore retries, didn't take any time at all. In the current world it's going to be fun watching LLMs getting stuck in infinite loops, doing and undoing their work to try and uphold a law they don't know how to uphold.

Btw, "laws" are basically what we used to call assertions so why the new terminology?

Edit: actually now that I think about it, it's more like constraint programming with a generate-and-test loop than assertions. Again, why not just say "constraints" instead of inventing a new term?