The where clauses that read the elements of a typed array (protocol
version 14), keyed for the aggregate and ranked proof verifiers exactly as
the server keys them before it routes the request: contains as the
equality and containsAny as the In an index level of the array holds.
Chained document queries — the client half of the provable semi-join:
SELECT * FROM <outer> WHERE $id IN (SELECT <join_property> FROM <inner> WHERE …).
FromProof + Fetch for [DocumentHavingEntries] — the
having-range (GROUP BY … HAVING <aggregate> <op> <value> LIMIT n) view of the unified getDocuments endpoint.
FromProof + Fetch for [DocumentRankedEntries] — the
ranked (GROUP BY … ORDER BY <aggregate> LIMIT n [OFFSET m])
view of the unified getDocuments endpoint.