Dependency rules that decide whether a route or realization is semantically valid at runtime — snapshot, skew, sequencing, and completeness constraints.