Erik Wienhold <ewie@ewie.name> writes:
> The result is true if any array element matches the predicate because predicates
> are evaluated on sequences. The documentation for executePredicate in
> src/backend/utils/adt/jsonpath_exec.c explains it:
I think the OP is correct that this is undocumented at the user level.
Want to propose some doc text?
regards, tom lane