Match by any address whose state moved as a side effect of the
transaction: object ownership changes (in either direction), prior
owners of removed/wrapped objects, and address-balance changes via
accumulator events.
DNF filter for events: any term may match, and each term is an AND of
signed literals. Sender predicates match all events from matching
transactions; emit-module, event-type, and event-stream-head predicates match
individual event-space dimensions. An absent filter matches everything. A
present filter must have at least one term, and every term must have at least
one included literal.
A neighbour leaf in a MerkleNonInclusionProof: an object reference
at a specific sorted position in the OCS tree, plus the inclusion
proof that authenticates it against the tree root.
DNF filter for transactions: any term may match, and each term is an AND
of signed literals.
An absent filter matches everything. A present filter must have at least one
term, and every term must have at least one included literal.
Progress markers for a query scan. Carried both on every item and as
standalone wire frames between items when the underlying scan advances
without producing a matching item.