nkdsl.compiler.diagnostics.rules.structural_rules

Structural diagnostics rules for symbolic operator terms.

Classes

AbstractDiagnosticRule()	Abstract base class for one diagnostics rule.
ConstantFalsePredicateRule()	Reports terms with branch predicates that are always false.
DSLDiagnostic(code, severity, message, ...)	One DSL lint/diagnostic finding produced by compiler diagnostics.
DiagnosticRuleContext(operator, ir, options)	Immutable context passed to diagnostics rules.
DuplicateEmissionRule()	Reports duplicate emissions inside one term.
KBodyIteratorSpec(labels, index_sets)	Static K-body iterator over a pre-computed list of site-index tuples.
MaxConnHintLowerBoundRule()	Reports explicit max-connection hints below static emission upper bounds.
MissingBranchTagRule()	Reports untagged branches on multi-emission terms.