nkdsl.compiler.diagnostics.rules

Rule registry for DSL diagnostics.

Functions

default_diagnostic_rules()

Builds the default ordered DSL diagnostics rule set.

Classes

AbstractDiagnosticRule()	Abstract base class for one diagnostics rule.
ConstantFalsePredicateRule()	Reports terms with branch predicates that are always false.
DiagnosticRuleContext(operator, ir, options)	Immutable context passed to diagnostics rules.
DuplicateEmissionRule()	Reports duplicate emissions inside one term.
GeneratedConnectivityValidityRule()	Reports invalid generated connected states from sampled runner execution.
MaxConnHintLowerBoundRule()	Reports explicit max-connection hints below static emission upper bounds.
MissingBranchTagRule()	Reports untagged branches on multi-emission terms.
PotentialZeroDivisionRule()	Reports direct divisions by runtime state values that may be zero.
StaticIndexBoundsRule()	Reports static source/target index reads outside Hilbert bounds.
UnresolvedFreeSymbolsRule()	Reports unresolved free symbols present in the operator IR.