Explicit, named constraints for more verifiable agent-written code
$ luarocks install verbs
Evaluate a synchronous predicate once, returning the original value or raising a named violation. Predicate errors propagate.
root
