Zdůvodnění
Graf závislostí úkolů je acyklický, každá hrana jmenuje existující úkol a žádný úkol se neprovádí před závislostí, která není hotová.
Požadované chování
Graf závislostí úkolů je acyklický, každá hrana pojmenovává existující úkol a žádný úkol se neprovádí dřív než závislost, která není hotová.
Chování při selhání
Porušení je nález FAIL v kategorii dag a příkaz, který ho našel, skončí s kódem 10. Pod watch se totéž porušení hlásí jako drift a příkaz skončí s kódem 11.
Ověření
mj_validate_dag to rozhoduje, dispatchováno z doctor, watch. Behaviorální případ test/cases/44_model_doctrine.sh to dokazuje a CI tento případ spouští.