neuralqx.experimental.operators.symbolic.compiler.passes.normalization module

Symbolic IR normalization compiler pass.

class SymbolicNormalizationPass

Bases: AbstractSymbolicPass

Normalizes and fingerprints the symbolic operator IR.

This pre-cache pass:

  1. Computes the static IR fingerprint (SHA-256 over the JSON-serialized IR) and stores it as analysis key "ir_fingerprint".

  2. Resolves the effective backend (auto -> jax) and stores it as analysis key "resolved_backend", also updating the context via set_selected_backend().

  3. Stores a canonical term ordering (by term name, stable) as analysis key "term_order" - a tuple of term names in sorted order.

Analysis keys written: "ir_fingerprint", "resolved_backend", "term_order"