@xianc78 there are some interesting shorthands in datalog/rego for queries like "do all of these fields exist in that object" or "is there at least one item in here that matches this?" but i didn't end up adopting it.
checking code is kind of ad-hoc. will have to do a pass at some point to make sure everything does it
i was curious if i could steal their language to make validation code nicer in icedmatrix.
i have a model of what kinds of json objects you can receive and send but they aren't validated off that, it would have been neat if you could include some little validation expression in the model file