The jaq author is working on a formal specification of jq https://github.com/01mf02/jq-lang-spec https://github.com/01mf02/jq-lang-spec. I think it has also hel

The jaq author is working on a formal specification of jq https://github.com/01mf02/jq-lang-spec https://github.com/01mf02/jq-lang-spec. I think it has also help that there are several implementations of jq now like, gojq, jaq and jqjq, that has helped finding edge cases and weird behaviours.