Referential Integrity and Constraint Checking

A foreign-key cycle where every column is NOT NULL cannot take its first row

The defect belongs to the graph, not to any one relationship, so diagram review and migration both pass it. It surfaces the first time somebody seeds an empty database.