Module validation 

Structural validation of conceptual and logical models.

Validation is non-fatal by default: validate_conceptual returns a Vec<Diagnostic>, and the caller chooses whether any diagnostic is severe enough to abort. The transform pipeline rejects models that produce one or more Severity::Error diagnostics.

Structs

Diagnostic

One validation finding.

Enums

Severity

Severity of a Diagnostic.

Functions

validate_conceptual

Validate a ConceptualModel and return all findings.

validate_logical

Validate a LogicalModel.