nkdsl.compiler.passes.validation

Symbolic IR validation compiler pass.

Functions

debug_event(msg, *[, scope, pass_name, tag, ...])	Structured debug event with scope and optional pass filtering.
validate_symbolic_ir(ir)	Validates a SymbolicOperatorIR structurally and semantically.

Classes

AbstractSymbolicPass()	Abstract base for all symbolic compiler passes.
Any(*args, **kwargs)	Special type indicating an unconstrained type.
Mapping()	A Mapping is a generic container for associating key/value pairs.
SymbolicCompilationContext(*, operator, ir, ...)	Holds per-compilation mutable state across pipeline stages.
SymbolicValidationPass()	Validates symbolic operator IR before lowering.