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

Symbolic IR validation compiler pass.

class SymbolicValidationPass

Bases: AbstractSymbolicPass

Validates symbolic operator IR before lowering.

This pre-cache pass calls validate_symbolic_ir() on the context IR. When strict_validation is enabled on the compiler options, any validation error is raised immediately. In non-strict mode the error is recorded in the pass metadata but execution continues, allowing the remaining pipeline to proceed.

Analysis key written: "validation_summary"