nkdsl.compiler.passes.diagnostics

DSL lint/diagnostics compiler pass.

Functions

count_diagnostics_by_severity(diagnostics)	Counts diagnostics grouped by severity.
debug_event(msg, *[, scope, pass_name, tag, ...])	Structured debug event with scope and optional pass filtering.
filter_diagnostics_by_minimum_severity(...)	Filters diagnostics at or above one severity threshold.
format_diagnostics_block(diagnostics, *[, ...])	Formats multiple diagnostics into one multi-line readable block.
normalize_diagnostic_severity(value)	Normalizes and validates one diagnostic-severity string.
run_default_diagnostics(*, operator, ir, options)	Runs all default diagnostics rules over one compilation input.

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.
SymbolicDiagnosticsPass()	Runs DSL lint/diagnostics checks before lowering.

Exceptions

SymbolicDiagnosticsError([message])

Raised when diagnostics are configured to fail the compilation flow.