nkdsl.ir.validate

Structural and semantic validation for symbolic operator IR.

Functions

debug_event(msg, *[, scope, pass_name, tag, ...])	Structured debug event with scope and optional pass filtering.
parse_symbol_declaration_args(args)	Parses a symbol-expression payload into name + declaration map.
validate_symbolic_ir(ir)	Validates a SymbolicOperatorIR structurally and semantically.

Classes

AmplitudeExpr(op[, args])	Typed expression node for operator matrix elements.
PredicateExpr(op[, args])	Typed boolean expression node for operator branch filtering.
SymbolicIRTerm(name, iterator, predicate, ...)	One primitive declarative symbolic operator term.
SymbolicOperatorIR(operator_name, mode, ...)	Immutable symbolic operator IR container.
UpdateOp(kind[, params])	One primitive site-update operation.