mixle.experimental.typed_runtime.validation module

Static validation for compiled statistically typed update graphs.

class IssueSeverity(*values)[source]

Bases: StrEnum

Validation issue severity.

exception UpdateGraphValidationError(issues)[source]

Bases: ValueError

Raised when strict validation finds one or more errors.

Parameters:

issues (tuple[ValidationIssue, ...])

Return type:

None

class ValidationIssue(severity, code, node_id, message)[source]

Bases: object

One actionable contract or planning defect.

Parameters:

  • severity (IssueSeverity)

  • code (str)

  • node_id (str)

  • message (str)

validate_update_graph(graph, *, strict=False)[source]

Return semantic issues and optionally raise when any are errors.

Parameters:

  • graph (UpdateGraph)

  • strict (bool)

Return type:

tuple[ValidationIssue, …]