Predicates

Status: stub. Day 3 deliverable.

The when field of a rule is a string-form predicate evaluated by Nyx (L2) against the input bindings. Supported operators:

• Equality: ==, !=
• Comparison: <, <=, >, >=
• Boolean: &&, ||, !
• Membership: <expr>.any(<lambda>), <expr>.all(<lambda>)
• Field access: dotted paths (applicant.legal_name), array indexing (documents[0].type)

Example:

documents.any(d => d.type == 'CORP_REGISTRY' && d.expired == false)

Predicates are bounded by the hard limits — depth ≤ 8, quantifier nesting ≤ 2, ≤ 32 referenced variables.