Returns true if all complex entries in a constraint set are bytecode-eligible.

Analyzes a single constraint and returns type information.

Returns a map with: - :path - document path - :op - operator keyword - :expected - expected value - :type - inferred type - :op-class - :builtin or :custom

Analyzes a constraint set and builds a type environment.

Returns a map with: - :type-env - TypeEnv with path -> type mappings - :constraints - vector of analyzed constraints - :has-custom-ops - true if any custom operators found - :has-complex - true if complex (non-constraint) nodes found - :errors - vector of type errors (empty if none)

Analyzes a policy for optimized evaluation.

Takes a constraint set (output of compiler/normalize-and-merge) and returns analysis results including type environment, tier selection, and operator classification.

Returns a map with: - :tier - :t0, :t1, or :t2 - :type-env - TypeEnv with inferred types - :constraints - analyzed constraints - :operators - {:builtin [...] :custom [...]} - :errors - type errors (if any)

Returns true if the operator is a built-in that can be fully optimized.

Set of built-in operators that can be fully optimized.

Classifies an operator as :builtin or :custom.

Returns true if two types are compatible for unification.

Returns true if a complex entry can be bytecode-compiled.

Entry structure is {:complex {:op :quantifier/:let-binding, :ast …}}

Creates an empty type environment.

Infers the element type of a set.

Infers the expected document type based on operator and expected value.

For example: - [:= path "admin"] -> :string - [:> path 5] -> :long or :double - [:in path #{"a" "b"}] -> element type of set - [:matches path #".*"] -> :string

Infers a type from a literal value.

Returns one of: - :string - String - :long - integer/long - :double - floating point - :boolean - boolean - :set - set collection - :pattern - regex pattern - :keyword - keyword - :unknown - cannot determine type

Protocol for type environment operations.

Returns the narrowest (most specific) of two compatible types.

Selects the evaluation tier based on analysis results.

Returns: - :t2 - Optimized closures (all builtin operators, no complex nodes) - :t1 - Guarded closures (has custom operators, needs version guards) - :t0 - Interpreted (has complex nodes or type errors)