Module expr

Structs§

CoercedPredicate: A payload comparison whose field and literal are both coerced before the compare, so "2026-09-21T18:04:12Z" orders as an instant and "12.50" as a number. The coercion is part of the expression and its digest.
ConsumerFilter: One consumer filter: the expression plus everything that changes what it selects. Its digest identifies these semantics.
HeaderPredicate: A comparison against one user header, keyed exactly (agdx.ct is one key).

Coerce: An explicit value coercion. A value that does not parse under it compares as unknown.
FaultPolicy: What happens to a record whose payload cannot be decoded (malformed, over the size or depth limit). A valid record missing a field is not a fault.
FilterCodec: How the record payload is decoded before payload predicates run. Chosen explicitly by the filter: a content-type header never overrides it. A record whose agdx.ct header names another codec is never decoded, it follows the filter’s foreign_policy instead.
FilterExpr: A declarative predicate over one record: payload fields, typed user headers, presence tests, and boolean composition. It never runs user code.
RecordPolicy: What happens to a record the filter cannot judge on its own terms.

FILTER_EVALUATOR_VERSION: Version of the evaluation rules a filter was written against. Part of the digest, so a rule change can never silently reinterpret a saved revision.